1:-include(library('ec_planner/ec_test_incl')).    2:-expects_dialect(pfc).    3 %  loading(always,'ecnet/RepRest.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%;sort boolean
   22%;sort integer
   23%;reified sort predicate
   24%;reified sort function
   25%;
   26%;sort time: integer
   27%;sort offset: integer
   28%;
   29%;reified sort fluent
   30%;reified sort event
   31%;
   32%;predicate Happens(event,time)
   33%;predicate HoldsAt(fluent,time)
   34%;predicate ReleasedAt(fluent,time)
   35%;predicate Initiates(event,fluent,time)
   36%;predicate Terminates(event,fluent,time)
   37%;predicate Releases(event,fluent,time)
   38%;
   39%;sort diameter: integer
   40%;
   41%;sort object
   42%;
   43%;sort agent: object
   44%;
   45%;sort physobj: object
   46%;sort bed: physobj
   47%;sort snowflake: physobj
   48%;sort sky: physobj
   49%;
   50%;sort stuff: physobj
   51%;
   52%;sort surface: physobj
   53%;sort ground: surface
   54%;
   55%;sort snow: stuff
   56%;sort ball
   57%;
   58%;sort food: physobj
   59%;sort fruit: food
   60%;sort orange: fruit
   61%;sort salad: food
   62%;
   63%;sort clothing: physobj
   64%;sort scarf: clothing
   65%;sort hat: clothing
   66%;
   67%;sort vegetablematter: physobj
   68%;sort coal: vegetablematter
   69%;
   70%;sort bodypart: physobj
   71%;sort hand: bodypart
   72%;
   73%;sort papertowels: physobj
   74%;sort device: physobj
   75%;sort electronicdevice: device
   76%;sort lamp: electronicdevice
   77%;
   78%;sort cat: physobj
   79%;
   80%;sort weapon: physobj
   81%;sort gun: weapon
   82%;sort bomb: weapon
   83%;sort bullet: weapon
   84%;
   85%;sort location
   86%;sort room: location, outside: location
   87%;
   88%;sort portal
   89%;sort door: portal, staircase: portal
   90%;sort street: portal
   91%;
   92%;sort building
   93%;
   94%;sort fire: object
   95%;
   96%;sort furniture: physobj
   97%;sort chair: furniture
   98%;sort table: furniture
   99%;
  100%;sort menu: physobj
  101%;sort bill: physobj
  102%;
  103%;sort script
  104%;
  105
  106% fluent Holding(agent,physobj)
  107 %  fluent(holding(agent,physobj)).
  108==> mpred_prop(holding(agent,physobj),fluent).
  109==> meta_argtypes(holding(agent,physobj)).
  110
  111% event PickUp(agent,physobj)
  112 %  event(pickUp(agent,physobj)).
  113==> mpred_prop(pickUp(agent,physobj),event).
  114==> meta_argtypes(pickUp(agent,physobj)).
  115
  116% event LetGoOf(agent,physobj)
  117 %  event(letGoOf(agent,physobj)).
  118==> mpred_prop(letGoOf(agent,physobj),event).
  119==> meta_argtypes(letGoOf(agent,physobj)).
  120
  121
  122% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:106
  123% [agent,physobj,time]
  124% Initiates(PickUp(agent,physobj),Holding(agent,physobj),time).
  125% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:107
  126axiom(initiates(pickUp(Agent, Physobj), holding(Agent, Physobj), Time),
  127    []).
  128
  129
  130% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:109
  131% [agent,physobj,time]
  132% Happens(PickUp(agent,physobj),time) ->
  133% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:111
  134% {location}% 
  135%   HoldsAt(At(agent,location),time) &
  136%   HoldsAt(At(physobj,location),time).
  137
  138 /*   exists([Location],
  139             if(happens(pickUp(Agent, Physobj), Time),
  140                 (holds_at(at(Agent, Location), Time), holds_at(at(Physobj, Location), Time)))).
  141 */
  142
  143 /*  not(some(Location6, '$kolem_Fn_161'(Fn_161_Param, At_Param, Maptime))) :-
  144       happens(pickUp(Fn_161_Param, At_Param), Maptime),
  145       (   not(holds_at(at(Fn_161_Param, Location6), Maptime))
  146       ;   not(holds_at(at(At_Param, Location6), Maptime))
  147       ).
  148 */
  149% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:113
  150axiom(not(some(Location6, '$kolem_Fn_161'(Fn_161_Param, At_Param, Maptime))),
  151   
  152    [ not(holds_at(at(Fn_161_Param, Location6), Maptime)),
  153      happens(pickUp(Fn_161_Param, At_Param), Maptime)
  154    ]).
  155axiom(not(some(Location6, '$kolem_Fn_161'(Fn_161_Param, At_Param, Maptime))),
  156   
  157    [ not(holds_at(at(At_Param, Location6), Maptime)),
  158      happens(pickUp(Fn_161_Param, At_Param), Maptime)
  159    ]).
  160
  161 /*  not(happens(pickUp(PickUp_Param, At_Param12), Maptime9)) :-
  162       (   not(holds_at(at(PickUp_Param, Location10), Maptime9))
  163       ;   not(holds_at(at(At_Param12, Location10), Maptime9))
  164       ),
  165       some(Location10,
  166            '$kolem_Fn_161'(PickUp_Param, At_Param12, Maptime9)).
  167 */
  168axiom(not(happens(pickUp(PickUp_Param, At_Param12), Maptime9)),
  169   
  170    [ not(holds_at(at(PickUp_Param, Location10), Maptime9)),
  171      some(Location10,
  172           '$kolem_Fn_161'(PickUp_Param, At_Param12, Maptime9))
  173    ]).
  174axiom(not(happens(pickUp(PickUp_Param, At_Param12), Maptime9)),
  175   
  176    [ not(holds_at(at(At_Param12, Location10), Maptime9)),
  177      some(Location10,
  178           '$kolem_Fn_161'(PickUp_Param, At_Param12, Maptime9))
  179    ]).
  180
  181 /*  holds_at(at(At_Param15, Location13), Time14) :-
  182       happens(pickUp(At_Param15, PickUp_Ret), Time14),
  183       some(Location13,
  184            '$kolem_Fn_161'(At_Param15, PickUp_Ret, Time14)).
  185 */
  186axiom(holds_at(at(At_Param15, Location13), Time14),
  187   
  188    [ happens(pickUp(At_Param15, PickUp_Ret), Time14),
  189      some(Location13,
  190           '$kolem_Fn_161'(At_Param15, PickUp_Ret, Time14))
  191    ]).
  192
  193 /*  holds_at(at(At_Param19, Location17), Time18) :-
  194       happens(pickUp(PickUp_Param20, At_Param19), Time18),
  195       some(Location17,
  196            '$kolem_Fn_161'(PickUp_Param20, At_Param19, Time18)).
  197 */
  198axiom(holds_at(at(At_Param19, Location17), Time18),
  199   
  200    [ happens(pickUp(PickUp_Param20, At_Param19), Time18),
  201      some(Location17,
  202           '$kolem_Fn_161'(PickUp_Param20, At_Param19, Time18))
  203    ]).
  204
  205
  206% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:115
  207% [agent,physobj,time]
  208% Terminates(LetGoOf(agent,physobj),Holding(agent,physobj),time).
  209% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:116
  210axiom(terminates(letGoOf(Agent, Physobj), holding(Agent, Physobj), Time),
  211    []).
  212
  213
  214% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:118
  215% [agent,physobj,time]
  216% Happens(LetGoOf(agent,physobj),time) ->
  217% HoldsAt(Holding(agent,physobj),time).
  218% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:120
  219axiom(requires(letGoOf(Agent, Physobj), Time),
  220    [holds_at(holding(Agent, Physobj), Time)]).
  221
  222
  223% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:122
  224% [agent,physobj,location,time]
  225% Releases(PickUp(agent,physobj),At(physobj,location),time).
  226% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:123
  227axiom(releases(pickUp(Agent, Physobj), at(Physobj, Location), Time),
  228    []).
  229
  230
  231% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:125
  232% [agent,physobj,location,time]
  233% HoldsAt(Holding(agent,physobj),time) &
  234% HoldsAt(At(agent,location),time) ->
  235% HoldsAt(At(physobj,location),time).
  236% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:128
  237axiom(holds_at(at(Physobj, Location), Time),
  238   
  239    [ holds_at(holding(Agent, Physobj), Time),
  240      holds_at(at(Agent, Location), Time)
  241    ]).
  242
  243
  244% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:130
  245%;[agent,physobj,location1,location2,time]
  246%;HoldsAt(At(agent,location1),time) &
  247%;location1!=location2 ->
  248%;Terminates(LetGoOf(agent,physobj),At(physobj,location2),time).
  249% [agent,physobj,location,time]
  250% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:136
  251% HoldsAt(At(agent,location),time) ->
  252% Initiates(LetGoOf(agent,physobj),At(physobj,location),time).
  253% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:137
  254axiom(initiates(letGoOf(Agent, Physobj), at(Physobj, Location), Time),
  255    [holds_at(at(Agent, Location), Time)]).
  256
  257% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:139
  258% fluent On(physobj,physobj)
  259 %  fluent(on(physobj,physobj)).
  260% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:140
  261==> mpred_prop(on(physobj,physobj),fluent).
  262==> meta_argtypes(on(physobj,physobj)).
  263
  264% event PlaceOn(agent,physobj,physobj)
  265 %  event(placeOn(agent,physobj,physobj)).
  266% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:142
  267==> mpred_prop(placeOn(agent,physobj,physobj),event).
  268==> meta_argtypes(placeOn(agent,physobj,physobj)).
  269
  270% event TakeOffOf(agent,physobj,physobj)
  271 %  event(takeOffOf(agent,physobj,physobj)).
  272% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:144
  273==> mpred_prop(takeOffOf(agent,physobj,physobj),event).
  274==> meta_argtypes(takeOffOf(agent,physobj,physobj)).
  275
  276
  277% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:145
  278% [physobj1,physobj2,time]
  279% HoldsAt(On(physobj1,physobj2),time) ->
  280% physobj1!=physobj2.
  281% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:147
  282axiom(Physobj1\=Physobj2,
  283    [holds_at(on(Physobj1, Physobj2), Time)]).
  284
  285
  286% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:149
  287% [physobj1,physobj2,time]
  288% HoldsAt(On(physobj1,physobj2),time) ->
  289% !HoldsAt(On(physobj2,physobj1),time).
  290% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:151
  291axiom(not(holds_at(on(Physobj2, Physobj1), Time)),
  292    [holds_at(on(Physobj1, Physobj2), Time)]).
  293
  294
  295% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:153
  296% [agent,physobj1,physobj2,time]
  297% Initiates(PlaceOn(agent,physobj1,physobj2),
  298%           On(physobj1,physobj2),time).
  299% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:155
  300axiom(initiates(placeOn(Agent, Physobj1, Physobj2), on(Physobj1, Physobj2), Time),
  301    []).
  302
  303
  304% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:157
  305% [agent,physobj1,physobj2,time]
  306% Terminates(PlaceOn(agent,physobj1,physobj2),
  307%            Holding(agent,physobj1),time).
  308% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:159
  309axiom(terminates(placeOn(Agent, Physobj1, Physobj2), holding(Agent, Physobj1), Time),
  310    []).
  311
  312
  313% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:161
  314% [agent,physobj1,physobj2,time]
  315% Happens(PlaceOn(agent,physobj1,physobj2),time) ->
  316% HoldsAt(Holding(agent,physobj1),time) &
  317% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:164
  318% {location}% 
  319%  HoldsAt(At(agent,location),time) &
  320%  HoldsAt(At(physobj2,location),time).
  321
  322 /*   exists([Location],
  323             if(happens(placeOn(Agent, Physobj1, Physobj2),
  324                        Time),
  325                 (holds_at(holding(Agent, Physobj1), Time), holds_at(at(Agent, Location), Time), holds_at(at(Physobj2, Location), Time)))).
  326 */
  327
  328 /*  not(some(Location7, '$kolem_Fn_162'(Fn_162_Param, Holding_Ret, At_Param, Maptime))) :-
  329       happens(placeOn(Fn_162_Param, Holding_Ret, At_Param),
  330               Maptime),
  331       (   not(holds_at(holding(Fn_162_Param, Holding_Ret),
  332                        Maptime))
  333       ;   not(holds_at(at(Fn_162_Param, Location7), Maptime))
  334       ;   not(holds_at(at(At_Param, Location7), Maptime))
  335       ).
  336 */
  337% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:166
  338axiom(not(some(Location7, '$kolem_Fn_162'(Fn_162_Param, Holding_Ret, At_Param, Maptime))),
  339   
  340    [ not(holds_at(holding(Fn_162_Param, Holding_Ret),
  341                   Maptime)),
  342      happens(placeOn(Fn_162_Param, Holding_Ret, At_Param),
  343              Maptime)
  344    ]).
  345axiom(not(some(Location7, '$kolem_Fn_162'(Fn_162_Param, Holding_Ret, At_Param, Maptime))),
  346   
  347    [ not(holds_at(at(Fn_162_Param, Location7), Maptime)),
  348      happens(placeOn(Fn_162_Param, Holding_Ret, At_Param),
  349              Maptime)
  350    ]).
  351axiom(not(some(Location7, '$kolem_Fn_162'(Fn_162_Param, Holding_Ret, At_Param, Maptime))),
  352   
  353    [ not(holds_at(at(At_Param, Location7), Maptime)),
  354      happens(placeOn(Fn_162_Param, Holding_Ret, At_Param),
  355              Maptime)
  356    ]).
  357
  358 /*  not(happens(placeOn(PlaceOn_Param, Holding_Ret15, At_Param14), Maptime11)) :-
  359       (   not(holds_at(holding(PlaceOn_Param, Holding_Ret15),
  360                        Maptime11))
  361       ;   not(holds_at(at(PlaceOn_Param, Location12), Maptime11))
  362       ;   not(holds_at(at(At_Param14, Location12), Maptime11))
  363       ),
  364       some(Location12,
  365            '$kolem_Fn_162'(PlaceOn_Param,
  366                            Holding_Ret15,
  367                            At_Param14,
  368                            Maptime11)).
  369 */
  370axiom(not(happens(placeOn(PlaceOn_Param, Holding_Ret15, At_Param14), Maptime11)),
  371   
  372    [ not(holds_at(holding(PlaceOn_Param, Holding_Ret15),
  373                   Maptime11)),
  374      some(Location12,
  375           '$kolem_Fn_162'(PlaceOn_Param,
  376                           Holding_Ret15,
  377                           At_Param14,
  378                           Maptime11))
  379    ]).
  380axiom(not(happens(placeOn(PlaceOn_Param, Holding_Ret15, At_Param14), Maptime11)),
  381   
  382    [ not(holds_at(at(PlaceOn_Param, Location12), Maptime11)),
  383      some(Location12,
  384           '$kolem_Fn_162'(PlaceOn_Param,
  385                           Holding_Ret15,
  386                           At_Param14,
  387                           Maptime11))
  388    ]).
  389axiom(not(happens(placeOn(PlaceOn_Param, Holding_Ret15, At_Param14), Maptime11)),
  390   
  391    [ not(holds_at(at(At_Param14, Location12), Maptime11)),
  392      some(Location12,
  393           '$kolem_Fn_162'(PlaceOn_Param,
  394                           Holding_Ret15,
  395                           At_Param14,
  396                           Maptime11))
  397    ]).
  398
  399 /*  holds_at(holding(Holding_Param, Holding_Ret19), Time16) :-
  400       happens(placeOn(Holding_Param, Holding_Ret19, PlaceOn_Ret),
  401               Time16),
  402       some(Some_Param,
  403            '$kolem_Fn_162'(Holding_Param,
  404                            Holding_Ret19,
  405                            PlaceOn_Ret,
  406                            Time16)).
  407 */
  408axiom(holds_at(holding(Holding_Param, Holding_Ret19), Time16),
  409   
  410    [ happens(placeOn(Holding_Param,
  411                      Holding_Ret19,
  412                      PlaceOn_Ret),
  413              Time16),
  414      some(Some_Param,
  415           '$kolem_Fn_162'(Holding_Param,
  416                           Holding_Ret19,
  417                           PlaceOn_Ret,
  418                           Time16))
  419    ]).
  420
  421 /*  holds_at(at(At_Param23, Location21), Time22) :-
  422       happens(placeOn(At_Param23, A, PlaceOn_Ret24),
  423               Time22),
  424       some(Location21,
  425            '$kolem_Fn_162'(At_Param23,
  426                            A,
  427                            PlaceOn_Ret24,
  428                            Time22)).
  429 */
  430axiom(holds_at(at(At_Param23, Location21), Time22),
  431   
  432    [ happens(placeOn(At_Param23, A, PlaceOn_Ret24),
  433              Time22),
  434      some(Location21,
  435           '$kolem_Fn_162'(At_Param23,
  436                           A,
  437                           PlaceOn_Ret24,
  438                           Time22))
  439    ]).
  440
  441 /*  holds_at(at(At_Param27, Location25), Time26) :-
  442       happens(placeOn(PlaceOn_Param28, A, At_Param27),
  443               Time26),
  444       some(Location25,
  445            '$kolem_Fn_162'(PlaceOn_Param28,
  446                            A,
  447                            At_Param27,
  448                            Time26)).
  449 */
  450axiom(holds_at(at(At_Param27, Location25), Time26),
  451   
  452    [ happens(placeOn(PlaceOn_Param28, A, At_Param27),
  453              Time26),
  454      some(Location25,
  455           '$kolem_Fn_162'(PlaceOn_Param28,
  456                           A,
  457                           At_Param27,
  458                           Time26))
  459    ]).
  460
  461
  462% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:168
  463% [agent,physobj1,physobj2,time]
  464% Terminates(TakeOffOf(agent,physobj1,physobj2),
  465%            On(physobj1,physobj2),time).
  466% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:170
  467axiom(terminates(takeOffOf(Agent, Physobj1, Physobj2), on(Physobj1, Physobj2), Time),
  468    []).
  469
  470
  471% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:172
  472% [agent,physobj1,physobj2,time]
  473% Initiates(TakeOffOf(agent,physobj1,physobj2),
  474%           Holding(agent,physobj1),time).
  475% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:174
  476axiom(initiates(takeOffOf(Agent, Physobj1, Physobj2), holding(Agent, Physobj1), Time),
  477    []).
  478
  479
  480% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:176
  481% [agent,physobj1,physobj2,location,time]
  482% Releases(TakeOffOf(agent,physobj1,physobj2),
  483%          At(physobj1,location),
  484%          time).
  485% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:179
  486axiom(releases(takeOffOf(Agent, Physobj1, Physobj2), at(Physobj1, Location), Time),
  487    []).
  488
  489
  490% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:181
  491% [agent,physobj1,physobj2,time]
  492% Happens(TakeOffOf(agent,physobj1,physobj2),time) ->
  493% HoldsAt(On(physobj1,physobj2),time) &
  494% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:184
  495% {location}% 
  496%  HoldsAt(At(agent,location),time) &
  497%  HoldsAt(At(physobj1,location),time) &
  498%  HoldsAt(At(physobj2,location),time).
  499
  500 /*   exists([Location],
  501             if(happens(takeOffOf(Agent, Physobj1, Physobj2),
  502                        Time),
  503                 (holds_at(on(Physobj1, Physobj2), Time), holds_at(at(Agent, Location), Time), holds_at(at(Physobj1, Location), Time), holds_at(at(Physobj2, Location), Time)))).
  504 */
  505
  506 /*  not(some(Location7, '$kolem_Fn_163'(Fn_163_Param, On_Param, At_Param, Maptime))) :-
  507       happens(takeOffOf(Fn_163_Param, On_Param, At_Param),
  508               Maptime),
  509       (   not(holds_at(on(On_Param, At_Param), Maptime))
  510       ;   not(holds_at(at(Fn_163_Param, Location7), Maptime))
  511       ;   not(holds_at(at(On_Param, Location7), Maptime))
  512       ;   not(holds_at(at(At_Param, Location7), Maptime))
  513       ).
  514 */
  515% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:187
  516axiom(not(some(Location7, '$kolem_Fn_163'(Fn_163_Param, On_Param, At_Param, Maptime))),
  517   
  518    [ not(holds_at(on(On_Param, At_Param), Maptime)),
  519      happens(takeOffOf(Fn_163_Param, On_Param, At_Param),
  520              Maptime)
  521    ]).
  522axiom(not(some(Location7, '$kolem_Fn_163'(Fn_163_Param, On_Param, At_Param, Maptime))),
  523   
  524    [ not(holds_at(at(Fn_163_Param, Location7), Maptime)),
  525      happens(takeOffOf(Fn_163_Param, On_Param, At_Param),
  526              Maptime)
  527    ]).
  528axiom(not(some(Location7, '$kolem_Fn_163'(Fn_163_Param, On_Param, At_Param, Maptime))),
  529   
  530    [ not(holds_at(at(On_Param, Location7), Maptime)),
  531      happens(takeOffOf(Fn_163_Param, On_Param, At_Param),
  532              Maptime)
  533    ]).
  534axiom(not(some(Location7, '$kolem_Fn_163'(Fn_163_Param, On_Param, At_Param, Maptime))),
  535   
  536    [ not(holds_at(at(At_Param, Location7), Maptime)),
  537      happens(takeOffOf(Fn_163_Param, On_Param, At_Param),
  538              Maptime)
  539    ]).
  540
  541 /*  not(happens(takeOffOf(TakeOffOf_Param, On_Param14, At_Param15), Maptime11)) :-
  542       (   not(holds_at(on(On_Param14, At_Param15), Maptime11))
  543       ;   not(holds_at(at(TakeOffOf_Param, Location12),
  544                        Maptime11))
  545       ;   not(holds_at(at(On_Param14, Location12), Maptime11))
  546       ;   not(holds_at(at(At_Param15, Location12), Maptime11))
  547       ),
  548       some(Location12,
  549            '$kolem_Fn_163'(TakeOffOf_Param,
  550                            On_Param14,
  551                            At_Param15,
  552                            Maptime11)).
  553 */
  554axiom(not(happens(takeOffOf(TakeOffOf_Param, On_Param14, At_Param15), Maptime11)),
  555   
  556    [ not(holds_at(on(On_Param14, At_Param15), Maptime11)),
  557      some(Location12,
  558           '$kolem_Fn_163'(TakeOffOf_Param,
  559                           On_Param14,
  560                           At_Param15,
  561                           Maptime11))
  562    ]).
  563axiom(not(happens(takeOffOf(TakeOffOf_Param, On_Param14, At_Param15), Maptime11)),
  564   
  565    [ not(holds_at(at(TakeOffOf_Param, Location12), Maptime11)),
  566      some(Location12,
  567           '$kolem_Fn_163'(TakeOffOf_Param,
  568                           On_Param14,
  569                           At_Param15,
  570                           Maptime11))
  571    ]).
  572axiom(not(happens(takeOffOf(TakeOffOf_Param, On_Param14, At_Param15), Maptime11)),
  573   
  574    [ not(holds_at(at(On_Param14, Location12), Maptime11)),
  575      some(Location12,
  576           '$kolem_Fn_163'(TakeOffOf_Param,
  577                           On_Param14,
  578                           At_Param15,
  579                           Maptime11))
  580    ]).
  581axiom(not(happens(takeOffOf(TakeOffOf_Param, On_Param14, At_Param15), Maptime11)),
  582   
  583    [ not(holds_at(at(At_Param15, Location12), Maptime11)),
  584      some(Location12,
  585           '$kolem_Fn_163'(TakeOffOf_Param,
  586                           On_Param14,
  587                           At_Param15,
  588                           Maptime11))
  589    ]).
  590
  591 /*  holds_at(on(On_Param17, On_Ret), Time16) :-
  592       happens(takeOffOf(TakeOffOf_Param18, On_Param17, On_Ret),
  593               Time16),
  594       some(Some_Param,
  595            '$kolem_Fn_163'(TakeOffOf_Param18,
  596                            On_Param17,
  597                            On_Ret,
  598                            Time16)).
  599 */
  600axiom(holds_at(on(On_Param17, On_Ret), Time16),
  601   
  602    [ happens(takeOffOf(TakeOffOf_Param18, On_Param17, On_Ret),
  603              Time16),
  604      some(Some_Param,
  605           '$kolem_Fn_163'(TakeOffOf_Param18,
  606                           On_Param17,
  607                           On_Ret,
  608                           Time16))
  609    ]).
  610
  611 /*  holds_at(at(At_Param23, Location21), Time22) :-
  612       happens(takeOffOf(At_Param23, A, TakeOffOf_Ret),
  613               Time22),
  614       some(Location21,
  615            '$kolem_Fn_163'(At_Param23,
  616                            A,
  617                            TakeOffOf_Ret,
  618                            Time22)).
  619 */
  620axiom(holds_at(at(At_Param23, Location21), Time22),
  621   
  622    [ happens(takeOffOf(At_Param23, A, TakeOffOf_Ret),
  623              Time22),
  624      some(Location21,
  625           '$kolem_Fn_163'(At_Param23,
  626                           A,
  627                           TakeOffOf_Ret,
  628                           Time22))
  629    ]).
  630
  631 /*  holds_at(at(At_Param27, Location25), Time26) :-
  632       happens(takeOffOf(TakeOffOf_Param28,
  633                         At_Param27,
  634                         TakeOffOf_Ret29),
  635               Time26),
  636       some(Location25,
  637            '$kolem_Fn_163'(TakeOffOf_Param28,
  638                            At_Param27,
  639                            TakeOffOf_Ret29,
  640                            Time26)).
  641 */
  642axiom(holds_at(at(At_Param27, Location25), Time26),
  643   
  644    [ happens(takeOffOf(TakeOffOf_Param28,
  645                        At_Param27,
  646                        TakeOffOf_Ret29),
  647              Time26),
  648      some(Location25,
  649           '$kolem_Fn_163'(TakeOffOf_Param28,
  650                           At_Param27,
  651                           TakeOffOf_Ret29,
  652                           Time26))
  653    ]).
  654
  655 /*  holds_at(at(At_Param32, Location30), Time31) :-
  656       happens(takeOffOf(TakeOffOf_Param33, A, At_Param32),
  657               Time31),
  658       some(Location30,
  659            '$kolem_Fn_163'(TakeOffOf_Param33,
  660                            A,
  661                            At_Param32,
  662                            Time31)).
  663 */
  664axiom(holds_at(at(At_Param32, Location30), Time31),
  665   
  666    [ happens(takeOffOf(TakeOffOf_Param33, A, At_Param32),
  667              Time31),
  668      some(Location30,
  669           '$kolem_Fn_163'(TakeOffOf_Param33,
  670                           A,
  671                           At_Param32,
  672                           Time31))
  673    ]).
  674
  675
  676% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:189
  677% [agent,physobj1,physobj2,location,time]
  678% Releases(PlaceOn(agent,physobj1,physobj2),
  679%          At(physobj1,location),
  680%          time).
  681% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:192
  682axiom(releases(placeOn(Agent, Physobj1, Physobj2), at(Physobj1, Location), Time),
  683    []).
  684
  685
  686% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:194
  687% [physobj1,physobj2,location,time]
  688% HoldsAt(On(physobj1,physobj2),time) &
  689% HoldsAt(At(physobj2,location),time) ->
  690% HoldsAt(At(physobj1,location),time).
  691% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:197
  692axiom(holds_at(at(Physobj1, Location), Time),
  693   
  694    [ holds_at(on(Physobj1, Physobj2), Time),
  695      holds_at(at(Physobj2, Location), Time)
  696    ]).
  697
  698% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:199
  699% fluent At(object,location)
  700 %  fluent(at(object,location)).
  701% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:200
  702==> mpred_prop(at(object,location),fluent).
  703==> meta_argtypes(at(object,location)).
  704
  705
  706% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:201
  707% [object,time]
  708% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:202
  709% {location} % HoldsAt(At(object,location),time).
  710
  711 /*  exists([Location],
  712          holds_at(at(Object,Location),Time)).
  713 */
  714
  715 /*  holds_at(at(At_Param, Location4), Time5) :-
  716       some(Location4, '$kolem_Fn_164'(At_Param, Time5)).
  717 */
  718axiom(holds_at(at(At_Param, Location4), Time5),
  719    [some(Location4, '$kolem_Fn_164'(At_Param, Time5))]).
  720
  721 /*  not(some(Location7, '$kolem_Fn_164'(Fn_164_Param, Time8))) :-
  722       not(holds_at(at(Fn_164_Param, Location7), Time8)).
  723 */
  724axiom(not(some(Location7, '$kolem_Fn_164'(Fn_164_Param, Time8))),
  725    [not(holds_at(at(Fn_164_Param, Location7), Time8))]).
  726
  727
  728% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:204
  729% [object,location1,location2,time]
  730% HoldsAt(At(object,location1),time) &
  731% HoldsAt(At(object,location2),time) ->
  732% location1=location2.
  733% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:207
  734axiom(Location1=Location2,
  735   
  736    [ holds_at(at(Object, Location1), Time),
  737      holds_at(at(Object, Location2), Time)
  738    ]).
  739
  740% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:209
  741% function Side1(portal): location
  742 %  functional_predicate(side1(portal,location)).
  743% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:210
  744==> mpred_prop(side1(portal,location),functional_predicate).
  745==> meta_argtypes(side1(portal,location)).
  746resultIsa(side1,location).
  747
  748% function Side2(portal): location
  749 %  functional_predicate(side2(portal,location)).
  750% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:211
  751==> mpred_prop(side2(portal,location),functional_predicate).
  752==> meta_argtypes(side2(portal,location)).
  753resultIsa(side2,location).
  754
  755% fluent NearPortal(object,portal)
  756 %  fluent(nearPortal(object,portal)).
  757% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:213
  758==> mpred_prop(nearPortal(object,portal),fluent).
  759==> meta_argtypes(nearPortal(object,portal)).
  760
  761% noninertial NearPortal
  762% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:214
  763==> noninertial(nearPortal).
  764
  765
  766% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:215
  767% [object,portal,time]
  768% HoldsAt(NearPortal(object,portal),time) <->
  769% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:217
  770% {location}% 
  771%  (Side1(portal)=location|
  772%   Side2(portal)=location) &
  773%  HoldsAt(At(object,location),time).
  774
  775 /*   exists([Location],
  776             equiv(holds_at(nearPortal(Object, Portal), Time),
  777                    ((side1(Portal)=Location;side2(Portal)=Location), holds_at(at(Object, Location), Time)))).
  778 */
  779
  780 /*  not(some(Location6, '$kolem_Fn_165'(Fn_165_Param, NearPortal_Ret, Time5))) :-
  781       (   holds_at(nearPortal(Fn_165_Param, NearPortal_Ret),
  782                    Time5),
  783           (   not(equals(side1(NearPortal_Ret), Location6)),
  784               not(equals(side2(NearPortal_Ret), Location6))
  785           ;   not(holds_at(at(Fn_165_Param, Location6), Time5))
  786           )
  787       ;   not(holds_at(nearPortal(Fn_165_Param, NearPortal_Ret),
  788                        Time5)),
  789           holds_at(at(Fn_165_Param, Location6), Time5),
  790           (   equals(side1(NearPortal_Ret), Location6)
  791           ;   equals(side2(NearPortal_Ret), Location6)
  792           )
  793       ).
  794 */
  795% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:220
  796axiom(not(some(Location6, '$kolem_Fn_165'(Fn_165_Param, NearPortal_Ret, Time5))),
  797   
  798    [ not(equals(side1(NearPortal_Ret), Location6)),
  799      not(equals(side2(NearPortal_Ret), Location6)),
  800      holds_at(nearPortal(Fn_165_Param, NearPortal_Ret),
  801               Time5)
  802    ]).
  803axiom(not(some(Location6, '$kolem_Fn_165'(Fn_165_Param, NearPortal_Ret, Time5))),
  804   
  805    [ not(holds_at(at(Fn_165_Param, Location6), Time5)),
  806      holds_at(nearPortal(Fn_165_Param, NearPortal_Ret),
  807               Time5)
  808    ]).
  809axiom(not(some(Location6, '$kolem_Fn_165'(Fn_165_Param, NearPortal_Ret, Time5))),
  810   
  811    [ equals(side1(NearPortal_Ret), Location6),
  812      not(holds_at(nearPortal(Fn_165_Param, NearPortal_Ret),
  813                   Time5)),
  814      holds_at(at(Fn_165_Param, Location6), Time5)
  815    ]).
  816axiom(not(some(Location6, '$kolem_Fn_165'(Fn_165_Param, NearPortal_Ret, Time5))),
  817   
  818    [ equals(side2(NearPortal_Ret), Location6),
  819      not(holds_at(nearPortal(Fn_165_Param, NearPortal_Ret),
  820                   Time5)),
  821      holds_at(at(Fn_165_Param, Location6), Time5)
  822    ]).
  823
  824 /*  not(holds_at(nearPortal(NearPortal_Param, NearPortal_Ret12), Time9)) :-
  825       (   not(equals(side1(NearPortal_Ret12), Location10)),
  826           not(equals(side2(NearPortal_Ret12), Location10))
  827       ;   not(holds_at(at(NearPortal_Param, Location10), Time9))
  828       ),
  829       some(Location10,
  830            '$kolem_Fn_165'(NearPortal_Param,
  831                            NearPortal_Ret12,
  832                            Time9)).
  833 */
  834axiom(not(holds_at(nearPortal(NearPortal_Param, NearPortal_Ret12), Time9)),
  835   
  836    [ not(equals(side1(NearPortal_Ret12), Location10)),
  837      not(equals(side2(NearPortal_Ret12), Location10)),
  838      some(Location10,
  839           '$kolem_Fn_165'(NearPortal_Param,
  840                           NearPortal_Ret12,
  841                           Time9))
  842    ]).
  843axiom(not(holds_at(nearPortal(NearPortal_Param, NearPortal_Ret12), Time9)),
  844   
  845    [ not(holds_at(at(NearPortal_Param, Location10), Time9)),
  846      some(Location10,
  847           '$kolem_Fn_165'(NearPortal_Param,
  848                           NearPortal_Ret12,
  849                           Time9))
  850    ]).
  851
  852 /*  equals(side1(Side1_Ret), Some_Param) :-
  853       not(equals(side2(Side1_Ret), Some_Param)),
  854       holds_at(nearPortal(NearPortal_Param14, Side1_Ret),
  855                Time13),
  856       some(Some_Param,
  857            '$kolem_Fn_165'(NearPortal_Param14, Side1_Ret, Time13)).
  858 */
  859axiom(equals(side1(Side1_Ret), Some_Param),
  860   
  861    [ not(equals(side2(Side1_Ret), Some_Param)),
  862      holds_at(nearPortal(NearPortal_Param14, Side1_Ret),
  863               Time13),
  864      some(Some_Param,
  865           '$kolem_Fn_165'(NearPortal_Param14,
  866                           Side1_Ret,
  867                           Time13))
  868    ]).
  869
  870 /*  equals(side2(Side2_Ret), Some_Param19) :-
  871       not(equals(side1(Side2_Ret), Some_Param19)),
  872       holds_at(nearPortal(NearPortal_Param18, Side2_Ret),
  873                Time17),
  874       some(Some_Param19,
  875            '$kolem_Fn_165'(NearPortal_Param18, Side2_Ret, Time17)).
  876 */
  877axiom(equals(side2(Side2_Ret), Some_Param19),
  878   
  879    [ not(equals(side1(Side2_Ret), Some_Param19)),
  880      holds_at(nearPortal(NearPortal_Param18, Side2_Ret),
  881               Time17),
  882      some(Some_Param19,
  883           '$kolem_Fn_165'(NearPortal_Param18,
  884                           Side2_Ret,
  885                           Time17))
  886    ]).
  887
  888 /*  holds_at(at(At_Param, Location21), Time22) :-
  889       holds_at(nearPortal(At_Param, NearPortal_Ret24), Time22),
  890       some(Location21,
  891            '$kolem_Fn_165'(At_Param, NearPortal_Ret24, Time22)).
  892 */
  893axiom(holds_at(at(At_Param, Location21), Time22),
  894   
  895    [ holds_at(nearPortal(At_Param, NearPortal_Ret24), Time22),
  896      some(Location21,
  897           '$kolem_Fn_165'(At_Param, NearPortal_Ret24, Time22))
  898    ]).
  899
  900 /*  holds_at(nearPortal(NearPortal_Param27, NearPortal_Ret28), Time25) :-
  901       ( holds_at(at(NearPortal_Param27, Location26), Time25),
  902         (   equals(side1(NearPortal_Ret28), Location26)
  903         ;   equals(side2(NearPortal_Ret28), Location26)
  904         )
  905       ),
  906       some(Location26,
  907            '$kolem_Fn_165'(NearPortal_Param27,
  908                            NearPortal_Ret28,
  909                            Time25)).
  910 */
  911axiom(holds_at(nearPortal(NearPortal_Param27, NearPortal_Ret28), Time25),
  912   
  913    [ equals(side1(NearPortal_Ret28), Location26),
  914      holds_at(at(NearPortal_Param27, Location26), Time25),
  915      some(Location26,
  916           '$kolem_Fn_165'(NearPortal_Param27,
  917                           NearPortal_Ret28,
  918                           Time25))
  919    ]).
  920axiom(holds_at(nearPortal(NearPortal_Param27, NearPortal_Ret28), Time25),
  921   
  922    [ equals(side2(NearPortal_Ret28), Location26),
  923      holds_at(at(NearPortal_Param27, Location26), Time25),
  924      some(Location26,
  925           '$kolem_Fn_165'(NearPortal_Param27,
  926                           NearPortal_Ret28,
  927                           Time25))
  928    ]).
  929
  930 /*  not(holds_at(at(At_Param31, Location29), Time30)) :-
  931       (   equals(side1(Side1_Ret32), Location29)
  932       ;   equals(side2(Side1_Ret32), Location29)
  933       ),
  934       not(holds_at(nearPortal(At_Param31, Side1_Ret32), Time30)),
  935       some(Location29,
  936            '$kolem_Fn_165'(At_Param31, Side1_Ret32, Time30)).
  937 */
  938axiom(not(holds_at(at(At_Param31, Location29), Time30)),
  939   
  940    [ equals(side1(Side1_Ret32), Location29),
  941      not(holds_at(nearPortal(At_Param31, Side1_Ret32),
  942                   Time30)),
  943      some(Location29,
  944           '$kolem_Fn_165'(At_Param31, Side1_Ret32, Time30))
  945    ]).
  946axiom(not(holds_at(at(At_Param31, Location29), Time30)),
  947   
  948    [ equals(side2(Side1_Ret32), Location29),
  949      not(holds_at(nearPortal(At_Param31, Side1_Ret32),
  950                   Time30)),
  951      some(Location29,
  952           '$kolem_Fn_165'(At_Param31, Side1_Ret32, Time30))
  953    ]).
  954
  955 /*  not(equals(side1(Side1_Ret36), Location33)) :-
  956       holds_at(at(At_Param35, Location33), Time34),
  957       not(holds_at(nearPortal(At_Param35, Side1_Ret36), Time34)),
  958       some(Location33,
  959            '$kolem_Fn_165'(At_Param35, Side1_Ret36, Time34)).
  960 */
  961axiom(not(equals(side1(Side1_Ret36), Location33)),
  962   
  963    [ holds_at(at(At_Param35, Location33), Time34),
  964      not(holds_at(nearPortal(At_Param35, Side1_Ret36),
  965                   Time34)),
  966      some(Location33,
  967           '$kolem_Fn_165'(At_Param35, Side1_Ret36, Time34))
  968    ]).
  969
  970 /*  not(equals(side2(Side2_Ret40), Location37)) :-
  971       holds_at(at(At_Param39, Location37), Time38),
  972       not(holds_at(nearPortal(At_Param39, Side2_Ret40), Time38)),
  973       some(Location37,
  974            '$kolem_Fn_165'(At_Param39, Side2_Ret40, Time38)).
  975 */
  976axiom(not(equals(side2(Side2_Ret40), Location37)),
  977   
  978    [ holds_at(at(At_Param39, Location37), Time38),
  979      not(holds_at(nearPortal(At_Param39, Side2_Ret40),
  980                   Time38)),
  981      some(Location37,
  982           '$kolem_Fn_165'(At_Param39, Side2_Ret40, Time38))
  983    ]).
  984
  985% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:222
  986% event WalkThroughDoor12(agent,door)
  987 %  event(walkThroughDoor12(agent,door)).
  988% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:223
  989==> mpred_prop(walkThroughDoor12(agent,door),event).
  990==> meta_argtypes(walkThroughDoor12(agent,door)).
  991
  992% event WalkThroughDoor21(agent,door)
  993 %  event(walkThroughDoor21(agent,door)).
  994% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:224
  995==> mpred_prop(walkThroughDoor21(agent,door),event).
  996==> meta_argtypes(walkThroughDoor21(agent,door)).
  997
  998
  999% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:225
 1000% [agent,door,time]
 1001% Happens(WalkThroughDoor12(agent,door),time) ->
 1002% HoldsAt(Standing(agent),time) &
 1003% HoldsAt(At(agent,Side1(door)),time).
 1004% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:228
 1005axiom(requires(walkThroughDoor12(Agent, Door), Time),
 1006   
 1007    [ holds_at(standing(Agent), Time),
 1008      holds_at(at(Agent, side1(Door)), Time)
 1009    ]).
 1010
 1011
 1012% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:230
 1013% [agent,door,time]
 1014% Happens(WalkThroughDoor21(agent,door),time) ->
 1015% HoldsAt(Standing(agent),time) &
 1016% HoldsAt(At(agent,Side2(door)),time).
 1017% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:233
 1018axiom(requires(walkThroughDoor21(Agent, Door), Time),
 1019   
 1020    [ holds_at(standing(Agent), Time),
 1021      holds_at(at(Agent, side2(Door)), Time)
 1022    ]).
 1023
 1024
 1025% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:235
 1026% [agent,door,location,time]
 1027% Side2(door)=location ->
 1028% Initiates(WalkThroughDoor12(agent,door),At(agent,location),time).
 1029% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:237
 1030axiom(initiates(walkThroughDoor12(Agent, Door), at(Agent, Location), Time),
 1031    [equals(side2(Door), Location)]).
 1032
 1033
 1034% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:239
 1035% [agent,door,location,time]
 1036% Side1(door)=location ->
 1037% Initiates(WalkThroughDoor21(agent,door),At(agent,location),time).
 1038% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:241
 1039axiom(initiates(walkThroughDoor21(Agent, Door), at(Agent, Location), Time),
 1040    [equals(side1(Door), Location)]).
 1041
 1042
 1043% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:243
 1044% [agent,door,location,time]
 1045% Side1(door)=location ->
 1046% Terminates(WalkThroughDoor12(agent,door),At(agent,location),time).
 1047% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:245
 1048axiom(terminates(walkThroughDoor12(Agent, Door), at(Agent, Location), Time),
 1049    [equals(side1(Door), Location)]).
 1050
 1051
 1052% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:247
 1053% [agent,door,location,time]
 1054% Side2(door)=location ->
 1055% Terminates(WalkThroughDoor21(agent,door),At(agent,location),time).
 1056% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:249
 1057axiom(terminates(walkThroughDoor21(Agent, Door), at(Agent, Location), Time),
 1058    [equals(side2(Door), Location)]).
 1059
 1060% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:251
 1061% fluent Hungry(agent)
 1062 %  fluent(hungry(agent)).
 1063% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:252
 1064==> mpred_prop(hungry(agent),fluent).
 1065==> meta_argtypes(hungry(agent)).
 1066
 1067% fluent Satiated(agent)
 1068 %  fluent(satiated(agent)).
 1069% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:254
 1070==> mpred_prop(satiated(agent),fluent).
 1071==> meta_argtypes(satiated(agent)).
 1072
 1073% noninertial Satiated
 1074% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:255
 1075==> noninertial(satiated).
 1076
 1077
 1078% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:256
 1079% [agent,time]
 1080 % HoldsAt(Hungry(agent),time) <-> !HoldsAt(Satiated(agent),time).
 1081
 1082 /*  holds_at(hungry(Agent), Time) <->
 1083       not(holds_at(satiated(Agent), Time)).
 1084 */
 1085axiom(holds_at(hungry(Agent), Time),
 1086    [not(holds_at(satiated(Agent), Time))]).
 1087axiom(not(holds_at(satiated(Agent), Time)),
 1088    [holds_at(hungry(Agent), Time)]).
 1089
 1090% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:258
 1091% event Eat(agent,food)
 1092 %  event(eat(agent,food)).
 1093% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:259
 1094==> mpred_prop(eat(agent,food),event).
 1095==> meta_argtypes(eat(agent,food)).
 1096
 1097
 1098% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:260
 1099% [agent,food,time]
 1100% Happens(Eat(agent,food),time) ->
 1101% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:262
 1102% {location}% 
 1103% HoldsAt(At(agent,location),time) &
 1104% HoldsAt(At(food,location),time).
 1105
 1106 /*   exists([Location],
 1107             if(happens(eat(Agent, Food), Time),
 1108                 (holds_at(at(Agent, Location), Time), holds_at(at(Food, Location), Time)))).
 1109 */
 1110
 1111 /*  not(some(Location6, '$kolem_Fn_166'(Fn_166_Param, At_Param, Maptime))) :-
 1112       happens(eat(Fn_166_Param, At_Param), Maptime),
 1113       (   not(holds_at(at(Fn_166_Param, Location6), Maptime))
 1114       ;   not(holds_at(at(At_Param, Location6), Maptime))
 1115       ).
 1116 */
 1117% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:264
 1118axiom(not(some(Location6, '$kolem_Fn_166'(Fn_166_Param, At_Param, Maptime))),
 1119   
 1120    [ not(holds_at(at(Fn_166_Param, Location6), Maptime)),
 1121      happens(eat(Fn_166_Param, At_Param), Maptime)
 1122    ]).
 1123axiom(not(some(Location6, '$kolem_Fn_166'(Fn_166_Param, At_Param, Maptime))),
 1124   
 1125    [ not(holds_at(at(At_Param, Location6), Maptime)),
 1126      happens(eat(Fn_166_Param, At_Param), Maptime)
 1127    ]).
 1128
 1129 /*  not(happens(eat(Eat_Param, At_Param12), Maptime9)) :-
 1130       (   not(holds_at(at(Eat_Param, Location10), Maptime9))
 1131       ;   not(holds_at(at(At_Param12, Location10), Maptime9))
 1132       ),
 1133       some(Location10,
 1134            '$kolem_Fn_166'(Eat_Param, At_Param12, Maptime9)).
 1135 */
 1136axiom(not(happens(eat(Eat_Param, At_Param12), Maptime9)),
 1137   
 1138    [ not(holds_at(at(Eat_Param, Location10), Maptime9)),
 1139      some(Location10,
 1140           '$kolem_Fn_166'(Eat_Param, At_Param12, Maptime9))
 1141    ]).
 1142axiom(not(happens(eat(Eat_Param, At_Param12), Maptime9)),
 1143   
 1144    [ not(holds_at(at(At_Param12, Location10), Maptime9)),
 1145      some(Location10,
 1146           '$kolem_Fn_166'(Eat_Param, At_Param12, Maptime9))
 1147    ]).
 1148
 1149 /*  holds_at(at(At_Param15, Location13), Time14) :-
 1150       happens(eat(At_Param15, Eat_Ret), Time14),
 1151       some(Location13,
 1152            '$kolem_Fn_166'(At_Param15, Eat_Ret, Time14)).
 1153 */
 1154axiom(holds_at(at(At_Param15, Location13), Time14),
 1155   
 1156    [ happens(eat(At_Param15, Eat_Ret), Time14),
 1157      some(Location13,
 1158           '$kolem_Fn_166'(At_Param15, Eat_Ret, Time14))
 1159    ]).
 1160
 1161 /*  holds_at(at(At_Param19, Location17), Time18) :-
 1162       happens(eat(Eat_Param20, At_Param19), Time18),
 1163       some(Location17,
 1164            '$kolem_Fn_166'(Eat_Param20, At_Param19, Time18)).
 1165 */
 1166axiom(holds_at(at(At_Param19, Location17), Time18),
 1167   
 1168    [ happens(eat(Eat_Param20, At_Param19), Time18),
 1169      some(Location17,
 1170           '$kolem_Fn_166'(Eat_Param20, At_Param19, Time18))
 1171    ]).
 1172
 1173
 1174% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:266
 1175% [agent,food,time]
 1176% Terminates(Eat(agent,food),Hungry(agent),time).
 1177% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:267
 1178axiom(terminates(eat(Agent, Food), hungry(Agent), Time),
 1179    []).
 1180
 1181% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:269
 1182% sort restaurant: script
 1183% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:270
 1184==> subsort(restaurant,script).
 1185
 1186% sort waiter: agent
 1187% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:271
 1188==> subsort(waiter,agent).
 1189
 1190% sort cook: agent
 1191% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:272
 1192==> subsort(cook,agent).
 1193
 1194% function BillOf(restaurant): bill
 1195 %  functional_predicate(billOf(restaurant,bill)).
 1196% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:274
 1197==> mpred_prop(billOf(restaurant,bill),functional_predicate).
 1198==> meta_argtypes(billOf(restaurant,bill)).
 1199resultIsa(billOf,bill).
 1200
 1201% function CookOf(restaurant): cook
 1202 %  functional_predicate(cookOf(restaurant,cook)).
 1203% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:275
 1204==> mpred_prop(cookOf(restaurant,cook),functional_predicate).
 1205==> meta_argtypes(cookOf(restaurant,cook)).
 1206resultIsa(cookOf,cook).
 1207
 1208% function TableOf(restaurant): table
 1209 %  functional_predicate(tableOf(restaurant,table)).
 1210% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:276
 1211==> mpred_prop(tableOf(restaurant,table),functional_predicate).
 1212==> meta_argtypes(tableOf(restaurant,table)).
 1213resultIsa(tableOf,table).
 1214
 1215% function WaiterOf(restaurant): waiter
 1216 %  functional_predicate(waiterOf(restaurant,waiter)).
 1217% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:277
 1218==> mpred_prop(waiterOf(restaurant,waiter),functional_predicate).
 1219==> meta_argtypes(waiterOf(restaurant,waiter)).
 1220resultIsa(waiterOf,waiter).
 1221
 1222% function KitchenDoorOf(restaurant): door
 1223 %  functional_predicate(kitchenDoorOf(restaurant,door)).
 1224% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:278
 1225==> mpred_prop(kitchenDoorOf(restaurant,door),functional_predicate).
 1226==> meta_argtypes(kitchenDoorOf(restaurant,door)).
 1227resultIsa(kitchenDoorOf,door).
 1228
 1229% fluent BeWaiter0(waiter)
 1230 %  fluent(beWaiter0(waiter)).
 1231% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:280
 1232==> mpred_prop(beWaiter0(waiter),fluent).
 1233==> meta_argtypes(beWaiter0(waiter)).
 1234
 1235% fluent BeWaiter1(waiter)
 1236 %  fluent(beWaiter1(waiter)).
 1237% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:282
 1238==> mpred_prop(beWaiter1(waiter),fluent).
 1239==> meta_argtypes(beWaiter1(waiter)).
 1240
 1241% fluent BeWaiter2(waiter)
 1242 %  fluent(beWaiter2(waiter)).
 1243% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:284
 1244==> mpred_prop(beWaiter2(waiter),fluent).
 1245==> meta_argtypes(beWaiter2(waiter)).
 1246
 1247% fluent BeWaiter3(waiter)
 1248 %  fluent(beWaiter3(waiter)).
 1249% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:286
 1250==> mpred_prop(beWaiter3(waiter),fluent).
 1251==> meta_argtypes(beWaiter3(waiter)).
 1252
 1253% fluent BeWaiter4(waiter)
 1254 %  fluent(beWaiter4(waiter)).
 1255% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:288
 1256==> mpred_prop(beWaiter4(waiter),fluent).
 1257==> meta_argtypes(beWaiter4(waiter)).
 1258
 1259% fluent BeWaiter5(waiter)
 1260 %  fluent(beWaiter5(waiter)).
 1261% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:290
 1262==> mpred_prop(beWaiter5(waiter),fluent).
 1263==> meta_argtypes(beWaiter5(waiter)).
 1264
 1265% fluent BeWaiter6(waiter)
 1266 %  fluent(beWaiter6(waiter)).
 1267% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:292
 1268==> mpred_prop(beWaiter6(waiter),fluent).
 1269==> meta_argtypes(beWaiter6(waiter)).
 1270
 1271% fluent BeWaiter7(waiter)
 1272 %  fluent(beWaiter7(waiter)).
 1273% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:294
 1274==> mpred_prop(beWaiter7(waiter),fluent).
 1275==> meta_argtypes(beWaiter7(waiter)).
 1276
 1277% fluent BeWaiter8(waiter)
 1278 %  fluent(beWaiter8(waiter)).
 1279% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:296
 1280==> mpred_prop(beWaiter8(waiter),fluent).
 1281==> meta_argtypes(beWaiter8(waiter)).
 1282
 1283% fluent BeWaiter9(waiter)
 1284 %  fluent(beWaiter9(waiter)).
 1285% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:298
 1286==> mpred_prop(beWaiter9(waiter),fluent).
 1287==> meta_argtypes(beWaiter9(waiter)).
 1288
 1289% xor BeWaiter0, BeWaiter1, BeWaiter2, BeWaiter3, BeWaiter4, BeWaiter5, BeWaiter6, BeWaiter7, BeWaiter8, BeWaiter9
 1290% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:300
 1291xor([ beWaiter0,
 1292      beWaiter1,
 1293      beWaiter2,
 1294      beWaiter3,
 1295      beWaiter4,
 1296      beWaiter5,
 1297      beWaiter6,
 1298      beWaiter7,
 1299      beWaiter8,
 1300      beWaiter9
 1301    ]).
 1302
 1303
 1304% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:301
 1305% [waiter,agent,time]
 1306% HoldsAt(BeWaiter0(waiter),time) ->
 1307% Terminates(Greet(waiter,agent),
 1308%            BeWaiter0(waiter),
 1309%            time).
 1310% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:305
 1311axiom(terminates(greet(Waiter, Agent), beWaiter0(Waiter), Time),
 1312    [holds_at(beWaiter0(Waiter), Time)]).
 1313
 1314
 1315% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:307
 1316% [waiter,agent,time]
 1317% HoldsAt(BeWaiter0(waiter),time) ->
 1318% Initiates(Greet(waiter,agent),
 1319%           BeWaiter1(waiter),
 1320%           time).
 1321% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:311
 1322axiom(initiates(greet(Waiter, Agent), beWaiter1(Waiter), Time),
 1323    [holds_at(beWaiter0(Waiter), Time)]).
 1324
 1325
 1326% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:313
 1327% [waiter,agent,food,time]
 1328% HoldsAt(BeWaiter1(waiter),time) ->
 1329% Terminates(Order(agent,waiter,food),
 1330%            BeWaiter1(waiter),
 1331%            time).
 1332% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:317
 1333axiom(terminates(order(Agent, Waiter, Food), beWaiter1(Waiter), Time),
 1334    [holds_at(beWaiter1(Waiter), Time)]).
 1335
 1336
 1337% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:319
 1338% [waiter,agent,food,time]
 1339% HoldsAt(BeWaiter1(waiter),time) ->
 1340% Initiates(Order(agent,waiter,food),
 1341%           BeWaiter2(waiter),
 1342%           time).
 1343% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:323
 1344axiom(initiates(order(Agent, Waiter, Food), beWaiter2(Waiter), Time),
 1345    [holds_at(beWaiter1(Waiter), Time)]).
 1346
 1347
 1348% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:325
 1349% [restaurant,waiter,time]
 1350% WaiterOf(restaurant)=waiter &
 1351% HoldsAt(BeWaiter2(waiter),time) ->
 1352% Happens(WalkThroughDoor12(waiter,KitchenDoorOf(restaurant)),time).
 1353% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:328
 1354axiom(happens(walkThroughDoor12(Waiter, kitchenDoorOf(Restaurant)), Time),
 1355   
 1356    [ equals(waiterOf(Restaurant), Waiter),
 1357      holds_at(beWaiter2(Waiter), Time)
 1358    ]).
 1359
 1360
 1361% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:330
 1362% [restaurant,waiter,door,time]
 1363% HoldsAt(BeWaiter2(waiter),time) &
 1364% WaiterOf(restaurant)=waiter &
 1365% KitchenDoorOf(restaurant)=door ->
 1366% Terminates(WalkThroughDoor12(waiter,door),
 1367%            BeWaiter2(waiter),
 1368%            time).
 1369% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:336
 1370axiom(terminates(walkThroughDoor12(Waiter, Door), beWaiter2(Waiter), Time),
 1371   
 1372    [ holds_at(beWaiter2(Waiter), Time),
 1373      equals(waiterOf(Restaurant), Waiter),
 1374      equals(kitchenDoorOf(Restaurant), Door)
 1375    ]).
 1376
 1377
 1378% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:338
 1379% [restaurant,waiter,door,time]
 1380% HoldsAt(BeWaiter2(waiter),time) &
 1381% WaiterOf(restaurant)=waiter &
 1382% KitchenDoorOf(restaurant)=door ->
 1383% Initiates(WalkThroughDoor12(waiter,door),
 1384%           BeWaiter3(waiter),
 1385%           time).
 1386% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:344
 1387axiom(initiates(walkThroughDoor12(Waiter, Door), beWaiter3(Waiter), Time),
 1388   
 1389    [ holds_at(beWaiter2(Waiter), Time),
 1390      equals(waiterOf(Restaurant), Waiter),
 1391      equals(kitchenDoorOf(Restaurant), Door)
 1392    ]).
 1393
 1394
 1395% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:346
 1396% [restaurant,food,time]
 1397% HoldsAt(BeWaiter3(WaiterOf(restaurant)),time) &
 1398% ({agent} HoldsAt(KnowOrder(WaiterOf(restaurant),agent,food),time)) ->
 1399% Happens(Order(WaiterOf(restaurant),CookOf(restaurant),food),time).
 1400% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:349
 1401axiom(happens(order(waiterOf(Restaurant), cookOf(Restaurant), Food), Time),
 1402   
 1403    [ holds_at(beWaiter3(waiterOf(Restaurant)), Time),
 1404      holds_at(knowOrder(waiterOf(Restaurant), Agent, Food),
 1405               Time)
 1406    ]).
 1407
 1408
 1409% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:351
 1410% [restaurant,waiter,cook,food,time]
 1411% WaiterOf(restaurant)=waiter &
 1412% CookOf(restaurant)=cook &
 1413% HoldsAt(BeWaiter3(waiter),time) ->
 1414% Terminates(Order(waiter,cook,food),
 1415%            BeWaiter3(waiter),
 1416%            time).
 1417% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:357
 1418axiom(terminates(order(Waiter, Cook, Food), beWaiter3(Waiter), Time),
 1419   
 1420    [ equals(waiterOf(Restaurant), Waiter),
 1421      equals(cookOf(Restaurant), Cook),
 1422      holds_at(beWaiter3(Waiter), Time)
 1423    ]).
 1424
 1425
 1426% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:359
 1427% [restaurant,waiter,cook,food,time]
 1428% WaiterOf(restaurant)=waiter &
 1429% CookOf(restaurant)=cook &
 1430% HoldsAt(BeWaiter3(waiter),time) ->
 1431% Initiates(Order(waiter,cook,food),
 1432%           BeWaiter4(waiter),
 1433%           time).
 1434% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:365
 1435axiom(initiates(order(Waiter, Cook, Food), beWaiter4(Waiter), Time),
 1436   
 1437    [ equals(waiterOf(Restaurant), Waiter),
 1438      equals(cookOf(Restaurant), Cook),
 1439      holds_at(beWaiter3(Waiter), Time)
 1440    ]).
 1441
 1442
 1443% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:367
 1444% [waiter,food,time]
 1445% HoldsAt(BeWaiter4(waiter),time) &
 1446% ({agent} HoldsAt(KnowOrder(waiter,agent,food),time)) &
 1447% HoldsAt(FoodPrepared(food),time) ->
 1448% Happens(PickUp(waiter,food),time).
 1449% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:371
 1450axiom(happens(pickUp(Waiter, Food), Time),
 1451   
 1452    [ holds_at(beWaiter4(Waiter), Time),
 1453      holds_at(knowOrder(Waiter, Agent, Food), Time),
 1454      holds_at(foodPrepared(Food), Time)
 1455    ]).
 1456
 1457
 1458% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:373
 1459% [waiter,food,time]
 1460% HoldsAt(BeWaiter4(waiter),time) &
 1461% ({agent} HoldsAt(KnowOrder(waiter,agent,food),time)) ->
 1462% Terminates(PickUp(waiter,food),
 1463%            BeWaiter4(waiter),
 1464%            time).
 1465% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:378
 1466axiom(terminates(pickUp(Waiter, Food), beWaiter4(Waiter), Time),
 1467   
 1468    [ holds_at(beWaiter4(Waiter), Time),
 1469      holds_at(knowOrder(Waiter, Agent, Food), Time)
 1470    ]).
 1471
 1472
 1473% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:380
 1474% [waiter,food,time]
 1475% HoldsAt(BeWaiter4(waiter),time) &
 1476% ({agent} HoldsAt(KnowOrder(waiter,agent,food),time)) ->
 1477% Initiates(PickUp(waiter,food),
 1478%           BeWaiter5(waiter),
 1479%           time).
 1480% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:385
 1481axiom(initiates(pickUp(Waiter, Food), beWaiter5(Waiter), Time),
 1482   
 1483    [ holds_at(beWaiter4(Waiter), Time),
 1484      holds_at(knowOrder(Waiter, Agent, Food), Time)
 1485    ]).
 1486
 1487
 1488% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:387
 1489% [restaurant,waiter,time]
 1490% WaiterOf(restaurant)=waiter &
 1491% HoldsAt(BeWaiter5(waiter),time) ->
 1492% Happens(WalkThroughDoor21(waiter,KitchenDoorOf(restaurant)),time).
 1493% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:390
 1494axiom(happens(walkThroughDoor21(Waiter, kitchenDoorOf(Restaurant)), Time),
 1495   
 1496    [ equals(waiterOf(Restaurant), Waiter),
 1497      holds_at(beWaiter5(Waiter), Time)
 1498    ]).
 1499
 1500
 1501% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:392
 1502% [restaurant,waiter,door,time]
 1503% HoldsAt(BeWaiter5(waiter),time) &
 1504% WaiterOf(restaurant)=waiter &
 1505% KitchenDoorOf(restaurant)=door ->
 1506% Terminates(WalkThroughDoor21(waiter,door),
 1507%            BeWaiter5(waiter),
 1508%            time).
 1509% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:398
 1510axiom(terminates(walkThroughDoor21(Waiter, Door), beWaiter5(Waiter), Time),
 1511   
 1512    [ holds_at(beWaiter5(Waiter), Time),
 1513      equals(waiterOf(Restaurant), Waiter),
 1514      equals(kitchenDoorOf(Restaurant), Door)
 1515    ]).
 1516
 1517
 1518% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:400
 1519% [restaurant,waiter,door,time]
 1520% HoldsAt(BeWaiter5(waiter),time) &
 1521% WaiterOf(restaurant)=waiter &
 1522% KitchenDoorOf(restaurant)=door ->
 1523% Initiates(WalkThroughDoor21(waiter,door),
 1524%           BeWaiter6(waiter),
 1525%           time).
 1526% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:406
 1527axiom(initiates(walkThroughDoor21(Waiter, Door), beWaiter6(Waiter), Time),
 1528   
 1529    [ holds_at(beWaiter5(Waiter), Time),
 1530      equals(waiterOf(Restaurant), Waiter),
 1531      equals(kitchenDoorOf(Restaurant), Door)
 1532    ]).
 1533
 1534
 1535% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:408
 1536% [restaurant,waiter,table,food,time]
 1537% WaiterOf(restaurant)=waiter &
 1538% TableOf(restaurant)=table &
 1539% HoldsAt(BeWaiter6(waiter),time) &
 1540% HoldsAt(Holding(waiter,food),time) ->
 1541% Happens(PlaceOn(waiter,food,table),time).
 1542% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:413
 1543axiom(happens(placeOn(Waiter, Food, Table), Time),
 1544   
 1545    [ equals(waiterOf(Restaurant), Waiter),
 1546      equals(tableOf(Restaurant), Table),
 1547      holds_at(beWaiter6(Waiter), Time),
 1548      holds_at(holding(Waiter, Food), Time)
 1549    ]).
 1550
 1551
 1552% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:415
 1553% [waiter,food,table,time]
 1554% HoldsAt(BeWaiter6(waiter),time) ->
 1555% Terminates(PlaceOn(waiter,food,table),
 1556%            BeWaiter6(waiter),
 1557%            time).
 1558% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:419
 1559axiom(terminates(placeOn(Waiter, Food, Table), beWaiter6(Waiter), Time),
 1560    [holds_at(beWaiter6(Waiter), Time)]).
 1561
 1562
 1563% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:421
 1564% [waiter,food,table,time]
 1565% HoldsAt(BeWaiter6(waiter),time) ->
 1566% Initiates(PlaceOn(waiter,food,table),
 1567%           BeWaiter7(waiter),
 1568%           time).
 1569% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:425
 1570axiom(initiates(placeOn(Waiter, Food, Table), beWaiter7(Waiter), Time),
 1571    [holds_at(beWaiter6(Waiter), Time)]).
 1572
 1573
 1574% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:427
 1575% [waiter,agent,bill,time]
 1576% HoldsAt(BeWaiter7(waiter),time) ->
 1577% Terminates(Request(agent,waiter,bill),
 1578%            BeWaiter7(waiter),
 1579%            time).
 1580% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:431
 1581axiom(terminates(request(Agent, Waiter, Bill), beWaiter7(Waiter), Time),
 1582    [holds_at(beWaiter7(Waiter), Time)]).
 1583
 1584
 1585% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:433
 1586% [waiter,agent,bill,time]
 1587% HoldsAt(BeWaiter7(waiter),time) ->
 1588% Initiates(Request(agent,waiter,bill),
 1589%           BeWaiter8(waiter),
 1590%           time).
 1591% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:437
 1592axiom(initiates(request(Agent, Waiter, Bill), beWaiter8(Waiter), Time),
 1593    [holds_at(beWaiter7(Waiter), Time)]).
 1594
 1595
 1596% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:439
 1597% [restaurant,waiter,bill,time]
 1598% WaiterOf(restaurant)=waiter &
 1599% BillOf(restaurant)=bill &
 1600% HoldsAt(BeWaiter8(waiter),time) ->
 1601% Happens(PickUp(waiter,bill),time).
 1602% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:443
 1603axiom(happens(pickUp(Waiter, Bill), Time),
 1604   
 1605    [ equals(waiterOf(Restaurant), Waiter),
 1606      equals(billOf(Restaurant), Bill),
 1607      holds_at(beWaiter8(Waiter), Time)
 1608    ]).
 1609
 1610
 1611% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:445
 1612% [waiter,bill,time]
 1613% HoldsAt(BeWaiter8(waiter),time) ->
 1614% Terminates(PickUp(waiter,bill),
 1615%            BeWaiter8(waiter),
 1616%            time).
 1617% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:449
 1618axiom(terminates(pickUp(Waiter, Bill), beWaiter8(Waiter), Time),
 1619    [holds_at(beWaiter8(Waiter), Time)]).
 1620
 1621
 1622% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:451
 1623% [waiter,bill,time]
 1624% HoldsAt(BeWaiter8(waiter),time) ->
 1625% Initiates(PickUp(waiter,bill),
 1626%           BeWaiter9(waiter),
 1627%           time).
 1628% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:455
 1629axiom(initiates(pickUp(Waiter, Bill), beWaiter9(Waiter), Time),
 1630    [holds_at(beWaiter8(Waiter), Time)]).
 1631
 1632
 1633% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:457
 1634% [restaurant,waiter,bill,table,time]
 1635% WaiterOf(restaurant)=waiter &
 1636% BillOf(restaurant)=bill &
 1637% TableOf(restaurant)=table &
 1638% HoldsAt(BeWaiter9(waiter),time) ->
 1639% Happens(PlaceOn(waiter,bill,table),time).
 1640% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:462
 1641axiom(happens(placeOn(Waiter, Bill, Table), Time),
 1642   
 1643    [ equals(waiterOf(Restaurant), Waiter),
 1644      equals(billOf(Restaurant), Bill),
 1645      equals(tableOf(Restaurant), Table),
 1646      holds_at(beWaiter9(Waiter), Time)
 1647    ]).
 1648
 1649
 1650% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:464
 1651% [waiter,bill,table,time]
 1652% HoldsAt(BeWaiter9(waiter),time) ->
 1653% Terminates(PlaceOn(waiter,bill,table),
 1654%            BeWaiter9(waiter),
 1655%            time).
 1656% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:468
 1657axiom(terminates(placeOn(Waiter, Bill, Table), beWaiter9(Waiter), Time),
 1658    [holds_at(beWaiter9(Waiter), Time)]).
 1659
 1660
 1661% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:470
 1662% [waiter,bill,table,time]
 1663% HoldsAt(BeWaiter9(waiter),time) ->
 1664% Initiates(PlaceOn(waiter,bill,table),
 1665%           BeWaiter0(waiter),
 1666%           time).
 1667% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:474
 1668axiom(initiates(placeOn(Waiter, Bill, Table), beWaiter0(Waiter), Time),
 1669    [holds_at(beWaiter9(Waiter), Time)]).
 1670
 1671% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:476
 1672% fluent BeCook0(cook)
 1673 %  fluent(beCook0(cook)).
 1674% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:477
 1675==> mpred_prop(beCook0(cook),fluent).
 1676==> meta_argtypes(beCook0(cook)).
 1677
 1678% fluent BeCook1(cook)
 1679 %  fluent(beCook1(cook)).
 1680% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:479
 1681==> mpred_prop(beCook1(cook),fluent).
 1682==> meta_argtypes(beCook1(cook)).
 1683
 1684% xor BeCook0, BeCook1
 1685% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:481
 1686xor([beCook0,beCook1]).
 1687
 1688
 1689% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:482
 1690% [cook,agent,food,time]
 1691% HoldsAt(BeCook0(cook),time) ->
 1692% Terminates(Order(agent,cook,food),
 1693%            BeCook0(cook),
 1694%            time).
 1695% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:486
 1696axiom(terminates(order(Agent, Cook, Food), beCook0(Cook), Time),
 1697    [holds_at(beCook0(Cook), Time)]).
 1698
 1699
 1700% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:488
 1701% [cook,agent,food,time]
 1702% HoldsAt(BeCook0(cook),time) ->
 1703% Initiates(Order(agent,cook,food),
 1704%           BeCook1(cook),
 1705%           time).
 1706% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:492
 1707axiom(initiates(order(Agent, Cook, Food), beCook1(Cook), Time),
 1708    [holds_at(beCook0(Cook), Time)]).
 1709
 1710% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:494
 1711% event FoodPrepare(agent,food)
 1712 %  event(foodPrepare(agent,food)).
 1713% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:495
 1714==> mpred_prop(foodPrepare(agent,food),event).
 1715==> meta_argtypes(foodPrepare(agent,food)).
 1716
 1717% fluent FoodPrepared(food)
 1718 %  fluent(foodPrepared(food)).
 1719% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:497
 1720==> mpred_prop(foodPrepared(food),fluent).
 1721==> meta_argtypes(foodPrepared(food)).
 1722
 1723
 1724% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:498
 1725% [agent,food,time]
 1726% Initiates(FoodPrepare(agent,food),
 1727%           FoodPrepared(food),
 1728%           time).
 1729% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:501
 1730axiom(initiates(foodPrepare(Agent, Food), foodPrepared(Food), Time),
 1731    []).
 1732
 1733
 1734% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:503
 1735% [agent,food,time]
 1736% Happens(FoodPrepare(agent,food),time) ->
 1737% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:505
 1738% {location}% 
 1739% HoldsAt(At(agent,location),time) &
 1740% HoldsAt(At(food,location),time).
 1741
 1742 /*   exists([Location],
 1743             if(happens(foodPrepare(Agent, Food), Time),
 1744                 (holds_at(at(Agent, Location), Time), holds_at(at(Food, Location), Time)))).
 1745 */
 1746
 1747 /*  not(some(Location6, '$kolem_Fn_171'(Fn_171_Param, At_Param, Maptime))) :-
 1748       happens(foodPrepare(Fn_171_Param, At_Param), Maptime),
 1749       (   not(holds_at(at(Fn_171_Param, Location6), Maptime))
 1750       ;   not(holds_at(at(At_Param, Location6), Maptime))
 1751       ).
 1752 */
 1753% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:507
 1754axiom(not(some(Location6, '$kolem_Fn_171'(Fn_171_Param, At_Param, Maptime))),
 1755   
 1756    [ not(holds_at(at(Fn_171_Param, Location6), Maptime)),
 1757      happens(foodPrepare(Fn_171_Param, At_Param), Maptime)
 1758    ]).
 1759axiom(not(some(Location6, '$kolem_Fn_171'(Fn_171_Param, At_Param, Maptime))),
 1760   
 1761    [ not(holds_at(at(At_Param, Location6), Maptime)),
 1762      happens(foodPrepare(Fn_171_Param, At_Param), Maptime)
 1763    ]).
 1764
 1765 /*  not(happens(foodPrepare(FoodPrepare_Param, At_Param12), Maptime9)) :-
 1766       (   not(holds_at(at(FoodPrepare_Param, Location10),
 1767                        Maptime9))
 1768       ;   not(holds_at(at(At_Param12, Location10), Maptime9))
 1769       ),
 1770       some(Location10,
 1771            '$kolem_Fn_171'(FoodPrepare_Param,
 1772                            At_Param12,
 1773                            Maptime9)).
 1774 */
 1775axiom(not(happens(foodPrepare(FoodPrepare_Param, At_Param12), Maptime9)),
 1776   
 1777    [ not(holds_at(at(FoodPrepare_Param, Location10),
 1778                   Maptime9)),
 1779      some(Location10,
 1780           '$kolem_Fn_171'(FoodPrepare_Param,
 1781                           At_Param12,
 1782                           Maptime9))
 1783    ]).
 1784axiom(not(happens(foodPrepare(FoodPrepare_Param, At_Param12), Maptime9)),
 1785   
 1786    [ not(holds_at(at(At_Param12, Location10), Maptime9)),
 1787      some(Location10,
 1788           '$kolem_Fn_171'(FoodPrepare_Param,
 1789                           At_Param12,
 1790                           Maptime9))
 1791    ]).
 1792
 1793 /*  holds_at(at(At_Param15, Location13), Time14) :-
 1794       happens(foodPrepare(At_Param15, FoodPrepare_Ret), Time14),
 1795       some(Location13,
 1796            '$kolem_Fn_171'(At_Param15, FoodPrepare_Ret, Time14)).
 1797 */
 1798axiom(holds_at(at(At_Param15, Location13), Time14),
 1799   
 1800    [ happens(foodPrepare(At_Param15, FoodPrepare_Ret),
 1801              Time14),
 1802      some(Location13,
 1803           '$kolem_Fn_171'(At_Param15, FoodPrepare_Ret, Time14))
 1804    ]).
 1805
 1806 /*  holds_at(at(At_Param19, Location17), Time18) :-
 1807       happens(foodPrepare(FoodPrepare_Param20, At_Param19),
 1808               Time18),
 1809       some(Location17,
 1810            '$kolem_Fn_171'(FoodPrepare_Param20,
 1811                            At_Param19,
 1812                            Time18)).
 1813 */
 1814axiom(holds_at(at(At_Param19, Location17), Time18),
 1815   
 1816    [ happens(foodPrepare(FoodPrepare_Param20, At_Param19),
 1817              Time18),
 1818      some(Location17,
 1819           '$kolem_Fn_171'(FoodPrepare_Param20,
 1820                           At_Param19,
 1821                           Time18))
 1822    ]).
 1823
 1824
 1825% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:509
 1826% [cook,agent,food,time]
 1827% HoldsAt(BeCook1(cook),time) &
 1828% HoldsAt(KnowOrder(cook,agent,food),time) ->
 1829% Happens(FoodPrepare(cook,food),time).
 1830% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:512
 1831axiom(happens(foodPrepare(Cook, Food), Time),
 1832   
 1833    [ holds_at(beCook1(Cook), Time),
 1834      holds_at(knowOrder(Cook, Agent, Food), Time)
 1835    ]).
 1836
 1837
 1838% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:514
 1839% [cook,food,time]
 1840% HoldsAt(BeCook1(cook),time) ->
 1841% Terminates(FoodPrepare(cook,food),
 1842%            BeCook1(cook),
 1843%            time).
 1844% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:518
 1845axiom(terminates(foodPrepare(Cook, Food), beCook1(Cook), Time),
 1846    [holds_at(beCook1(Cook), Time)]).
 1847
 1848
 1849% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:520
 1850% [cook,food,time]
 1851% HoldsAt(BeCook1(cook),time) ->
 1852% Initiates(FoodPrepare(cook,food),
 1853%           BeCook0(cook),
 1854%           time).
 1855% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:524
 1856axiom(initiates(foodPrepare(Cook, Food), beCook0(Cook), Time),
 1857    [holds_at(beCook1(Cook), Time)]).
 1858
 1859% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:526
 1860% event Pay(agent,agent)
 1861 %  event(pay(agent,agent)).
 1862% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:527
 1863==> mpred_prop(pay(agent,agent),event).
 1864==> meta_argtypes(pay(agent,agent)).
 1865
 1866% event Tip(agent,agent)
 1867 %  event(tip(agent,agent)).
 1868% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:529
 1869==> mpred_prop(tip(agent,agent),event).
 1870==> meta_argtypes(tip(agent,agent)).
 1871
 1872
 1873% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:530
 1874% [agent,physobj,time]
 1875% Happens(LieOn(agent,physobj),time) ->
 1876% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:532
 1877% {room}% 
 1878%  HoldsAt(At(agent,room),time) &
 1879%  HoldsAt(At(physobj,room),time).
 1880
 1881 /*   exists([Room],
 1882             if(happens(lieOn(Agent, Physobj), Time),
 1883                 (holds_at(at(Agent, Room), Time), holds_at(at(Physobj, Room), Time)))).
 1884 */
 1885
 1886 /*  not(some(Location, '$kolem_Fn_172'(Fn_172_Param, At_Param, Maptime))) :-
 1887       happens(lieOn(Fn_172_Param, At_Param), Maptime),
 1888       (   not(holds_at(at(Fn_172_Param, Location), Maptime))
 1889       ;   not(holds_at(at(At_Param, Location), Maptime))
 1890       ).
 1891 */
 1892% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:534
 1893axiom(not(some(Location, '$kolem_Fn_172'(Fn_172_Param, At_Param, Maptime))),
 1894   
 1895    [ not(holds_at(at(Fn_172_Param, Location), Maptime)),
 1896      happens(lieOn(Fn_172_Param, At_Param), Maptime)
 1897    ]).
 1898axiom(not(some(Location, '$kolem_Fn_172'(Fn_172_Param, At_Param, Maptime))),
 1899   
 1900    [ not(holds_at(at(At_Param, Location), Maptime)),
 1901      happens(lieOn(Fn_172_Param, At_Param), Maptime)
 1902    ]).
 1903
 1904 /*  not(happens(lieOn(LieOn_Param, At_Param12), Maptime9)) :-
 1905       (   not(holds_at(at(LieOn_Param, Location10), Maptime9))
 1906       ;   not(holds_at(at(At_Param12, Location10), Maptime9))
 1907       ),
 1908       some(Location10,
 1909            '$kolem_Fn_172'(LieOn_Param, At_Param12, Maptime9)).
 1910 */
 1911axiom(not(happens(lieOn(LieOn_Param, At_Param12), Maptime9)),
 1912   
 1913    [ not(holds_at(at(LieOn_Param, Location10), Maptime9)),
 1914      some(Location10,
 1915           '$kolem_Fn_172'(LieOn_Param, At_Param12, Maptime9))
 1916    ]).
 1917axiom(not(happens(lieOn(LieOn_Param, At_Param12), Maptime9)),
 1918   
 1919    [ not(holds_at(at(At_Param12, Location10), Maptime9)),
 1920      some(Location10,
 1921           '$kolem_Fn_172'(LieOn_Param, At_Param12, Maptime9))
 1922    ]).
 1923
 1924 /*  holds_at(at(At_Param15, Location13), Time14) :-
 1925       happens(lieOn(At_Param15, LieOn_Ret), Time14),
 1926       some(Location13,
 1927            '$kolem_Fn_172'(At_Param15, LieOn_Ret, Time14)).
 1928 */
 1929axiom(holds_at(at(At_Param15, Location13), Time14),
 1930   
 1931    [ happens(lieOn(At_Param15, LieOn_Ret), Time14),
 1932      some(Location13,
 1933           '$kolem_Fn_172'(At_Param15, LieOn_Ret, Time14))
 1934    ]).
 1935
 1936 /*  holds_at(at(At_Param19, Location17), Time18) :-
 1937       happens(lieOn(LieOn_Param20, At_Param19), Time18),
 1938       some(Location17,
 1939            '$kolem_Fn_172'(LieOn_Param20, At_Param19, Time18)).
 1940 */
 1941axiom(holds_at(at(At_Param19, Location17), Time18),
 1942   
 1943    [ happens(lieOn(LieOn_Param20, At_Param19), Time18),
 1944      some(Location17,
 1945           '$kolem_Fn_172'(LieOn_Param20, At_Param19, Time18))
 1946    ]).
 1947
 1948
 1949% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:536
 1950% [agent,physobj,time]
 1951% Happens(SitOn(agent,physobj),time) ->
 1952% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:538
 1953% {room}% 
 1954%  HoldsAt(At(agent,room),time) &
 1955%  HoldsAt(At(physobj,room),time).
 1956
 1957 /*   exists([Room],
 1958             if(happens(sitOn(Agent, Physobj), Time),
 1959                 (holds_at(at(Agent, Room), Time), holds_at(at(Physobj, Room), Time)))).
 1960 */
 1961
 1962 /*  not(some(Location, '$kolem_Fn_173'(Fn_173_Param, At_Param, Maptime))) :-
 1963       happens(sitOn(Fn_173_Param, At_Param), Maptime),
 1964       (   not(holds_at(at(Fn_173_Param, Location), Maptime))
 1965       ;   not(holds_at(at(At_Param, Location), Maptime))
 1966       ).
 1967 */
 1968% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:540
 1969axiom(not(some(Location, '$kolem_Fn_173'(Fn_173_Param, At_Param, Maptime))),
 1970   
 1971    [ not(holds_at(at(Fn_173_Param, Location), Maptime)),
 1972      happens(sitOn(Fn_173_Param, At_Param), Maptime)
 1973    ]).
 1974axiom(not(some(Location, '$kolem_Fn_173'(Fn_173_Param, At_Param, Maptime))),
 1975   
 1976    [ not(holds_at(at(At_Param, Location), Maptime)),
 1977      happens(sitOn(Fn_173_Param, At_Param), Maptime)
 1978    ]).
 1979
 1980 /*  not(happens(sitOn(SitOn_Param, At_Param12), Maptime9)) :-
 1981       (   not(holds_at(at(SitOn_Param, Location10), Maptime9))
 1982       ;   not(holds_at(at(At_Param12, Location10), Maptime9))
 1983       ),
 1984       some(Location10,
 1985            '$kolem_Fn_173'(SitOn_Param, At_Param12, Maptime9)).
 1986 */
 1987axiom(not(happens(sitOn(SitOn_Param, At_Param12), Maptime9)),
 1988   
 1989    [ not(holds_at(at(SitOn_Param, Location10), Maptime9)),
 1990      some(Location10,
 1991           '$kolem_Fn_173'(SitOn_Param, At_Param12, Maptime9))
 1992    ]).
 1993axiom(not(happens(sitOn(SitOn_Param, At_Param12), Maptime9)),
 1994   
 1995    [ not(holds_at(at(At_Param12, Location10), Maptime9)),
 1996      some(Location10,
 1997           '$kolem_Fn_173'(SitOn_Param, At_Param12, Maptime9))
 1998    ]).
 1999
 2000 /*  holds_at(at(At_Param15, Location13), Time14) :-
 2001       happens(sitOn(At_Param15, SitOn_Ret), Time14),
 2002       some(Location13,
 2003            '$kolem_Fn_173'(At_Param15, SitOn_Ret, Time14)).
 2004 */
 2005axiom(holds_at(at(At_Param15, Location13), Time14),
 2006   
 2007    [ happens(sitOn(At_Param15, SitOn_Ret), Time14),
 2008      some(Location13,
 2009           '$kolem_Fn_173'(At_Param15, SitOn_Ret, Time14))
 2010    ]).
 2011
 2012 /*  holds_at(at(At_Param19, Location17), Time18) :-
 2013       happens(sitOn(SitOn_Param20, At_Param19), Time18),
 2014       some(Location17,
 2015            '$kolem_Fn_173'(SitOn_Param20, At_Param19, Time18)).
 2016 */
 2017axiom(holds_at(at(At_Param19, Location17), Time18),
 2018   
 2019    [ happens(sitOn(SitOn_Param20, At_Param19), Time18),
 2020      some(Location17,
 2021           '$kolem_Fn_173'(SitOn_Param20, At_Param19, Time18))
 2022    ]).
 2023
 2024% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:542
 2025% event LieOn(agent,physobj)
 2026 %  event(lieOn(agent,physobj)).
 2027% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:543
 2028==> mpred_prop(lieOn(agent,physobj),event).
 2029==> meta_argtypes(lieOn(agent,physobj)).
 2030
 2031% event SitOn(agent,physobj)
 2032 %  event(sitOn(agent,physobj)).
 2033% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:545
 2034==> mpred_prop(sitOn(agent,physobj),event).
 2035==> meta_argtypes(sitOn(agent,physobj)).
 2036
 2037% event RiseFrom(agent,physobj)
 2038 %  event(riseFrom(agent,physobj)).
 2039% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:547
 2040==> mpred_prop(riseFrom(agent,physobj),event).
 2041==> meta_argtypes(riseFrom(agent,physobj)).
 2042
 2043% fluent LyingOn(agent,physobj)
 2044 %  fluent(lyingOn(agent,physobj)).
 2045% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:549
 2046==> mpred_prop(lyingOn(agent,physobj),fluent).
 2047==> meta_argtypes(lyingOn(agent,physobj)).
 2048
 2049% fluent SittingOn(agent,physobj)
 2050 %  fluent(sittingOn(agent,physobj)).
 2051% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:550
 2052==> mpred_prop(sittingOn(agent,physobj),fluent).
 2053==> meta_argtypes(sittingOn(agent,physobj)).
 2054
 2055% fluent Standing(agent)
 2056 %  fluent(standing(agent)).
 2057% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:551
 2058==> mpred_prop(standing(agent),fluent).
 2059==> meta_argtypes(standing(agent)).
 2060
 2061% fluent Lying(agent)
 2062 %  fluent(lying(agent)).
 2063% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:553
 2064==> mpred_prop(lying(agent),fluent).
 2065==> meta_argtypes(lying(agent)).
 2066
 2067% fluent Sitting(agent)
 2068 %  fluent(sitting(agent)).
 2069% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:554
 2070==> mpred_prop(sitting(agent),fluent).
 2071==> meta_argtypes(sitting(agent)).
 2072
 2073% noninertial Lying
 2074% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:555
 2075==> noninertial(lying).
 2076
 2077% noninertial Sitting
 2078% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:556
 2079==> noninertial(sitting).
 2080
 2081% xor Lying, Sitting, Standing
 2082% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:558
 2083xor([lying,sitting,standing]).
 2084
 2085
 2086% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:559
 2087% [agent,physobj,time]
 2088% HoldsAt(LyingOn(agent,physobj),time) ->
 2089% HoldsAt(Lying(agent),time).
 2090% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:561
 2091axiom(holds_at(lying(Agent), Time),
 2092    [holds_at(lyingOn(Agent, Physobj), Time)]).
 2093
 2094
 2095% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:563
 2096% [agent,physobj,time]
 2097% HoldsAt(SittingOn(agent,physobj),time) ->
 2098% HoldsAt(Sitting(agent),time).
 2099% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:565
 2100axiom(holds_at(sitting(Agent), Time),
 2101    [holds_at(sittingOn(Agent, Physobj), Time)]).
 2102
 2103
 2104% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:567
 2105% [agent,physobj1,physobj2,time]
 2106% HoldsAt(LyingOn(agent,physobj1),time) &
 2107% HoldsAt(LyingOn(agent,physobj2),time) ->
 2108% physobj1=physobj2.
 2109% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:570
 2110axiom(Physobj1=Physobj2,
 2111   
 2112    [ holds_at(lyingOn(Agent, Physobj1), Time),
 2113      holds_at(lyingOn(Agent, Physobj2), Time)
 2114    ]).
 2115
 2116
 2117% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:572
 2118% [agent,physobj1,physobj2,time]
 2119% HoldsAt(SittingOn(agent,physobj1),time) &
 2120% HoldsAt(SittingOn(agent,physobj2),time) ->
 2121% physobj1=physobj2.
 2122% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:575
 2123axiom(Physobj1=Physobj2,
 2124   
 2125    [ holds_at(sittingOn(Agent, Physobj1), Time),
 2126      holds_at(sittingOn(Agent, Physobj2), Time)
 2127    ]).
 2128
 2129
 2130% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:577
 2131% [agent,physobj,time]
 2132% HoldsAt(Standing(agent),time) ->
 2133% Initiates(LieOn(agent,physobj),
 2134%           LyingOn(agent,physobj),
 2135%           time).
 2136% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:581
 2137axiom(initiates(lieOn(Agent, Physobj), lyingOn(Agent, Physobj), Time),
 2138    [holds_at(standing(Agent), Time)]).
 2139
 2140
 2141% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:583
 2142% [agent,physobj,time]
 2143% Terminates(LieOn(agent,physobj),
 2144%            Standing(agent),
 2145%            time).
 2146% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:586
 2147axiom(terminates(lieOn(Agent, Physobj), standing(Agent), Time),
 2148    []).
 2149
 2150
 2151% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:588
 2152% [agent,physobj,time]
 2153% HoldsAt(Standing(agent),time) ->
 2154% Initiates(SitOn(agent,physobj),
 2155%           SittingOn(agent,physobj),
 2156%           time).
 2157% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:592
 2158axiom(initiates(sitOn(Agent, Physobj), sittingOn(Agent, Physobj), Time),
 2159    [holds_at(standing(Agent), Time)]).
 2160
 2161
 2162% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:594
 2163% [agent,physobj,time]
 2164% Terminates(SitOn(agent,physobj),
 2165%            Standing(agent),
 2166%            time).
 2167% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:597
 2168axiom(terminates(sitOn(Agent, Physobj), standing(Agent), Time),
 2169    []).
 2170
 2171
 2172% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:599
 2173% [agent,physobj,time]
 2174% (HoldsAt(SittingOn(agent,physobj),time) |
 2175%  HoldsAt(LyingOn(agent,physobj),time)) ->
 2176% Initiates(RiseFrom(agent,physobj),
 2177%           Standing(agent),
 2178%           time).
 2179% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:604
 2180axiom(initiates(riseFrom(Agent, Physobj), standing(Agent), Time),
 2181    [holds_at(sittingOn(Agent, Physobj), Time)]).
 2182axiom(initiates(riseFrom(Agent, Physobj), standing(Agent), Time),
 2183    [holds_at(lyingOn(Agent, Physobj), Time)]).
 2184
 2185
 2186% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:606
 2187% [agent,physobj,time]
 2188% HoldsAt(LyingOn(agent,physobj),time) ->
 2189% Terminates(RiseFrom(agent,physobj),
 2190%            LyingOn(agent,physobj),
 2191%            time).
 2192% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:610
 2193axiom(terminates(riseFrom(Agent, Physobj), lyingOn(Agent, Physobj), Time),
 2194    [holds_at(lyingOn(Agent, Physobj), Time)]).
 2195
 2196
 2197% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:612
 2198% [agent,physobj,time]
 2199% HoldsAt(SittingOn(agent,physobj),time) ->
 2200% Terminates(RiseFrom(agent,physobj),
 2201%            SittingOn(agent,physobj),
 2202%            time).
 2203% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:616
 2204axiom(terminates(riseFrom(Agent, Physobj), sittingOn(Agent, Physobj), Time),
 2205    [holds_at(sittingOn(Agent, Physobj), Time)]).
 2206
 2207% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:618
 2208% event Greet(agent,agent)
 2209 %  event(greet(agent,agent)).
 2210% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:619
 2211==> mpred_prop(greet(agent,agent),event).
 2212==> meta_argtypes(greet(agent,agent)).
 2213
 2214% event SayGoodbye(agent,agent)
 2215 %  event(sayGoodbye(agent,agent)).
 2216% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:621
 2217==> mpred_prop(sayGoodbye(agent,agent),event).
 2218==> meta_argtypes(sayGoodbye(agent,agent)).
 2219
 2220
 2221% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:622
 2222% [agent1,agent2,time]
 2223% Happens(Greet(agent1,agent2),time) ->
 2224% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:624
 2225% {location}% 
 2226% HoldsAt(At(agent1,location),time) &
 2227% HoldsAt(At(agent2,location),time).
 2228
 2229 /*   exists([Location],
 2230             if(happens(greet(Agent1, Agent2), Time),
 2231                 (holds_at(at(Agent1, Location), Time), holds_at(at(Agent2, Location), Time)))).
 2232 */
 2233
 2234 /*  not(some(Location6, '$kolem_Fn_174'(Fn_174_Param, At_Param, Maptime))) :-
 2235       happens(greet(Fn_174_Param, At_Param), Maptime),
 2236       (   not(holds_at(at(Fn_174_Param, Location6), Maptime))
 2237       ;   not(holds_at(at(At_Param, Location6), Maptime))
 2238       ).
 2239 */
 2240% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:626
 2241axiom(not(some(Location6, '$kolem_Fn_174'(Fn_174_Param, At_Param, Maptime))),
 2242   
 2243    [ not(holds_at(at(Fn_174_Param, Location6), Maptime)),
 2244      happens(greet(Fn_174_Param, At_Param), Maptime)
 2245    ]).
 2246axiom(not(some(Location6, '$kolem_Fn_174'(Fn_174_Param, At_Param, Maptime))),
 2247   
 2248    [ not(holds_at(at(At_Param, Location6), Maptime)),
 2249      happens(greet(Fn_174_Param, At_Param), Maptime)
 2250    ]).
 2251
 2252 /*  not(happens(greet(Greet_Param, At_Param12), Maptime9)) :-
 2253       (   not(holds_at(at(Greet_Param, Location10), Maptime9))
 2254       ;   not(holds_at(at(At_Param12, Location10), Maptime9))
 2255       ),
 2256       some(Location10,
 2257            '$kolem_Fn_174'(Greet_Param, At_Param12, Maptime9)).
 2258 */
 2259axiom(not(happens(greet(Greet_Param, At_Param12), Maptime9)),
 2260   
 2261    [ not(holds_at(at(Greet_Param, Location10), Maptime9)),
 2262      some(Location10,
 2263           '$kolem_Fn_174'(Greet_Param, At_Param12, Maptime9))
 2264    ]).
 2265axiom(not(happens(greet(Greet_Param, At_Param12), Maptime9)),
 2266   
 2267    [ not(holds_at(at(At_Param12, Location10), Maptime9)),
 2268      some(Location10,
 2269           '$kolem_Fn_174'(Greet_Param, At_Param12, Maptime9))
 2270    ]).
 2271
 2272 /*  holds_at(at(At_Param15, Location13), Time14) :-
 2273       happens(greet(At_Param15, Greet_Ret), Time14),
 2274       some(Location13,
 2275            '$kolem_Fn_174'(At_Param15, Greet_Ret, Time14)).
 2276 */
 2277axiom(holds_at(at(At_Param15, Location13), Time14),
 2278   
 2279    [ happens(greet(At_Param15, Greet_Ret), Time14),
 2280      some(Location13,
 2281           '$kolem_Fn_174'(At_Param15, Greet_Ret, Time14))
 2282    ]).
 2283
 2284 /*  holds_at(at(At_Param19, Location17), Time18) :-
 2285       happens(greet(Greet_Param20, At_Param19), Time18),
 2286       some(Location17,
 2287            '$kolem_Fn_174'(Greet_Param20, At_Param19, Time18)).
 2288 */
 2289axiom(holds_at(at(At_Param19, Location17), Time18),
 2290   
 2291    [ happens(greet(Greet_Param20, At_Param19), Time18),
 2292      some(Location17,
 2293           '$kolem_Fn_174'(Greet_Param20, At_Param19, Time18))
 2294    ]).
 2295
 2296
 2297% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:628
 2298% [agent1,agent2,time]
 2299% Happens(SayGoodbye(agent1,agent2),time) ->
 2300% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:630
 2301% {location}% 
 2302% HoldsAt(At(agent1,location),time) &
 2303% HoldsAt(At(agent2,location),time).
 2304
 2305 /*   exists([Location],
 2306             if(happens(sayGoodbye(Agent1, Agent2), Time),
 2307                 (holds_at(at(Agent1, Location), Time), holds_at(at(Agent2, Location), Time)))).
 2308 */
 2309
 2310 /*  not(some(Location6, '$kolem_Fn_175'(Fn_175_Param, At_Param, Maptime))) :-
 2311       happens(sayGoodbye(Fn_175_Param, At_Param), Maptime),
 2312       (   not(holds_at(at(Fn_175_Param, Location6), Maptime))
 2313       ;   not(holds_at(at(At_Param, Location6), Maptime))
 2314       ).
 2315 */
 2316% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:632
 2317axiom(not(some(Location6, '$kolem_Fn_175'(Fn_175_Param, At_Param, Maptime))),
 2318   
 2319    [ not(holds_at(at(Fn_175_Param, Location6), Maptime)),
 2320      happens(sayGoodbye(Fn_175_Param, At_Param), Maptime)
 2321    ]).
 2322axiom(not(some(Location6, '$kolem_Fn_175'(Fn_175_Param, At_Param, Maptime))),
 2323   
 2324    [ not(holds_at(at(At_Param, Location6), Maptime)),
 2325      happens(sayGoodbye(Fn_175_Param, At_Param), Maptime)
 2326    ]).
 2327
 2328 /*  not(happens(sayGoodbye(SayGoodbye_Param, At_Param12), Maptime9)) :-
 2329       (   not(holds_at(at(SayGoodbye_Param, Location10),
 2330                        Maptime9))
 2331       ;   not(holds_at(at(At_Param12, Location10), Maptime9))
 2332       ),
 2333       some(Location10,
 2334            '$kolem_Fn_175'(SayGoodbye_Param, At_Param12, Maptime9)).
 2335 */
 2336axiom(not(happens(sayGoodbye(SayGoodbye_Param, At_Param12), Maptime9)),
 2337   
 2338    [ not(holds_at(at(SayGoodbye_Param, Location10), Maptime9)),
 2339      some(Location10,
 2340           '$kolem_Fn_175'(SayGoodbye_Param,
 2341                           At_Param12,
 2342                           Maptime9))
 2343    ]).
 2344axiom(not(happens(sayGoodbye(SayGoodbye_Param, At_Param12), Maptime9)),
 2345   
 2346    [ not(holds_at(at(At_Param12, Location10), Maptime9)),
 2347      some(Location10,
 2348           '$kolem_Fn_175'(SayGoodbye_Param,
 2349                           At_Param12,
 2350                           Maptime9))
 2351    ]).
 2352
 2353 /*  holds_at(at(At_Param15, Location13), Time14) :-
 2354       happens(sayGoodbye(At_Param15, SayGoodbye_Ret), Time14),
 2355       some(Location13,
 2356            '$kolem_Fn_175'(At_Param15, SayGoodbye_Ret, Time14)).
 2357 */
 2358axiom(holds_at(at(At_Param15, Location13), Time14),
 2359   
 2360    [ happens(sayGoodbye(At_Param15, SayGoodbye_Ret), Time14),
 2361      some(Location13,
 2362           '$kolem_Fn_175'(At_Param15, SayGoodbye_Ret, Time14))
 2363    ]).
 2364
 2365 /*  holds_at(at(At_Param19, Location17), Time18) :-
 2366       happens(sayGoodbye(SayGoodbye_Param20, At_Param19),
 2367               Time18),
 2368       some(Location17,
 2369            '$kolem_Fn_175'(SayGoodbye_Param20, At_Param19, Time18)).
 2370 */
 2371axiom(holds_at(at(At_Param19, Location17), Time18),
 2372   
 2373    [ happens(sayGoodbye(SayGoodbye_Param20, At_Param19),
 2374              Time18),
 2375      some(Location17,
 2376           '$kolem_Fn_175'(SayGoodbye_Param20,
 2377                           At_Param19,
 2378                           Time18))
 2379    ]).
 2380
 2381% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:634
 2382% event Order(agent,agent,physobj)
 2383 %  event(order(agent,agent,physobj)).
 2384% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:635
 2385==> mpred_prop(order(agent,agent,physobj),event).
 2386==> meta_argtypes(order(agent,agent,physobj)).
 2387
 2388% fluent KnowOrder(agent,agent,physobj)
 2389 %  fluent(knowOrder(agent,agent,physobj)).
 2390% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:637
 2391==> mpred_prop(knowOrder(agent,agent,physobj),fluent).
 2392==> meta_argtypes(knowOrder(agent,agent,physobj)).
 2393
 2394
 2395% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:638
 2396% [agent1,agent2,physobj,time]
 2397% Initiates(Order(agent1,agent2,physobj),
 2398%           KnowOrder(agent2,agent1,physobj),
 2399%           time).
 2400% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:641
 2401axiom(initiates(order(Agent1, Agent2, Physobj), knowOrder(Agent2, Agent1, Physobj), Time),
 2402    []).
 2403
 2404
 2405% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:643
 2406% [agent1,agent2,physobj,time]
 2407% Happens(Order(agent1,agent2,physobj),time) ->
 2408% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:645
 2409% {location}% 
 2410% HoldsAt(At(agent1,location),time) &
 2411% HoldsAt(At(agent2,location),time).
 2412
 2413 /*   exists([Location],
 2414             if(happens(order(Agent1, Agent2, Physobj),
 2415                        Time),
 2416                 (holds_at(at(Agent1, Location), Time), holds_at(at(Agent2, Location), Time)))).
 2417 */
 2418
 2419 /*  not(some(Location7, '$kolem_Fn_176'(Fn_176_Param, At_Param, Order_Ret, Maptime))) :-
 2420       happens(order(Fn_176_Param, At_Param, Order_Ret),
 2421               Maptime),
 2422       (   not(holds_at(at(Fn_176_Param, Location7), Maptime))
 2423       ;   not(holds_at(at(At_Param, Location7), Maptime))
 2424       ).
 2425 */
 2426% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:647
 2427axiom(not(some(Location7, '$kolem_Fn_176'(Fn_176_Param, At_Param, Order_Ret, Maptime))),
 2428   
 2429    [ not(holds_at(at(Fn_176_Param, Location7), Maptime)),
 2430      happens(order(Fn_176_Param, At_Param, Order_Ret),
 2431              Maptime)
 2432    ]).
 2433axiom(not(some(Location7, '$kolem_Fn_176'(Fn_176_Param, At_Param, Order_Ret, Maptime))),
 2434   
 2435    [ not(holds_at(at(At_Param, Location7), Maptime)),
 2436      happens(order(Fn_176_Param, At_Param, Order_Ret),
 2437              Maptime)
 2438    ]).
 2439
 2440 /*  not(happens(order(Order_Param, At_Param14, Order_Ret15), Maptime11)) :-
 2441       (   not(holds_at(at(Order_Param, Location12), Maptime11))
 2442       ;   not(holds_at(at(At_Param14, Location12), Maptime11))
 2443       ),
 2444       some(Location12,
 2445            '$kolem_Fn_176'(Order_Param,
 2446                            At_Param14,
 2447                            Order_Ret15,
 2448                            Maptime11)).
 2449 */
 2450axiom(not(happens(order(Order_Param, At_Param14, Order_Ret15), Maptime11)),
 2451   
 2452    [ not(holds_at(at(Order_Param, Location12), Maptime11)),
 2453      some(Location12,
 2454           '$kolem_Fn_176'(Order_Param,
 2455                           At_Param14,
 2456                           Order_Ret15,
 2457                           Maptime11))
 2458    ]).
 2459axiom(not(happens(order(Order_Param, At_Param14, Order_Ret15), Maptime11)),
 2460   
 2461    [ not(holds_at(at(At_Param14, Location12), Maptime11)),
 2462      some(Location12,
 2463           '$kolem_Fn_176'(Order_Param,
 2464                           At_Param14,
 2465                           Order_Ret15,
 2466                           Maptime11))
 2467    ]).
 2468
 2469 /*  holds_at(at(At_Param18, Location16), Time17) :-
 2470       happens(order(At_Param18, A, Order_Ret19), Time17),
 2471       some(Location16,
 2472            '$kolem_Fn_176'(At_Param18,
 2473                            A,
 2474                            Order_Ret19,
 2475                            Time17)).
 2476 */
 2477axiom(holds_at(at(At_Param18, Location16), Time17),
 2478   
 2479    [ happens(order(At_Param18, A, Order_Ret19), Time17),
 2480      some(Location16,
 2481           '$kolem_Fn_176'(At_Param18,
 2482                           A,
 2483                           Order_Ret19,
 2484                           Time17))
 2485    ]).
 2486
 2487 /*  holds_at(at(At_Param22, Location20), Time21) :-
 2488       happens(order(Order_Param23, At_Param22, Order_Ret24),
 2489               Time21),
 2490       some(Location20,
 2491            '$kolem_Fn_176'(Order_Param23,
 2492                            At_Param22,
 2493                            Order_Ret24,
 2494                            Time21)).
 2495 */
 2496axiom(holds_at(at(At_Param22, Location20), Time21),
 2497   
 2498    [ happens(order(Order_Param23, At_Param22, Order_Ret24),
 2499              Time21),
 2500      some(Location20,
 2501           '$kolem_Fn_176'(Order_Param23,
 2502                           At_Param22,
 2503                           Order_Ret24,
 2504                           Time21))
 2505    ]).
 2506
 2507% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:649
 2508% event Request(agent,agent,physobj)
 2509 %  event(request(agent,agent,physobj)).
 2510% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:650
 2511==> mpred_prop(request(agent,agent,physobj),event).
 2512==> meta_argtypes(request(agent,agent,physobj)).
 2513
 2514% fluent KnowRequest(agent,agent,physobj)
 2515 %  fluent(knowRequest(agent,agent,physobj)).
 2516% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:652
 2517==> mpred_prop(knowRequest(agent,agent,physobj),fluent).
 2518==> meta_argtypes(knowRequest(agent,agent,physobj)).
 2519
 2520
 2521% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:653
 2522% [agent1,agent2,physobj,time]
 2523% Initiates(Request(agent1,agent2,physobj),
 2524%           KnowRequest(agent2,agent1,physobj),
 2525%           time).
 2526% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:656
 2527axiom(initiates(request(Agent1, Agent2, Physobj), knowRequest(Agent2, Agent1, Physobj), Time),
 2528    []).
 2529
 2530
 2531% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:658
 2532% [agent1,agent2,physobj,time]
 2533% Happens(Request(agent1,agent2,physobj),time) ->
 2534% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:660
 2535% {location}% 
 2536% HoldsAt(At(agent1,location),time) &
 2537% HoldsAt(At(agent2,location),time).
 2538
 2539 /*   exists([Location],
 2540             if(happens(request(Agent1, Agent2, Physobj),
 2541                        Time),
 2542                 (holds_at(at(Agent1, Location), Time), holds_at(at(Agent2, Location), Time)))).
 2543 */
 2544
 2545 /*  not(some(Location7, '$kolem_Fn_177'(Fn_177_Param, At_Param, Request_Ret, Maptime))) :-
 2546       happens(request(Fn_177_Param, At_Param, Request_Ret),
 2547               Maptime),
 2548       (   not(holds_at(at(Fn_177_Param, Location7), Maptime))
 2549       ;   not(holds_at(at(At_Param, Location7), Maptime))
 2550       ).
 2551 */
 2552% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:662
 2553axiom(not(some(Location7, '$kolem_Fn_177'(Fn_177_Param, At_Param, Request_Ret, Maptime))),
 2554   
 2555    [ not(holds_at(at(Fn_177_Param, Location7), Maptime)),
 2556      happens(request(Fn_177_Param, At_Param, Request_Ret),
 2557              Maptime)
 2558    ]).
 2559axiom(not(some(Location7, '$kolem_Fn_177'(Fn_177_Param, At_Param, Request_Ret, Maptime))),
 2560   
 2561    [ not(holds_at(at(At_Param, Location7), Maptime)),
 2562      happens(request(Fn_177_Param, At_Param, Request_Ret),
 2563              Maptime)
 2564    ]).
 2565
 2566 /*  not(happens(request(Request_Param, At_Param14, Request_Ret15), Maptime11)) :-
 2567       (   not(holds_at(at(Request_Param, Location12), Maptime11))
 2568       ;   not(holds_at(at(At_Param14, Location12), Maptime11))
 2569       ),
 2570       some(Location12,
 2571            '$kolem_Fn_177'(Request_Param,
 2572                            At_Param14,
 2573                            Request_Ret15,
 2574                            Maptime11)).
 2575 */
 2576axiom(not(happens(request(Request_Param, At_Param14, Request_Ret15), Maptime11)),
 2577   
 2578    [ not(holds_at(at(Request_Param, Location12), Maptime11)),
 2579      some(Location12,
 2580           '$kolem_Fn_177'(Request_Param,
 2581                           At_Param14,
 2582                           Request_Ret15,
 2583                           Maptime11))
 2584    ]).
 2585axiom(not(happens(request(Request_Param, At_Param14, Request_Ret15), Maptime11)),
 2586   
 2587    [ not(holds_at(at(At_Param14, Location12), Maptime11)),
 2588      some(Location12,
 2589           '$kolem_Fn_177'(Request_Param,
 2590                           At_Param14,
 2591                           Request_Ret15,
 2592                           Maptime11))
 2593    ]).
 2594
 2595 /*  holds_at(at(At_Param18, Location16), Time17) :-
 2596       happens(request(At_Param18, A, Request_Ret19),
 2597               Time17),
 2598       some(Location16,
 2599            '$kolem_Fn_177'(At_Param18,
 2600                            A,
 2601                            Request_Ret19,
 2602                            Time17)).
 2603 */
 2604axiom(holds_at(at(At_Param18, Location16), Time17),
 2605   
 2606    [ happens(request(At_Param18, A, Request_Ret19),
 2607              Time17),
 2608      some(Location16,
 2609           '$kolem_Fn_177'(At_Param18,
 2610                           A,
 2611                           Request_Ret19,
 2612                           Time17))
 2613    ]).
 2614
 2615 /*  holds_at(at(At_Param22, Location20), Time21) :-
 2616       happens(request(Request_Param23,
 2617                       At_Param22,
 2618                       Request_Ret24),
 2619               Time21),
 2620       some(Location20,
 2621            '$kolem_Fn_177'(Request_Param23,
 2622                            At_Param22,
 2623                            Request_Ret24,
 2624                            Time21)).
 2625 */
 2626axiom(holds_at(at(At_Param22, Location20), Time21),
 2627   
 2628    [ happens(request(Request_Param23,
 2629                      At_Param22,
 2630                      Request_Ret24),
 2631              Time21),
 2632      some(Location20,
 2633           '$kolem_Fn_177'(Request_Param23,
 2634                           At_Param22,
 2635                           Request_Ret24,
 2636                           Time21))
 2637    ]).
 2638
 2639
 2640% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RepRest.e:664
 2641%; End of file.