1:-include(library('ec_planner/ec_test_incl')).    2:-expects_dialect(pfc).    3 %  loading(always,'ecnet/Restaurant.e').
    4%;
    5%; Copyright (c) 2005 IBM Corporation and others.
    6%; All rights reserved. This program and the accompanying materials
    7%; are made available under the terms of the Common Public License v1.0
    8%; which accompanies this distribution, and is available at
    9%; http://www.eclipse.org/legal/cpl-v10.html
   10%;
   11%; Contributors:
   12%; IBM - Initial implementation
   13%;
   14
   15% sort restaurant: script
   16==> subsort(restaurant,script).
   17
   18% sort waiter: agent
   19==> subsort(waiter,agent).
   20
   21% sort cook: agent
   22==> subsort(cook,agent).
   23
   24% function BillOf(restaurant): bill
   25 %  functional_predicate(billOf(restaurant,bill)).
   26==> mpred_prop(billOf(restaurant,bill),functional_predicate).
   27==> meta_argtypes(billOf(restaurant,bill)).
   28resultIsa(billOf,bill).
   29
   30% function CookOf(restaurant): cook
   31 %  functional_predicate(cookOf(restaurant,cook)).
   32==> mpred_prop(cookOf(restaurant,cook),functional_predicate).
   33==> meta_argtypes(cookOf(restaurant,cook)).
   34resultIsa(cookOf,cook).
   35
   36% function TableOf(restaurant): table
   37 %  functional_predicate(tableOf(restaurant,table)).
   38==> mpred_prop(tableOf(restaurant,table),functional_predicate).
   39==> meta_argtypes(tableOf(restaurant,table)).
   40resultIsa(tableOf,table).
   41
   42% function WaiterOf(restaurant): waiter
   43 %  functional_predicate(waiterOf(restaurant,waiter)).
   44==> mpred_prop(waiterOf(restaurant,waiter),functional_predicate).
   45==> meta_argtypes(waiterOf(restaurant,waiter)).
   46resultIsa(waiterOf,waiter).
   47
   48% function KitchenDoorOf(restaurant): door
   49 %  functional_predicate(kitchenDoorOf(restaurant,door)).
   50==> mpred_prop(kitchenDoorOf(restaurant,door),functional_predicate).
   51==> meta_argtypes(kitchenDoorOf(restaurant,door)).
   52resultIsa(kitchenDoorOf,door).
   53%; awaiting customer/waiter has set down bill on customer's table
   54
   55% fluent BeWaiter0(waiter)
   56 %  fluent(beWaiter0(waiter)).
   57==> mpred_prop(beWaiter0(waiter),fluent).
   58==> meta_argtypes(beWaiter0(waiter)).
   59
   60
   61% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:23
   62%; awaiting customer order
   63
   64% fluent BeWaiter1(waiter)
   65 %  fluent(beWaiter1(waiter)).
   66% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:25
   67==> mpred_prop(beWaiter1(waiter),fluent).
   68==> meta_argtypes(beWaiter1(waiter)).
   69
   70
   71% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:26
   72%; has customer order
   73
   74% fluent BeWaiter2(waiter)
   75 %  fluent(beWaiter2(waiter)).
   76% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:28
   77==> mpred_prop(beWaiter2(waiter),fluent).
   78==> meta_argtypes(beWaiter2(waiter)).
   79
   80
   81% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:29
   82%; in kitchen
   83
   84% fluent BeWaiter3(waiter)
   85 %  fluent(beWaiter3(waiter)).
   86% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:31
   87==> mpred_prop(beWaiter3(waiter),fluent).
   88==> meta_argtypes(beWaiter3(waiter)).
   89
   90
   91% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:32
   92%; awaiting preparation of order
   93
   94% fluent BeWaiter4(waiter)
   95 %  fluent(beWaiter4(waiter)).
   96% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:34
   97==> mpred_prop(beWaiter4(waiter),fluent).
   98==> meta_argtypes(beWaiter4(waiter)).
   99
  100
  101% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:35
  102%; has order
  103
  104% fluent BeWaiter5(waiter)
  105 %  fluent(beWaiter5(waiter)).
  106% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:37
  107==> mpred_prop(beWaiter5(waiter),fluent).
  108==> meta_argtypes(beWaiter5(waiter)).
  109
  110
  111% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:38
  112%; back in dining room
  113
  114% fluent BeWaiter6(waiter)
  115 %  fluent(beWaiter6(waiter)).
  116% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:40
  117==> mpred_prop(beWaiter6(waiter),fluent).
  118==> meta_argtypes(beWaiter6(waiter)).
  119
  120
  121% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:41
  122%; order delivered to customer (can ask if all is OK)
  123
  124% fluent BeWaiter7(waiter)
  125 %  fluent(beWaiter7(waiter)).
  126% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:43
  127==> mpred_prop(beWaiter7(waiter),fluent).
  128==> meta_argtypes(beWaiter7(waiter)).
  129
  130
  131% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:44
  132%; customer has requested bill
  133
  134% fluent BeWaiter8(waiter)
  135 %  fluent(beWaiter8(waiter)).
  136% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:46
  137==> mpred_prop(beWaiter8(waiter),fluent).
  138==> meta_argtypes(beWaiter8(waiter)).
  139
  140
  141% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:47
  142%; waiter is holding bill
  143
  144% fluent BeWaiter9(waiter)
  145 %  fluent(beWaiter9(waiter)).
  146% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:49
  147==> mpred_prop(beWaiter9(waiter),fluent).
  148==> meta_argtypes(beWaiter9(waiter)).
  149
  150% xor BeWaiter0, BeWaiter1, BeWaiter2, BeWaiter3, BeWaiter4, BeWaiter5, BeWaiter6, BeWaiter7, BeWaiter8, BeWaiter9
  151% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:51
  152xor([ beWaiter0,
  153      beWaiter1,
  154      beWaiter2,
  155      beWaiter3,
  156      beWaiter4,
  157      beWaiter5,
  158      beWaiter6,
  159      beWaiter7,
  160      beWaiter8,
  161      beWaiter9
  162    ]).
  163
  164
  165% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:52
  166% [waiter,agent,time]
  167% HoldsAt(BeWaiter0(waiter),time) ->
  168% Terminates(Greet(waiter,agent),
  169%            BeWaiter0(waiter),
  170%            time).
  171% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:56
  172axiom(terminates(greet(Waiter, Agent), beWaiter0(Waiter), Time),
  173    [holds_at(beWaiter0(Waiter), Time)]).
  174
  175
  176% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:58
  177% [waiter,agent,time]
  178% HoldsAt(BeWaiter0(waiter),time) ->
  179% Initiates(Greet(waiter,agent),
  180%           BeWaiter1(waiter),
  181%           time).
  182% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:62
  183axiom(initiates(greet(Waiter, Agent), beWaiter1(Waiter), Time),
  184    [holds_at(beWaiter0(Waiter), Time)]).
  185
  186
  187% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:64
  188% [waiter,agent,food,time]
  189% HoldsAt(BeWaiter1(waiter),time) ->
  190% Terminates(Order(agent,waiter,food),
  191%            BeWaiter1(waiter),
  192%            time).
  193% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:68
  194axiom(terminates(order(Agent, Waiter, Food), beWaiter1(Waiter), Time),
  195    [holds_at(beWaiter1(Waiter), Time)]).
  196
  197
  198% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:70
  199% [waiter,agent,food,time]
  200% HoldsAt(BeWaiter1(waiter),time) ->
  201% Initiates(Order(agent,waiter,food),
  202%           BeWaiter2(waiter),
  203%           time).
  204% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:74
  205axiom(initiates(order(Agent, Waiter, Food), beWaiter2(Waiter), Time),
  206    [holds_at(beWaiter1(Waiter), Time)]).
  207
  208
  209% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:76
  210% [restaurant,waiter,time]
  211% WaiterOf(restaurant)=waiter &
  212% HoldsAt(BeWaiter2(waiter),time) ->
  213% Happens(WalkThroughDoor12(waiter,KitchenDoorOf(restaurant)),time).
  214% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:79
  215axiom(happens(walkThroughDoor12(Waiter, kitchenDoorOf(Restaurant)), Time),
  216   
  217    [ equals(waiterOf(Restaurant), Waiter),
  218      holds_at(beWaiter2(Waiter), Time)
  219    ]).
  220
  221
  222% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:81
  223% [restaurant,waiter,door,time]
  224% HoldsAt(BeWaiter2(waiter),time) &
  225% WaiterOf(restaurant)=waiter &
  226% KitchenDoorOf(restaurant)=door ->
  227% Terminates(WalkThroughDoor12(waiter,door),
  228%            BeWaiter2(waiter),
  229%            time).
  230% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:87
  231axiom(terminates(walkThroughDoor12(Waiter, Door), beWaiter2(Waiter), Time),
  232   
  233    [ holds_at(beWaiter2(Waiter), Time),
  234      equals(waiterOf(Restaurant), Waiter),
  235      equals(kitchenDoorOf(Restaurant), Door)
  236    ]).
  237
  238
  239% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:89
  240% [restaurant,waiter,door,time]
  241% HoldsAt(BeWaiter2(waiter),time) &
  242% WaiterOf(restaurant)=waiter &
  243% KitchenDoorOf(restaurant)=door ->
  244% Initiates(WalkThroughDoor12(waiter,door),
  245%           BeWaiter3(waiter),
  246%           time).
  247% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:95
  248axiom(initiates(walkThroughDoor12(Waiter, Door), beWaiter3(Waiter), Time),
  249   
  250    [ holds_at(beWaiter2(Waiter), Time),
  251      equals(waiterOf(Restaurant), Waiter),
  252      equals(kitchenDoorOf(Restaurant), Door)
  253    ]).
  254
  255
  256% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:97
  257% [restaurant,food,time]
  258% HoldsAt(BeWaiter3(WaiterOf(restaurant)),time) &
  259% ({agent} HoldsAt(KnowOrder(WaiterOf(restaurant),agent,food),time)) ->
  260% Happens(Order(WaiterOf(restaurant),CookOf(restaurant),food),time).
  261% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:100
  262axiom(happens(order(waiterOf(Restaurant), cookOf(Restaurant), Food), Time),
  263   
  264    [ holds_at(beWaiter3(waiterOf(Restaurant)), Time),
  265      holds_at(knowOrder(waiterOf(Restaurant), Agent, Food),
  266               Time)
  267    ]).
  268
  269
  270% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:102
  271% [restaurant,waiter,cook,food,time]
  272% WaiterOf(restaurant)=waiter &
  273% CookOf(restaurant)=cook &
  274% HoldsAt(BeWaiter3(waiter),time) ->
  275% Terminates(Order(waiter,cook,food),
  276%            BeWaiter3(waiter),
  277%            time).
  278% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:108
  279axiom(terminates(order(Waiter, Cook, Food), beWaiter3(Waiter), Time),
  280   
  281    [ equals(waiterOf(Restaurant), Waiter),
  282      equals(cookOf(Restaurant), Cook),
  283      holds_at(beWaiter3(Waiter), Time)
  284    ]).
  285
  286
  287% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:110
  288% [restaurant,waiter,cook,food,time]
  289% WaiterOf(restaurant)=waiter &
  290% CookOf(restaurant)=cook &
  291% HoldsAt(BeWaiter3(waiter),time) ->
  292% Initiates(Order(waiter,cook,food),
  293%           BeWaiter4(waiter),
  294%           time).
  295% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:116
  296axiom(initiates(order(Waiter, Cook, Food), beWaiter4(Waiter), Time),
  297   
  298    [ equals(waiterOf(Restaurant), Waiter),
  299      equals(cookOf(Restaurant), Cook),
  300      holds_at(beWaiter3(Waiter), Time)
  301    ]).
  302
  303
  304% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:118
  305% [waiter,food,time]
  306% HoldsAt(BeWaiter4(waiter),time) &
  307% ({agent} HoldsAt(KnowOrder(waiter,agent,food),time)) &
  308% HoldsAt(FoodPrepared(food),time) ->
  309% Happens(PickUp(waiter,food),time).
  310% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:122
  311axiom(happens(pickUp(Waiter, Food), Time),
  312   
  313    [ holds_at(beWaiter4(Waiter), Time),
  314      holds_at(knowOrder(Waiter, Agent, Food), Time),
  315      holds_at(foodPrepared(Food), Time)
  316    ]).
  317
  318
  319% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:124
  320% [waiter,food,time]
  321% HoldsAt(BeWaiter4(waiter),time) &
  322% ({agent} HoldsAt(KnowOrder(waiter,agent,food),time)) ->
  323% Terminates(PickUp(waiter,food),
  324%            BeWaiter4(waiter),
  325%            time).
  326% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:129
  327axiom(terminates(pickUp(Waiter, Food), beWaiter4(Waiter), Time),
  328   
  329    [ holds_at(beWaiter4(Waiter), Time),
  330      holds_at(knowOrder(Waiter, Agent, Food), Time)
  331    ]).
  332
  333
  334% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:131
  335% [waiter,food,time]
  336% HoldsAt(BeWaiter4(waiter),time) &
  337% ({agent} HoldsAt(KnowOrder(waiter,agent,food),time)) ->
  338% Initiates(PickUp(waiter,food),
  339%           BeWaiter5(waiter),
  340%           time).
  341% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:136
  342axiom(initiates(pickUp(Waiter, Food), beWaiter5(Waiter), Time),
  343   
  344    [ holds_at(beWaiter4(Waiter), Time),
  345      holds_at(knowOrder(Waiter, Agent, Food), Time)
  346    ]).
  347
  348
  349% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:138
  350% [restaurant,waiter,time]
  351% WaiterOf(restaurant)=waiter &
  352% HoldsAt(BeWaiter5(waiter),time) ->
  353% Happens(WalkThroughDoor21(waiter,KitchenDoorOf(restaurant)),time).
  354% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:141
  355axiom(happens(walkThroughDoor21(Waiter, kitchenDoorOf(Restaurant)), Time),
  356   
  357    [ equals(waiterOf(Restaurant), Waiter),
  358      holds_at(beWaiter5(Waiter), Time)
  359    ]).
  360
  361
  362% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:143
  363% [restaurant,waiter,door,time]
  364% HoldsAt(BeWaiter5(waiter),time) &
  365% WaiterOf(restaurant)=waiter &
  366% KitchenDoorOf(restaurant)=door ->
  367% Terminates(WalkThroughDoor21(waiter,door),
  368%            BeWaiter5(waiter),
  369%            time).
  370% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:149
  371axiom(terminates(walkThroughDoor21(Waiter, Door), beWaiter5(Waiter), Time),
  372   
  373    [ holds_at(beWaiter5(Waiter), Time),
  374      equals(waiterOf(Restaurant), Waiter),
  375      equals(kitchenDoorOf(Restaurant), Door)
  376    ]).
  377
  378
  379% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:151
  380% [restaurant,waiter,door,time]
  381% HoldsAt(BeWaiter5(waiter),time) &
  382% WaiterOf(restaurant)=waiter &
  383% KitchenDoorOf(restaurant)=door ->
  384% Initiates(WalkThroughDoor21(waiter,door),
  385%           BeWaiter6(waiter),
  386%           time).
  387% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:157
  388axiom(initiates(walkThroughDoor21(Waiter, Door), beWaiter6(Waiter), Time),
  389   
  390    [ holds_at(beWaiter5(Waiter), Time),
  391      equals(waiterOf(Restaurant), Waiter),
  392      equals(kitchenDoorOf(Restaurant), Door)
  393    ]).
  394
  395
  396% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:159
  397% [restaurant,waiter,table,food,time]
  398% WaiterOf(restaurant)=waiter &
  399% TableOf(restaurant)=table &
  400% HoldsAt(BeWaiter6(waiter),time) &
  401% HoldsAt(Holding(waiter,food),time) ->
  402% Happens(PlaceOn(waiter,food,table),time).
  403% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:164
  404axiom(happens(placeOn(Waiter, Food, Table), Time),
  405   
  406    [ equals(waiterOf(Restaurant), Waiter),
  407      equals(tableOf(Restaurant), Table),
  408      holds_at(beWaiter6(Waiter), Time),
  409      holds_at(holding(Waiter, Food), Time)
  410    ]).
  411
  412
  413% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:166
  414% [waiter,food,table,time]
  415% HoldsAt(BeWaiter6(waiter),time) ->
  416% Terminates(PlaceOn(waiter,food,table),
  417%            BeWaiter6(waiter),
  418%            time).
  419% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:170
  420axiom(terminates(placeOn(Waiter, Food, Table), beWaiter6(Waiter), Time),
  421    [holds_at(beWaiter6(Waiter), Time)]).
  422
  423
  424% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:172
  425% [waiter,food,table,time]
  426% HoldsAt(BeWaiter6(waiter),time) ->
  427% Initiates(PlaceOn(waiter,food,table),
  428%           BeWaiter7(waiter),
  429%           time).
  430% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:176
  431axiom(initiates(placeOn(Waiter, Food, Table), beWaiter7(Waiter), Time),
  432    [holds_at(beWaiter6(Waiter), Time)]).
  433
  434
  435% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:178
  436% [waiter,agent,bill,time]
  437% HoldsAt(BeWaiter7(waiter),time) ->
  438% Terminates(Request(agent,waiter,bill),
  439%            BeWaiter7(waiter),
  440%            time).
  441% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:182
  442axiom(terminates(request(Agent, Waiter, Bill), beWaiter7(Waiter), Time),
  443    [holds_at(beWaiter7(Waiter), Time)]).
  444
  445
  446% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:184
  447% [waiter,agent,bill,time]
  448% HoldsAt(BeWaiter7(waiter),time) ->
  449% Initiates(Request(agent,waiter,bill),
  450%           BeWaiter8(waiter),
  451%           time).
  452% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:188
  453axiom(initiates(request(Agent, Waiter, Bill), beWaiter8(Waiter), Time),
  454    [holds_at(beWaiter7(Waiter), Time)]).
  455
  456
  457% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:190
  458% [restaurant,waiter,bill,time]
  459% WaiterOf(restaurant)=waiter &
  460% BillOf(restaurant)=bill &
  461% HoldsAt(BeWaiter8(waiter),time) ->
  462% Happens(PickUp(waiter,bill),time).
  463% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:194
  464axiom(happens(pickUp(Waiter, Bill), Time),
  465   
  466    [ equals(waiterOf(Restaurant), Waiter),
  467      equals(billOf(Restaurant), Bill),
  468      holds_at(beWaiter8(Waiter), Time)
  469    ]).
  470
  471
  472% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:196
  473% [waiter,bill,time]
  474% HoldsAt(BeWaiter8(waiter),time) ->
  475% Terminates(PickUp(waiter,bill),
  476%            BeWaiter8(waiter),
  477%            time).
  478% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:200
  479axiom(terminates(pickUp(Waiter, Bill), beWaiter8(Waiter), Time),
  480    [holds_at(beWaiter8(Waiter), Time)]).
  481
  482
  483% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:202
  484% [waiter,bill,time]
  485% HoldsAt(BeWaiter8(waiter),time) ->
  486% Initiates(PickUp(waiter,bill),
  487%           BeWaiter9(waiter),
  488%           time).
  489% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:206
  490axiom(initiates(pickUp(Waiter, Bill), beWaiter9(Waiter), Time),
  491    [holds_at(beWaiter8(Waiter), Time)]).
  492
  493
  494% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:208
  495% [restaurant,waiter,bill,table,time]
  496% WaiterOf(restaurant)=waiter &
  497% BillOf(restaurant)=bill &
  498% TableOf(restaurant)=table &
  499% HoldsAt(BeWaiter9(waiter),time) ->
  500% Happens(PlaceOn(waiter,bill,table),time).
  501% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:213
  502axiom(happens(placeOn(Waiter, Bill, Table), Time),
  503   
  504    [ equals(waiterOf(Restaurant), Waiter),
  505      equals(billOf(Restaurant), Bill),
  506      equals(tableOf(Restaurant), Table),
  507      holds_at(beWaiter9(Waiter), Time)
  508    ]).
  509
  510
  511% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:215
  512% [waiter,bill,table,time]
  513% HoldsAt(BeWaiter9(waiter),time) ->
  514% Terminates(PlaceOn(waiter,bill,table),
  515%            BeWaiter9(waiter),
  516%            time).
  517% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:219
  518axiom(terminates(placeOn(Waiter, Bill, Table), beWaiter9(Waiter), Time),
  519    [holds_at(beWaiter9(Waiter), Time)]).
  520
  521
  522% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:221
  523% [waiter,bill,table,time]
  524% HoldsAt(BeWaiter9(waiter),time) ->
  525% Initiates(PlaceOn(waiter,bill,table),
  526%           BeWaiter0(waiter),
  527%           time).
  528% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:225
  529axiom(initiates(placeOn(Waiter, Bill, Table), beWaiter0(Waiter), Time),
  530    [holds_at(beWaiter9(Waiter), Time)]).
  531
  532
  533% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:227
  534%; awaiting next waiter order
  535
  536% fluent BeCook0(cook)
  537 %  fluent(beCook0(cook)).
  538% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:229
  539==> mpred_prop(beCook0(cook),fluent).
  540==> meta_argtypes(beCook0(cook)).
  541
  542
  543% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:230
  544%; waiter order received
  545
  546% fluent BeCook1(cook)
  547 %  fluent(beCook1(cook)).
  548% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:232
  549==> mpred_prop(beCook1(cook),fluent).
  550==> meta_argtypes(beCook1(cook)).
  551
  552% xor BeCook0, BeCook1
  553% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:234
  554xor([beCook0,beCook1]).
  555
  556
  557% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:235
  558% [cook,agent,food,time]
  559% HoldsAt(BeCook0(cook),time) ->
  560% Terminates(Order(agent,cook,food),
  561%            BeCook0(cook),
  562%            time).
  563% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:239
  564axiom(terminates(order(Agent, Cook, Food), beCook0(Cook), Time),
  565    [holds_at(beCook0(Cook), Time)]).
  566
  567
  568% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:241
  569% [cook,agent,food,time]
  570% HoldsAt(BeCook0(cook),time) ->
  571% Initiates(Order(agent,cook,food),
  572%           BeCook1(cook),
  573%           time).
  574% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:245
  575axiom(initiates(order(Agent, Cook, Food), beCook1(Cook), Time),
  576    [holds_at(beCook0(Cook), Time)]).
  577
  578% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:247
  579% event FoodPrepare(agent,food)
  580 %  event(foodPrepare(agent,food)).
  581% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:248
  582==> mpred_prop(foodPrepare(agent,food),event).
  583==> meta_argtypes(foodPrepare(agent,food)).
  584
  585% fluent FoodPrepared(food)
  586 %  fluent(foodPrepared(food)).
  587% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:250
  588==> mpred_prop(foodPrepared(food),fluent).
  589==> meta_argtypes(foodPrepared(food)).
  590
  591
  592% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:251
  593% [agent,food,time]
  594% Initiates(FoodPrepare(agent,food),
  595%           FoodPrepared(food),
  596%           time).
  597% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:254
  598axiom(initiates(foodPrepare(Agent, Food), foodPrepared(Food), Time),
  599    []).
  600
  601
  602% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:256
  603% [agent,food,time]
  604% Happens(FoodPrepare(agent,food),time) ->
  605% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:258
  606% {location}% 
  607% HoldsAt(At(agent,location),time) &
  608% HoldsAt(At(food,location),time).
  609
  610 /*   exists([Location],
  611             if(happens(foodPrepare(Agent, Food), Time),
  612                 (holds_at(at(Agent, Location), Time), holds_at(at(Food, Location), Time)))).
  613 */
  614
  615 /*  not(some(Location6, '$kolem_Fn_182'(Fn_182_Param, At_Param, Maptime))) :-
  616       happens(foodPrepare(Fn_182_Param, At_Param), Maptime),
  617       (   not(holds_at(at(Fn_182_Param, Location6), Maptime))
  618       ;   not(holds_at(at(At_Param, Location6), Maptime))
  619       ).
  620 */
  621% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:260
  622axiom(not(some(Location6, '$kolem_Fn_182'(Fn_182_Param, At_Param, Maptime))),
  623   
  624    [ not(holds_at(at(Fn_182_Param, Location6), Maptime)),
  625      happens(foodPrepare(Fn_182_Param, At_Param), Maptime)
  626    ]).
  627axiom(not(some(Location6, '$kolem_Fn_182'(Fn_182_Param, At_Param, Maptime))),
  628   
  629    [ not(holds_at(at(At_Param, Location6), Maptime)),
  630      happens(foodPrepare(Fn_182_Param, At_Param), Maptime)
  631    ]).
  632
  633 /*  not(happens(foodPrepare(FoodPrepare_Param, At_Param12), Maptime9)) :-
  634       (   not(holds_at(at(FoodPrepare_Param, Location10),
  635                        Maptime9))
  636       ;   not(holds_at(at(At_Param12, Location10), Maptime9))
  637       ),
  638       some(Location10,
  639            '$kolem_Fn_182'(FoodPrepare_Param,
  640                            At_Param12,
  641                            Maptime9)).
  642 */
  643axiom(not(happens(foodPrepare(FoodPrepare_Param, At_Param12), Maptime9)),
  644   
  645    [ not(holds_at(at(FoodPrepare_Param, Location10),
  646                   Maptime9)),
  647      some(Location10,
  648           '$kolem_Fn_182'(FoodPrepare_Param,
  649                           At_Param12,
  650                           Maptime9))
  651    ]).
  652axiom(not(happens(foodPrepare(FoodPrepare_Param, At_Param12), Maptime9)),
  653   
  654    [ not(holds_at(at(At_Param12, Location10), Maptime9)),
  655      some(Location10,
  656           '$kolem_Fn_182'(FoodPrepare_Param,
  657                           At_Param12,
  658                           Maptime9))
  659    ]).
  660
  661 /*  holds_at(at(At_Param15, Location13), Time14) :-
  662       happens(foodPrepare(At_Param15, FoodPrepare_Ret), Time14),
  663       some(Location13,
  664            '$kolem_Fn_182'(At_Param15, FoodPrepare_Ret, Time14)).
  665 */
  666axiom(holds_at(at(At_Param15, Location13), Time14),
  667   
  668    [ happens(foodPrepare(At_Param15, FoodPrepare_Ret),
  669              Time14),
  670      some(Location13,
  671           '$kolem_Fn_182'(At_Param15, FoodPrepare_Ret, Time14))
  672    ]).
  673
  674 /*  holds_at(at(At_Param19, Location17), Time18) :-
  675       happens(foodPrepare(FoodPrepare_Param20, At_Param19),
  676               Time18),
  677       some(Location17,
  678            '$kolem_Fn_182'(FoodPrepare_Param20,
  679                            At_Param19,
  680                            Time18)).
  681 */
  682axiom(holds_at(at(At_Param19, Location17), Time18),
  683   
  684    [ happens(foodPrepare(FoodPrepare_Param20, At_Param19),
  685              Time18),
  686      some(Location17,
  687           '$kolem_Fn_182'(FoodPrepare_Param20,
  688                           At_Param19,
  689                           Time18))
  690    ]).
  691
  692
  693% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:262
  694% [cook,agent,food,time]
  695% HoldsAt(BeCook1(cook),time) &
  696% HoldsAt(KnowOrder(cook,agent,food),time) ->
  697% Happens(FoodPrepare(cook,food),time).
  698% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:265
  699axiom(happens(foodPrepare(Cook, Food), Time),
  700   
  701    [ holds_at(beCook1(Cook), Time),
  702      holds_at(knowOrder(Cook, Agent, Food), Time)
  703    ]).
  704
  705
  706% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:267
  707% [cook,food,time]
  708% HoldsAt(BeCook1(cook),time) ->
  709% Terminates(FoodPrepare(cook,food),
  710%            BeCook1(cook),
  711%            time).
  712% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:271
  713axiom(terminates(foodPrepare(Cook, Food), beCook1(Cook), Time),
  714    [holds_at(beCook1(Cook), Time)]).
  715
  716
  717% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:273
  718% [cook,food,time]
  719% HoldsAt(BeCook1(cook),time) ->
  720% Initiates(FoodPrepare(cook,food),
  721%           BeCook0(cook),
  722%           time).
  723% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:277
  724axiom(initiates(foodPrepare(Cook, Food), beCook0(Cook), Time),
  725    [holds_at(beCook1(Cook), Time)]).
  726
  727
  728% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Restaurant.e:279
  729%; End of file.