1:-include(library('ec_planner/ec_test_incl')).    2:-expects_dialect(pfc).    3 %  loading(always,'ecnet/SpeechAct.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%; The SpeechAct representation deals with a few speech acts
   15%; \fullcite{Searle:1969}.
   16%;
   17%; @book{Searle:1969,
   18%;   author = "John R. Searle",
   19%;   year = "1969",
   20%;   title = "Speech Acts: An Essay in the Philosophy of Language",
   21%;   address = "Cambridge",
   22%;   publisher = "Cambridge University Press",
   23%; }
   24%;
   25%; We handle
   26%; the illocutionary acts of
   27%; inviting someone into one's house (a form of request) and
   28%; greeting someone,
   29%; and the expressive speech act of crying for joy.
   30%;
   31%; inviting in
   32%; agent1 invites agent2 into room.
   33
   34% event InviteIn(agent,agent,room)
   35 %  event(inviteIn(agent,agent,room)).
   36==> mpred_prop(inviteIn(agent,agent,room),event).
   37==> meta_argtypes(inviteIn(agent,agent,room)).
   38
   39
   40% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/SpeechAct.e:32
   41%; agent1 is invited into room by agent2.
   42
   43% fluent InvitedIn(agent,room,agent)
   44 %  fluent(invitedIn(agent,room,agent)).
   45% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/SpeechAct.e:34
   46==> mpred_prop(invitedIn(agent,room,agent),fluent).
   47==> meta_argtypes(invitedIn(agent,room,agent)).
   48
   49
   50% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/SpeechAct.e:35
   51%; A precondition axiom states that for
   52%; an agent to invite another agent into a room,
   53%; the first agent must be in the room and
   54%; there must be an outside area such that
   55%; the second agent is at the outside area and
   56%; the outside area is adjacent to the room:
   57% [agent1,agent2,room,time]
   58% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/SpeechAct.e:42
   59% Happens(InviteIn(agent1,agent2,room),time) ->
   60% HoldsAt(At(agent1,room),time) &
   61% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/SpeechAct.e:44
   62% {outside}% 
   63% HoldsAt(At(agent2,outside),time) &
   64% Adjacent(room,outside).
   65
   66 /*   exists([Outside],
   67             if(happens(inviteIn(Agent1, Agent2, Room),
   68                        Time),
   69                 (holds_at(at(Agent1, Room), Time), holds_at(at(Agent2, Outside), Time), adjacent(Room, Outside)))).
   70 */
   71
   72 /*  not(some(Location8, '$kolem_Fn_188'(Fn_188_Param, At_Param, Location, Maptime))) :-
   73       happens(inviteIn(Fn_188_Param, At_Param, Location),
   74               Maptime),
   75       (   not(holds_at(at(Fn_188_Param, Location), Maptime))
   76       ;   not(holds_at(at(At_Param, Location8), Maptime))
   77       ;   not(adjacent(Location, Location8))
   78       ).
   79 */
   80% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/SpeechAct.e:46
   81axiom(not(some(Location8, '$kolem_Fn_188'(Fn_188_Param, At_Param, Location, Maptime))),
   82   
   83    [ not(holds_at(at(Fn_188_Param, Location), Maptime)),
   84      happens(inviteIn(Fn_188_Param, At_Param, Location),
   85              Maptime)
   86    ]).
   87axiom(not(some(Location8, '$kolem_Fn_188'(Fn_188_Param, At_Param, Location, Maptime))),
   88   
   89    [ not(holds_at(at(At_Param, Location8), Maptime)),
   90      happens(inviteIn(Fn_188_Param, At_Param, Location),
   91              Maptime)
   92    ]).
   93axiom(not(some(Location8, '$kolem_Fn_188'(Fn_188_Param, At_Param, Location, Maptime))),
   94   
   95    [ not(adjacent(Location, Location8)),
   96      happens(inviteIn(Fn_188_Param, At_Param, Location),
   97              Maptime)
   98    ]).
   99
  100 /*  not(happens(inviteIn(InviteIn_Param, At_Param15, Location12), Maptime11)) :-
  101       (   not(holds_at(at(InviteIn_Param, Location12),
  102                        Maptime11))
  103       ;   not(holds_at(at(At_Param15, Location13), Maptime11))
  104       ;   not(adjacent(Location12, Location13))
  105       ),
  106       some(Location13,
  107            '$kolem_Fn_188'(InviteIn_Param,
  108                            At_Param15,
  109                            Location12,
  110                            Maptime11)).
  111 */
  112axiom(not(happens(inviteIn(InviteIn_Param, At_Param15, Location12), Maptime11)),
  113   
  114    [ not(holds_at(at(InviteIn_Param, Location12), Maptime11)),
  115      some(Location13,
  116           '$kolem_Fn_188'(InviteIn_Param,
  117                           At_Param15,
  118                           Location12,
  119                           Maptime11))
  120    ]).
  121axiom(not(happens(inviteIn(InviteIn_Param, At_Param15, Location12), Maptime11)),
  122   
  123    [ not(holds_at(at(At_Param15, Location13), Maptime11)),
  124      some(Location13,
  125           '$kolem_Fn_188'(InviteIn_Param,
  126                           At_Param15,
  127                           Location12,
  128                           Maptime11))
  129    ]).
  130axiom(not(happens(inviteIn(InviteIn_Param, At_Param15, Location12), Maptime11)),
  131   
  132    [ not(adjacent(Location12, Location13)),
  133      some(Location13,
  134           '$kolem_Fn_188'(InviteIn_Param,
  135                           At_Param15,
  136                           Location12,
  137                           Maptime11))
  138    ]).
  139
  140 /*  holds_at(at(At_Param18, Location16), Time17) :-
  141       happens(inviteIn(At_Param18, A, Location16), Time17),
  142       some(Some_Param,
  143            '$kolem_Fn_188'(At_Param18, A, Location16, Time17)).
  144 */
  145axiom(holds_at(at(At_Param18, Location16), Time17),
  146   
  147    [ happens(inviteIn(At_Param18, A, Location16),
  148              Time17),
  149      some(Some_Param,
  150           '$kolem_Fn_188'(At_Param18,
  151                           A,
  152                           Location16,
  153                           Time17))
  154    ]).
  155
  156 /*  holds_at(at(At_Param22, Location20), Time21) :-
  157       happens(inviteIn(InviteIn_Param23,
  158                        At_Param22,
  159                        InviteIn_Ret),
  160               Time21),
  161       some(Location20,
  162            '$kolem_Fn_188'(InviteIn_Param23,
  163                            At_Param22,
  164                            InviteIn_Ret,
  165                            Time21)).
  166 */
  167axiom(holds_at(at(At_Param22, Location20), Time21),
  168   
  169    [ happens(inviteIn(InviteIn_Param23,
  170                       At_Param22,
  171                       InviteIn_Ret),
  172              Time21),
  173      some(Location20,
  174           '$kolem_Fn_188'(InviteIn_Param23,
  175                           At_Param22,
  176                           InviteIn_Ret,
  177                           Time21))
  178    ]).
  179
  180 /*  adjacent(Adjacent_Param, Some_Param28) :-
  181       happens(inviteIn(InviteIn_Param27, A, Adjacent_Param),
  182               Maptime25),
  183       some(Some_Param28,
  184            '$kolem_Fn_188'(InviteIn_Param27,
  185                            A,
  186                            Adjacent_Param,
  187                            Maptime25)).
  188 */
  189axiom(adjacent(Adjacent_Param, Some_Param28),
  190   
  191    [ happens(inviteIn(InviteIn_Param27, A, Adjacent_Param),
  192              Maptime25),
  193      some(Some_Param28,
  194           '$kolem_Fn_188'(InviteIn_Param27,
  195                           A,
  196                           Adjacent_Param,
  197                           Maptime25))
  198    ]).
  199
  200
  201% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/SpeechAct.e:48
  202%; An effect axiom states that if
  203%; an agent invites another agent into a room,
  204%; the second agent will be invited into the room by the first agent:
  205% [agent1,agent2,room,time]
  206% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/SpeechAct.e:52
  207% Initiates(InviteIn(agent1,agent2,room),
  208%           InvitedIn(agent2,room,agent1),
  209%           time).
  210% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/SpeechAct.e:54
  211axiom(initiates(inviteIn(Agent1, Agent2, Room), invitedIn(Agent2, Room, Agent1), Time),
  212    []).
  213
  214
  215% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/SpeechAct.e:56
  216%; agent intends to walk into room.
  217
  218% event IntendToWalkIn(agent,room)
  219 %  event(intendToWalkIn(agent,room)).
  220% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/SpeechAct.e:58
  221==> mpred_prop(intendToWalkIn(agent,room),event).
  222==> meta_argtypes(intendToWalkIn(agent,room)).
  223
  224
  225% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/SpeechAct.e:58
  226%; agent has the intention to walk into room.
  227
  228% fluent IntentionToWalkIn(agent,room)
  229 %  fluent(intentionToWalkIn(agent,room)).
  230% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/SpeechAct.e:60
  231==> mpred_prop(intentionToWalkIn(agent,room),fluent).
  232==> meta_argtypes(intentionToWalkIn(agent,room)).
  233
  234
  235% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/SpeechAct.e:60
  236%; agent acts on the intention to walk into room.
  237
  238% fluent ActOnIntentionToWalkIn(agent,room)
  239 %  fluent(actOnIntentionToWalkIn(agent,room)).
  240% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/SpeechAct.e:62
  241==> mpred_prop(actOnIntentionToWalkIn(agent,room),fluent).
  242==> meta_argtypes(actOnIntentionToWalkIn(agent,room)).
  243
  244% noninertial ActOnIntentionToWalkIn
  245% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/SpeechAct.e:63
  246==> noninertial(actOnIntentionToWalkIn).
  247%; A trigger axiom states that
  248%; if an agent is invited into a room by another agent,
  249%; the first agent likes the second agent, and
  250%; the first agent does not already have the intention to
  251%; walk into the room,
  252%; the first agent intends to walk into the room:
  253% [agent1,agent2,room,time]
  254% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/SpeechAct.e:71
  255% HoldsAt(InvitedIn(agent1,room,agent2),time) &
  256% HoldsAt(Like(agent1,agent2),time) &
  257% !HoldsAt(IntentionToWalkIn(agent1,room),time) ->
  258% Happens(IntendToWalkIn(agent1,room),time).
  259% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/SpeechAct.e:74
  260axiom(happens(intendToWalkIn(Agent1, Room), Time),
  261   
  262    [ holds_at(invitedIn(Agent1, Room, Agent2), Time),
  263      holds_at(like(Agent1, Agent2), Time),
  264      not(holds_at(intentionToWalkIn(Agent1, Room), Time))
  265    ]).
  266
  267
  268% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/SpeechAct.e:76
  269%; An effect axiom states that
  270%; if an agent intends to walk into a room,
  271%; the agent will have the intention to walk into the room:
  272% [agent,room,time]
  273% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/SpeechAct.e:80
  274% Initiates(IntendToWalkIn(agent,room),
  275%           IntentionToWalkIn(agent,room),
  276%           time).
  277% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/SpeechAct.e:82
  278axiom(initiates(intendToWalkIn(Agent, Room), intentionToWalkIn(Agent, Room), Time),
  279    []).
  280
  281
  282% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/SpeechAct.e:84
  283%; Two trigger axioms state that
  284%; if an agent has the intention to walk into a room,
  285%; the agent acts on the intention to walk into the room,
  286%; the agent is at a location,
  287%; side one (two) of a door is the room,
  288%; side two (one) of the door is the location,
  289%; agent will walk through side two (one) of the door:
  290% [agent,room,location,door,time]
  291% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/SpeechAct.e:92
  292% HoldsAt(IntentionToWalkIn(agent,room),time) &
  293% HoldsAt(ActOnIntentionToWalkIn(agent,room),time) &
  294% HoldsAt(At(agent,location),time) &
  295% Side1(door)=room &
  296% Side2(door)=location ->
  297% Happens(WalkThroughDoor21(agent,door),time).
  298% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/SpeechAct.e:97
  299axiom(happens(walkThroughDoor21(Agent, Door), Time),
  300   
  301    [ holds_at(intentionToWalkIn(Agent, Room), Time),
  302      holds_at(actOnIntentionToWalkIn(Agent, Room), Time),
  303      holds_at(at(Agent, Location), Time),
  304      equals(side1(Door), Room),
  305      equals(side2(Door), Location)
  306    ]).
  307
  308
  309% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/SpeechAct.e:99
  310% [agent,room,location,door,time]
  311% HoldsAt(IntentionToWalkIn(agent,room),time) &
  312% HoldsAt(ActOnIntentionToWalkIn(agent,room),time) &
  313% HoldsAt(At(agent,location),time) &
  314% Side2(door)=room &
  315% Side1(door)=location ->
  316% Happens(WalkThroughDoor12(agent,door),time).
  317% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/SpeechAct.e:105
  318axiom(happens(walkThroughDoor12(Agent, Door), Time),
  319   
  320    [ holds_at(intentionToWalkIn(Agent, Room), Time),
  321      holds_at(actOnIntentionToWalkIn(Agent, Room), Time),
  322      holds_at(at(Agent, Location), Time),
  323      equals(side2(Door), Room),
  324      equals(side1(Door), Location)
  325    ]).
  326
  327
  328% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/SpeechAct.e:107
  329%; Two effect axioms state that
  330%; if side one (two) of a door is a room and
  331%; an agent walks through side two (one) of the door,
  332%; the agent will no longer have the intention to
  333%; walk into the room:
  334% [agent,room,door,time]
  335% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/SpeechAct.e:113
  336% Side1(door)=room ->
  337% Terminates(WalkThroughDoor21(agent,door),
  338%            IntentionToWalkIn(agent,room),
  339%            time).
  340% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/SpeechAct.e:116
  341axiom(terminates(walkThroughDoor21(Agent, Door), intentionToWalkIn(Agent, Room), Time),
  342    [equals(side1(Door), Room)]).
  343
  344
  345% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/SpeechAct.e:118
  346% [agent,room,door,time]
  347% Side2(door)=room ->
  348% Terminates(WalkThroughDoor12(agent,door),
  349%            IntentionToWalkIn(agent,room),
  350%            time).
  351% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/SpeechAct.e:122
  352axiom(terminates(walkThroughDoor12(Agent, Door), intentionToWalkIn(Agent, Room), Time),
  353    [equals(side2(Door), Room)]).
  354
  355
  356% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/SpeechAct.e:124
  357%; agent greets object.
  358
  359% event Greet(agent,object)
  360 %  event(greet(agent,object)).
  361% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/SpeechAct.e:126
  362==> mpred_prop(greet(agent,object),event).
  363==> meta_argtypes(greet(agent,object)).
  364
  365% event SayPleasedToMeet(agent,agent)
  366 %  event(sayPleasedToMeet(agent,agent)).
  367% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/SpeechAct.e:128
  368==> mpred_prop(sayPleasedToMeet(agent,agent),event).
  369==> meta_argtypes(sayPleasedToMeet(agent,agent)).
  370
  371
  372% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/SpeechAct.e:129
  373%; agent says goodbye to object.
  374
  375% event SayGoodbye(agent,object)
  376 %  event(sayGoodbye(agent,object)).
  377% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/SpeechAct.e:131
  378==> mpred_prop(sayGoodbye(agent,object),event).
  379==> meta_argtypes(sayGoodbye(agent,object)).
  380
  381% event TalkAbout(agent,content)
  382 %  event(talkAbout(agent,content)).
  383% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/SpeechAct.e:133
  384==> mpred_prop(talkAbout(agent,content),event).
  385==> meta_argtypes(talkAbout(agent,content)).
  386
  387% event Converse(agent,agent)
  388 %  event(converse(agent,agent)).
  389% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/SpeechAct.e:135
  390==> mpred_prop(converse(agent,agent),event).
  391==> meta_argtypes(converse(agent,agent)).
  392
  393
  394% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/SpeechAct.e:136
  395% [agent1,agent2,time]
  396% Happens(Converse(agent1,agent2),time) ->
  397% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/SpeechAct.e:138
  398% {location}% 
  399% HoldsAt(At(agent1,location),time) &
  400% HoldsAt(At(agent2,location),time).
  401
  402 /*   exists([Location],
  403             if(happens(converse(Agent1, Agent2), Time),
  404                 (holds_at(at(Agent1, Location), Time), holds_at(at(Agent2, Location), Time)))).
  405 */
  406
  407 /*  not(some(Location6, '$kolem_Fn_189'(Fn_189_Param, At_Param, Maptime))) :-
  408       happens(converse(Fn_189_Param, At_Param), Maptime),
  409       (   not(holds_at(at(Fn_189_Param, Location6), Maptime))
  410       ;   not(holds_at(at(At_Param, Location6), Maptime))
  411       ).
  412 */
  413% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/SpeechAct.e:140
  414axiom(not(some(Location6, '$kolem_Fn_189'(Fn_189_Param, At_Param, Maptime))),
  415   
  416    [ not(holds_at(at(Fn_189_Param, Location6), Maptime)),
  417      happens(converse(Fn_189_Param, At_Param), Maptime)
  418    ]).
  419axiom(not(some(Location6, '$kolem_Fn_189'(Fn_189_Param, At_Param, Maptime))),
  420   
  421    [ not(holds_at(at(At_Param, Location6), Maptime)),
  422      happens(converse(Fn_189_Param, At_Param), Maptime)
  423    ]).
  424
  425 /*  not(happens(converse(Converse_Param, At_Param12), Maptime9)) :-
  426       (   not(holds_at(at(Converse_Param, Location10), Maptime9))
  427       ;   not(holds_at(at(At_Param12, Location10), Maptime9))
  428       ),
  429       some(Location10,
  430            '$kolem_Fn_189'(Converse_Param, At_Param12, Maptime9)).
  431 */
  432axiom(not(happens(converse(Converse_Param, At_Param12), Maptime9)),
  433   
  434    [ not(holds_at(at(Converse_Param, Location10), Maptime9)),
  435      some(Location10,
  436           '$kolem_Fn_189'(Converse_Param, At_Param12, Maptime9))
  437    ]).
  438axiom(not(happens(converse(Converse_Param, At_Param12), Maptime9)),
  439   
  440    [ not(holds_at(at(At_Param12, Location10), Maptime9)),
  441      some(Location10,
  442           '$kolem_Fn_189'(Converse_Param, At_Param12, Maptime9))
  443    ]).
  444
  445 /*  holds_at(at(At_Param15, Location13), Time14) :-
  446       happens(converse(At_Param15, Converse_Ret), Time14),
  447       some(Location13,
  448            '$kolem_Fn_189'(At_Param15, Converse_Ret, Time14)).
  449 */
  450axiom(holds_at(at(At_Param15, Location13), Time14),
  451   
  452    [ happens(converse(At_Param15, Converse_Ret), Time14),
  453      some(Location13,
  454           '$kolem_Fn_189'(At_Param15, Converse_Ret, Time14))
  455    ]).
  456
  457 /*  holds_at(at(At_Param19, Location17), Time18) :-
  458       happens(converse(Converse_Param20, At_Param19), Time18),
  459       some(Location17,
  460            '$kolem_Fn_189'(Converse_Param20, At_Param19, Time18)).
  461 */
  462axiom(holds_at(at(At_Param19, Location17), Time18),
  463   
  464    [ happens(converse(Converse_Param20, At_Param19), Time18),
  465      some(Location17,
  466           '$kolem_Fn_189'(Converse_Param20, At_Param19, Time18))
  467    ]).
  468
  469
  470% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/SpeechAct.e:142
  471%; A precondition axiom states that for
  472%; an agent to greet an object,
  473%; there must be a location such that
  474%; the agent is at the location and
  475%; the object is at the location:
  476% [agent,object,time]
  477% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/SpeechAct.e:148
  478% Happens(Greet(agent,object),time) ->
  479% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/SpeechAct.e:149
  480% {location}% 
  481% HoldsAt(At(agent,location),time) &
  482% HoldsAt(At(object,location),time).
  483
  484 /*   exists([Location],
  485             if(happens(greet(Agent, Object), Time),
  486                 (holds_at(at(Agent, Location), Time), holds_at(at(Object, Location), Time)))).
  487 */
  488
  489 /*  not(some(Location6, '$kolem_Fn_190'(Fn_190_Param, At_Param, Maptime))) :-
  490       happens(greet(Fn_190_Param, At_Param), Maptime),
  491       (   not(holds_at(at(Fn_190_Param, Location6), Maptime))
  492       ;   not(holds_at(at(At_Param, Location6), Maptime))
  493       ).
  494 */
  495% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/SpeechAct.e:151
  496axiom(not(some(Location6, '$kolem_Fn_190'(Fn_190_Param, At_Param, Maptime))),
  497   
  498    [ not(holds_at(at(Fn_190_Param, Location6), Maptime)),
  499      happens(greet(Fn_190_Param, At_Param), Maptime)
  500    ]).
  501axiom(not(some(Location6, '$kolem_Fn_190'(Fn_190_Param, At_Param, Maptime))),
  502   
  503    [ not(holds_at(at(At_Param, Location6), Maptime)),
  504      happens(greet(Fn_190_Param, At_Param), Maptime)
  505    ]).
  506
  507 /*  not(happens(greet(Greet_Param, At_Param12), Maptime9)) :-
  508       (   not(holds_at(at(Greet_Param, Location10), Maptime9))
  509       ;   not(holds_at(at(At_Param12, Location10), Maptime9))
  510       ),
  511       some(Location10,
  512            '$kolem_Fn_190'(Greet_Param, At_Param12, Maptime9)).
  513 */
  514axiom(not(happens(greet(Greet_Param, At_Param12), Maptime9)),
  515   
  516    [ not(holds_at(at(Greet_Param, Location10), Maptime9)),
  517      some(Location10,
  518           '$kolem_Fn_190'(Greet_Param, At_Param12, Maptime9))
  519    ]).
  520axiom(not(happens(greet(Greet_Param, At_Param12), Maptime9)),
  521   
  522    [ not(holds_at(at(At_Param12, Location10), Maptime9)),
  523      some(Location10,
  524           '$kolem_Fn_190'(Greet_Param, At_Param12, Maptime9))
  525    ]).
  526
  527 /*  holds_at(at(At_Param15, Location13), Time14) :-
  528       happens(greet(At_Param15, Greet_Ret), Time14),
  529       some(Location13,
  530            '$kolem_Fn_190'(At_Param15, Greet_Ret, Time14)).
  531 */
  532axiom(holds_at(at(At_Param15, Location13), Time14),
  533   
  534    [ happens(greet(At_Param15, Greet_Ret), Time14),
  535      some(Location13,
  536           '$kolem_Fn_190'(At_Param15, Greet_Ret, Time14))
  537    ]).
  538
  539 /*  holds_at(at(At_Param19, Location17), Time18) :-
  540       happens(greet(Greet_Param20, At_Param19), Time18),
  541       some(Location17,
  542            '$kolem_Fn_190'(Greet_Param20, At_Param19, Time18)).
  543 */
  544axiom(holds_at(at(At_Param19, Location17), Time18),
  545   
  546    [ happens(greet(Greet_Param20, At_Param19), Time18),
  547      some(Location17,
  548           '$kolem_Fn_190'(Greet_Param20, At_Param19, Time18))
  549    ]).
  550
  551
  552% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/SpeechAct.e:153
  553% [agent,object,time]
  554% Happens(SayGoodbye(agent,object),time) ->
  555% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/SpeechAct.e:155
  556% {location}% 
  557% HoldsAt(At(agent,location),time) &
  558% HoldsAt(At(object,location),time).
  559
  560 /*   exists([Location],
  561             if(happens(sayGoodbye(Agent, Object), Time),
  562                 (holds_at(at(Agent, Location), Time), holds_at(at(Object, Location), Time)))).
  563 */
  564
  565 /*  not(some(Location6, '$kolem_Fn_191'(Fn_191_Param, At_Param, Maptime))) :-
  566       happens(sayGoodbye(Fn_191_Param, At_Param), Maptime),
  567       (   not(holds_at(at(Fn_191_Param, Location6), Maptime))
  568       ;   not(holds_at(at(At_Param, Location6), Maptime))
  569       ).
  570 */
  571% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/SpeechAct.e:157
  572axiom(not(some(Location6, '$kolem_Fn_191'(Fn_191_Param, At_Param, Maptime))),
  573   
  574    [ not(holds_at(at(Fn_191_Param, Location6), Maptime)),
  575      happens(sayGoodbye(Fn_191_Param, At_Param), Maptime)
  576    ]).
  577axiom(not(some(Location6, '$kolem_Fn_191'(Fn_191_Param, At_Param, Maptime))),
  578   
  579    [ not(holds_at(at(At_Param, Location6), Maptime)),
  580      happens(sayGoodbye(Fn_191_Param, At_Param), Maptime)
  581    ]).
  582
  583 /*  not(happens(sayGoodbye(SayGoodbye_Param, At_Param12), Maptime9)) :-
  584       (   not(holds_at(at(SayGoodbye_Param, Location10),
  585                        Maptime9))
  586       ;   not(holds_at(at(At_Param12, Location10), Maptime9))
  587       ),
  588       some(Location10,
  589            '$kolem_Fn_191'(SayGoodbye_Param, At_Param12, Maptime9)).
  590 */
  591axiom(not(happens(sayGoodbye(SayGoodbye_Param, At_Param12), Maptime9)),
  592   
  593    [ not(holds_at(at(SayGoodbye_Param, Location10), Maptime9)),
  594      some(Location10,
  595           '$kolem_Fn_191'(SayGoodbye_Param,
  596                           At_Param12,
  597                           Maptime9))
  598    ]).
  599axiom(not(happens(sayGoodbye(SayGoodbye_Param, At_Param12), Maptime9)),
  600   
  601    [ not(holds_at(at(At_Param12, Location10), Maptime9)),
  602      some(Location10,
  603           '$kolem_Fn_191'(SayGoodbye_Param,
  604                           At_Param12,
  605                           Maptime9))
  606    ]).
  607
  608 /*  holds_at(at(At_Param15, Location13), Time14) :-
  609       happens(sayGoodbye(At_Param15, SayGoodbye_Ret), Time14),
  610       some(Location13,
  611            '$kolem_Fn_191'(At_Param15, SayGoodbye_Ret, Time14)).
  612 */
  613axiom(holds_at(at(At_Param15, Location13), Time14),
  614   
  615    [ happens(sayGoodbye(At_Param15, SayGoodbye_Ret), Time14),
  616      some(Location13,
  617           '$kolem_Fn_191'(At_Param15, SayGoodbye_Ret, Time14))
  618    ]).
  619
  620 /*  holds_at(at(At_Param19, Location17), Time18) :-
  621       happens(sayGoodbye(SayGoodbye_Param20, At_Param19),
  622               Time18),
  623       some(Location17,
  624            '$kolem_Fn_191'(SayGoodbye_Param20, At_Param19, Time18)).
  625 */
  626axiom(holds_at(at(At_Param19, Location17), Time18),
  627   
  628    [ happens(sayGoodbye(SayGoodbye_Param20, At_Param19),
  629              Time18),
  630      some(Location17,
  631           '$kolem_Fn_191'(SayGoodbye_Param20,
  632                           At_Param19,
  633                           Time18))
  634    ]).
  635
  636
  637% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/SpeechAct.e:159
  638%; speech: expression of emotions
  639%; agent cries for joy.
  640
  641% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/SpeechAct.e:162
  642% event CryForJoy(agent)
  643 %  event(cryForJoy(agent)).
  644% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/SpeechAct.e:163
  645==> mpred_prop(cryForJoy(agent),event).
  646==> meta_argtypes(cryForJoy(agent)).
  647
  648
  649% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/SpeechAct.e:164
  650%; A precondition axiom states that for
  651%; an agent to cry for joy,
  652%; the agent must be happy:
  653% [agent,time]
  654% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/SpeechAct.e:168
  655% Happens(CryForJoy(agent),time) ->
  656% HoldsAt(Happy(agent),time).
  657% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/SpeechAct.e:169
  658axiom(requires(cryForJoy(Agent), Time),
  659    [holds_at(happy(Agent), Time)]).
  660
  661% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/SpeechAct.e:171
  662% event Threaten(agent,agent,weapon)
  663 %  event(threaten(agent,agent,weapon)).
  664% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/SpeechAct.e:172
  665==> mpred_prop(threaten(agent,agent,weapon),event).
  666==> meta_argtypes(threaten(agent,agent,weapon)).
  667
  668% event ReleaseFromThreat(agent,agent)
  669 %  event(releaseFromThreat(agent,agent)).
  670% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/SpeechAct.e:174
  671==> mpred_prop(releaseFromThreat(agent,agent),event).
  672==> meta_argtypes(releaseFromThreat(agent,agent)).
  673
  674% fluent ThreatenedBy(agent,agent)
  675 %  fluent(threatenedBy(agent,agent)).
  676% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/SpeechAct.e:176
  677==> mpred_prop(threatenedBy(agent,agent),fluent).
  678==> meta_argtypes(threatenedBy(agent,agent)).
  679
  680
  681% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/SpeechAct.e:177
  682% [agent1,agent2,weapon,time]
  683% Happens(Threaten(agent1,agent2,weapon), time) ->
  684% HoldsAt(Holding(agent1,weapon),time) &
  685% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/SpeechAct.e:180
  686% {location}% 
  687% HoldsAt(At(agent1,location),time) &
  688% HoldsAt(At(agent2,location),time).
  689
  690 /*   exists([Location],
  691             if(happens(threaten(Agent1, Agent2, Weapon),
  692                        Time),
  693                 (holds_at(holding(Agent1, Weapon), Time), holds_at(at(Agent1, Location), Time), holds_at(at(Agent2, Location), Time)))).
  694 */
  695
  696 /*  not(some(Location7, '$kolem_Fn_192'(Fn_192_Param, At_Param, Threaten_Ret, Maptime))) :-
  697       happens(threaten(Fn_192_Param, At_Param, Threaten_Ret),
  698               Maptime),
  699       (   not(holds_at(holding(Fn_192_Param, Threaten_Ret),
  700                        Maptime))
  701       ;   not(holds_at(at(Fn_192_Param, Location7), Maptime))
  702       ;   not(holds_at(at(At_Param, Location7), Maptime))
  703       ).
  704 */
  705% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/SpeechAct.e:182
  706axiom(not(some(Location7, '$kolem_Fn_192'(Fn_192_Param, At_Param, Threaten_Ret, Maptime))),
  707   
  708    [ not(holds_at(holding(Fn_192_Param, Threaten_Ret),
  709                   Maptime)),
  710      happens(threaten(Fn_192_Param, At_Param, Threaten_Ret),
  711              Maptime)
  712    ]).
  713axiom(not(some(Location7, '$kolem_Fn_192'(Fn_192_Param, At_Param, Threaten_Ret, Maptime))),
  714   
  715    [ not(holds_at(at(Fn_192_Param, Location7), Maptime)),
  716      happens(threaten(Fn_192_Param, At_Param, Threaten_Ret),
  717              Maptime)
  718    ]).
  719axiom(not(some(Location7, '$kolem_Fn_192'(Fn_192_Param, At_Param, Threaten_Ret, Maptime))),
  720   
  721    [ not(holds_at(at(At_Param, Location7), Maptime)),
  722      happens(threaten(Fn_192_Param, At_Param, Threaten_Ret),
  723              Maptime)
  724    ]).
  725
  726 /*  not(happens(threaten(Threaten_Param, At_Param14, Threaten_Ret15), Maptime11)) :-
  727       (   not(holds_at(holding(Threaten_Param, Threaten_Ret15),
  728                        Maptime11))
  729       ;   not(holds_at(at(Threaten_Param, Location12),
  730                        Maptime11))
  731       ;   not(holds_at(at(At_Param14, Location12), Maptime11))
  732       ),
  733       some(Location12,
  734            '$kolem_Fn_192'(Threaten_Param,
  735                            At_Param14,
  736                            Threaten_Ret15,
  737                            Maptime11)).
  738 */
  739axiom(not(happens(threaten(Threaten_Param, At_Param14, Threaten_Ret15), Maptime11)),
  740   
  741    [ not(holds_at(holding(Threaten_Param, Threaten_Ret15),
  742                   Maptime11)),
  743      some(Location12,
  744           '$kolem_Fn_192'(Threaten_Param,
  745                           At_Param14,
  746                           Threaten_Ret15,
  747                           Maptime11))
  748    ]).
  749axiom(not(happens(threaten(Threaten_Param, At_Param14, Threaten_Ret15), Maptime11)),
  750   
  751    [ not(holds_at(at(Threaten_Param, Location12), Maptime11)),
  752      some(Location12,
  753           '$kolem_Fn_192'(Threaten_Param,
  754                           At_Param14,
  755                           Threaten_Ret15,
  756                           Maptime11))
  757    ]).
  758axiom(not(happens(threaten(Threaten_Param, At_Param14, Threaten_Ret15), Maptime11)),
  759   
  760    [ not(holds_at(at(At_Param14, Location12), Maptime11)),
  761      some(Location12,
  762           '$kolem_Fn_192'(Threaten_Param,
  763                           At_Param14,
  764                           Threaten_Ret15,
  765                           Maptime11))
  766    ]).
  767
  768 /*  holds_at(holding(Holding_Param, Holding_Ret), Time16) :-
  769       happens(threaten(Holding_Param, A, Holding_Ret),
  770               Time16),
  771       some(Some_Param,
  772            '$kolem_Fn_192'(Holding_Param,
  773                            A,
  774                            Holding_Ret,
  775                            Time16)).
  776 */
  777axiom(holds_at(holding(Holding_Param, Holding_Ret), Time16),
  778   
  779    [ happens(threaten(Holding_Param, A, Holding_Ret),
  780              Time16),
  781      some(Some_Param,
  782           '$kolem_Fn_192'(Holding_Param,
  783                           A,
  784                           Holding_Ret,
  785                           Time16))
  786    ]).
  787
  788 /*  holds_at(at(At_Param22, Location20), Time21) :-
  789       happens(threaten(At_Param22, A, Threaten_Ret23),
  790               Time21),
  791       some(Location20,
  792            '$kolem_Fn_192'(At_Param22,
  793                            A,
  794                            Threaten_Ret23,
  795                            Time21)).
  796 */
  797axiom(holds_at(at(At_Param22, Location20), Time21),
  798   
  799    [ happens(threaten(At_Param22, A, Threaten_Ret23),
  800              Time21),
  801      some(Location20,
  802           '$kolem_Fn_192'(At_Param22,
  803                           A,
  804                           Threaten_Ret23,
  805                           Time21))
  806    ]).
  807
  808 /*  holds_at(at(At_Param26, Location24), Time25) :-
  809       happens(threaten(Threaten_Param27,
  810                        At_Param26,
  811                        Threaten_Ret28),
  812               Time25),
  813       some(Location24,
  814            '$kolem_Fn_192'(Threaten_Param27,
  815                            At_Param26,
  816                            Threaten_Ret28,
  817                            Time25)).
  818 */
  819axiom(holds_at(at(At_Param26, Location24), Time25),
  820   
  821    [ happens(threaten(Threaten_Param27,
  822                       At_Param26,
  823                       Threaten_Ret28),
  824              Time25),
  825      some(Location24,
  826           '$kolem_Fn_192'(Threaten_Param27,
  827                           At_Param26,
  828                           Threaten_Ret28,
  829                           Time25))
  830    ]).
  831
  832
  833% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/SpeechAct.e:184
  834% [agent1,agent2,weapon,time]
  835% Happens(Threaten(agent1,agent2,weapon), time) ->
  836% Happens(BecomeAngryAt(agent2,agent1),time).
  837% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/SpeechAct.e:186
  838axiom(happens(becomeAngryAt(Agent2, Agent1), Time),
  839    [happens(threaten(Agent1, Agent2, Weapon), Time)]).
  840
  841
  842% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/SpeechAct.e:188
  843% [agent1,agent2,weapon,time]
  844% Initiates(Threaten(agent1,agent2,weapon),
  845%           ThreatenedBy(agent2,agent1),
  846%           time).
  847% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/SpeechAct.e:191
  848axiom(initiates(threaten(Agent1, Agent2, Weapon), threatenedBy(Agent2, Agent1), Time),
  849    []).
  850
  851
  852% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/SpeechAct.e:193
  853% [agent1,agent2,time]
  854% Terminates(ReleaseFromThreat(agent1,agent2),
  855%            ThreatenedBy(agent2,agent1),
  856%            time).
  857% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/SpeechAct.e:196
  858axiom(terminates(releaseFromThreat(Agent1, Agent2), threatenedBy(Agent2, Agent1), Time),
  859    []).
  860
  861% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/SpeechAct.e:198
  862% event Order(agent,agent,physobj)
  863 %  event(order(agent,agent,physobj)).
  864% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/SpeechAct.e:199
  865==> mpred_prop(order(agent,agent,physobj),event).
  866==> meta_argtypes(order(agent,agent,physobj)).
  867
  868% fluent KnowOrder(agent,agent,physobj)
  869 %  fluent(knowOrder(agent,agent,physobj)).
  870% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/SpeechAct.e:201
  871==> mpred_prop(knowOrder(agent,agent,physobj),fluent).
  872==> meta_argtypes(knowOrder(agent,agent,physobj)).
  873
  874
  875% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/SpeechAct.e:202
  876% [agent1,agent2,physobj,time]
  877% Initiates(Order(agent1,agent2,physobj),
  878%           KnowOrder(agent2,agent1,physobj),
  879%           time).
  880% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/SpeechAct.e:205
  881axiom(initiates(order(Agent1, Agent2, Physobj), knowOrder(Agent2, Agent1, Physobj), Time),
  882    []).
  883
  884
  885% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/SpeechAct.e:207
  886% [agent1,agent2,physobj,time]
  887% Happens(Order(agent1,agent2,physobj),time) ->
  888% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/SpeechAct.e:209
  889% {location}% 
  890% HoldsAt(At(agent1,location),time) &
  891% HoldsAt(At(agent2,location),time).
  892
  893 /*   exists([Location],
  894             if(happens(order(Agent1, Agent2, Physobj),
  895                        Time),
  896                 (holds_at(at(Agent1, Location), Time), holds_at(at(Agent2, Location), Time)))).
  897 */
  898
  899 /*  not(some(Location7, '$kolem_Fn_193'(Fn_193_Param, At_Param, Order_Ret, Maptime))) :-
  900       happens(order(Fn_193_Param, At_Param, Order_Ret),
  901               Maptime),
  902       (   not(holds_at(at(Fn_193_Param, Location7), Maptime))
  903       ;   not(holds_at(at(At_Param, Location7), Maptime))
  904       ).
  905 */
  906% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/SpeechAct.e:211
  907axiom(not(some(Location7, '$kolem_Fn_193'(Fn_193_Param, At_Param, Order_Ret, Maptime))),
  908   
  909    [ not(holds_at(at(Fn_193_Param, Location7), Maptime)),
  910      happens(order(Fn_193_Param, At_Param, Order_Ret),
  911              Maptime)
  912    ]).
  913axiom(not(some(Location7, '$kolem_Fn_193'(Fn_193_Param, At_Param, Order_Ret, Maptime))),
  914   
  915    [ not(holds_at(at(At_Param, Location7), Maptime)),
  916      happens(order(Fn_193_Param, At_Param, Order_Ret),
  917              Maptime)
  918    ]).
  919
  920 /*  not(happens(order(Order_Param, At_Param14, Order_Ret15), Maptime11)) :-
  921       (   not(holds_at(at(Order_Param, Location12), Maptime11))
  922       ;   not(holds_at(at(At_Param14, Location12), Maptime11))
  923       ),
  924       some(Location12,
  925            '$kolem_Fn_193'(Order_Param,
  926                            At_Param14,
  927                            Order_Ret15,
  928                            Maptime11)).
  929 */
  930axiom(not(happens(order(Order_Param, At_Param14, Order_Ret15), Maptime11)),
  931   
  932    [ not(holds_at(at(Order_Param, Location12), Maptime11)),
  933      some(Location12,
  934           '$kolem_Fn_193'(Order_Param,
  935                           At_Param14,
  936                           Order_Ret15,
  937                           Maptime11))
  938    ]).
  939axiom(not(happens(order(Order_Param, At_Param14, Order_Ret15), Maptime11)),
  940   
  941    [ not(holds_at(at(At_Param14, Location12), Maptime11)),
  942      some(Location12,
  943           '$kolem_Fn_193'(Order_Param,
  944                           At_Param14,
  945                           Order_Ret15,
  946                           Maptime11))
  947    ]).
  948
  949 /*  holds_at(at(At_Param18, Location16), Time17) :-
  950       happens(order(At_Param18, A, Order_Ret19), Time17),
  951       some(Location16,
  952            '$kolem_Fn_193'(At_Param18,
  953                            A,
  954                            Order_Ret19,
  955                            Time17)).
  956 */
  957axiom(holds_at(at(At_Param18, Location16), Time17),
  958   
  959    [ happens(order(At_Param18, A, Order_Ret19), Time17),
  960      some(Location16,
  961           '$kolem_Fn_193'(At_Param18,
  962                           A,
  963                           Order_Ret19,
  964                           Time17))
  965    ]).
  966
  967 /*  holds_at(at(At_Param22, Location20), Time21) :-
  968       happens(order(Order_Param23, At_Param22, Order_Ret24),
  969               Time21),
  970       some(Location20,
  971            '$kolem_Fn_193'(Order_Param23,
  972                            At_Param22,
  973                            Order_Ret24,
  974                            Time21)).
  975 */
  976axiom(holds_at(at(At_Param22, Location20), Time21),
  977   
  978    [ happens(order(Order_Param23, At_Param22, Order_Ret24),
  979              Time21),
  980      some(Location20,
  981           '$kolem_Fn_193'(Order_Param23,
  982                           At_Param22,
  983                           Order_Ret24,
  984                           Time21))
  985    ]).
  986
  987% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/SpeechAct.e:213
  988% event Request(agent,agent,physobj)
  989 %  event(request(agent,agent,physobj)).
  990% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/SpeechAct.e:214
  991==> mpred_prop(request(agent,agent,physobj),event).
  992==> meta_argtypes(request(agent,agent,physobj)).
  993
  994% fluent KnowRequest(agent,agent,physobj)
  995 %  fluent(knowRequest(agent,agent,physobj)).
  996% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/SpeechAct.e:216
  997==> mpred_prop(knowRequest(agent,agent,physobj),fluent).
  998==> meta_argtypes(knowRequest(agent,agent,physobj)).
  999
 1000
 1001% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/SpeechAct.e:217
 1002% [agent1,agent2,physobj,time]
 1003% Initiates(Request(agent1,agent2,physobj),
 1004%           KnowRequest(agent2,agent1,physobj),
 1005%           time).
 1006% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/SpeechAct.e:220
 1007axiom(initiates(request(Agent1, Agent2, Physobj), knowRequest(Agent2, Agent1, Physobj), Time),
 1008    []).
 1009
 1010
 1011% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/SpeechAct.e:222
 1012% [agent1,agent2,physobj,time]
 1013% Happens(Request(agent1,agent2,physobj),time) ->
 1014% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/SpeechAct.e:224
 1015% {location}% 
 1016% HoldsAt(At(agent1,location),time) &
 1017% HoldsAt(At(agent2,location),time).
 1018
 1019 /*   exists([Location],
 1020             if(happens(request(Agent1, Agent2, Physobj),
 1021                        Time),
 1022                 (holds_at(at(Agent1, Location), Time), holds_at(at(Agent2, Location), Time)))).
 1023 */
 1024
 1025 /*  not(some(Location7, '$kolem_Fn_194'(Fn_194_Param, At_Param, Request_Ret, Maptime))) :-
 1026       happens(request(Fn_194_Param, At_Param, Request_Ret),
 1027               Maptime),
 1028       (   not(holds_at(at(Fn_194_Param, Location7), Maptime))
 1029       ;   not(holds_at(at(At_Param, Location7), Maptime))
 1030       ).
 1031 */
 1032% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/SpeechAct.e:226
 1033axiom(not(some(Location7, '$kolem_Fn_194'(Fn_194_Param, At_Param, Request_Ret, Maptime))),
 1034   
 1035    [ not(holds_at(at(Fn_194_Param, Location7), Maptime)),
 1036      happens(request(Fn_194_Param, At_Param, Request_Ret),
 1037              Maptime)
 1038    ]).
 1039axiom(not(some(Location7, '$kolem_Fn_194'(Fn_194_Param, At_Param, Request_Ret, Maptime))),
 1040   
 1041    [ not(holds_at(at(At_Param, Location7), Maptime)),
 1042      happens(request(Fn_194_Param, At_Param, Request_Ret),
 1043              Maptime)
 1044    ]).
 1045
 1046 /*  not(happens(request(Request_Param, At_Param14, Request_Ret15), Maptime11)) :-
 1047       (   not(holds_at(at(Request_Param, Location12), Maptime11))
 1048       ;   not(holds_at(at(At_Param14, Location12), Maptime11))
 1049       ),
 1050       some(Location12,
 1051            '$kolem_Fn_194'(Request_Param,
 1052                            At_Param14,
 1053                            Request_Ret15,
 1054                            Maptime11)).
 1055 */
 1056axiom(not(happens(request(Request_Param, At_Param14, Request_Ret15), Maptime11)),
 1057   
 1058    [ not(holds_at(at(Request_Param, Location12), Maptime11)),
 1059      some(Location12,
 1060           '$kolem_Fn_194'(Request_Param,
 1061                           At_Param14,
 1062                           Request_Ret15,
 1063                           Maptime11))
 1064    ]).
 1065axiom(not(happens(request(Request_Param, At_Param14, Request_Ret15), Maptime11)),
 1066   
 1067    [ not(holds_at(at(At_Param14, Location12), Maptime11)),
 1068      some(Location12,
 1069           '$kolem_Fn_194'(Request_Param,
 1070                           At_Param14,
 1071                           Request_Ret15,
 1072                           Maptime11))
 1073    ]).
 1074
 1075 /*  holds_at(at(At_Param18, Location16), Time17) :-
 1076       happens(request(At_Param18, A, Request_Ret19),
 1077               Time17),
 1078       some(Location16,
 1079            '$kolem_Fn_194'(At_Param18,
 1080                            A,
 1081                            Request_Ret19,
 1082                            Time17)).
 1083 */
 1084axiom(holds_at(at(At_Param18, Location16), Time17),
 1085   
 1086    [ happens(request(At_Param18, A, Request_Ret19),
 1087              Time17),
 1088      some(Location16,
 1089           '$kolem_Fn_194'(At_Param18,
 1090                           A,
 1091                           Request_Ret19,
 1092                           Time17))
 1093    ]).
 1094
 1095 /*  holds_at(at(At_Param22, Location20), Time21) :-
 1096       happens(request(Request_Param23,
 1097                       At_Param22,
 1098                       Request_Ret24),
 1099               Time21),
 1100       some(Location20,
 1101            '$kolem_Fn_194'(Request_Param23,
 1102                            At_Param22,
 1103                            Request_Ret24,
 1104                            Time21)).
 1105 */
 1106axiom(holds_at(at(At_Param22, Location20), Time21),
 1107   
 1108    [ happens(request(Request_Param23,
 1109                      At_Param22,
 1110                      Request_Ret24),
 1111              Time21),
 1112      some(Location20,
 1113           '$kolem_Fn_194'(Request_Param23,
 1114                           At_Param22,
 1115                           Request_Ret24,
 1116                           Time21))
 1117    ]).
 1118
 1119
 1120% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/SpeechAct.e:228
 1121%; End of file.