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
126axiom(initiates(pickUp(Agent, Physobj), holding(Agent, Physobj), Time),
127 []).
128
129
137
138 142
143 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 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 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 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
210axiom(terminates(letGoOf(Agent, Physobj), holding(Agent, Physobj), Time),
211 []).
212
213
219axiom(requires(letGoOf(Agent, Physobj), Time),
220 [holds_at(holding(Agent, Physobj), Time)]).
221
222
227axiom(releases(pickUp(Agent, Physobj), at(Physobj, Location), Time),
228 []).
229
230
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
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
282axiom(Physobj1\=Physobj2,
283 [holds_at(on(Physobj1, Physobj2), Time)]).
284
285
291axiom(not(holds_at(on(Physobj2, Physobj1), Time)),
292 [holds_at(on(Physobj1, Physobj2), Time)]).
293
294
300axiom(initiates(placeOn(Agent, Physobj1, Physobj2), on(Physobj1, Physobj2), Time),
301 []).
302
303
309axiom(terminates(placeOn(Agent, Physobj1, Physobj2), holding(Agent, Physobj1), Time),
310 []).
311
312
321
322 327
328 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 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 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 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 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
467axiom(terminates(takeOffOf(Agent, Physobj1, Physobj2), on(Physobj1, Physobj2), Time),
468 []).
469
470
476axiom(initiates(takeOffOf(Agent, Physobj1, Physobj2), holding(Agent, Physobj1), Time),
477 []).
478
479
486axiom(releases(takeOffOf(Agent, Physobj1, Physobj2), at(Physobj1, Location), Time),
487 []).
488
489
499
500 505
506 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 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 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 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 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 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
682axiom(releases(placeOn(Agent, Physobj1, Physobj2), at(Physobj1, Location), Time),
683 []).
684
685
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
710
711 714
715 718axiom(holds_at(at(At_Param, Location4), Time5),
719 [some(Location4, '$kolem_Fn_164'(At_Param, Time5))]).
720
721 724axiom(not(some(Location7, '$kolem_Fn_164'(Fn_164_Param, Time8))),
725 [not(holds_at(at(Fn_164_Param, Location7), Time8))]).
726
727
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
774
775 779
780 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 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 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 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 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 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 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 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 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
1005axiom(requires(walkThroughDoor12(Agent, Door), Time),
1006
1007 [ holds_at(standing(Agent), Time),
1008 holds_at(at(Agent, side1(Door)), Time)
1009 ]).
1010
1011
1018axiom(requires(walkThroughDoor21(Agent, Door), Time),
1019
1020 [ holds_at(standing(Agent), Time),
1021 holds_at(at(Agent, side2(Door)), Time)
1022 ]).
1023
1024
1030axiom(initiates(walkThroughDoor12(Agent, Door), at(Agent, Location), Time),
1031 [equals(side2(Door), Location)]).
1032
1033
1039axiom(initiates(walkThroughDoor21(Agent, Door), at(Agent, Location), Time),
1040 [equals(side1(Door), Location)]).
1041
1042
1048axiom(terminates(walkThroughDoor12(Agent, Door), at(Agent, Location), Time),
1049 [equals(side1(Door), Location)]).
1050
1051
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
1080 1081
1082 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
1105
1106 1110
1111 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 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 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 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
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
1291xor([ beWaiter0,
1292 beWaiter1,
1293 beWaiter2,
1294 beWaiter3,
1295 beWaiter4,
1296 beWaiter5,
1297 beWaiter6,
1298 beWaiter7,
1299 beWaiter8,
1300 beWaiter9
1301 ]).
1302
1303
1311axiom(terminates(greet(Waiter, Agent), beWaiter0(Waiter), Time),
1312 [holds_at(beWaiter0(Waiter), Time)]).
1313
1314
1322axiom(initiates(greet(Waiter, Agent), beWaiter1(Waiter), Time),
1323 [holds_at(beWaiter0(Waiter), Time)]).
1324
1325
1333axiom(terminates(order(Agent, Waiter, Food), beWaiter1(Waiter), Time),
1334 [holds_at(beWaiter1(Waiter), Time)]).
1335
1336
1344axiom(initiates(order(Agent, Waiter, Food), beWaiter2(Waiter), Time),
1345 [holds_at(beWaiter1(Waiter), Time)]).
1346
1347
1354axiom(happens(walkThroughDoor12(Waiter, kitchenDoorOf(Restaurant)), Time),
1355
1356 [ equals(waiterOf(Restaurant), Waiter),
1357 holds_at(beWaiter2(Waiter), Time)
1358 ]).
1359
1360
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
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
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
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
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
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
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
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
1494axiom(happens(walkThroughDoor21(Waiter, kitchenDoorOf(Restaurant)), Time),
1495
1496 [ equals(waiterOf(Restaurant), Waiter),
1497 holds_at(beWaiter5(Waiter), Time)
1498 ]).
1499
1500
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
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
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
1559axiom(terminates(placeOn(Waiter, Food, Table), beWaiter6(Waiter), Time),
1560 [holds_at(beWaiter6(Waiter), Time)]).
1561
1562
1570axiom(initiates(placeOn(Waiter, Food, Table), beWaiter7(Waiter), Time),
1571 [holds_at(beWaiter6(Waiter), Time)]).
1572
1573
1581axiom(terminates(request(Agent, Waiter, Bill), beWaiter7(Waiter), Time),
1582 [holds_at(beWaiter7(Waiter), Time)]).
1583
1584
1592axiom(initiates(request(Agent, Waiter, Bill), beWaiter8(Waiter), Time),
1593 [holds_at(beWaiter7(Waiter), Time)]).
1594
1595
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
1618axiom(terminates(pickUp(Waiter, Bill), beWaiter8(Waiter), Time),
1619 [holds_at(beWaiter8(Waiter), Time)]).
1620
1621
1629axiom(initiates(pickUp(Waiter, Bill), beWaiter9(Waiter), Time),
1630 [holds_at(beWaiter8(Waiter), Time)]).
1631
1632
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
1657axiom(terminates(placeOn(Waiter, Bill, Table), beWaiter9(Waiter), Time),
1658 [holds_at(beWaiter9(Waiter), Time)]).
1659
1660
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
1686xor([beCook0,beCook1]).
1687
1688
1696axiom(terminates(order(Agent, Cook, Food), beCook0(Cook), Time),
1697 [holds_at(beCook0(Cook), Time)]).
1698
1699
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
1730axiom(initiates(foodPrepare(Agent, Food), foodPrepared(Food), Time),
1731 []).
1732
1733
1741
1742 1746
1747 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 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 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 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
1831axiom(happens(foodPrepare(Cook, Food), Time),
1832
1833 [ holds_at(beCook1(Cook), Time),
1834 holds_at(knowOrder(Cook, Agent, Food), Time)
1835 ]).
1836
1837
1845axiom(terminates(foodPrepare(Cook, Food), beCook1(Cook), Time),
1846 [holds_at(beCook1(Cook), Time)]).
1847
1848
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
1880
1881 1885
1886 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 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 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 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
1956
1957 1961
1962 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 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 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 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
2083xor([lying,sitting,standing]).
2084
2085
2091axiom(holds_at(lying(Agent), Time),
2092 [holds_at(lyingOn(Agent, Physobj), Time)]).
2093
2094
2100axiom(holds_at(sitting(Agent), Time),
2101 [holds_at(sittingOn(Agent, Physobj), Time)]).
2102
2103
2110axiom(Physobj1=Physobj2,
2111
2112 [ holds_at(lyingOn(Agent, Physobj1), Time),
2113 holds_at(lyingOn(Agent, Physobj2), Time)
2114 ]).
2115
2116
2123axiom(Physobj1=Physobj2,
2124
2125 [ holds_at(sittingOn(Agent, Physobj1), Time),
2126 holds_at(sittingOn(Agent, Physobj2), Time)
2127 ]).
2128
2129
2137axiom(initiates(lieOn(Agent, Physobj), lyingOn(Agent, Physobj), Time),
2138 [holds_at(standing(Agent), Time)]).
2139
2140
2147axiom(terminates(lieOn(Agent, Physobj), standing(Agent), Time),
2148 []).
2149
2150
2158axiom(initiates(sitOn(Agent, Physobj), sittingOn(Agent, Physobj), Time),
2159 [holds_at(standing(Agent), Time)]).
2160
2161
2168axiom(terminates(sitOn(Agent, Physobj), standing(Agent), Time),
2169 []).
2170
2171
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
2193axiom(terminates(riseFrom(Agent, Physobj), lyingOn(Agent, Physobj), Time),
2194 [holds_at(lyingOn(Agent, Physobj), Time)]).
2195
2196
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
2228
2229 2233
2234 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 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 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 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
2304
2305 2309
2310 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 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 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 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
2401axiom(initiates(order(Agent1, Agent2, Physobj), knowOrder(Agent2, Agent1, Physobj), Time),
2402 []).
2403
2404
2412
2413 2418
2419 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 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 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 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
2527axiom(initiates(request(Agent1, Agent2, Physobj), knowRequest(Agent2, Agent1, Physobj), Time),
2528 []).
2529
2530
2538
2539 2544
2545 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 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 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 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