1:-include(library('ec_planner/ec_test_incl')).    2:-expects_dialect(pfc).    3 %  loading(always,'ecnet/EatingInAHouse.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:2004c,
   15%;   author = "Erik T. Mueller",
   16%;   year = "2004",
   17%;   title = "Understanding script-based stories using commonsense reasoning",
   18%;   journal = "Cognitive Systems Research",
   19%;   volume = "5",
   20%;   number = "4",
   21%;   pages = "307--340",
   22%; }
   23%;
   24
   25% option modeldiff on
   26:- set_ec_option(modeldiff, on).   27
   28% option encoding 3
   29:- set_ec_option(encoding, 3).   30
   31% option renaming off
   32:- set_ec_option(renaming, off).   33
   34% ignore Love, ThreatenedBy
   35ignore(love).
   36ignore(threatenedBy).
   37
   38% ignore LookOutOnto, Floor, BuildingOf, SkyOf, GroundOf
   39ignore(lookOutOnto).
   40ignore(floor).
   41ignore(buildingOf).
   42ignore(skyOf).
   43ignore(groundOf).
   44
   45% ignore Inside
   46ignore(inside).
   47
   48% ignore Near, WalkFrom, WalkFromTo, RunFromTo
   49ignore(near).
   50ignore(walkFrom).
   51ignore(walkFromTo).
   52ignore(runFromTo).
   53
   54% ignore BillOf, CookOf, TableOf, WaiterOf, KitchenDoorOf
   55ignore(billOf).
   56ignore(cookOf).
   57ignore(tableOf).
   58ignore(waiterOf).
   59ignore(kitchenDoorOf).
   60
   61% ignore BeWaiter0, BeWaiter1, BeWaiter2, BeWaiter3, BeWaiter4
   62ignore(beWaiter0).
   63ignore(beWaiter1).
   64ignore(beWaiter2).
   65ignore(beWaiter3).
   66ignore(beWaiter4).
   67
   68% ignore BeWaiter5, BeWaiter6, BeWaiter7, BeWaiter8, BeWaiter9
   69ignore(beWaiter5).
   70ignore(beWaiter6).
   71ignore(beWaiter7).
   72ignore(beWaiter8).
   73ignore(beWaiter9).
   74
   75% ignore BeCook0, BeCook1
   76ignore(beCook0).
   77ignore(beCook1).
   78
   79% ignore InviteIn, InvitedIn, IntendToWalkIn, IntentionToWalkIn
   80ignore(inviteIn).
   81ignore(invitedIn).
   82ignore(intendToWalkIn).
   83ignore(intentionToWalkIn).
   84
   85% ignore ActOnIntentionToWalkIn, Greet, SayGoodbye, CryForJoy
   86ignore(actOnIntentionToWalkIn).
   87ignore(greet).
   88ignore(sayGoodbye).
   89ignore(cryForJoy).
   90
   91% ignore Threaten, ReleaseFromThreat, ThreatenedBy
   92ignore(threaten).
   93ignore(releaseFromThreat).
   94ignore(threatenedBy).
   95
   96% ignore Order, KnowOrder, Request, KnowRequest
   97ignore(order).
   98ignore(knowOrder).
   99ignore(request).
  100ignore(knowRequest).
  101
  102% ignore PutInside, TakeOutOf
  103ignore(putInside).
  104ignore(takeOutOf).
  105
  106% ignore SayPleaseToMeet, Move
  107ignore(sayPleaseToMeet).
  108ignore(move).
  109
  110% load foundations/Root.e
  111
  112% load foundations/EC.e
  113
  114% load answers/Mueller2003/Ontology.e
  115
  116% load answers/Mueller2004c/RTSpaceM.e
  117load('answers/Mueller2004c/RTSpaceM.e').
  118
  119% load answers/Mueller2004c/OTSpaceM.e
  120load('answers/Mueller2004c/OTSpaceM.e').
  121
  122% load answers/Mueller2004c/HungerNeed.e
  123
  124% load answers/Mueller2004c/Restaurant.e
  125
  126% load answers/Mueller2003/Sleep.e
  127
  128% load answers/Mueller2003/SpeechAct.e
  129
  130% load answers/Mueller2004c/Dress.e
  131
  132% room Upstairs1
  133==> t(room,upstairs1).
  134
  135% staircase Staircase1
  136==> t(staircase,staircase1).
  137
  138% room Hallway1
  139==> t(room,hallway1).
  140
  141
  142% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/EatingInAHouse.e:57
  143% Side1(Staircase1)=Hallway1.
  144side1(staircase1,hallway1).
  145
  146
  147% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/EatingInAHouse.e:58
  148% Side2(Staircase1)=Upstairs1.
  149side2(staircase1,upstairs1).
  150
  151% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/EatingInAHouse.e:60
  152% door DiningRoomDoor1
  153% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/EatingInAHouse.e:61
  154==> t(door,diningRoomDoor1).
  155
  156% room DiningRoom1
  157% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/EatingInAHouse.e:63
  158==> t(room,diningRoom1).
  159
  160
  161% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/EatingInAHouse.e:64
  162% Side1(DiningRoomDoor1)=Hallway1.
  163side1(diningRoomDoor1,hallway1).
  164
  165
  166% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/EatingInAHouse.e:65
  167% Side2(DiningRoomDoor1)=DiningRoom1.
  168side2(diningRoomDoor1,diningRoom1).
  169
  170% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/EatingInAHouse.e:67
  171% door KitchenDoor1
  172% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/EatingInAHouse.e:68
  173==> t(door,kitchenDoor1).
  174
  175% room Kitchen1
  176% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/EatingInAHouse.e:70
  177==> t(room,kitchen1).
  178
  179
  180% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/EatingInAHouse.e:71
  181% Side1(KitchenDoor1)=DiningRoom1.
  182side1(kitchenDoor1,diningRoom1).
  183
  184
  185% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/EatingInAHouse.e:72
  186% Side2(KitchenDoor1)=Kitchen1.
  187side2(kitchenDoor1,kitchen1).
  188
  189% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/EatingInAHouse.e:74
  190% agent Eater1
  191% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/EatingInAHouse.e:75
  192==> t(agent,eater1).
  193
  194% agent Eater2
  195% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/EatingInAHouse.e:77
  196==> t(agent,eater2).
  197
  198% clothing Clothing1
  199% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/EatingInAHouse.e:79
  200==> t(clothing,clothing1).
  201
  202% clothing Clothing2
  203% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/EatingInAHouse.e:81
  204==> t(clothing,clothing2).
  205
  206% chair Chair1
  207% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/EatingInAHouse.e:83
  208==> t(chair,chair1).
  209
  210% chair Chair2
  211% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/EatingInAHouse.e:85
  212==> t(chair,chair2).
  213
  214% food Food1
  215% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/EatingInAHouse.e:87
  216==> t(food,food1).
  217
  218% agent Cook1
  219% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/EatingInAHouse.e:89
  220==> t(agent,cook1).
  221
  222% table Table1
  223% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/EatingInAHouse.e:91
  224==> t(table,table1).
  225
  226% content Content1
  227% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/EatingInAHouse.e:93
  228==> t(content,content1).
  229
  230% content Content2
  231% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/EatingInAHouse.e:95
  232==> t(content,content2).
  233
  234% outside DummyOutside1
  235% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/EatingInAHouse.e:97
  236==> t(outside,dummyOutside1).
  237%; prune
  238
  239% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/EatingInAHouse.e:99
  240% sort ona, onb
  241% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/EatingInAHouse.e:100
  242==> sort(ona).
  243==> sort(onb).
  244
  245% fluent! On(ona,onb)
  246 %  fluent(on(ona,onb)).
  247% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/EatingInAHouse.e:101
  248==> mpred_prop(on(ona,onb),fluent).
  249==> meta_argtypes(on(ona,onb)).
  250
  251% event! PlaceOn(agent,ona,onb)
  252 %  event(placeOn(agent,ona,onb)).
  253% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/EatingInAHouse.e:102
  254==> mpred_prop(placeOn(agent,ona,onb),event).
  255==> meta_argtypes(placeOn(agent,ona,onb)).
  256
  257% event! TakeOffOf(agent,ona,onb)
  258 %  event(takeOffOf(agent,ona,onb)).
  259% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/EatingInAHouse.e:103
  260==> mpred_prop(takeOffOf(agent,ona,onb),event).
  261==> meta_argtypes(takeOffOf(agent,ona,onb)).
  262
  263% sort ordera, orderb, orderc
  264% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/EatingInAHouse.e:105
  265==> sort(ordera).
  266==> sort(orderb).
  267==> sort(orderc).
  268
  269% event! Order(ordera,orderb,orderc)
  270 %  event(order(ordera,orderb,orderc)).
  271% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/EatingInAHouse.e:106
  272==> mpred_prop(order(ordera,orderb,orderc),event).
  273==> meta_argtypes(order(ordera,orderb,orderc)).
  274
  275% fluent! KnowOrder(orderb,ordera,orderc)
  276 %  fluent(knowOrder(orderb,ordera,orderc)).
  277% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/EatingInAHouse.e:107
  278==> mpred_prop(knowOrder(orderb,ordera,orderc),fluent).
  279==> meta_argtypes(knowOrder(orderb,ordera,orderc)).
  280
  281% sort requesta, requestb, requestc
  282% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/EatingInAHouse.e:109
  283==> sort(requesta).
  284==> sort(requestb).
  285==> sort(requestc).
  286
  287% event! Request(requesta,requestb,requestc)
  288 %  event(request(requesta,requestb,requestc)).
  289% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/EatingInAHouse.e:110
  290==> mpred_prop(request(requesta,requestb,requestc),event).
  291==> meta_argtypes(request(requesta,requestb,requestc)).
  292
  293% fluent! KnowRequest(requestb,requesta,requestc)
  294 %  fluent(knowRequest(requestb,requesta,requestc)).
  295% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/EatingInAHouse.e:111
  296==> mpred_prop(knowRequest(requestb,requesta,requestc),fluent).
  297==> meta_argtypes(knowRequest(requestb,requesta,requestc)).
  298
  299% sort holda, holdb, holdc
  300% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/EatingInAHouse.e:113
  301==> sort(holda).
  302==> sort(holdb).
  303==> sort(holdc).
  304
  305% event! TakeOffOf(holda,holdb,holdc)
  306 %  event(takeOffOf(holda,holdb,holdc)).
  307% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/EatingInAHouse.e:114
  308==> mpred_prop(takeOffOf(holda,holdb,holdc),event).
  309==> meta_argtypes(takeOffOf(holda,holdb,holdc)).
  310
  311% event! PickUp(holda,holdb)
  312 %  event(pickUp(holda,holdb)).
  313% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/EatingInAHouse.e:115
  314==> mpred_prop(pickUp(holda,holdb),event).
  315==> meta_argtypes(pickUp(holda,holdb)).
  316
  317% event! LetGoOf(holda,holdb)
  318 %  event(letGoOf(holda,holdb)).
  319% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/EatingInAHouse.e:116
  320==> mpred_prop(letGoOf(holda,holdb),event).
  321==> meta_argtypes(letGoOf(holda,holdb)).
  322
  323% event! Hold(holda,holdb)
  324 %  event(hold(holda,holdb)).
  325% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/EatingInAHouse.e:117
  326==> mpred_prop(hold(holda,holdb),event).
  327==> meta_argtypes(hold(holda,holdb)).
  328
  329% fluent! Holding(holda,holdb)
  330 %  fluent(holding(holda,holdb)).
  331% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/EatingInAHouse.e:118
  332==> mpred_prop(holding(holda,holdb),fluent).
  333==> meta_argtypes(holding(holda,holdb)).
  334
  335% sort sita, sitb
  336% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/EatingInAHouse.e:120
  337==> sort(sita).
  338==> sort(sitb).
  339
  340% event! LieOn(sita,sitb)
  341 %  event(lieOn(sita,sitb)).
  342% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/EatingInAHouse.e:121
  343==> mpred_prop(lieOn(sita,sitb),event).
  344==> meta_argtypes(lieOn(sita,sitb)).
  345
  346% event! SitOn(sita,sitb)
  347 %  event(sitOn(sita,sitb)).
  348% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/EatingInAHouse.e:122
  349==> mpred_prop(sitOn(sita,sitb),event).
  350==> meta_argtypes(sitOn(sita,sitb)).
  351
  352% event! RiseFrom(sita,sitb)
  353 %  event(riseFrom(sita,sitb)).
  354% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/EatingInAHouse.e:123
  355==> mpred_prop(riseFrom(sita,sitb),event).
  356==> meta_argtypes(riseFrom(sita,sitb)).
  357
  358% fluent! LyingOn(sita,sitb)
  359 %  fluent(lyingOn(sita,sitb)).
  360% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/EatingInAHouse.e:124
  361==> mpred_prop(lyingOn(sita,sitb),fluent).
  362==> meta_argtypes(lyingOn(sita,sitb)).
  363
  364% fluent! SittingOn(sita,sitb)
  365 %  fluent(sittingOn(sita,sitb)).
  366% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/EatingInAHouse.e:125
  367==> mpred_prop(sittingOn(sita,sitb),fluent).
  368==> meta_argtypes(sittingOn(sita,sitb)).
  369
  370% ona! Food1
  371% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/EatingInAHouse.e:127
  372==> t(ona,food1).
  373
  374% onb! Table1
  375% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/EatingInAHouse.e:128
  376==> t(onb,table1).
  377
  378% holda! Cook1
  379% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/EatingInAHouse.e:129
  380==> t(holda,cook1).
  381
  382% holdb! Food1
  383% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/EatingInAHouse.e:130
  384==> t(holdb,food1).
  385
  386% holdc! Table1
  387% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/EatingInAHouse.e:131
  388==> t(holdc,table1).
  389
  390% sita! Eater1
  391% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/EatingInAHouse.e:132
  392==> t(sita,eater1).
  393
  394% sitb! Chair1
  395% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/EatingInAHouse.e:133
  396==> t(sitb,chair1).
  397%; initial situation
  398% [agent]
  399 % HoldsAt(Dressed(agent),0).
  400% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/EatingInAHouse.e:135
  401axiom(initially(dressed(Agent)),
  402    []).
  403
  404
  405% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/EatingInAHouse.e:136
  406% [agent]
  407 % HoldsAt(Awake(agent),0).
  408axiom(initially(awake(Agent)),
  409    []).
  410
  411
  412% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/EatingInAHouse.e:137
  413% [agent]
  414 % HoldsAt(Sleep3(agent),0).
  415axiom(initially(sleep3(Agent)),
  416    []).
  417
  418
  419% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/EatingInAHouse.e:138
  420% [agent]
  421 % HoldsAt(Standing(agent),0).
  422axiom(initially(standing(Agent)),
  423    []).
  424
  425
  426% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/EatingInAHouse.e:139
  427% [agent]
  428 % HoldsAt(Standing(agent),0).
  429axiom(initially(standing(Agent)),
  430    []).
  431
  432
  433% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/EatingInAHouse.e:140
  434% [agent,object]
  435 % !HoldsAt(Holding(agent,object),0).
  436 %  not(initially(holding(Agent,Object))).
  437axiom(not(initially(holding(Holding_Param, Holding_Ret))),
  438    []).
  439
  440
  441% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/EatingInAHouse.e:141
  442% [food]
  443 % HoldsAt(At(food,Kitchen1),0).
  444axiom(initially(at(Food, kitchen1)),
  445    []).
  446
  447
  448% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/EatingInAHouse.e:142
  449% [food]
  450 % !HoldsAt(FoodPrepared(food),0).
  451 %  not(initially(foodPrepared(Food))).
  452axiom(not(initially(foodPrepared(FoodPrepared_Ret))),
  453    []).
  454
  455
  456% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/EatingInAHouse.e:143
  457% [agent]
  458 % HoldsAt(Hungry(agent),0).
  459axiom(initially(hungry(Agent)),
  460    []).
  461
  462
  463% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/EatingInAHouse.e:144
  464% [door]
  465 % HoldsAt(DoorIsOpen(door),0).
  466axiom(initially(doorIsOpen(Door)),
  467    []).
  468
  469
  470% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/EatingInAHouse.e:145
  471% [clothing]
  472 % HoldsAt(At(clothing,Upstairs1),0).
  473axiom(initially(at(Clothing, upstairs1)),
  474    []).
  475
  476
  477% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/EatingInAHouse.e:146
  478% [chair]
  479 % HoldsAt(At(chair,DiningRoom1),0).
  480axiom(initially(at(Chair, diningRoom1)),
  481    []).
  482
  483
  484% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/EatingInAHouse.e:147
  485% HoldsAt(At(Cook1,Kitchen1),0).
  486axiom(initially(at(cook1, kitchen1)),
  487    []).
  488
  489
  490% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/EatingInAHouse.e:148
  491% HoldsAt(At(Table1,DiningRoom1),0).
  492axiom(initially(at(table1, diningRoom1)),
  493    []).
  494
  495
  496% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/EatingInAHouse.e:149
  497% [agent,clothing]
  498 % !HoldsAt(Wearing(agent,clothing),0).
  499 %  not(initially(wearing(Agent,Clothing))).
  500axiom(not(initially(wearing(Wearing_Param, Wearing_Ret))),
  501    []).
  502
  503
  504% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/EatingInAHouse.e:151
  505%; narrative
  506
  507
  508% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/EatingInAHouse.e:152
  509% HoldsAt(At(Cook1,Kitchen1),0).
  510axiom(initially(at(cook1, kitchen1)),
  511    []).
  512
  513
  514% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/EatingInAHouse.e:153
  515% HoldsAt(At(Eater1,Upstairs1),0).
  516axiom(initially(at(eater1, upstairs1)),
  517    []).
  518
  519
  520% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/EatingInAHouse.e:154
  521% HoldsAt(At(Eater2,Upstairs1),0).
  522axiom(initially(at(eater2, upstairs1)),
  523    []).
  524
  525
  526% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/EatingInAHouse.e:155
  527% Happens(FoodPrepare(Cook1,Food1),0).
  528axiom(happens(foodPrepare(cook1, food1), t),
  529    [is_time(0)]).
  530
  531
  532% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/EatingInAHouse.e:156
  533% Happens(PutOn(Eater1,Clothing1),1).
  534axiom(happens(putOn(eater1, clothing1), start),
  535    [is_time(1), b(t, start), ignore(t+1=start)]).
  536
  537
  538% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/EatingInAHouse.e:157
  539% Happens(PutOn(Eater2,Clothing2),2).
  540axiom(happens(putOn(eater2, clothing2), t2),
  541    [is_time(2), b(t, t2), ignore(t+2=t2)]).
  542
  543
  544% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/EatingInAHouse.e:158
  545% Happens(WalkDownStaircase(Eater1,Staircase1),3).
  546axiom(happens(walkDownStaircase(eater1, staircase1), t3),
  547    [is_time(3), b(t, t3), ignore(t+3=t3)]).
  548
  549
  550% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/EatingInAHouse.e:159
  551% Happens(WalkDownStaircase(Eater2,Staircase1),4).
  552axiom(happens(walkDownStaircase(eater2, staircase1), t4),
  553    [is_time(4), b(t, t4), ignore(t+4=t4)]).
  554
  555
  556% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/EatingInAHouse.e:160
  557% Happens(WalkThroughDoor12(Eater1,DiningRoomDoor1),5).
  558axiom(happens(walkThroughDoor12(eater1, diningRoomDoor1), t5),
  559    [is_time(5), b(t, t5), ignore(t+5=t5)]).
  560
  561
  562% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/EatingInAHouse.e:161
  563% Happens(WalkThroughDoor12(Eater2,DiningRoomDoor1),6).
  564axiom(happens(walkThroughDoor12(eater2, diningRoomDoor1), t6),
  565    [is_time(6), b(t, t6), ignore(t+6=t6)]).
  566
  567
  568% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/EatingInAHouse.e:162
  569% Happens(SitOn(Eater1,Chair1),7).
  570axiom(happens(sitOn(eater1, chair1), t7),
  571    [is_time(7), b(t, t7), ignore(t+7=t7)]).
  572
  573
  574% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/EatingInAHouse.e:163
  575% Happens(SitOn(Eater2,Chair2),8).
  576axiom(happens(sitOn(eater2, chair2), t8),
  577    [is_time(8), b(t, t8), ignore(t+8=t8)]).
  578
  579
  580% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/EatingInAHouse.e:164
  581% Happens(PickUp(Cook1, Food1),9).
  582axiom(happens(pickUp(cook1, food1), t9),
  583    [is_time(9), b(t, t9), ignore(t+9=t9)]).
  584
  585
  586% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/EatingInAHouse.e:165
  587% Happens(WalkThroughDoor21(Cook1, KitchenDoor1),10).
  588axiom(happens(walkThroughDoor21(cook1, kitchenDoor1), t10),
  589    [is_time(10), b(t, t10), ignore(t+10=t10)]).
  590
  591
  592% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/EatingInAHouse.e:166
  593% Happens(PlaceOn(Cook1, Food1, Table1),11).
  594axiom(happens(placeOn(cook1, food1, table1), t11),
  595    [is_time(11), b(t, t11), ignore(t+11=t11)]).
  596
  597
  598% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/EatingInAHouse.e:167
  599% Happens(WalkThroughDoor12(Cook1, KitchenDoor1),12).
  600axiom(happens(walkThroughDoor12(cook1, kitchenDoor1), t12),
  601    [is_time(12), b(t, t12), ignore(t+12=t12)]).
  602
  603
  604% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/EatingInAHouse.e:168
  605% Happens(Eat(Eater1,Food1),13).
  606axiom(happens(eat(eater1, food1), t13),
  607    [is_time(13), b(t, t13), ignore(t+13=t13)]).
  608
  609
  610% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/EatingInAHouse.e:169
  611% Happens(Eat(Eater2,Food1),14).
  612axiom(happens(eat(eater2, food1), t14),
  613    [is_time(14), b(t, t14), ignore(t+14=t14)]).
  614
  615
  616% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/EatingInAHouse.e:170
  617% Happens(Converse(Eater1,Eater2),15).
  618axiom(happens(converse(eater1, eater2), t15),
  619    [is_time(15), b(t, t15), ignore(t+15=t15)]).
  620
  621
  622% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/EatingInAHouse.e:171
  623% Happens(TalkAbout(Eater1,Content1),16).
  624axiom(happens(talkAbout(eater1, content1), t16),
  625    [is_time(16), b(t, t16), ignore(t+16=t16)]).
  626
  627
  628% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/EatingInAHouse.e:172
  629% Happens(TalkAbout(Eater2,Content2),17).
  630axiom(happens(talkAbout(eater2, content2), t17),
  631    [is_time(17), b(t, t17), ignore(t+17=t17)]).
  632
  633
  634% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/EatingInAHouse.e:173
  635% Happens(RiseFrom(Eater1,Chair1),18).
  636axiom(happens(riseFrom(eater1, chair1), t18),
  637    [is_time(18), b(t, t18), ignore(t+18=t18)]).
  638
  639
  640% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/EatingInAHouse.e:174
  641% Happens(RiseFrom(Eater2,Chair2),19).
  642axiom(happens(riseFrom(eater2, chair2), t19),
  643    [is_time(19), b(t, t19), ignore(t+19=t19)]).
  644
  645% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/EatingInAHouse.e:176
  646% range time 0 20
  647% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/EatingInAHouse.e:177
  648==> range(time,0,20).
  649
  650% range offset 0 0
  651% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/EatingInAHouse.e:178
  652==> range(offset,0,0).
  653
  654% range diameter 0 0
  655% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/EatingInAHouse.e:179
  656==> range(diameter,0,0).
  657
  658% completion Happens
  659% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/EatingInAHouse.e:181
  660==> completion(happens).
  661%; End of file.