1:-include(library('ec_planner/ec_test_incl')).    2:-expects_dialect(pfc).    3 %  loading(always,'ecnet/Rest.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%; @article{Mueller:InPress,
   15%;   author = "Erik T. Mueller",
   16%;   year = "in press",
   17%;   title = "Modelling space and time in narratives about restaurants",
   18%;   journal = "Literary and Linguistic Computing",
   19%; }
   20%;
   21
   22% option renaming off
   23:- set_ec_option(renaming, off).   24
   25% option encoding 3
   26:- set_ec_option(encoding, 3).   27
   28% load foundations/Root.e
   29
   30% load foundations/EC.e
   31
   32% load answers/Mueller2003/Ontology.e
   33
   34% load answers/MuellerInPress/RepRest.e
   35
   36% door MainEntrance1
   37==> t(door,mainEntrance1).
   38%; room-scale topological space
   39
   40% outside Street1
   41==> t(outside,street1).
   42
   43% room DiningRoom1
   44==> t(room,diningRoom1).
   45
   46% door KitchenDoor1
   47==> t(door,kitchenDoor1).
   48
   49% room Kitchen1
   50==> t(room,kitchen1).
   51
   52
   53% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Rest.e:33
   54% Side1(MainEntrance1)=Street1.
   55side1(mainEntrance1,street1).
   56
   57
   58% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Rest.e:34
   59% Side2(MainEntrance1)=DiningRoom1.
   60side2(mainEntrance1,diningRoom1).
   61
   62
   63% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Rest.e:35
   64% Side1(KitchenDoor1)=DiningRoom1.
   65side1(kitchenDoor1,diningRoom1).
   66
   67
   68% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Rest.e:36
   69% Side2(KitchenDoor1)=Kitchen1.
   70side2(kitchenDoor1,kitchen1).
   71
   72% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Rest.e:38
   73% agent Customer1
   74% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Rest.e:39
   75==> t(agent,customer1).
   76
   77% menu Menu1
   78% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Rest.e:40
   79==> t(menu,menu1).
   80
   81% chair Chair1
   82% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Rest.e:41
   83==> t(chair,chair1).
   84
   85% food Food1
   86% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Rest.e:42
   87==> t(food,food1).
   88
   89
   90% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Rest.e:42
   91% HoldsAt(At(Customer1,Street1),0).
   92axiom(initially(at(customer1, street1)),
   93    []).
   94
   95
   96% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Rest.e:43
   97% HoldsAt(Hungry(Customer1),0).
   98axiom(initially(hungry(customer1)),
   99    []).
  100
  101
  102% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Rest.e:44
  103% HoldsAt(At(Chair1,DiningRoom1),0).
  104axiom(initially(at(chair1, diningRoom1)),
  105    []).
  106
  107
  108% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Rest.e:45
  109% HoldsAt(At(Menu1,DiningRoom1),0).
  110axiom(initially(at(menu1, diningRoom1)),
  111    []).
  112
  113
  114% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Rest.e:46
  115% HoldsAt(On(Menu1,Table1),0).
  116axiom(initially(on(menu1, table1)),
  117    []).
  118
  119
  120% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Rest.e:47
  121% HoldsAt(At(Food1,Kitchen1),0).
  122axiom(initially(at(food1, kitchen1)),
  123    []).
  124
  125% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Rest.e:49
  126% waiter Waiter1
  127% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Rest.e:50
  128==> t(waiter,waiter1).
  129
  130% cook Cook1
  131% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Rest.e:51
  132==> t(cook,cook1).
  133%; props
  134
  135% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Rest.e:53
  136% table Table1
  137% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Rest.e:54
  138==> t(table,table1).
  139
  140% bill Bill1
  141% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Rest.e:55
  142==> t(bill,bill1).
  143%; restaurant
  144
  145% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Rest.e:57
  146% restaurant Restaurant1
  147% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Rest.e:58
  148==> t(restaurant,restaurant1).
  149
  150
  151% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Rest.e:58
  152% CookOf(Restaurant1)=Cook1.
  153cookOf(restaurant1,cook1).
  154
  155
  156% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Rest.e:59
  157% TableOf(Restaurant1)=Table1.
  158tableOf(restaurant1,table1).
  159
  160
  161% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Rest.e:60
  162% WaiterOf(Restaurant1)=Waiter1.
  163waiterOf(restaurant1,waiter1).
  164
  165
  166% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Rest.e:61
  167% KitchenDoorOf(Restaurant1)=KitchenDoor1.
  168kitchenDoorOf(restaurant1,kitchenDoor1).
  169
  170
  171% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Rest.e:62
  172% BillOf(Restaurant1)=Bill1.
  173billOf(restaurant1,bill1).
  174
  175
  176% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Rest.e:64
  177%; prune
  178
  179% sort ona, onb
  180% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Rest.e:66
  181==> sort(ona).
  182==> sort(onb).
  183
  184% fluent! On(ona,onb)
  185 %  fluent(on(ona,onb)).
  186% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Rest.e:67
  187==> mpred_prop(on(ona,onb),fluent).
  188==> meta_argtypes(on(ona,onb)).
  189
  190% event! PlaceOn(agent,ona,onb)
  191 %  event(placeOn(agent,ona,onb)).
  192% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Rest.e:68
  193==> mpred_prop(placeOn(agent,ona,onb),event).
  194==> meta_argtypes(placeOn(agent,ona,onb)).
  195
  196% event! TakeOffOf(agent,ona,onb)
  197 %  event(takeOffOf(agent,ona,onb)).
  198% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Rest.e:69
  199==> mpred_prop(takeOffOf(agent,ona,onb),event).
  200==> meta_argtypes(takeOffOf(agent,ona,onb)).
  201
  202% sort ordera, orderb, orderc
  203% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Rest.e:71
  204==> sort(ordera).
  205==> sort(orderb).
  206==> sort(orderc).
  207
  208% event! Order(ordera,orderb,orderc)
  209 %  event(order(ordera,orderb,orderc)).
  210% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Rest.e:72
  211==> mpred_prop(order(ordera,orderb,orderc),event).
  212==> meta_argtypes(order(ordera,orderb,orderc)).
  213
  214% fluent! KnowOrder(orderb,ordera,orderc)
  215 %  fluent(knowOrder(orderb,ordera,orderc)).
  216% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Rest.e:73
  217==> mpred_prop(knowOrder(orderb,ordera,orderc),fluent).
  218==> meta_argtypes(knowOrder(orderb,ordera,orderc)).
  219
  220% sort requesta, requestb, requestc
  221% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Rest.e:75
  222==> sort(requesta).
  223==> sort(requestb).
  224==> sort(requestc).
  225
  226% event! Request(requesta,requestb,requestc)
  227 %  event(request(requesta,requestb,requestc)).
  228% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Rest.e:76
  229==> mpred_prop(request(requesta,requestb,requestc),event).
  230==> meta_argtypes(request(requesta,requestb,requestc)).
  231
  232% fluent! KnowRequest(requestb,requesta,requestc)
  233 %  fluent(knowRequest(requestb,requesta,requestc)).
  234% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Rest.e:77
  235==> mpred_prop(knowRequest(requestb,requesta,requestc),fluent).
  236==> meta_argtypes(knowRequest(requestb,requesta,requestc)).
  237
  238% sort holda, holdb, holdc
  239% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Rest.e:79
  240==> sort(holda).
  241==> sort(holdb).
  242==> sort(holdc).
  243
  244% event! TakeOffOf(holda,holdb,holdc)
  245 %  event(takeOffOf(holda,holdb,holdc)).
  246% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Rest.e:80
  247==> mpred_prop(takeOffOf(holda,holdb,holdc),event).
  248==> meta_argtypes(takeOffOf(holda,holdb,holdc)).
  249
  250% event! PickUp(holda,holdb)
  251 %  event(pickUp(holda,holdb)).
  252% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Rest.e:81
  253==> mpred_prop(pickUp(holda,holdb),event).
  254==> meta_argtypes(pickUp(holda,holdb)).
  255
  256% event! LetGoOf(holda,holdb)
  257 %  event(letGoOf(holda,holdb)).
  258% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Rest.e:82
  259==> mpred_prop(letGoOf(holda,holdb),event).
  260==> meta_argtypes(letGoOf(holda,holdb)).
  261
  262% event! Hold(holda,holdb)
  263 %  event(hold(holda,holdb)).
  264% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Rest.e:83
  265==> mpred_prop(hold(holda,holdb),event).
  266==> meta_argtypes(hold(holda,holdb)).
  267
  268% fluent! Holding(holda,holdb)
  269 %  fluent(holding(holda,holdb)).
  270% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Rest.e:84
  271==> mpred_prop(holding(holda,holdb),fluent).
  272==> meta_argtypes(holding(holda,holdb)).
  273
  274% sort sita, sitb
  275% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Rest.e:86
  276==> sort(sita).
  277==> sort(sitb).
  278
  279% event! LieOn(sita,sitb)
  280 %  event(lieOn(sita,sitb)).
  281% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Rest.e:87
  282==> mpred_prop(lieOn(sita,sitb),event).
  283==> meta_argtypes(lieOn(sita,sitb)).
  284
  285% event! SitOn(sita,sitb)
  286 %  event(sitOn(sita,sitb)).
  287% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Rest.e:88
  288==> mpred_prop(sitOn(sita,sitb),event).
  289==> meta_argtypes(sitOn(sita,sitb)).
  290
  291% event! RiseFrom(sita,sitb)
  292 %  event(riseFrom(sita,sitb)).
  293% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Rest.e:89
  294==> mpred_prop(riseFrom(sita,sitb),event).
  295==> meta_argtypes(riseFrom(sita,sitb)).
  296
  297% fluent! LyingOn(sita,sitb)
  298 %  fluent(lyingOn(sita,sitb)).
  299% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Rest.e:90
  300==> mpred_prop(lyingOn(sita,sitb),fluent).
  301==> meta_argtypes(lyingOn(sita,sitb)).
  302
  303% fluent! SittingOn(sita,sitb)
  304 %  fluent(sittingOn(sita,sitb)).
  305% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Rest.e:91
  306==> mpred_prop(sittingOn(sita,sitb),fluent).
  307==> meta_argtypes(sittingOn(sita,sitb)).
  308
  309% sort greeta, greetb
  310% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Rest.e:93
  311==> sort(greeta).
  312==> sort(greetb).
  313
  314% event! Greet(greeta,greetb)
  315 %  event(greet(greeta,greetb)).
  316% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Rest.e:94
  317==> mpred_prop(greet(greeta,greetb),event).
  318==> meta_argtypes(greet(greeta,greetb)).
  319
  320% ona! Menu1, Food1, Bill1
  321% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Rest.e:96
  322==> t(ona,menu1).
  323==> t(ona,food1).
  324==> t(ona,bill1).
  325
  326% onb! Table1
  327% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Rest.e:97
  328==> t(onb,table1).
  329
  330% ordera! Customer1, Waiter1
  331% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Rest.e:98
  332==> t(ordera,customer1).
  333==> t(ordera,waiter1).
  334
  335% orderb! Waiter1, Cook1
  336% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Rest.e:99
  337==> t(orderb,waiter1).
  338==> t(orderb,cook1).
  339
  340% orderc! Food1
  341% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Rest.e:100
  342==> t(orderc,food1).
  343
  344% requesta! Customer1
  345% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Rest.e:101
  346==> t(requesta,customer1).
  347
  348% requestb! Waiter1
  349% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Rest.e:102
  350==> t(requestb,waiter1).
  351
  352% requestc! Bill1
  353% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Rest.e:103
  354==> t(requestc,bill1).
  355
  356% holda! Customer1, Waiter1
  357% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Rest.e:104
  358==> t(holda,customer1).
  359==> t(holda,waiter1).
  360
  361% holdb! Menu1, Food1, Bill1
  362% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Rest.e:105
  363==> t(holdb,menu1).
  364==> t(holdb,food1).
  365==> t(holdb,bill1).
  366
  367% holdc! Table1
  368% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Rest.e:106
  369==> t(holdc,table1).
  370
  371% sita! Customer1
  372% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Rest.e:107
  373==> t(sita,customer1).
  374
  375% sitb! Chair1
  376% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Rest.e:108
  377==> t(sitb,chair1).
  378
  379% greeta! Customer1, Waiter1
  380% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Rest.e:109
  381==> t(greeta,customer1).
  382==> t(greeta,waiter1).
  383
  384% greetb! Customer1, Waiter1
  385% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Rest.e:110
  386==> t(greetb,customer1).
  387==> t(greetb,waiter1).
  388%; initial situation
  389
  390
  391% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Rest.e:112
  392% HoldsAt(At(Waiter1,DiningRoom1),0).
  393axiom(initially(at(waiter1, diningRoom1)),
  394    []).
  395
  396
  397% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Rest.e:113
  398% HoldsAt(At(Cook1,Kitchen1),0).
  399axiom(initially(at(cook1, kitchen1)),
  400    []).
  401
  402
  403% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Rest.e:114
  404% HoldsAt(At(Table1,DiningRoom1),0).
  405axiom(initially(at(table1, diningRoom1)),
  406    []).
  407
  408
  409% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Rest.e:115
  410% !HoldsAt(On(Bill1,Table1),0).
  411 %  not(initially(on(bill1,table1))).
  412axiom(not(initially(on(bill1, table1))),
  413    []).
  414
  415
  416% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Rest.e:116
  417% HoldsAt(At(Bill1,DiningRoom1),0).
  418axiom(initially(at(bill1, diningRoom1)),
  419    []).
  420
  421
  422% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Rest.e:117
  423% [agent]
  424 % HoldsAt(Standing(agent),0).
  425axiom(initially(standing(Agent)),
  426    []).
  427
  428
  429% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Rest.e:118
  430% [agent,object]
  431 % !HoldsAt(Holding(agent,object),0).
  432 %  not(initially(holding(Agent,Object))).
  433axiom(not(initially(holding(Holding_Param, Holding_Ret))),
  434    []).
  435
  436
  437% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Rest.e:119
  438% [agent1,agent2,physobj]
  439 % !HoldsAt(KnowOrder(agent1,agent2,physobj),0).
  440 %  not(initially(knowOrder(Agent1,Agent2,Physobj))).
  441axiom(not(initially(knowOrder(KnowOrder_Param, _, KnowOrder_Ret))),
  442    []).
  443
  444
  445% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Rest.e:120
  446% [agent1,agent2,physobj]
  447 % !HoldsAt(KnowRequest(agent1,agent2,physobj),0).
  448 %  not(initially(knowRequest(Agent1,Agent2,Physobj))).
  449axiom(not(initially(knowRequest(KnowRequest_Param, _, KnowRequest_Ret))),
  450    []).
  451
  452
  453% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Rest.e:121
  454% HoldsAt(BeWaiter0(Waiter1),0).
  455axiom(initially(beWaiter0(waiter1)),
  456    []).
  457
  458
  459% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Rest.e:122
  460% HoldsAt(BeCook0(Cook1),0).
  461axiom(initially(beCook0(cook1)),
  462    []).
  463
  464
  465% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Rest.e:123
  466% [food]
  467 % !HoldsAt(FoodPrepared(food),0).
  468 %  not(initially(foodPrepared(Food))).
  469axiom(not(initially(foodPrepared(FoodPrepared_Ret))),
  470    []).
  471
  472
  473% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Rest.e:124
  474% !HoldsAt(Hungry(Cook1),0).
  475 %  not(initially(hungry(cook1))).
  476axiom(not(initially(hungry(cook1))),
  477    []).
  478
  479
  480% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Rest.e:125
  481% !HoldsAt(Hungry(Waiter1),0).
  482 %  not(initially(hungry(waiter1))).
  483axiom(not(initially(hungry(waiter1))),
  484    []).
  485
  486
  487% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Rest.e:127
  488% Happens(WalkThroughDoor12(Customer1,MainEntrance1),0).
  489axiom(happens(walkThroughDoor12(customer1, mainEntrance1), t),
  490    [is_time(0)]).
  491
  492
  493% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Rest.e:128
  494% Happens(Greet(Waiter1,Customer1),1).
  495axiom(happens(greet(waiter1, customer1), start),
  496    [is_time(1), b(t, start), ignore(t+1=start)]).
  497
  498
  499% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Rest.e:129
  500% Happens(SitOn(Customer1,Chair1),2).
  501axiom(happens(sitOn(customer1, chair1), t2),
  502    [is_time(2), b(t, t2), ignore(t+2=t2)]).
  503
  504
  505% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Rest.e:130
  506% Happens(TakeOffOf(Customer1,Menu1,Table1),3).
  507axiom(happens(takeOffOf(customer1, menu1, table1), t3),
  508    [is_time(3), b(t, t3), ignore(t+3=t3)]).
  509
  510
  511% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Rest.e:131
  512% Happens(Order(Customer1,Waiter1,Food1),4).
  513axiom(happens(order(customer1, waiter1, food1), t4),
  514    [is_time(4), b(t, t4), ignore(t+4=t4)]).
  515
  516
  517% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Rest.e:132
  518% Happens(PlaceOn(Customer1,Menu1,Table1),5).
  519axiom(happens(placeOn(customer1, menu1, table1), t5),
  520    [is_time(5), b(t, t5), ignore(t+5=t5)]).
  521
  522
  523% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Rest.e:133
  524% Happens(Eat(Customer1,Food1),11).
  525axiom(happens(eat(customer1, food1), t11),
  526    [is_time(11), b(t, t11), ignore(t+11=t11)]).
  527
  528
  529% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Rest.e:134
  530% Happens(Request(Customer1,Waiter1,Bill1),12).
  531axiom(happens(request(customer1, waiter1, bill1), t12),
  532    [is_time(12), b(t, t12), ignore(t+12=t12)]).
  533
  534
  535% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Rest.e:135
  536% Happens(Pay(Customer1,Waiter1),15).
  537axiom(happens(pay(customer1, waiter1), t15),
  538    [is_time(15), b(t, t15), ignore(t+15=t15)]).
  539
  540
  541% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Rest.e:136
  542% Happens(Tip(Customer1,Waiter1),15).
  543axiom(happens(tip(customer1, waiter1), t15),
  544    [is_time(15), b(t, t15), ignore(t+15=t15)]).
  545
  546
  547% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Rest.e:137
  548% Happens(RiseFrom(Customer1,Chair1),16).
  549axiom(happens(riseFrom(customer1, chair1), t16),
  550    [is_time(16), b(t, t16), ignore(t+16=t16)]).
  551
  552
  553% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Rest.e:138
  554% Happens(SayGoodbye(Customer1,Waiter1),17).
  555axiom(happens(sayGoodbye(customer1, waiter1), t17),
  556    [is_time(17), b(t, t17), ignore(t+17=t17)]).
  557
  558
  559% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Rest.e:139
  560% Happens(WalkThroughDoor21(Customer1,MainEntrance1),18).
  561axiom(happens(walkThroughDoor21(customer1, mainEntrance1), t18),
  562    [is_time(18), b(t, t18), ignore(t+18=t18)]).
  563
  564% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Rest.e:141
  565% range time 0 19
  566% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Rest.e:142
  567==> range(time,0,19).
  568
  569% range offset 0 0
  570% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Rest.e:143
  571==> range(offset,0,0).
  572
  573% range diameter 0 0
  574% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Rest.e:144
  575==> range(diameter,0,0).
  576
  577% completion Happens
  578% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Rest.e:146
  579==> completion(happens).
  580%; End of file.