1:-include(library('ec_planner/ec_test_incl')). 2:-expects_dialect(pfc). 3 4
5
26
30:- set_ec_option(encoding, 3). 31
32% load foundations/Root.e
33
34% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooTest1.e:23
35% load foundations/EC.e
36
37% load examples/AkmanEtAl2004/ZooWorld.e
38 % loading(changed,'examples/AkmanEtAl2004/ZooWorld.e').
39%;
40%; Copyright (c) 2005 IBM Corporation and others.
41%; All rights reserved. This program and the accompanying materials
42%; are made available under the terms of the Common Public License v1.0
43%; which accompanies this distribution, and is available at
44%; http://www.eclipse.org/legal/cpl-v10.html
45%;
46%; Contributors:
47%; IBM - Initial implementation
48%;
49%; @article{Akman:2004,
50%; author = "Varol Akman and Selim T. Erdogan and Joohyung Lee and Vladimir Lifschitz and Hudson Turner",
51%; year = "2004",
52%; title = "Representing the zoo world and the traffic world in the language of the causal calculator",
53%; journal = "Artificial Intelligence",
54%; volume = "153",
55%; pages = "105--140",
56%; }
57%;
58
59% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooTest1.e:25
60% sort position: integer
61==> subsort(position,integer).
62
63% sort location
64==> sort(location).
65
66% sort cage: location
67==> subsort(cage,location).
68
69% sort gate
70==> sort(gate).
71
72% sort animal
73==> sort(animal).
74
75% sort elephant: animal
76==> subsort(elephant,animal).
77
78% sort horse: animal
79==> subsort(horse,animal).
80
81% sort dog: animal
82==> subsort(dog,animal).
83
84% sort human: animal
85==> subsort(human,animal).
86
87% sort species
88==> sort(species).
89
90% function Loc(position): location
91 % functional_predicate(loc(position,location)).
92==> mpred_prop(loc(position,location),functional_predicate).
93==> meta_argtypes(loc(position,location)).
94resultIsa(loc,location).
95
96% function Side1(gate): position
97 % functional_predicate(side1(gate,position)).
98==> mpred_prop(side1(gate,position),functional_predicate).
99==> meta_argtypes(side1(gate,position)).
100resultIsa(side1,position).
101
102% function Side2(gate): position
103 % functional_predicate(side2(gate,position)).
104==> mpred_prop(side2(gate,position),functional_predicate).
105==> meta_argtypes(side2(gate,position)).
106resultIsa(side2,position).
107
108% function Species(animal): species
109 % functional_predicate(species(animal,species)).
110==> mpred_prop(species(animal,species),functional_predicate).
111==> meta_argtypes(species(animal,species)).
112resultIsa(species,species).
113
114% predicate Accessible(position,position,time)
115 % predicate(accessible(position,position,time)).
116==> mpred_prop(accessible(position,position,time),predicate).
117==> meta_argtypes(accessible(position,position,time)).
118
119% predicate Adult(animal)
120 % predicate(adult(animal)).
121==> mpred_prop(adult(animal),predicate).
122==> meta_argtypes(adult(animal)).
123
124% predicate Large(animal)
125 % predicate(large(animal)).
126==> mpred_prop(large(animal),predicate).
127==> meta_argtypes(large(animal)).
128
129% predicate LargeSpecies(species)
130 % predicate(largeSpecies(species)).
131==> mpred_prop(largeSpecies(species),predicate).
132==> meta_argtypes(largeSpecies(species)).
133
134% predicate Neighbor(position,position)
135 % predicate(neighbor(position,position)).
136==> mpred_prop(neighbor(position,position),predicate).
137==> meta_argtypes(neighbor(position,position)).
138
139% predicate Sides(position,position,gate)
140 % predicate(sides(position,position,gate)).
141==> mpred_prop(sides(position,position,gate),predicate).
142==> meta_argtypes(sides(position,position,gate)).
143
144% event Close(human,gate)
145 % event(close(human,gate)).
146==> mpred_prop(close(human,gate),event).
147==> meta_argtypes(close(human,gate)).
148
149% event GetOff(human,animal)
150 % event(getOff(human,animal)).
151==> mpred_prop(getOff(human,animal),event).
152==> meta_argtypes(getOff(human,animal)).
153
154% event Mount(human,animal)
155 % event(mount(human,animal)).
156==> mpred_prop(mount(human,animal),event).
157==> meta_argtypes(mount(human,animal)).
158
159% event Move(animal,position)
160 % event(move(animal,position)).
161==> mpred_prop(move(animal,position),event).
162==> meta_argtypes(move(animal,position)).
163
164% event Open(human,gate)
165 % event(open(human,gate)).
166==> mpred_prop(open(human,gate),event).
167==> meta_argtypes(open(human,gate)).
168
169% event ThrowOff(animal,human)
170 % event(throwOff(animal,human)).
171==> mpred_prop(throwOff(animal,human),event).
172==> meta_argtypes(throwOff(animal,human)).
173
174% fluent AbnormalEncroachment(human)
175 % fluent(abnormalEncroachment(human)).
176==> mpred_prop(abnormalEncroachment(human),fluent).
177==> meta_argtypes(abnormalEncroachment(human)).
178
179% noninertial AbnormalEncroachment
180==> noninertial(abnormalEncroachment).
181
182% fluent DoneBy(event,animal)
183 % fluent(doneBy(event,animal)).
184==> mpred_prop(doneBy(event,animal),fluent).
185==> meta_argtypes(doneBy(event,animal)).
186
187% noninertial DoneBy
188==> noninertial(doneBy).
189
190% fluent Mounted(human,animal)
191 % fluent(mounted(human,animal)).
192==> mpred_prop(mounted(human,animal),fluent).
193==> meta_argtypes(mounted(human,animal)).
194
195% fluent MountFails(human)
196 % fluent(mountFails(human)).
197==> mpred_prop(mountFails(human),fluent).
198==> meta_argtypes(mountFails(human)).
199
200% noninertial MountFails
201==> noninertial(mountFails).
202
203% fluent Moves(animal)
204 % fluent(moves(animal)).
205==> mpred_prop(moves(animal),fluent).
206==> meta_argtypes(moves(animal)).
207
208% noninertial Moves
209==> noninertial(moves).
210
211% fluent Opened(gate)
212 % fluent(opened(gate)).
213==> mpred_prop(opened(gate),fluent).
214==> meta_argtypes(opened(gate)).
215
216% fluent Pos(animal,position)
217 % fluent(pos(animal,position)).
218==> mpred_prop(pos(animal,position),fluent).
219==> meta_argtypes(pos(animal,position)).
220
221% fluent PosDeterminingFluent(human,position)
222 % fluent(posDeterminingFluent(human,position)).
223==> mpred_prop(posDeterminingFluent(human,position),fluent).
224==> meta_argtypes(posDeterminingFluent(human,position)).
225
226% noninertial PosDeterminingFluent
227==> noninertial(posDeterminingFluent).
228
229% fluent ThrowOffFails(animal,human)
230 % fluent(throwOffFails(animal,human)).
231==> mpred_prop(throwOffFails(animal,human),fluent).
232==> meta_argtypes(throwOffFails(animal,human)).
233
234% noninertial ThrowOffFails
235==> noninertial(throwOffFails).
236
237% species HumanSpecies, ElephantSpecies, HorseSpecies, DogSpecies
238==> t(species,humanSpecies).
239==> t(species,elephantSpecies).
240==> t(species,horseSpecies).
241==> t(species,dogSpecies).
242
243% location Outside
244==> t(location,outside).
245
246
249largeSpecies(humanSpecies).
250
251
254largeSpecies(elephantSpecies).
255
256
259largeSpecies(horseSpecies).
260
261
264 265axiom(not(largeSpecies(dogSpecies)),
266 []).
267
268
279
280 291axiom(holds_at(doneBy(Event, Animal), Time),
292
293 [ equals(Event, close(Animal, Gate)),
294 happens(Event, Time)
295 ]).
296axiom(holds_at(doneBy(Event, Animal), Time),
297
298 [ equals(Event, getOff(Animal, Animal1)),
299 happens(Event, Time)
300 ]).
301axiom(holds_at(doneBy(Event, Animal), Time),
302
303 [ equals(Event, mount(Animal, Animal15)),
304 happens(Event, Time)
305 ]).
306axiom(holds_at(doneBy(Event, Animal), Time),
307
308 [ equals(Event, move(Animal, Position)),
309 happens(Event, Time)
310 ]).
311axiom(holds_at(doneBy(Event, Animal), Time),
312
313 [ equals(Event, open(Animal, Gate7)),
314 happens(Event, Time)
315 ]).
316axiom(holds_at(doneBy(Event, Animal), Time),
317
318 [ equals(Event, throwOff(Animal, Human1)),
319 happens(Event, Time)
320 ]).
321
322 325
326 340axiom(not(holds_at(doneBy(DoneBy_Param, Close_Param), Time9)),
341 [not(happens(DoneBy_Param, Time9))]).
342axiom(not(holds_at(doneBy(DoneBy_Param, Close_Param), Time9)),
343
344 [ not(equals(DoneBy_Param, close(Close_Param, Close_Ret))),
345 not(equals(DoneBy_Param,
346 getOff(Close_Param, GetOff_Ret))),
347 not(equals(DoneBy_Param, mount(Close_Param, Mount_Ret))),
348 not(equals(DoneBy_Param, move(Close_Param, Move_Ret))),
349 not(equals(DoneBy_Param, open(Close_Param, Open_Ret))),
350 not(equals(DoneBy_Param,
351 throwOff(Close_Param, ThrowOff_Ret)))
352 ]).
353
354 357axiom(happens(Happens_Param, Maptime),
358 [holds_at(doneBy(Happens_Param, DoneBy_Ret), Maptime)]).
359
360 374axiom(equals(Equals_Param, close(Close_Param23, Close_Ret24)),
375
376 [ not(equals(Equals_Param,
377 getOff(Close_Param23, GetOff_Ret25))),
378 not(equals(Equals_Param,
379 mount(Close_Param23, Mount_Ret26))),
380 not(equals(Equals_Param,
381 move(Close_Param23, Move_Ret27))),
382 not(equals(Equals_Param,
383 open(Close_Param23, Open_Ret28))),
384 not(equals(Equals_Param,
385 throwOff(Close_Param23, ThrowOff_Ret29))),
386 holds_at(doneBy(Equals_Param, Close_Param23), Time21)
387 ]).
388
389 403axiom(equals(Equals_Param31, getOff(GetOff_Param, GetOff_Ret33)),
404
405 [ not(equals(Equals_Param31,
406 mount(GetOff_Param, Mount_Ret34))),
407 not(equals(Equals_Param31,
408 move(GetOff_Param, Move_Ret35))),
409 not(equals(Equals_Param31,
410 open(GetOff_Param, Open_Ret36))),
411 not(equals(Equals_Param31,
412 throwOff(GetOff_Param, ThrowOff_Ret37))),
413 not(equals(Equals_Param31,
414 close(GetOff_Param, Close_Ret38))),
415 holds_at(doneBy(Equals_Param31, GetOff_Param), Time30)
416 ]).
417
418 432axiom(equals(Equals_Param40, mount(Mount_Param, Mount_Ret42)),
433
434 [ not(equals(Equals_Param40,
435 move(Mount_Param, Move_Ret43))),
436 not(equals(Equals_Param40,
437 open(Mount_Param, Open_Ret44))),
438 not(equals(Equals_Param40,
439 throwOff(Mount_Param, ThrowOff_Ret45))),
440 not(equals(Equals_Param40,
441 getOff(Mount_Param, GetOff_Ret46))),
442 not(equals(Equals_Param40,
443 close(Mount_Param, Close_Ret47))),
444 holds_at(doneBy(Equals_Param40, Mount_Param), Time39)
445 ]).
446
447 458axiom(equals(Equals_Param49, move(Move_Param, Move_Ret51)),
459
460 [ not(equals(Equals_Param49, open(Move_Param, Open_Ret52))),
461 not(equals(Equals_Param49,
462 throwOff(Move_Param, ThrowOff_Ret53))),
463 not(equals(Equals_Param49,
464 mount(Move_Param, Mount_Ret54))),
465 not(equals(Equals_Param49,
466 getOff(Move_Param, GetOff_Ret55))),
467 not(equals(Equals_Param49,
468 close(Move_Param, Close_Ret56))),
469 holds_at(doneBy(Equals_Param49, Move_Param), Time48)
470 ]).
471
472 482axiom(equals(Equals_Param58, open(Open_Param, Open_Ret60)),
483
484 [ not(equals(Equals_Param58,
485 throwOff(Open_Param, ThrowOff_Ret61))),
486 not(equals(Equals_Param58, move(Open_Param, Move_Ret62))),
487 not(equals(Equals_Param58,
488 mount(Open_Param, Mount_Ret63))),
489 not(equals(Equals_Param58,
490 getOff(Open_Param, GetOff_Ret64))),
491 not(equals(Equals_Param58,
492 close(Open_Param, Close_Ret65))),
493 holds_at(doneBy(Equals_Param58, Open_Param), Time57)
494 ]).
495
496 509axiom(equals(Equals_Param67, throwOff(ThrowOff_Param, ThrowOff_Ret69)),
510
511 [ not(equals(Equals_Param67,
512 open(ThrowOff_Param, Open_Ret70))),
513 not(equals(Equals_Param67,
514 move(ThrowOff_Param, Move_Ret71))),
515 not(equals(Equals_Param67,
516 mount(ThrowOff_Param, Mount_Ret72))),
517 not(equals(Equals_Param67,
518 getOff(ThrowOff_Param, GetOff_Ret73))),
519 not(equals(Equals_Param67,
520 close(ThrowOff_Param, Close_Ret74))),
521 holds_at(doneBy(Equals_Param67, ThrowOff_Param), Time66)
522 ]).
523
524
530axiom(Event1=Event2,
531
532 [ holds_at(doneBy(Event1, Animal), Time),
533 holds_at(doneBy(Event2, Animal), Time)
534 ]).
535
536
539 540
541 545axiom(large(Animal),
546 [adult(Animal), largeSpecies(species(Animal))]).
547
548 551
552 557axiom(not(large(Large_Ret)),
558 [not(adult(Large_Ret))]).
559axiom(not(large(Large_Ret)),
560 [not(largeSpecies(species(Large_Ret)))]).
561
562 565axiom(adult(Adult_Ret),
566 [large(Adult_Ret)]).
567
568 571axiom(largeSpecies(species(Species_Ret)),
572 [large(Species_Ret)]).
573
574
577
580
581 584
585 590axiom(not(some(Some_Param, '$kolem_Fn_35'(Neighbor_Param))),
591 [not({dif(Some_Param, Neighbor_Param)})]).
592axiom(not(some(Some_Param, '$kolem_Fn_35'(Neighbor_Param))),
593 [not(neighbor(Neighbor_Param, Some_Param))]).
594
595 599axiom({ dif(Dif_Param, Dif_Ret)
600},
601 [some(Dif_Param, '$kolem_Fn_35'(Dif_Ret))]).
602
603 606axiom(neighbor(Neighbor_Param7, Some_Param8),
607 [some(Some_Param8, '$kolem_Fn_35'(Neighbor_Param7))]).
608
609
612 613 614axiom(not(neighbor(Neighbor_Param, Neighbor_Param)),
615 []).
616
617
622axiom(neighbor(Position2, Position1),
623 [neighbor(Position1, Position2)]).
624
625
628 629diff(Cage,outside).
630
631
639
640 647axiom(sides(Position1, Position2, Gate),
648
649 [ equals(side1(Gate), Position1),
650 equals(side2(Gate), Position2)
651 ]).
652axiom(sides(Position1, Position2, Gate),
653
654 [ equals(side2(Gate), Position1),
655 equals(side1(Gate), Position2)
656 ]).
657
658 661
662 670axiom(not(sides(Sides_Param, Equals_Ret, Sides_Ret)),
671
672 [ not(equals(side2(Sides_Ret), Sides_Param)),
673 not(equals(side1(Sides_Ret), Sides_Param))
674 ]).
675axiom(not(sides(Sides_Param, Equals_Ret, Sides_Ret)),
676
677 [ not(equals(side1(Sides_Ret), Equals_Ret)),
678 not(equals(side1(Sides_Ret), Sides_Param))
679 ]).
680axiom(not(sides(Sides_Param, Equals_Ret, Sides_Ret)),
681
682 [ not(equals(side2(Sides_Ret), Sides_Param)),
683 not(equals(side2(Sides_Ret), Equals_Ret))
684 ]).
685axiom(not(sides(Sides_Param, Equals_Ret, Sides_Ret)),
686
687 [ not(equals(side1(Sides_Ret), Equals_Ret)),
688 not(equals(side2(Sides_Ret), Equals_Ret))
689 ]).
690
691 697axiom(equals(side1(Side1_Ret), Sides_Param6),
698
699 [ not(equals(side2(Side1_Ret), Sides_Param6)),
700 sides(Sides_Param6, Equals_Ret8, Side1_Ret)
701 ]).
702axiom(equals(side1(Side1_Ret), Sides_Param6),
703
704 [ not(equals(side1(Side1_Ret), Equals_Ret8)),
705 sides(Sides_Param6, Equals_Ret8, Side1_Ret)
706 ]).
707
708 714axiom(equals(side2(Side2_Ret), Equals_Ret10),
715
716 [ not(equals(side2(Side2_Ret), Sides_Param9)),
717 sides(Sides_Param9, Equals_Ret10, Side2_Ret)
718 ]).
719axiom(equals(side2(Side2_Ret), Equals_Ret10),
720
721 [ not(equals(side1(Side2_Ret), Equals_Ret10)),
722 sides(Sides_Param9, Equals_Ret10, Side2_Ret)
723 ]).
724
725 731axiom(equals(side2(Side2_Ret13), Sides_Param12),
732
733 [ not(equals(side1(Side2_Ret13), Sides_Param12)),
734 sides(Sides_Param12, Equals_Ret14, Side2_Ret13)
735 ]).
736axiom(equals(side2(Side2_Ret13), Sides_Param12),
737
738 [ not(equals(side2(Side2_Ret13), Equals_Ret14)),
739 sides(Sides_Param12, Equals_Ret14, Side2_Ret13)
740 ]).
741
742 748axiom(equals(side1(Side1_Ret17), Equals_Ret16),
749
750 [ not(equals(side1(Side1_Ret17), Sides_Param15)),
751 sides(Sides_Param15, Equals_Ret16, Side1_Ret17)
752 ]).
753axiom(equals(side1(Side1_Ret17), Equals_Ret16),
754
755 [ not(equals(side2(Side1_Ret17), Equals_Ret16)),
756 sides(Sides_Param15, Equals_Ret16, Side1_Ret17)
757 ]).
758
759
762 763diff(loc(side1(Gate)),loc(side2(Gate))).
764
765
771axiom(Gate1=Gate2,
772
773 [ sides(Position1, Position2, Gate1),
774 sides(Position1, Position2, Gate2)
775 ]).
776
777
782axiom(neighbor(Position1, Position2),
783 [sides(Position1, Position2, Gate)]).
784
785
792
793 797
798 805axiom(sides(Sides_Param, Loc_Ret, Some_Param),
806
807 [ { dif(loc(Sides_Param), loc(Loc_Ret))
808 },
809 neighbor(Sides_Param, Loc_Ret),
810 some(Some_Param, '$kolem_Fn_36'(Sides_Param, Loc_Ret))
811 ]).
812
813 818axiom(not({dif(loc(Neighbor_Param), loc(Loc_Ret9))}),
819
820 [ neighbor(Neighbor_Param, Loc_Ret9),
821 not(sides(Neighbor_Param, Loc_Ret9, Some_Param8)),
822 some(Some_Param8,
823 '$kolem_Fn_36'(Neighbor_Param, Loc_Ret9))
824 ]).
825
826 833axiom(not(neighbor(Neighbor_Param10, Neighbor_Ret)),
834
835 [ { dif(loc(Neighbor_Param10), loc(Neighbor_Ret))
836 },
837 not(sides(Neighbor_Param10, Neighbor_Ret, Some_Param11)),
838 some(Some_Param11,
839 '$kolem_Fn_36'(Neighbor_Param10, Neighbor_Ret))
840 ]).
841
842 848axiom(not(some(Some_Param13, '$kolem_Fn_36'(Fn_36_Param, Fn_36_Ret))),
849
850 [ not(sides(Fn_36_Param, Fn_36_Ret, Some_Param13)),
851 { dif(loc(Fn_36_Param), loc(Fn_36_Ret))
852 },
853 neighbor(Fn_36_Param, Fn_36_Ret)
854 ]).
855
856
862axiom(Position1=Position2,
863
864 [ holds_at(pos(Animal, Position1), Time),
865 holds_at(pos(Animal, Position2), Time)
866 ]).
867
868
873
874 877
878 881axiom(holds_at(pos(Pos_Param, Some_Param), Time4),
882 [some(Some_Param, '$kolem_Fn_37'(Pos_Param, Time4))]).
883
884 887axiom(not(some(Some_Param8, '$kolem_Fn_37'(Fn_37_Param, Time7))),
888 [not(holds_at(pos(Fn_37_Param, Some_Param8), Time7))]).
889
890
900
901 904
905 920axiom(not({dif(Dif_Param, Pos_Param)}),
921
922 [ not(equals(Equals_Param10, Pos_Param)),
923 not(equals(Equals_Param, Dif_Param)),
924 large(Dif_Param),
925 large(Pos_Param),
926 holds_at(pos(Dif_Param, Pos_Ret), Time6),
927 holds_at(pos(Pos_Param, Pos_Ret), Time6)
928 ]).
929axiom(not({dif(Dif_Param, Pos_Param)}),
930
931 [ not(holds_at(mounted(Equals_Param10, Dif_Param), Time6)),
932 not(equals(Equals_Param, Dif_Param)),
933 large(Dif_Param),
934 large(Pos_Param),
935 holds_at(pos(Dif_Param, Pos_Ret), Time6),
936 holds_at(pos(Pos_Param, Pos_Ret), Time6)
937 ]).
938axiom(not({dif(Dif_Param, Pos_Param)}),
939
940 [ not(equals(Equals_Param10, Pos_Param)),
941 not(holds_at(mounted(Equals_Param, Pos_Param), Time6)),
942 large(Dif_Param),
943 large(Pos_Param),
944 holds_at(pos(Dif_Param, Pos_Ret), Time6),
945 holds_at(pos(Pos_Param, Pos_Ret), Time6)
946 ]).
947axiom(not({dif(Dif_Param, Pos_Param)}),
948
949 [ not(holds_at(mounted(Equals_Param10, Dif_Param), Time6)),
950 not(holds_at(mounted(Equals_Param, Pos_Param), Time6)),
951 large(Dif_Param),
952 large(Pos_Param),
953 holds_at(pos(Dif_Param, Pos_Ret), Time6),
954 holds_at(pos(Pos_Param, Pos_Ret), Time6)
955 ]).
956
957 973axiom(not(large(Pos_Param13)),
974
975 [ not(equals(Equals_Param16, Pos_Param14)),
976 not(equals(Equals_Param15, Pos_Param13)),
977 large(Pos_Param14),
978 holds_at(pos(Pos_Param13, Pos_Ret17), Time12),
979 holds_at(pos(Pos_Param14, Pos_Ret17), Time12),
980 { dif(Pos_Param13, Pos_Param14)
981 }
982 ]).
983axiom(not(large(Pos_Param13)),
984
985 [ not(holds_at(mounted(Equals_Param16, Pos_Param13),
986 Time12)),
987 not(equals(Equals_Param15, Pos_Param13)),
988 large(Pos_Param14),
989 holds_at(pos(Pos_Param13, Pos_Ret17), Time12),
990 holds_at(pos(Pos_Param14, Pos_Ret17), Time12),
991 { dif(Pos_Param13, Pos_Param14)
992 }
993 ]).
994axiom(not(large(Pos_Param13)),
995
996 [ not(equals(Equals_Param16, Pos_Param14)),
997 not(holds_at(mounted(Equals_Param15, Pos_Param14),
998 Time12)),
999 large(Pos_Param14),
1000 holds_at(pos(Pos_Param13, Pos_Ret17), Time12),
1001 holds_at(pos(Pos_Param14, Pos_Ret17), Time12),
1002 { dif(Pos_Param13, Pos_Param14)
1003 }
1004 ]).
1005axiom(not(large(Pos_Param13)),
1006
1007 [ not(holds_at(mounted(Equals_Param16, Pos_Param13),
1008 Time12)),
1009 not(holds_at(mounted(Equals_Param15, Pos_Param14),
1010 Time12)),
1011 large(Pos_Param14),
1012 holds_at(pos(Pos_Param13, Pos_Ret17), Time12),
1013 holds_at(pos(Pos_Param14, Pos_Ret17), Time12),
1014 { dif(Pos_Param13, Pos_Param14)
1015 }
1016 ]).
1017
1018 1034axiom(not(large(Pos_Param20)),
1035
1036 [ not(equals(Equals_Param22, Pos_Param20)),
1037 not(equals(Equals_Param21, Pos_Param19)),
1038 holds_at(pos(Pos_Param19, Pos_Ret23), Time18),
1039 holds_at(pos(Pos_Param20, Pos_Ret23), Time18),
1040 large(Pos_Param19),
1041 { dif(Pos_Param19, Pos_Param20)
1042 }
1043 ]).
1044axiom(not(large(Pos_Param20)),
1045
1046 [ not(holds_at(mounted(Equals_Param22, Pos_Param19),
1047 Time18)),
1048 not(equals(Equals_Param21, Pos_Param19)),
1049 holds_at(pos(Pos_Param19, Pos_Ret23), Time18),
1050 holds_at(pos(Pos_Param20, Pos_Ret23), Time18),
1051 large(Pos_Param19),
1052 { dif(Pos_Param19, Pos_Param20)
1053 }
1054 ]).
1055axiom(not(large(Pos_Param20)),
1056
1057 [ not(equals(Equals_Param22, Pos_Param20)),
1058 not(holds_at(mounted(Equals_Param21, Pos_Param20),
1059 Time18)),
1060 holds_at(pos(Pos_Param19, Pos_Ret23), Time18),
1061 holds_at(pos(Pos_Param20, Pos_Ret23), Time18),
1062 large(Pos_Param19),
1063 { dif(Pos_Param19, Pos_Param20)
1064 }
1065 ]).
1066axiom(not(large(Pos_Param20)),
1067
1068 [ not(holds_at(mounted(Equals_Param22, Pos_Param19),
1069 Time18)),
1070 not(holds_at(mounted(Equals_Param21, Pos_Param20),
1071 Time18)),
1072 holds_at(pos(Pos_Param19, Pos_Ret23), Time18),
1073 holds_at(pos(Pos_Param20, Pos_Ret23), Time18),
1074 large(Pos_Param19),
1075 { dif(Pos_Param19, Pos_Param20)
1076 }
1077 ]).
1078
1079 1094axiom(not(holds_at(pos(Pos_Param25, Pos_Ret29), Time24)),
1095
1096 [ not(equals(Equals_Param28, Pos_Param26)),
1097 not(equals(Equals_Param27, Pos_Param25)),
1098 holds_at(pos(Pos_Param26, Pos_Ret29), Time24),
1099 large(Pos_Param26),
1100 large(Pos_Param25),
1101 dif(Pos_Param25, Pos_Param26)
1102 ]).
1103axiom(not(holds_at(pos(Pos_Param25, Pos_Ret29), Time24)),
1104
1105 [ not(holds_at(mounted(Equals_Param28, Pos_Param25),
1106 Time24)),
1107 not(equals(Equals_Param27, Pos_Param25)),
1108 holds_at(pos(Pos_Param26, Pos_Ret29), Time24),
1109 large(Pos_Param26),
1110 large(Pos_Param25),
1111 dif(Pos_Param25, Pos_Param26)
1112 ]).
1113axiom(not(holds_at(pos(Pos_Param25, Pos_Ret29), Time24)),
1114
1115 [ not(equals(Equals_Param28, Pos_Param26)),
1116 not(holds_at(mounted(Equals_Param27, Pos_Param26),
1117 Time24)),
1118 holds_at(pos(Pos_Param26, Pos_Ret29), Time24),
1119 large(Pos_Param26),
1120 large(Pos_Param25),
1121 dif(Pos_Param25, Pos_Param26)
1122 ]).
1123axiom(not(holds_at(pos(Pos_Param25, Pos_Ret29), Time24)),
1124
1125 [ not(holds_at(mounted(Equals_Param28, Pos_Param25),
1126 Time24)),
1127 not(holds_at(mounted(Equals_Param27, Pos_Param26),
1128 Time24)),
1129 holds_at(pos(Pos_Param26, Pos_Ret29), Time24),
1130 large(Pos_Param26),
1131 large(Pos_Param25),
1132 dif(Pos_Param25, Pos_Param26)
1133 ]).
1134
1135 1150axiom(not(holds_at(pos(Pos_Param31, Pos_Ret35), Time30)),
1151
1152 [ not(equals(Equals_Param34, Pos_Param31)),
1153 not(equals(Equals_Param33, Pos_Param32)),
1154 holds_at(pos(Pos_Param32, Pos_Ret35), Time30),
1155 large(Pos_Param31),
1156 large(Pos_Param32),
1157 dif(Pos_Param32, Pos_Param31)
1158 ]).
1159axiom(not(holds_at(pos(Pos_Param31, Pos_Ret35), Time30)),
1160
1161 [ not(holds_at(mounted(Equals_Param34, Pos_Param32),
1162 Time30)),
1163 not(equals(Equals_Param33, Pos_Param32)),
1164 holds_at(pos(Pos_Param32, Pos_Ret35), Time30),
1165 large(Pos_Param31),
1166 large(Pos_Param32),
1167 dif(Pos_Param32, Pos_Param31)
1168 ]).
1169axiom(not(holds_at(pos(Pos_Param31, Pos_Ret35), Time30)),
1170
1171 [ not(equals(Equals_Param34, Pos_Param31)),
1172 not(holds_at(mounted(Equals_Param33, Pos_Param31),
1173 Time30)),
1174 holds_at(pos(Pos_Param32, Pos_Ret35), Time30),
1175 large(Pos_Param31),
1176 large(Pos_Param32),
1177 dif(Pos_Param32, Pos_Param31)
1178 ]).
1179axiom(not(holds_at(pos(Pos_Param31, Pos_Ret35), Time30)),
1180
1181 [ not(holds_at(mounted(Equals_Param34, Pos_Param32),
1182 Time30)),
1183 not(holds_at(mounted(Equals_Param33, Pos_Param31),
1184 Time30)),
1185 holds_at(pos(Pos_Param32, Pos_Ret35), Time30),
1186 large(Pos_Param31),
1187 large(Pos_Param32),
1188 dif(Pos_Param32, Pos_Param31)
1189 ]).
1190
1191 1203axiom(equals(Equals_Param37, Dif_Param39),
1204
1205 [ not(equals(Equals_Param38, Pos_Param40)),
1206 { dif(Dif_Param39, Pos_Param40)
1207 },
1208 large(Dif_Param39),
1209 large(Pos_Param40),
1210 holds_at(pos(Dif_Param39, Pos_Ret41), Time36),
1211 holds_at(pos(Pos_Param40, Pos_Ret41), Time36)
1212 ]).
1213axiom(equals(Equals_Param37, Dif_Param39),
1214
1215 [ not(holds_at(mounted(Equals_Param38, Dif_Param39),
1216 Time36)),
1217 { dif(Dif_Param39, Pos_Param40)
1218 },
1219 large(Dif_Param39),
1220 large(Pos_Param40),
1221 holds_at(pos(Dif_Param39, Pos_Ret41), Time36),
1222 holds_at(pos(Pos_Param40, Pos_Ret41), Time36)
1223 ]).
1224
1225 1237axiom(holds_at(mounted(Mounted_Param, Pos_Param46), Time42),
1238
1239 [ not(equals(Equals_Param44, Pos_Param46)),
1240 dif(Dif_Param45, Pos_Param46),
1241 large(Dif_Param45),
1242 large(Pos_Param46),
1243 holds_at(pos(Dif_Param45, Pos_Ret47), Time42),
1244 holds_at(pos(Pos_Param46, Pos_Ret47), Time42)
1245 ]).
1246axiom(holds_at(mounted(Mounted_Param, Pos_Param46), Time42),
1247
1248 [ not(holds_at(mounted(Equals_Param44, Dif_Param45),
1249 Time42)),
1250 dif(Dif_Param45, Pos_Param46),
1251 large(Dif_Param45),
1252 large(Pos_Param46),
1253 holds_at(pos(Dif_Param45, Pos_Ret47), Time42),
1254 holds_at(pos(Pos_Param46, Pos_Ret47), Time42)
1255 ]).
1256
1257 1269axiom(equals(Equals_Param49, Pos_Param52),
1270
1271 [ not(equals(Equals_Param50, Dif_Param51)),
1272 { dif(Dif_Param51, Pos_Param52)
1273 },
1274 large(Dif_Param51),
1275 large(Pos_Param52),
1276 holds_at(pos(Dif_Param51, Pos_Ret53), Time48),
1277 holds_at(pos(Pos_Param52, Pos_Ret53), Time48)
1278 ]).
1279axiom(equals(Equals_Param49, Pos_Param52),
1280
1281 [ not(holds_at(mounted(Equals_Param50, Pos_Param52),
1282 Time48)),
1283 { dif(Dif_Param51, Pos_Param52)
1284 },
1285 large(Dif_Param51),
1286 large(Pos_Param52),
1287 holds_at(pos(Dif_Param51, Pos_Ret53), Time48),
1288 holds_at(pos(Pos_Param52, Pos_Ret53), Time48)
1289 ]).
1290
1291 1303axiom(holds_at(mounted(Mounted_Param55, Dif_Param57), Time54),
1304
1305 [ not(equals(Equals_Param56, Dif_Param57)),
1306 dif(Dif_Param57, Pos_Param58),
1307 large(Dif_Param57),
1308 large(Pos_Param58),
1309 holds_at(pos(Dif_Param57, Pos_Ret59), Time54),
1310 holds_at(pos(Pos_Param58, Pos_Ret59), Time54)
1311 ]).
1312axiom(holds_at(mounted(Mounted_Param55, Dif_Param57), Time54),
1313
1314 [ not(holds_at(mounted(Equals_Param56, Pos_Param58),
1315 Time54)),
1316 dif(Dif_Param57, Pos_Param58),
1317 large(Dif_Param57),
1318 large(Pos_Param58),
1319 holds_at(pos(Dif_Param57, Pos_Ret59), Time54),
1320 holds_at(pos(Pos_Param58, Pos_Ret59), Time54)
1321 ]).
1322
1323
1330axiom(Position1=Position2,
1331
1332 [ holds_at(posDeterminingFluent(Human, Position1), Time),
1333 holds_at(posDeterminingFluent(Human, Position2), Time)
1334 ]).
1335
1336
1341axiom(initiates(move(Animal, Position), pos(Animal, Position), Time),
1342 []).
1343
1344
1350axiom(terminates(move(Animal, Position2), pos(Animal, Position1), Time),
1351 [holds_at(pos(Animal, Position1), Time)]).
1352
1353
1359axiom(requires(move(Animal, Position), Time),
1360 [not(holds_at(pos(Animal, Position), Time))]).
1361
1362
1368axiom(requires(move(Human, Position), Time),
1369 [not(holds_at(mounted(Human, Animal), Time))]).
1370
1371
1376axiom(initiates(open(Human, Gate), opened(Gate), Time),
1377 []).
1378
1379
1389axiom(requires(open(Human, Gate), Time),
1390
1391 [ equals(side1(Gate), Position),
1392 not(holds_at(opened(Gate), Time)),
1393 not(holds_at(mounted(Human, Animal), Time)),
1394 holds_at(pos(Human, Position), Time)
1395 ]).
1396axiom(requires(open(Human, Gate), Time),
1397
1398 [ equals(side2(Gate), Position),
1399 not(holds_at(opened(Gate), Time)),
1400 not(holds_at(mounted(Human, Animal), Time)),
1401 holds_at(pos(Human, Position), Time)
1402 ]).
1403
1404
1409axiom(terminates(close(Human, Gate), opened(Gate), Time),
1410 []).
1411
1412
1422
1423 1427
1428 1438axiom(not(some(Some_Param, '$kolem_Fn_43'(Fn_43_Param, Close_Ret, Maptime, Fn_43_Ret))),
1439
1440 [ not(holds_at(opened(Close_Ret), Maptime)),
1441 happens(close(Fn_43_Param, Close_Ret), Maptime)
1442 ]).
1443axiom(not(some(Some_Param, '$kolem_Fn_43'(Fn_43_Param, Close_Ret, Maptime, Fn_43_Ret))),
1444
1445 [ holds_at(mounted(Fn_43_Param, Fn_43_Ret), Maptime),
1446 happens(close(Fn_43_Param, Close_Ret), Maptime)
1447 ]).
1448axiom(not(some(Some_Param, '$kolem_Fn_43'(Fn_43_Param, Close_Ret, Maptime, Fn_43_Ret))),
1449
1450 [ not(equals(side1(Close_Ret), Some_Param)),
1451 not(equals(side2(Close_Ret), Some_Param)),
1452 happens(close(Fn_43_Param, Close_Ret), Maptime)
1453 ]).
1454axiom(not(some(Some_Param, '$kolem_Fn_43'(Fn_43_Param, Close_Ret, Maptime, Fn_43_Ret))),
1455
1456 [ not(holds_at(pos(Fn_43_Param, Some_Param), Maptime)),
1457 happens(close(Fn_43_Param, Close_Ret), Maptime)
1458 ]).
1459
1460 1474axiom(not(happens(close(Close_Param, Close_Ret14), Maptime11)),
1475
1476 [ not(holds_at(opened(Close_Ret14), Maptime11)),
1477 some(Some_Param13,
1478 '$kolem_Fn_43'(Close_Param,
1479 Close_Ret14,
1480 Maptime11,
1481 Mounted_Ret))
1482 ]).
1483axiom(not(happens(close(Close_Param, Close_Ret14), Maptime11)),
1484
1485 [ holds_at(mounted(Close_Param, Mounted_Ret), Maptime11),
1486 some(Some_Param13,
1487 '$kolem_Fn_43'(Close_Param,
1488 Close_Ret14,
1489 Maptime11,
1490 Mounted_Ret))
1491 ]).
1492axiom(not(happens(close(Close_Param, Close_Ret14), Maptime11)),
1493
1494 [ not(equals(side1(Close_Ret14), Some_Param13)),
1495 not(equals(side2(Close_Ret14), Some_Param13)),
1496 some(Some_Param13,
1497 '$kolem_Fn_43'(Close_Param,
1498 Close_Ret14,
1499 Maptime11,
1500 Mounted_Ret))
1501 ]).
1502axiom(not(happens(close(Close_Param, Close_Ret14), Maptime11)),
1503
1504 [ not(holds_at(pos(Close_Param, Some_Param13), Maptime11)),
1505 some(Some_Param13,
1506 '$kolem_Fn_43'(Close_Param,
1507 Close_Ret14,
1508 Maptime11,
1509 Mounted_Ret))
1510 ]).
1511
1512 1520axiom(holds_at(opened(Opened_Ret), Time16),
1521
1522 [ happens(close(Close_Param17, Opened_Ret), Time16),
1523 some(Some_Param18,
1524 '$kolem_Fn_43'(Close_Param17,
1525 Opened_Ret,
1526 Time16,
1527 Fn_43_Ret20))
1528 ]).
1529
1530 1538axiom(not(holds_at(mounted(Mounted_Param, Mounted_Ret24), Time21)),
1539
1540 [ happens(close(Mounted_Param, Close_Ret25), Time21),
1541 some(Some_Param23,
1542 '$kolem_Fn_43'(Mounted_Param,
1543 Close_Ret25,
1544 Time21,
1545 Mounted_Ret24))
1546 ]).
1547
1548 1557axiom(equals(side1(Side1_Ret), Some_Param28),
1558
1559 [ not(equals(side2(Side1_Ret), Some_Param28)),
1560 happens(close(Close_Param27, Side1_Ret), Maptime26),
1561 some(Some_Param28,
1562 '$kolem_Fn_43'(Close_Param27,
1563 Side1_Ret,
1564 Maptime26,
1565 Fn_43_Ret30))
1566 ]).
1567
1568 1577axiom(equals(side2(Side2_Ret), Some_Param33),
1578
1579 [ not(equals(side1(Side2_Ret), Some_Param33)),
1580 happens(close(Close_Param32, Side2_Ret), Maptime31),
1581 some(Some_Param33,
1582 '$kolem_Fn_43'(Close_Param32,
1583 Side2_Ret,
1584 Maptime31,
1585 Fn_43_Ret35))
1586 ]).
1587
1588 1596axiom(holds_at(pos(Pos_Param, Some_Param38), Time36),
1597
1598 [ happens(close(Pos_Param, Close_Ret39), Time36),
1599 some(Some_Param38,
1600 '$kolem_Fn_43'(Pos_Param,
1601 Close_Ret39,
1602 Time36,
1603 Fn_43_Ret40))
1604 ]).
1605
1606
1613axiom(holds_at(pos(Human, Position), Time),
1614
1615 [ holds_at(mounted(Human, Animal), Time),
1616 holds_at(pos(Animal, Position), Time)
1617 ]).
1618
1619
1626
1627 1632axiom(holds_at(moves(Animal), t),
1633
1634 [ holds_at(pos(Animal, Position), t),
1635 not(holds_at(pos(Animal, Position), start)),
1636 b(t, start),
1637 ignore(t+1=start)
1638 ]).
1639
1640 1644
1645 1650axiom(not(holds_at(moves(Pos_Param), t)),
1651 [not(holds_at(pos(Pos_Param, Pos_Ret), t))]).
1652axiom(not(holds_at(moves(Pos_Param), t)),
1653
1654 [ holds_at(pos(Pos_Param, Pos_Ret), start),
1655 b(t, start),
1656 ignore(t+1=start)
1657 ]).
1658
1659 1662axiom(holds_at(pos(Pos_Param5, Pos_Ret6), t),
1663 [holds_at(moves(Pos_Param5), t)]).
1664
1665 1668axiom(not(holds_at(pos(Pos_Param7, Pos_Ret8), start)),
1669 [holds_at(moves(Pos_Param7), t), b(t, start), ignore(t+1=start)]).
1670
1671
1678
1679 1684axiom(holds_at(mountFails(Human), Time),
1685
1686 [ happens(mount(Human, Animal), Time),
1687 holds_at(moves(Animal), Time)
1688 ]).
1689
1690 1694
1695 1700axiom(not(holds_at(mountFails(Mount_Param), Time3)),
1701 [not(happens(mount(Mount_Param, Mount_Ret), Time3))]).
1702axiom(not(holds_at(mountFails(Mount_Param), Time3)),
1703 [not(holds_at(moves(Mount_Ret), Time3))]).
1704
1705 1708axiom(happens(mount(Mount_Param7, Mount_Ret8), Maptime),
1709 [holds_at(mountFails(Mount_Param7), Maptime)]).
1710
1711 1714axiom(holds_at(moves(Moves_Ret), Time9),
1715 [holds_at(mountFails(MountFails_Ret), Time9)]).
1716
1717
1723axiom(releases(mount(Human, Animal), pos(Human, Position), Time),
1724 [not(holds_at(moves(Animal), Time))]).
1725
1726
1732axiom(initiates(mount(Human, Animal), mounted(Human, Animal), Time),
1733 [not(holds_at(moves(Animal), Time))]).
1734
1735
1742axiom(initiates(mount(Human, Animal), pos(Human, Position), Time),
1743
1744 [ holds_at(pos(Animal, Position), Time),
1745 holds_at(moves(Animal), Time)
1746 ]).
1747
1748
1755axiom(terminates(mount(Human, Animal), pos(Human, Position), Time),
1756
1757 [ holds_at(pos(Human, Position), Time),
1758 holds_at(moves(Animal), Time)
1759 ]).
1760
1761
1767axiom(requires(mount(Human, Animal), Time),
1768 [large(Animal)]).
1769
1770
1776axiom(large(Animal),
1777 [holds_at(mounted(Human, Animal), Time)]).
1778
1779
1785axiom(requires(mount(Human1, Human2), Time),
1786 [not(large(Human1))]).
1787
1788
1794axiom(not(large(Human1)),
1795 [holds_at(mounted(Human1, Human2), Time)]).
1796
1797
1803axiom(requires(mount(Human, Animal), Time),
1804 [not({dif(Human1, Human)})]).
1805axiom(requires(mount(Human, Animal), Time),
1806 [not(holds_at(mounted(Human1, Animal), Time))]).
1807
1808
1815axiom(Human1=Human2,
1816
1817 [ holds_at(mounted(Human1, Animal), Time),
1818 holds_at(mounted(Human2, Animal), Time)
1819 ]).
1820
1821
1827axiom(requires(mount(Human, Animal), Time),
1828 [not({dif(Human1, Human)})]).
1829axiom(requires(mount(Human, Animal), Time),
1830 [not(holds_at(mounted(Human1, Human), Time))]).
1831
1832
1838
1839 1843
1844 1849axiom(holds_at(mounted(Mounted_Param, Some_Param), Time5),
1850
1851 [ happens(mount(Mount_Param, Mounted_Param), Time5),
1852 some(Some_Param,
1853 '$kolem_Fn_51'(Mount_Param, Mounted_Param, Time5))
1854 ]).
1855
1856 1862axiom(not(happens(mount(Mount_Param10, Mounted_Param11), Maptime)),
1863
1864 [ not(holds_at(mounted(Mounted_Param11, Some_Param12),
1865 Maptime)),
1866 some(Some_Param12,
1867 '$kolem_Fn_51'(Mount_Param10,
1868 Mounted_Param11,
1869 Maptime))
1870 ]).
1871
1872 1877axiom(not(some(Some_Param14, '$kolem_Fn_51'(Fn_51_Param, Mounted_Param16, Time13))),
1878
1879 [ not(holds_at(mounted(Mounted_Param16, Some_Param14),
1880 Time13)),
1881 happens(mount(Fn_51_Param, Mounted_Param16), Time13)
1882 ]).
1883
1884
1890axiom(not(exists([Animal], holds_at(mounted(Human2, Animal), Time))),
1891 [holds_at(mounted(Human1, Human2), Time)]).
1892
1893
1899axiom(requires(mount(Human, Animal), Time),
1900 [not(holds_at(mounted(Human, Animal1), Time))]).
1901
1902
1908axiom(terminates(getOff(Human, Animal), mounted(Human, Animal), Time),
1909 [not(holds_at(moves(Animal), Time))]).
1910
1911
1918axiom(initiates(getOff(Human, Animal), pos(Human, Position), Time),
1919
1920 [ not(holds_at(moves(Animal), Time)),
1921 holds_at(posDeterminingFluent(Human, Position), Time)
1922 ]).
1923
1924
1931axiom(terminates(getOff(Human, Animal), pos(Human, Position), Time),
1932
1933 [ not(holds_at(moves(Animal), Time)),
1934 holds_at(pos(Human, Position), Time)
1935 ]).
1936
1937
1945axiom(terminates(getOff(Human, Animal), pos(Human, Position2), Time),
1946
1947 [ not(holds_at(moves(Animal), Time)),
1948 holds_at(pos(Human, Position1), Time),
1949 { dif(Position1, Position2)
1950 }
1951 ]).
1952
1953
1959axiom(requires(getOff(Human, Animal), Time),
1960 [holds_at(mounted(Human, Animal), Time)]).
1961
1962
1971
1972 1977axiom(holds_at(throwOffFails(Animal1, Human), t),
1978
1979 [ dif(Animal2, Human),
1980 holds_at(posDeterminingFluent(Human, Position), t),
1981 large(Animal2),
1982 holds_at(pos(Animal2, Position), start),
1983 b(t, start),
1984 ignore(t+1=start)
1985 ]).
1986
1987 1991
1992 2001axiom(not(holds_at(throwOffFails(ThrowOffFails_Param, PosDeterminingFluent_Param), t)),
2002 [not({dif(Dif_Param, PosDeterminingFluent_Param)})]).
2003axiom(not(holds_at(throwOffFails(ThrowOffFails_Param, PosDeterminingFluent_Param), t)),
2004
2005 [ not(holds_at(posDeterminingFluent(PosDeterminingFluent_Param,
2006 PosDeterminingFluent_Ret),
2007 t))
2008 ]).
2009axiom(not(holds_at(throwOffFails(ThrowOffFails_Param, PosDeterminingFluent_Param), t)),
2010 [not(large(Dif_Param))]).
2011axiom(not(holds_at(throwOffFails(ThrowOffFails_Param, PosDeterminingFluent_Param), t)),
2012
2013 [ not(holds_at(pos(Dif_Param, PosDeterminingFluent_Ret), start)),
2014 b(t, start),
2015 ignore(t+1=start)
2016 ]).
2017
2018 2022axiom({ dif(Dif_Param9, Dif_Ret)
2023},
2024 [holds_at(throwOffFails(ThrowOffFails_Param10, Dif_Ret), t)]).
2025
2026 2031axiom(holds_at(posDeterminingFluent(PosDeterminingFluent_Param12, PosDeterminingFluent_Ret14), t),
2032
2033 [ holds_at(throwOffFails(ThrowOffFails_Param13,
2034 PosDeterminingFluent_Param12),
2035 t)
2036 ]).
2037
2038 2043axiom(large(Large_Ret),
2044
2045 [ holds_at(throwOffFails(ThrowOffFails_Param15,
2046 ThrowOffFails_Ret),
2047 t)
2048 ]).
2049
2050 2055axiom(holds_at(pos(Pos_Param, Pos_Ret), start),
2056
2057 [ holds_at(throwOffFails(ThrowOffFails_Param19,
2058 ThrowOffFails_Ret21),
2059 t),
2060 b(t, start),
2061 ignore(t+1=start)
2062 ]).
2063
2064
2071axiom(initiates(throwOff(Animal, Human), pos(Human, Position), Time),
2072
2073 [ holds_at(posDeterminingFluent(Human, Position), Time),
2074 not(holds_at(throwOffFails(Animal, Human), Time))
2075 ]).
2076
2077
2084axiom(terminates(throwOff(Animal, Human), pos(Human, Position), Time),
2085
2086 [ holds_at(pos(Human, Position), Time),
2087 not(holds_at(throwOffFails(Animal, Human), Time))
2088 ]).
2089
2090
2099axiom(terminates(throwOff(Animal, Human), pos(Human, Position2), Time),
2100
2101 [ not(holds_at(throwOffFails(Animal, Human), Time)),
2102 holds_at(pos(Human, Position1), Time),
2103 not(holds_at(posDeterminingFluent(Human, Position2),
2104 Time)),
2105 { dif(Position1, Position2)
2106 }
2107 ]).
2108
2109
2116axiom(holds_at(posDeterminingFluent(Human, 1), Time),
2117
2118 [ not(happens(throwOff(Animal, Human), Time)),
2119 not(happens(getOff(Human, Animal), Time))
2120 ]).
2121
2122
2130axiom(initiates(throwOff(Animal1, Human), mounted(Human, Animal2), Time),
2131
2132 [ holds_at(posDeterminingFluent(Human, Position), Time),
2133 holds_at(throwOffFails(Animal1, Human), Time),
2134 holds_at(pos(Animal2, Position), Time)
2135 ]).
2136
2137
2143axiom(terminates(throwOff(Animal, Human), mounted(Human, Animal), Time),
2144 [not(holds_at(throwOffFails(Animal, Human), Time))]).
2145
2146
2152axiom(requires(throwOff(Animal, Human), Time),
2153 [holds_at(mounted(Human, Animal), Time)]).
2154
2155
2161axiom(not(happens(getOff(Human, Animal), Time)),
2162 [happens(throwOff(Animal, Human), Time)]).
2163
2164
2170axiom(not(happens(throwOff(Animal, Human), Time)),
2171 [happens(getOff(Human, Animal), Time)]).
2172
2173
2180
2181 2186axiom(accessible(Position1, Position2, Time),
2187
2188 [ thereExists((neighbor(Position1, Position2), not([gate])),
2189 (sides(Position1, Position2, gate), not(holds_at(opened(gate), Time))))
2190 ]).
2191axiom(thereExists((neighbor(Position1, Position2), not([gate])), (sides(Position1, Position2, gate), not(holds_at(opened(gate), Time)))),
2192 [accessible(Position1, Position2, Time)]).
2193
2194
2202axiom(accessible(Position1, Position2, t),
2203
2204 [ { dif(Position1, Position2)
2205 },
2206 holds_at(pos(Animal, Position1), t),
2207 holds_at(pos(Animal, Position2), start),
2208 b(t, start),
2209 ignore(t+1=start)
2210 ]).
2211
2212
2225
2226 2233axiom(holds_at(abnormalEncroachment(Human), Time),
2234 [holds_at(mountFails(Human), Time)]).
2235axiom(holds_at(abnormalEncroachment(Human), t),
2236
2237 [ holds_at(posDeterminingFluent(Human, Position), t),
2238 not(holds_at(throwOffFails(Animal2, Human), t)),
2239 happens(throwOff(Animal2, Human), t),
2240 dif(Animal1, Human),
2241 large(Animal1),
2242 holds_at(pos(Animal1, Position), t),
2243 not(holds_at(pos(Animal1, Position), start)),
2244 b(t, start),
2245 ignore(t+1=start)
2246 ]).
2247
2248 2251
2252 2269axiom(not(holds_at(abnormalEncroachment(PosDeterminingFluent_Param), t)),
2270
2271 [ not(holds_at(posDeterminingFluent(PosDeterminingFluent_Param,
2272 PosDeterminingFluent_Ret),
2273 t)),
2274 not(holds_at(mountFails(PosDeterminingFluent_Param), t))
2275 ]).
2276axiom(not(holds_at(abnormalEncroachment(PosDeterminingFluent_Param), t)),
2277
2278 [ holds_at(throwOffFails(ThrowOffFails_Param,
2279 PosDeterminingFluent_Param),
2280 t),
2281 not(holds_at(mountFails(PosDeterminingFluent_Param), t))
2282 ]).
2283axiom(not(holds_at(abnormalEncroachment(PosDeterminingFluent_Param), t)),
2284
2285 [ not(happens(throwOff(ThrowOffFails_Param,
2286 PosDeterminingFluent_Param),
2287 t)),
2288 not(holds_at(mountFails(PosDeterminingFluent_Param), t))
2289 ]).
2290axiom(not(holds_at(abnormalEncroachment(PosDeterminingFluent_Param), t)),
2291
2292 [ not({dif(Dif_Param, PosDeterminingFluent_Param)}),
2293 not(holds_at(mountFails(PosDeterminingFluent_Param), t))
2294 ]).
2295axiom(not(holds_at(abnormalEncroachment(PosDeterminingFluent_Param), t)),
2296
2297 [ not(large(Dif_Param)),
2298 not(holds_at(mountFails(PosDeterminingFluent_Param), t))
2299 ]).
2300axiom(not(holds_at(abnormalEncroachment(PosDeterminingFluent_Param), t)),
2301
2302 [ not(holds_at(pos(Dif_Param, PosDeterminingFluent_Ret), t)),
2303 not(holds_at(mountFails(PosDeterminingFluent_Param), t))
2304 ]).
2305axiom(not(holds_at(abnormalEncroachment(PosDeterminingFluent_Param), t)),
2306
2307 [ holds_at(pos(Dif_Param, PosDeterminingFluent_Ret), start),
2308 not(holds_at(mountFails(PosDeterminingFluent_Param), t)),
2309 b(t, start),
2310 ignore(t+1=start)
2311 ]).
2312
2313 2331axiom(holds_at(mountFails(PosDeterminingFluent_Param9), t),
2332
2333 [ not(holds_at(posDeterminingFluent(PosDeterminingFluent_Param9,
2334 PosDeterminingFluent_Ret12),
2335 t)),
2336 holds_at(abnormalEncroachment(PosDeterminingFluent_Param9), t)
2337 ]).
2338axiom(holds_at(mountFails(PosDeterminingFluent_Param9), t),
2339
2340 [ holds_at(throwOffFails(ThrowOffFails_Param10,
2341 PosDeterminingFluent_Param9),
2342 t),
2343 holds_at(abnormalEncroachment(PosDeterminingFluent_Param9), t)
2344 ]).
2345axiom(holds_at(mountFails(PosDeterminingFluent_Param9), t),
2346
2347 [ not(happens(throwOff(ThrowOffFails_Param10,
2348 PosDeterminingFluent_Param9),
2349 t)),
2350 holds_at(abnormalEncroachment(PosDeterminingFluent_Param9), t)
2351 ]).
2352axiom(holds_at(mountFails(PosDeterminingFluent_Param9), t),
2353
2354 [ not({dif(Dif_Param11, PosDeterminingFluent_Param9)}),
2355 holds_at(abnormalEncroachment(PosDeterminingFluent_Param9), t)
2356 ]).
2357axiom(holds_at(mountFails(PosDeterminingFluent_Param9), t),
2358
2359 [ not(large(Dif_Param11)),
2360 holds_at(abnormalEncroachment(PosDeterminingFluent_Param9), t)
2361 ]).
2362axiom(holds_at(mountFails(PosDeterminingFluent_Param9), t),
2363
2364 [ not(holds_at(pos(Dif_Param11, PosDeterminingFluent_Ret12), t)),
2365 holds_at(abnormalEncroachment(PosDeterminingFluent_Param9), t)
2366 ]).
2367axiom(holds_at(mountFails(PosDeterminingFluent_Param9), t),
2368
2369 [ holds_at(pos(Dif_Param11, PosDeterminingFluent_Ret12), start),
2370 holds_at(abnormalEncroachment(PosDeterminingFluent_Param9), t),
2371 b(t, start),
2372 ignore(t+1=start)
2373 ]).
2374
2375 2379axiom(holds_at(posDeterminingFluent(PosDeterminingFluent_Param13, PosDeterminingFluent_Ret14), t),
2380
2381 [ not(holds_at(mountFails(PosDeterminingFluent_Param13), t)),
2382 holds_at(abnormalEncroachment(PosDeterminingFluent_Param13), t)
2383 ]).
2384
2385 2389axiom(not(holds_at(throwOffFails(ThrowOffFails_Param15, ThrowOffFails_Ret), t)),
2390
2391 [ not(holds_at(mountFails(ThrowOffFails_Ret), t)),
2392 holds_at(abnormalEncroachment(ThrowOffFails_Ret), t)
2393 ]).
2394
2395 2399axiom(happens(throwOff(ThrowOff_Param, ThrowOff_Ret), t),
2400
2401 [ not(holds_at(mountFails(ThrowOff_Ret), t)),
2402 holds_at(abnormalEncroachment(ThrowOff_Ret), t)
2403 ]).
2404
2405 2410axiom({ dif(Dif_Param19, Dif_Ret)
2411},
2412
2413 [ not(holds_at(mountFails(Dif_Ret), t)),
2414 holds_at(abnormalEncroachment(Dif_Ret), t)
2415 ]).
2416
2417 2421axiom(large(Large_Ret),
2422
2423 [ not(holds_at(mountFails(MountFails_Ret), t)),
2424 holds_at(abnormalEncroachment(MountFails_Ret), t)
2425 ]).
2426
2427 2431axiom(holds_at(pos(Pos_Param, Pos_Ret), t),
2432
2433 [ not(holds_at(mountFails(MountFails_Ret25), t)),
2434 holds_at(abnormalEncroachment(MountFails_Ret25), t)
2435 ]).
2436
2437 2441axiom(not(holds_at(pos(Pos_Param26, Pos_Ret27), start)),
2442
2443 [ not(holds_at(mountFails(MountFails_Ret28), t)),
2444 holds_at(abnormalEncroachment(MountFails_Ret28), t),
2445 b(t, start),
2446 ignore(t+1=start)
2447 ]).
2448
2449
2459
2460 2463
2464 2476axiom(not(holds_at(pos(Pos_Param, Pos_Ret), t)),
2477
2478 [ not(equals(Equals_Param, Pos_Param7)),
2479 not(holds_at(pos(Pos_Param, Pos_Ret), start)),
2480 not(holds_at(pos(Pos_Param7, Pos_Ret), t)),
2481 holds_at(pos(Pos_Param7, Pos_Ret), start),
2482 large(Pos_Param),
2483 large(Pos_Param7),
2484 b(t, start),
2485 ignore(t+1=start)
2486 ]).
2487axiom(not(holds_at(pos(Pos_Param, Pos_Ret), t)),
2488
2489 [ not(holds_at(abnormalEncroachment(Equals_Param), t)),
2490 not(holds_at(pos(Pos_Param, Pos_Ret), start)),
2491 not(holds_at(pos(Pos_Param7, Pos_Ret), t)),
2492 holds_at(pos(Pos_Param7, Pos_Ret), start),
2493 large(Pos_Param),
2494 large(Pos_Param7),
2495 b(t, start),
2496 ignore(t+1=start)
2497 ]).
2498
2499 2510axiom(holds_at(pos(Pos_Param11, Pos_Ret14), start),
2511
2512 [ not(equals(Equals_Param13, Pos_Param12)),
2513 not(holds_at(pos(Pos_Param12, Pos_Ret14), t)),
2514 holds_at(pos(Pos_Param12, Pos_Ret14), start),
2515 holds_at(pos(Pos_Param11, Pos_Ret14), t),
2516 large(Pos_Param11),
2517 large(Pos_Param12),
2518 b(t, start),
2519 ignore(t+1=start)
2520 ]).
2521axiom(holds_at(pos(Pos_Param11, Pos_Ret14), start),
2522
2523 [ not(holds_at(abnormalEncroachment(Equals_Param13), t)),
2524 not(holds_at(pos(Pos_Param12, Pos_Ret14), t)),
2525 holds_at(pos(Pos_Param12, Pos_Ret14), start),
2526 holds_at(pos(Pos_Param11, Pos_Ret14), t),
2527 large(Pos_Param11),
2528 large(Pos_Param12),
2529 b(t, start),
2530 ignore(t+1=start)
2531 ]).
2532
2533 2543axiom(holds_at(pos(Pos_Param16, Pos_Ret19), t),
2544
2545 [ not(equals(Equals_Param18, Pos_Param16)),
2546 holds_at(pos(Pos_Param16, Pos_Ret19), start),
2547 not(holds_at(pos(Pos_Param17, Pos_Ret19), start)),
2548 holds_at(pos(Pos_Param17, Pos_Ret19), t),
2549 large(Pos_Param17),
2550 large(Pos_Param16),
2551 b(t, start),
2552 ignore(t+1=start)
2553 ]).
2554axiom(holds_at(pos(Pos_Param16, Pos_Ret19), t),
2555
2556 [ not(holds_at(abnormalEncroachment(Equals_Param18), t)),
2557 holds_at(pos(Pos_Param16, Pos_Ret19), start),
2558 not(holds_at(pos(Pos_Param17, Pos_Ret19), start)),
2559 holds_at(pos(Pos_Param17, Pos_Ret19), t),
2560 large(Pos_Param17),
2561 large(Pos_Param16),
2562 b(t, start),
2563 ignore(t+1=start)
2564 ]).
2565
2566 2576axiom(not(holds_at(pos(Pos_Param21, Pos_Ret24), start)),
2577
2578 [ not(equals(Equals_Param23, Pos_Param21)),
2579 not(holds_at(pos(Pos_Param21, Pos_Ret24), t)),
2580 not(holds_at(pos(Pos_Param22, Pos_Ret24), start)),
2581 holds_at(pos(Pos_Param22, Pos_Ret24), t),
2582 large(Pos_Param22),
2583 large(Pos_Param21),
2584 b(t, start),
2585 ignore(t+1=start)
2586 ]).
2587axiom(not(holds_at(pos(Pos_Param21, Pos_Ret24), start)),
2588
2589 [ not(holds_at(abnormalEncroachment(Equals_Param23), t)),
2590 not(holds_at(pos(Pos_Param21, Pos_Ret24), t)),
2591 not(holds_at(pos(Pos_Param22, Pos_Ret24), start)),
2592 holds_at(pos(Pos_Param22, Pos_Ret24), t),
2593 large(Pos_Param22),
2594 large(Pos_Param21),
2595 b(t, start),
2596 ignore(t+1=start)
2597 ]).
2598
2599 2611axiom(not(large(Pos_Param27)),
2612
2613 [ not(equals(Equals_Param26, Pos_Param28)),
2614 large(Pos_Param28),
2615 holds_at(pos(Pos_Param27, Pos_Ret29), t),
2616 not(holds_at(pos(Pos_Param27, Pos_Ret29), start)),
2617 not(holds_at(pos(Pos_Param28, Pos_Ret29), t)),
2618 holds_at(pos(Pos_Param28, Pos_Ret29), start),
2619 b(t, start),
2620 ignore(t+1=start)
2621 ]).
2622axiom(not(large(Pos_Param27)),
2623
2624 [ not(holds_at(abnormalEncroachment(Equals_Param26), t)),
2625 large(Pos_Param28),
2626 holds_at(pos(Pos_Param27, Pos_Ret29), t),
2627 not(holds_at(pos(Pos_Param27, Pos_Ret29), start)),
2628 not(holds_at(pos(Pos_Param28, Pos_Ret29), t)),
2629 holds_at(pos(Pos_Param28, Pos_Ret29), start),
2630 b(t, start),
2631 ignore(t+1=start)
2632 ]).
2633
2634 2644axiom(not(large(Pos_Param33)),
2645
2646 [ not(equals(Equals_Param31, Pos_Param33)),
2647 large(Pos_Param32),
2648 holds_at(pos(Pos_Param32, Pos_Ret34), t),
2649 not(holds_at(pos(Pos_Param32, Pos_Ret34), start)),
2650 not(holds_at(pos(Pos_Param33, Pos_Ret34), t)),
2651 holds_at(pos(Pos_Param33, Pos_Ret34), start),
2652 b(t, start),
2653 ignore(t+1=start)
2654 ]).
2655axiom(not(large(Pos_Param33)),
2656
2657 [ not(holds_at(abnormalEncroachment(Equals_Param31), t)),
2658 large(Pos_Param32),
2659 holds_at(pos(Pos_Param32, Pos_Ret34), t),
2660 not(holds_at(pos(Pos_Param32, Pos_Ret34), start)),
2661 not(holds_at(pos(Pos_Param33, Pos_Ret34), t)),
2662 holds_at(pos(Pos_Param33, Pos_Ret34), start),
2663 b(t, start),
2664 ignore(t+1=start)
2665 ]).
2666
2667 2675axiom(equals(Equals_Param36, Pos_Param38),
2676
2677 [ large(Pos_Param38),
2678 large(Pos_Param37),
2679 holds_at(pos(Pos_Param37, Pos_Ret39), t),
2680 not(holds_at(pos(Pos_Param37, Pos_Ret39), start)),
2681 not(holds_at(pos(Pos_Param38, Pos_Ret39), t)),
2682 holds_at(pos(Pos_Param38, Pos_Ret39), start),
2683 b(t, start),
2684 ignore(t+1=start)
2685 ]).
2686
2687 2695axiom(holds_at(abnormalEncroachment(AbnormalEncroachment_Ret), t),
2696
2697 [ large(Pos_Param42),
2698 large(Pos_Param41),
2699 holds_at(pos(Pos_Param41, Pos_Ret44), t),
2700 not(holds_at(pos(Pos_Param41, Pos_Ret44), start)),
2701 not(holds_at(pos(Pos_Param42, Pos_Ret44), t)),
2702 holds_at(pos(Pos_Param42, Pos_Ret44), start),
2703 b(t, start),
2704 ignore(t+1=start)
2705 ]).
2706
2707
2718axiom(not(exists([Gate], sides(Position1, Position2, Gate))),
2719
2720 [ { dif(Animal1, Animal2)
2721 },
2722 large(Animal1),
2723 large(Animal2),
2724 holds_at(pos(Animal1, Position1), t),
2725 holds_at(pos(Animal1, Position2), start),
2726 holds_at(pos(Animal2, Position1), t),
2727 holds_at(pos(Animal2, Position2), start),
2728 b(t, start),
2729 ignore(t+1=start)
2730 ]).
2731
2732
2743axiom(not(exists([Gate], sides(Position1, Position2, Gate))),
2744
2745 [ { dif(Animal1, Animal2)
2746 },
2747 large(Animal1),
2748 large(Animal2),
2749 holds_at(pos(Animal1, Position1), t),
2750 holds_at(pos(Animal1, Position2), start),
2751 holds_at(pos(Animal2, Position2), t),
2752 holds_at(pos(Animal2, Position1), start),
2753 b(t, start),
2754 ignore(t+1=start)
2755 ]).
2756
2757
2767axiom(not(exists([Animal], (holds_at(pos(Animal, Position1), t), holds_at(pos(Animal, Position2), t+1)))),
2768
2769 [ holds_at(opened(Gate), t),
2770 not(holds_at(opened(Gate), start)),
2771 sides(Position1, Position2, Gate),
2772 b(t, start),
2773 ignore(t+1=start)
2774 ]).
2775
2776% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:394
2777% gate GateAO
2778% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:395
2779==> t(gate,gateAO).
2780
2781% cage CageA
2782% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:396
2783==> t(cage,cageA).
2784
2785
2788loc(1,cageA).
2789
2790
2793loc(2,cageA).
2794
2795
2798loc(3,cageA).
2799
2800
2803loc(4,cageA).
2804
2805
2808loc(5,outside).
2809
2810
2813loc(6,outside).
2814
2815
2818loc(7,outside).
2819
2820
2823loc(8,outside).
2824
2825
2855
2856 2912axiom(neighbor(Position1, Position2),
2913 [equals(Position1, 1), equals(Position2, 2)]).
2914axiom(neighbor(Position1, Position2),
2915 [equals(Position1, 1), equals(Position2, 3)]).
2916axiom(neighbor(Position1, Position2),
2917 [equals(Position1, 1), equals(Position2, 4)]).
2918axiom(neighbor(Position1, Position2),
2919 [equals(Position1, 2), equals(Position2, 3)]).
2920axiom(neighbor(Position1, Position2),
2921 [equals(Position1, 2), equals(Position2, 4)]).
2922axiom(neighbor(Position1, Position2),
2923 [equals(Position1, 3), equals(Position2, 4)]).
2924axiom(neighbor(Position1, Position2),
2925 [equals(Position1, 5), equals(Position2, 6)]).
2926axiom(neighbor(Position1, Position2),
2927 [equals(Position1, 5), equals(Position2, 7)]).
2928axiom(neighbor(Position1, Position2),
2929 [equals(Position1, 5), equals(Position2, 8)]).
2930axiom(neighbor(Position1, Position2),
2931 [equals(Position1, 6), equals(Position2, 7)]).
2932axiom(neighbor(Position1, Position2),
2933 [equals(Position1, 6), equals(Position2, 8)]).
2934axiom(neighbor(Position1, Position2),
2935 [equals(Position1, 7), equals(Position2, 8)]).
2936axiom(neighbor(Position1, Position2),
2937 [equals(Position2, 1), equals(Position1, 2)]).
2938axiom(neighbor(Position1, Position2),
2939 [equals(Position2, 1), equals(Position1, 3)]).
2940axiom(neighbor(Position1, Position2),
2941 [equals(Position2, 1), equals(Position1, 4)]).
2942axiom(neighbor(Position1, Position2),
2943 [equals(Position2, 2), equals(Position1, 3)]).
2944axiom(neighbor(Position1, Position2),
2945 [equals(Position2, 2), equals(Position1, 4)]).
2946axiom(neighbor(Position1, Position2),
2947 [equals(Position2, 3), equals(Position1, 4)]).
2948axiom(neighbor(Position1, Position2),
2949 [equals(Position2, 5), equals(Position1, 6)]).
2950axiom(neighbor(Position1, Position2),
2951 [equals(Position2, 5), equals(Position1, 7)]).
2952axiom(neighbor(Position1, Position2),
2953 [equals(Position2, 5), equals(Position1, 8)]).
2954axiom(neighbor(Position1, Position2),
2955 [equals(Position2, 6), equals(Position1, 7)]).
2956axiom(neighbor(Position1, Position2),
2957 [equals(Position2, 6), equals(Position1, 8)]).
2958axiom(neighbor(Position1, Position2),
2959 [equals(Position2, 7), equals(Position1, 8)]).
2960axiom(neighbor(Position1, Position2),
2961 [equals(Position1, 4), equals(Position2, 7)]).
2962axiom(neighbor(Position1, Position2),
2963 [equals(Position2, 4), equals(Position1, 7)]).
2964
2965 2968todo_later(if(neighbor(Position1, Position2), (Position1=1, Position2=2;Position1=1, Position2=3;Position1=1, Position2=4;Position1=2, Position2=3;Position1=2, Position2=4;Position1=3, Position2=4;Position1=5, Position2=6;Position1=5, Position2=7;Position1=5, Position2=8;Position1=6, Position2=7;Position1=6, Position2=8;Position1=7, Position2=8;Position2=1, Position1=2;Position2=1, Position1=3;Position2=1, Position1=4;Position2=2, Position1=3;Position2=2, Position1=4;Position2=3, Position1=4;Position2=5, Position1=6;Position2=5, Position1=7;Position2=5, Position1=8;Position2=6, Position1=7;Position2=6, Position1=8;Position2=7, Position1=8;Position1=4, Position2=7;Position2=4, Position1=7)), [(not(neighbor(Neighbor_Param, Equals_Param)):-(not(equals(Neighbor_Param, 1));not(equals(Equals_Param, 2))), (not(equals(Neighbor_Param, 1));not(equals(Equals_Param, 3))), (not(equals(Neighbor_Param, 1));not(equals(Equals_Param, 4))), (not(equals(Neighbor_Param, 2));not(equals(Equals_Param, 3))), (not(equals(Neighbor_Param, 2));not(equals(Equals_Param, 4))), (not(equals(Neighbor_Param, 3));not(equals(Equals_Param, 4))), (not(equals(Neighbor_Param, 5));not(equals(Equals_Param, 6))), (not(equals(Neighbor_Param, 5));not(equals(Equals_Param, 7))), (not(equals(Neighbor_Param, 5));not(equals(Equals_Param, 8))), (not(equals(Neighbor_Param, 6));not(equals(Equals_Param, 7))), (not(equals(Neighbor_Param, 6));not(equals(Equals_Param, 8))), (not(equals(Neighbor_Param, 7));not(equals(Equals_Param, 8))), (not(equals(Equals_Param, 1));not(equals(Neighbor_Param, 2))), (not(equals(Equals_Param, 1));not(equals(Neighbor_Param, 3))), (not(equals(Equals_Param, 1));not(equals(Neighbor_Param, 4))), (not(equals(Equals_Param, 2));not(equals(Neighbor_Param, 3))), (not(equals(Equals_Param, 2));not(equals(Neighbor_Param, 4))), (not(equals(Equals_Param, 3));not(equals(Neighbor_Param, 4))), (not(equals(Equals_Param, 5));not(equals(Neighbor_Param, 6))), (not(equals(Equals_Param, 5));not(equals(Neighbor_Param, 7))), (not(equals(Equals_Param, 5));not(equals(Neighbor_Param, 8))), (not(equals(Equals_Param, 6));not(equals(Neighbor_Param, 7))), (not(equals(Equals_Param, 6));not(equals(Neighbor_Param, 8))), (not(equals(Equals_Param, 7));not(equals(Neighbor_Param, 8))), (not(equals(Neighbor_Param, 4));not(equals(Equals_Param, 7))), (not(equals(Equals_Param, 4));not(equals(Neighbor_Param, 7)))), (equals(Equals_Param4, 1):-((not(equals(Equals_Param4, 1));not(equals(Equals_Param5, 3))), (not(equals(Equals_Param4, 1));not(equals(Equals_Param5, 4))), (not(equals(Equals_Param4, 2));not(equals(Equals_Param5, 3))), (not(equals(Equals_Param4, 2));not(equals(Equals_Param5, 4))), (not(equals(Equals_Param4, 3));not(equals(Equals_Param5, 4))), (not(equals(Equals_Param4, 5));not(equals(Equals_Param5, 6))), (not(equals(Equals_Param4, 5));not(equals(Equals_Param5, 7))), (not(equals(Equals_Param4, 5));not(equals(Equals_Param5, 8))), (not(equals(Equals_Param4, 6));not(equals(Equals_Param5, 7))), (not(equals(Equals_Param4, 6));not(equals(Equals_Param5, 8))), (not(equals(Equals_Param4, 7));not(equals(Equals_Param5, 8))), (not(equals(Equals_Param5, 1));not(equals(Equals_Param4, 2))), (not(equals(Equals_Param5, 1));not(equals(Equals_Param4, 3))), (not(equals(Equals_Param5, 1));not(equals(Equals_Param4, 4))), (not(equals(Equals_Param5, 2));not(equals(Equals_Param4, 3))), (not(equals(Equals_Param5, 2));not(equals(Equals_Param4, 4))), (not(equals(Equals_Param5, 3));not(equals(Equals_Param4, 4))), (not(equals(Equals_Param5, 5));not(equals(Equals_Param4, 6))), (not(equals(Equals_Param5, 5));not(equals(Equals_Param4, 7))), (not(equals(Equals_Param5, 5));not(equals(Equals_Param4, 8))), (not(equals(Equals_Param5, 6));not(equals(Equals_Param4, 7))), (not(equals(Equals_Param5, 6));not(equals(Equals_Param4, 8))), (not(equals(Equals_Param5, 7));not(equals(Equals_Param4, 8))), (not(equals(Equals_Param4, 4));not(equals(Equals_Param5, 7))), (not(equals(Equals_Param5, 4));not(equals(Equals_Param4, 7)))), neighbor(Equals_Param4, Equals_Param5)), (equals(Equals_Param6, 2):-((not(equals(Equals_Param7, 1));not(equals(Equals_Param6, 3))), (not(equals(Equals_Param7, 1));not(equals(Equals_Param6, 4))), (not(equals(Equals_Param7, 2));not(equals(Equals_Param6, 3))), (not(equals(Equals_Param7, 2));not(equals(Equals_Param6, 4))), (not(equals(Equals_Param7, 3));not(equals(Equals_Param6, 4))), (not(equals(Equals_Param7, 5));not(equals(Equals_Param6, 6))), (not(equals(Equals_Param7, 5));not(equals(Equals_Param6, 7))), (not(equals(Equals_Param7, 5));not(equals(Equals_Param6, 8))), (not(equals(Equals_Param7, 6));not(equals(Equals_Param6, 7))), (not(equals(Equals_Param7, 6));not(equals(Equals_Param6, 8))), (not(equals(Equals_Param7, 7));not(equals(Equals_Param6, 8))), (not(equals(Equals_Param6, 1));not(equals(Equals_Param7, 2))), (not(equals(Equals_Param6, 1));not(equals(Equals_Param7, 3))), (not(equals(Equals_Param6, 1));not(equals(Equals_Param7, 4))), (not(equals(Equals_Param6, 2));not(equals(Equals_Param7, 3))), (not(equals(Equals_Param6, 2));not(equals(Equals_Param7, 4))), (not(equals(Equals_Param6, 3));not(equals(Equals_Param7, 4))), (not(equals(Equals_Param6, 5));not(equals(Equals_Param7, 6))), (not(equals(Equals_Param6, 5));not(equals(Equals_Param7, 7))), (not(equals(Equals_Param6, 5));not(equals(Equals_Param7, 8))), (not(equals(Equals_Param6, 6));not(equals(Equals_Param7, 7))), (not(equals(Equals_Param6, 6));not(equals(Equals_Param7, 8))), (not(equals(Equals_Param6, 7));not(equals(Equals_Param7, 8))), (not(equals(Equals_Param7, 4));not(equals(Equals_Param6, 7))), (not(equals(Equals_Param6, 4));not(equals(Equals_Param7, 7)))), neighbor(Equals_Param7, Equals_Param6)), (equals(Equals_Param8, 1):-((not(equals(Equals_Param8, 1));not(equals(Equals_Param9, 4))), (not(equals(Equals_Param8, 2));not(equals(Equals_Param9, 3))), (not(equals(Equals_Param8, 2));not(equals(Equals_Param9, 4))), (not(equals(Equals_Param8, 3));not(equals(Equals_Param9, 4))), (not(equals(Equals_Param8, 5));not(equals(Equals_Param9, 6))), (not(equals(Equals_Param8, 5));not(equals(Equals_Param9, 7))), (not(equals(Equals_Param8, 5));not(equals(Equals_Param9, 8))), (not(equals(Equals_Param8, 6));not(equals(Equals_Param9, 7))), (not(equals(Equals_Param8, 6));not(equals(Equals_Param9, 8))), (not(equals(Equals_Param8, 7));not(equals(Equals_Param9, 8))), (not(equals(Equals_Param9, 1));not(equals(Equals_Param8, 2))), (not(equals(Equals_Param9, 1));not(equals(Equals_Param8, 3))), (not(equals(Equals_Param9, 1));not(equals(Equals_Param8, 4))), (not(equals(Equals_Param9, 2));not(equals(Equals_Param8, 3))), (not(equals(Equals_Param9, 2));not(equals(Equals_Param8, 4))), (not(equals(Equals_Param9, 3));not(equals(Equals_Param8, 4))), (not(equals(Equals_Param9, 5));not(equals(Equals_Param8, 6))), (not(equals(Equals_Param9, 5));not(equals(Equals_Param8, 7))), (not(equals(Equals_Param9, 5));not(equals(Equals_Param8, 8))), (not(equals(Equals_Param9, 6));not(equals(Equals_Param8, 7))), (not(equals(Equals_Param9, 6));not(equals(Equals_Param8, 8))), (not(equals(Equals_Param9, 7));not(equals(Equals_Param8, 8))), (not(equals(Equals_Param8, 4));not(equals(Equals_Param9, 7))), (not(equals(Equals_Param9, 4));not(equals(Equals_Param8, 7)))), (not(equals(Equals_Param8, 1));not(equals(Equals_Param9, 2))), neighbor(Equals_Param8, Equals_Param9)), (equals(Equals_Param10, 3):-((not(equals(Equals_Param11, 1));not(equals(Equals_Param10, 4))), (not(equals(Equals_Param11, 2));not(equals(Equals_Param10, 3))), (not(equals(Equals_Param11, 2));not(equals(Equals_Param10, 4))), (not(equals(Equals_Param11, 3));not(equals(Equals_Param10, 4))), (not(equals(Equals_Param11, 5));not(equals(Equals_Param10, 6))), (not(equals(Equals_Param11, 5));not(equals(Equals_Param10, 7))), (not(equals(Equals_Param11, 5));not(equals(Equals_Param10, 8))), (not(equals(Equals_Param11, 6));not(equals(Equals_Param10, 7))), (not(equals(Equals_Param11, 6));not(equals(Equals_Param10, 8))), (not(equals(Equals_Param11, 7));not(equals(Equals_Param10, 8))), (not(equals(Equals_Param10, 1));not(equals(Equals_Param11, 2))), (not(equals(Equals_Param10, 1));not(equals(Equals_Param11, 3))), (not(equals(Equals_Param10, 1));not(equals(Equals_Param11, 4))), (not(equals(Equals_Param10, 2));not(equals(Equals_Param11, 3))), (not(equals(Equals_Param10, 2));not(equals(Equals_Param11, 4))), (not(equals(Equals_Param10, 3));not(equals(Equals_Param11, 4))), (not(equals(Equals_Param10, 5));not(equals(Equals_Param11, 6))), (not(equals(Equals_Param10, 5));not(equals(Equals_Param11, 7))), (not(equals(Equals_Param10, 5));not(equals(Equals_Param11, 8))), (not(equals(Equals_Param10, 6));not(equals(Equals_Param11, 7))), (not(equals(Equals_Param10, 6));not(equals(Equals_Param11, 8))), (not(equals(Equals_Param10, 7));not(equals(Equals_Param11, 8))), (not(equals(Equals_Param11, 4));not(equals(Equals_Param10, 7))), (not(equals(Equals_Param10, 4));not(equals(Equals_Param11, 7)))), (not(equals(Equals_Param11, 1));not(equals(Equals_Param10, 2))), neighbor(Equals_Param11, Equals_Param10)), (equals(Equals_Param12, 1):-((not(equals(Equals_Param12, 2));not(equals(Equals_Param13, 3))), (not(equals(Equals_Param12, 2));not(equals(Equals_Param13, 4))), (not(equals(Equals_Param12, 3));not(equals(Equals_Param13, 4))), (not(equals(Equals_Param12, 5));not(equals(Equals_Param13, 6))), (not(equals(Equals_Param12, 5));not(equals(Equals_Param13, 7))), (not(equals(Equals_Param12, 5));not(equals(Equals_Param13, 8))), (not(equals(Equals_Param12, 6));not(equals(Equals_Param13, 7))), (not(equals(Equals_Param12, 6));not(equals(Equals_Param13, 8))), (not(equals(Equals_Param12, 7));not(equals(Equals_Param13, 8))), (not(equals(Equals_Param13, 1));not(equals(Equals_Param12, 2))), (not(equals(Equals_Param13, 1));not(equals(Equals_Param12, 3))), (not(equals(Equals_Param13, 1));not(equals(Equals_Param12, 4))), (not(equals(Equals_Param13, 2));not(equals(Equals_Param12, 3))), (not(equals(Equals_Param13, 2));not(equals(Equals_Param12, 4))), (not(equals(Equals_Param13, 3));not(equals(Equals_Param12, 4))), (not(equals(Equals_Param13, 5));not(equals(Equals_Param12, 6))), (not(equals(Equals_Param13, 5));not(equals(Equals_Param12, 7))), (not(equals(Equals_Param13, 5));not(equals(Equals_Param12, 8))), (not(equals(Equals_Param13, 6));not(equals(Equals_Param12, 7))), (not(equals(Equals_Param13, 6));not(equals(Equals_Param12, 8))), (not(equals(Equals_Param13, 7));not(equals(Equals_Param12, 8))), (not(equals(Equals_Param12, 4));not(equals(Equals_Param13, 7))), (not(equals(Equals_Param13, 4));not(equals(Equals_Param12, 7)))), (not(equals(Equals_Param12, 1));not(equals(Equals_Param13, 3))), (not(equals(Equals_Param12, 1));not(equals(Equals_Param13, 2))), neighbor(Equals_Param12, Equals_Param13)), (equals(Equals_Param14, 4):-((not(equals(Equals_Param15, 2));not(equals(Equals_Param14, 3))), (not(equals(Equals_Param15, 2));not(equals(Equals_Param14, 4))), (not(equals(Equals_Param15, 3));not(equals(Equals_Param14, 4))), (not(equals(Equals_Param15, 5));not(equals(Equals_Param14, 6))), (not(equals(Equals_Param15, 5));not(equals(Equals_Param14, 7))), (not(equals(Equals_Param15, 5));not(equals(Equals_Param14, 8))), (not(equals(Equals_Param15, 6));not(equals(Equals_Param14, 7))), (not(equals(Equals_Param15, 6));not(equals(Equals_Param14, 8))), (not(equals(Equals_Param15, 7));not(equals(Equals_Param14, 8))), (not(equals(Equals_Param14, 1));not(equals(Equals_Param15, 2))), (not(equals(Equals_Param14, 1));not(equals(Equals_Param15, 3))), (not(equals(Equals_Param14, 1));not(equals(Equals_Param15, 4))), (not(equals(Equals_Param14, 2));not(equals(Equals_Param15, 3))), (not(equals(Equals_Param14, 2));not(equals(Equals_Param15, 4))), (not(equals(Equals_Param14, 3));not(equals(Equals_Param15, 4))), (not(equals(Equals_Param14, 5));not(equals(Equals_Param15, 6))), (not(equals(Equals_Param14, 5));not(equals(Equals_Param15, 7))), (not(equals(Equals_Param14, 5));not(equals(Equals_Param15, 8))), (not(equals(Equals_Param14, 6));not(equals(Equals_Param15, 7))), (not(equals(Equals_Param14, 6));not(equals(Equals_Param15, 8))), (not(equals(Equals_Param14, 7));not(equals(Equals_Param15, 8))), (not(equals(Equals_Param15, 4));not(equals(Equals_Param14, 7))), (not(equals(Equals_Param14, 4));not(equals(Equals_Param15, 7)))), (not(equals(Equals_Param15, 1));not(equals(Equals_Param14, 3))), (not(equals(Equals_Param15, 1));not(equals(Equals_Param14, 2))), neighbor(Equals_Param15, Equals_Param14)), (equals(Equals_Param16, 2):-((not(equals(Equals_Param16, 2));not(equals(Equals_Param17, 4))), (not(equals(Equals_Param16, 3));not(equals(Equals_Param17, 4))), (not(equals(Equals_Param16, 5));not(equals(Equals_Param17, 6))), (not(equals(Equals_Param16, 5));not(equals(Equals_Param17, 7))), (not(equals(Equals_Param16, 5));not(equals(Equals_Param17, 8))), (not(equals(Equals_Param16, 6));not(equals(Equals_Param17, 7))), (not(equals(Equals_Param16, 6));not(equals(Equals_Param17, 8))), (not(equals(Equals_Param16, 7));not(equals(Equals_Param17, 8))), (not(equals(Equals_Param17, 1));not(equals(Equals_Param16, 2))), (not(equals(Equals_Param17, 1));not(equals(Equals_Param16, 3))), (not(equals(Equals_Param17, 1));not(equals(Equals_Param16, 4))), (not(equals(Equals_Param17, 2));not(equals(Equals_Param16, 3))), (not(equals(Equals_Param17, 2));not(equals(Equals_Param16, 4))), (not(equals(Equals_Param17, 3));not(equals(Equals_Param16, 4))), (not(equals(Equals_Param17, 5));not(equals(Equals_Param16, 6))), (not(equals(Equals_Param17, 5));not(equals(Equals_Param16, 7))), (not(equals(Equals_Param17, 5));not(equals(Equals_Param16, 8))), (not(equals(Equals_Param17, 6));not(equals(Equals_Param16, 7))), (not(equals(Equals_Param17, 6));not(equals(Equals_Param16, 8))), (not(equals(Equals_Param17, 7));not(equals(Equals_Param16, 8))), (not(equals(Equals_Param16, 4));not(equals(Equals_Param17, 7))), (not(equals(Equals_Param17, 4));not(equals(Equals_Param16, 7)))), (not(equals(Equals_Param16, 1));not(equals(Equals_Param17, 4))), (not(equals(Equals_Param16, 1));not(equals(Equals_Param17, 3))), (not(equals(Equals_Param16, 1));not(equals(Equals_Param17, 2))), neighbor(Equals_Param16, Equals_Param17)), (equals(Equals_Param18, 3):-((not(equals(Equals_Param19, 2));not(equals(Equals_Param18, 4))), (not(equals(Equals_Param19, 3));not(equals(Equals_Param18, 4))), (not(equals(Equals_Param19, 5));not(equals(Equals_Param18, 6))), (not(equals(Equals_Param19, 5));not(equals(Equals_Param18, 7))), (not(equals(Equals_Param19, 5));not(equals(Equals_Param18, 8))), (not(equals(Equals_Param19, 6));not(equals(Equals_Param18, 7))), (not(equals(Equals_Param19, 6));not(equals(Equals_Param18, 8))), (not(equals(Equals_Param19, 7));not(equals(Equals_Param18, 8))), (not(equals(Equals_Param18, 1));not(equals(Equals_Param19, 2))), (not(equals(Equals_Param18, 1));not(equals(Equals_Param19, 3))), (not(equals(Equals_Param18, 1));not(equals(Equals_Param19, 4))), (not(equals(Equals_Param18, 2));not(equals(Equals_Param19, 3))), (not(equals(Equals_Param18, 2));not(equals(Equals_Param19, 4))), (not(equals(Equals_Param18, 3));not(equals(Equals_Param19, 4))), (not(equals(Equals_Param18, 5));not(equals(Equals_Param19, 6))), (not(equals(Equals_Param18, 5));not(equals(Equals_Param19, 7))), (not(equals(Equals_Param18, 5));not(equals(Equals_Param19, 8))), (not(equals(Equals_Param18, 6));not(equals(Equals_Param19, 7))), (not(equals(Equals_Param18, 6));not(equals(Equals_Param19, 8))), (not(equals(Equals_Param18, 7));not(equals(Equals_Param19, 8))), (not(equals(Equals_Param19, 4));not(equals(Equals_Param18, 7))), (not(equals(Equals_Param18, 4));not(equals(Equals_Param19, 7)))), (not(equals(Equals_Param19, 1));not(equals(Equals_Param18, 4))), (not(equals(Equals_Param19, 1));not(equals(Equals_Param18, 3))), (not(equals(Equals_Param19, 1));not(equals(Equals_Param18, 2))), neighbor(Equals_Param19, Equals_Param18)), (equals(Equals_Param20, 2):-((not(equals(Equals_Param20, 3));not(equals(Equals_Param21, 4))), (not(equals(Equals_Param20, 5));not(equals(Equals_Param21, 6))), (not(equals(Equals_Param20, 5));not(equals(Equals_Param21, 7))), (not(equals(Equals_Param20, 5));not(equals(Equals_Param21, 8))), (not(equals(Equals_Param20, 6));not(equals(Equals_Param21, 7))), (not(equals(Equals_Param20, 6));not(equals(Equals_Param21, 8))), (not(equals(Equals_Param20, 7));not(equals(Equals_Param21, 8))), (not(equals(Equals_Param21, 1));not(equals(Equals_Param20, 2))), (not(equals(Equals_Param21, 1));not(equals(Equals_Param20, 3))), (not(equals(Equals_Param21, 1));not(equals(Equals_Param20, 4))), (not(equals(Equals_Param21, 2));not(equals(Equals_Param20, 3))), (not(equals(Equals_Param21, 2));not(equals(Equals_Param20, 4))), (not(equals(Equals_Param21, 3));not(equals(Equals_Param20, 4))), (not(equals(Equals_Param21, 5));not(equals(Equals_Param20, 6))), (not(equals(Equals_Param21, 5));not(equals(Equals_Param20, 7))), (not(equals(Equals_Param21, 5));not(equals(Equals_Param20, 8))), (not(equals(Equals_Param21, 6));not(equals(Equals_Param20, 7))), (not(equals(Equals_Param21, 6));not(equals(Equals_Param20, 8))), (not(equals(Equals_Param21, 7));not(equals(Equals_Param20, 8))), (not(equals(Equals_Param20, 4));not(equals(Equals_Param21, 7))), (not(equals(Equals_Param21, 4));not(equals(Equals_Param20, 7)))), (not(equals(Equals_Param20, 2));not(equals(Equals_Param21, 3))), (not(equals(Equals_Param20, 1));not(equals(Equals_Param21, 4))), (not(equals(Equals_Param20, 1));not(equals(Equals_Param21, 3))), (not(equals(Equals_Param20, 1));not(equals(Equals_Param21, 2))), neighbor(Equals_Param20, Equals_Param21)), (equals(Equals_Param22, 4):-((not(equals(Equals_Param23, 3));not(equals(Equals_Param22, 4))), (not(equals(Equals_Param23, 5));not(equals(Equals_Param22, 6))), (not(equals(Equals_Param23, 5));not(equals(Equals_Param22, 7))), (not(equals(Equals_Param23, 5));not(equals(Equals_Param22, 8))), (not(equals(Equals_Param23, 6));not(equals(Equals_Param22, 7))), (not(equals(Equals_Param23, 6));not(equals(Equals_Param22, 8))), (not(equals(Equals_Param23, 7));not(equals(Equals_Param22, 8))), (not(equals(Equals_Param22, 1));not(equals(Equals_Param23, 2))), (not(equals(Equals_Param22, 1));not(equals(Equals_Param23, 3))), (not(equals(Equals_Param22, 1));not(equals(Equals_Param23, 4))), (not(equals(Equals_Param22, 2));not(equals(Equals_Param23, 3))), (not(equals(Equals_Param22, 2));not(equals(Equals_Param23, 4))), (not(equals(Equals_Param22, 3));not(equals(Equals_Param23, 4))), (not(equals(Equals_Param22, 5));not(equals(Equals_Param23, 6))), (not(equals(Equals_Param22, 5));not(equals(Equals_Param23, 7))), (not(equals(Equals_Param22, 5));not(equals(Equals_Param23, 8))), (not(equals(Equals_Param22, 6));not(equals(Equals_Param23, 7))), (not(equals(Equals_Param22, 6));not(equals(Equals_Param23, 8))), (not(equals(Equals_Param22, 7));not(equals(Equals_Param23, 8))), (not(equals(Equals_Param23, 4));not(equals(Equals_Param22, 7))), (not(equals(Equals_Param22, 4));not(equals(Equals_Param23, 7)))), (not(equals(Equals_Param23, 2));not(equals(Equals_Param22, 3))), (not(equals(Equals_Param23, 1));not(equals(Equals_Param22, 4))), (not(equals(Equals_Param23, 1));not(equals(Equals_Param22, 3))), (not(equals(Equals_Param23, 1));not(equals(Equals_Param22, 2))), neighbor(Equals_Param23, Equals_Param22)), (equals(Equals_Param24, 3):-((not(equals(Equals_Param24, 5));not(equals(Equals_Param25, 6))), (not(equals(Equals_Param24, 5));not(equals(Equals_Param25, 7))), (not(equals(Equals_Param24, 5));not(equals(Equals_Param25, 8))), (not(equals(Equals_Param24, 6));not(equals(Equals_Param25, 7))), (not(equals(Equals_Param24, 6));not(equals(Equals_Param25, 8))), (not(equals(Equals_Param24, 7));not(equals(Equals_Param25, 8))), (not(equals(Equals_Param25, 1));not(equals(Equals_Param24, 2))), (not(equals(Equals_Param25, 1));not(equals(Equals_Param24, 3))), (not(equals(Equals_Param25, 1));not(equals(Equals_Param24, 4))), (not(equals(Equals_Param25, 2));not(equals(Equals_Param24, 3))), (not(equals(Equals_Param25, 2));not(equals(Equals_Param24, 4))), (not(equals(Equals_Param25, 3));not(equals(Equals_Param24, 4))), (not(equals(Equals_Param25, 5));not(equals(Equals_Param24, 6))), (not(equals(Equals_Param25, 5));not(equals(Equals_Param24, 7))), (not(equals(Equals_Param25, 5));not(equals(Equals_Param24, 8))), (not(equals(Equals_Param25, 6));not(equals(Equals_Param24, 7))), (not(equals(Equals_Param25, 6));not(equals(Equals_Param24, 8))), (not(equals(Equals_Param25, 7));not(equals(Equals_Param24, 8))), (not(equals(Equals_Param24, 4));not(equals(Equals_Param25, 7))), (not(equals(Equals_Param25, 4));not(equals(Equals_Param24, 7)))), (not(equals(Equals_Param24, 2));not(equals(Equals_Param25, 4))), (not(equals(Equals_Param24, 2));not(equals(Equals_Param25, 3))), (not(equals(Equals_Param24, 1));not(equals(Equals_Param25, 4))), (not(equals(Equals_Param24, 1));not(equals(Equals_Param25, 3))), (not(equals(Equals_Param24, 1));not(equals(Equals_Param25, 2))), neighbor(Equals_Param24, Equals_Param25)), (equals(Equals_Param26, 4):-((not(equals(Equals_Param27, 5));not(equals(Equals_Param26, 6))), (not(equals(Equals_Param27, 5));not(equals(Equals_Param26, 7))), (not(equals(Equals_Param27, 5));not(equals(Equals_Param26, 8))), (not(equals(Equals_Param27, 6));not(equals(Equals_Param26, 7))), (not(equals(Equals_Param27, 6));not(equals(Equals_Param26, 8))), (not(equals(Equals_Param27, 7));not(equals(Equals_Param26, 8))), (not(equals(Equals_Param26, 1));not(equals(Equals_Param27, 2))), (not(equals(Equals_Param26, 1));not(equals(Equals_Param27, 3))), (not(equals(Equals_Param26, 1));not(equals(Equals_Param27, 4))), (not(equals(Equals_Param26, 2));not(equals(Equals_Param27, 3))), (not(equals(Equals_Param26, 2));not(equals(Equals_Param27, 4))), (not(equals(Equals_Param26, 3));not(equals(Equals_Param27, 4))), (not(equals(Equals_Param26, 5));not(equals(Equals_Param27, 6))), (not(equals(Equals_Param26, 5));not(equals(Equals_Param27, 7))), (not(equals(Equals_Param26, 5));not(equals(Equals_Param27, 8))), (not(equals(Equals_Param26, 6));not(equals(Equals_Param27, 7))), (not(equals(Equals_Param26, 6));not(equals(Equals_Param27, 8))), (not(equals(Equals_Param26, 7));not(equals(Equals_Param27, 8))), (not(equals(Equals_Param27, 4));not(equals(Equals_Param26, 7))), (not(equals(Equals_Param26, 4));not(equals(Equals_Param27, 7)))), (not(equals(Equals_Param27, 2));not(equals(Equals_Param26, 4))), (not(equals(Equals_Param27, 2));not(equals(Equals_Param26, 3))), (not(equals(Equals_Param27, 1));not(equals(Equals_Param26, 4))), (not(equals(Equals_Param27, 1));not(equals(Equals_Param26, 3))), (not(equals(Equals_Param27, 1));not(equals(Equals_Param26, 2))), neighbor(Equals_Param27, Equals_Param26)), (equals(Equals_Param28, 5):-((not(equals(Equals_Param28, 5));not(equals(Equals_Param29, 7))), (not(equals(Equals_Param28, 5));not(equals(Equals_Param29, 8))), (not(equals(Equals_Param28, 6));not(equals(Equals_Param29, 7))), (not(equals(Equals_Param28, 6));not(equals(Equals_Param29, 8))), (not(equals(Equals_Param28, 7));not(equals(Equals_Param29, 8))), (not(equals(Equals_Param29, 1));not(equals(Equals_Param28, 2))), (not(equals(Equals_Param29, 1));not(equals(Equals_Param28, 3))), (not(equals(Equals_Param29, 1));not(equals(Equals_Param28, 4))), (not(equals(Equals_Param29, 2));not(equals(Equals_Param28, 3))), (not(equals(Equals_Param29, 2));not(equals(Equals_Param28, 4))), (not(equals(Equals_Param29, 3));not(equals(Equals_Param28, 4))), (not(equals(Equals_Param29, 5));not(equals(Equals_Param28, 6))), (not(equals(Equals_Param29, 5));not(equals(Equals_Param28, 7))), (not(equals(Equals_Param29, 5));not(equals(Equals_Param28, 8))), (not(equals(Equals_Param29, 6));not(equals(Equals_Param28, 7))), (not(equals(Equals_Param29, 6));not(equals(Equals_Param28, 8))), (not(equals(Equals_Param29, 7));not(equals(Equals_Param28, 8))), (not(equals(Equals_Param28, 4));not(equals(Equals_Param29, 7))), (not(equals(Equals_Param29, 4));not(equals(Equals_Param28, 7)))), (not(equals(Equals_Param28, 3));not(equals(Equals_Param29, 4))), (not(equals(Equals_Param28, 2));not(equals(Equals_Param29, 4))), (not(equals(Equals_Param28, 2));not(equals(Equals_Param29, 3))), (not(equals(Equals_Param28, 1));not(equals(Equals_Param29, 4))), (not(equals(Equals_Param28, 1));not(equals(Equals_Param29, 3))), (not(equals(Equals_Param28, 1));not(equals(Equals_Param29, 2))), neighbor(Equals_Param28, Equals_Param29)), (equals(Equals_Param30, 6):-((not(equals(Equals_Param31, 5));not(equals(Equals_Param30, 7))), (not(equals(Equals_Param31, 5));not(equals(Equals_Param30, 8))), (not(equals(Equals_Param31, 6));not(equals(Equals_Param30, 7))), (not(equals(Equals_Param31, 6));not(equals(Equals_Param30, 8))), (not(equals(Equals_Param31, 7));not(equals(Equals_Param30, 8))), (not(equals(Equals_Param30, 1));not(equals(Equals_Param31, 2))), (not(equals(Equals_Param30, 1));not(equals(Equals_Param31, 3))), (not(equals(Equals_Param30, 1));not(equals(Equals_Param31, 4))), (not(equals(Equals_Param30, 2));not(equals(Equals_Param31, 3))), (not(equals(Equals_Param30, 2));not(equals(Equals_Param31, 4))), (not(equals(Equals_Param30, 3));not(equals(Equals_Param31, 4))), (not(equals(Equals_Param30, 5));not(equals(Equals_Param31, 6))), (not(equals(Equals_Param30, 5));not(equals(Equals_Param31, 7))), (not(equals(Equals_Param30, 5));not(equals(Equals_Param31, 8))), (not(equals(Equals_Param30, 6));not(equals(Equals_Param31, 7))), (not(equals(Equals_Param30, 6));not(equals(Equals_Param31, 8))), (not(equals(Equals_Param30, 7));not(equals(Equals_Param31, 8))), (not(equals(Equals_Param31, 4));not(equals(Equals_Param30, 7))), (not(equals(Equals_Param30, 4));not(equals(Equals_Param31, 7)))), (not(equals(Equals_Param31, 3));not(equals(Equals_Param30, 4))), (not(equals(Equals_Param31, 2));not(equals(Equals_Param30, 4))), (not(equals(Equals_Param31, 2));not(equals(Equals_Param30, 3))), (not(equals(Equals_Param31, 1));not(equals(Equals_Param30, 4))), (not(equals(Equals_Param31, 1));not(equals(Equals_Param30, 3))), (not(equals(Equals_Param31, 1));not(equals(Equals_Param30, 2))), neighbor(Equals_Param31, Equals_Param30)), (equals(Equals_Param32, 5):-((not(equals(Equals_Param32, 5));not(equals(Equals_Param33, 8))), (not(equals(Equals_Param32, 6));not(equals(Equals_Param33, 7))), (not(equals(Equals_Param32, 6));not(equals(Equals_Param33, 8))), (not(equals(Equals_Param32, 7));not(equals(Equals_Param33, 8))), (not(equals(Equals_Param33, 1));not(equals(Equals_Param32, 2))), (not(equals(Equals_Param33, 1));not(equals(Equals_Param32, 3))), (not(equals(Equals_Param33, 1));not(equals(Equals_Param32, 4))), (not(equals(Equals_Param33, 2));not(equals(Equals_Param32, 3))), (not(equals(Equals_Param33, 2));not(equals(Equals_Param32, 4))), (not(equals(Equals_Param33, 3));not(equals(Equals_Param32, 4))), (not(equals(Equals_Param33, 5));not(equals(Equals_Param32, 6))), (not(equals(Equals_Param33, 5));not(equals(Equals_Param32, 7))), (not(equals(Equals_Param33, 5));not(equals(Equals_Param32, 8))), (not(equals(Equals_Param33, 6));not(equals(Equals_Param32, 7))), (not(equals(Equals_Param33, 6));not(equals(Equals_Param32, 8))), (not(equals(Equals_Param33, 7));not(equals(Equals_Param32, 8))), (not(equals(Equals_Param32, 4));not(equals(Equals_Param33, 7))), (not(equals(Equals_Param33, 4));not(equals(Equals_Param32, 7)))), (not(equals(Equals_Param32, 5));not(equals(Equals_Param33, 6))), (not(equals(Equals_Param32, 3));not(equals(Equals_Param33, 4))), (not(equals(Equals_Param32, 2));not(equals(Equals_Param33, 4))), (not(equals(Equals_Param32, 2));not(equals(Equals_Param33, 3))), (not(equals(Equals_Param32, 1));not(equals(Equals_Param33, 4))), (not(equals(Equals_Param32, 1));not(equals(Equals_Param33, 3))), (not(equals(Equals_Param32, 1));not(equals(Equals_Param33, 2))), neighbor(Equals_Param32, Equals_Param33)), (equals(Equals_Param34, 7):-((not(equals(Equals_Param35, 5));not(equals(Equals_Param34, 8))), (not(equals(Equals_Param35, 6));not(equals(Equals_Param34, 7))), (not(equals(Equals_Param35, 6));not(equals(Equals_Param34, 8))), (not(equals(Equals_Param35, 7));not(equals(Equals_Param34, 8))), (not(equals(Equals_Param34, 1));not(equals(Equals_Param35, 2))), (not(equals(Equals_Param34, 1));not(equals(Equals_Param35, 3))), (not(equals(Equals_Param34, 1));not(equals(Equals_Param35, 4))), (not(equals(Equals_Param34, 2));not(equals(Equals_Param35, 3))), (not(equals(Equals_Param34, 2));not(equals(Equals_Param35, 4))), (not(equals(Equals_Param34, 3));not(equals(Equals_Param35, 4))), (not(equals(Equals_Param34, 5));not(equals(Equals_Param35, 6))), (not(equals(Equals_Param34, 5));not(equals(Equals_Param35, 7))), (not(equals(Equals_Param34, 5));not(equals(Equals_Param35, 8))), (not(equals(Equals_Param34, 6));not(equals(Equals_Param35, 7))), (not(equals(Equals_Param34, 6));not(equals(Equals_Param35, 8))), (not(equals(Equals_Param34, 7));not(equals(Equals_Param35, 8))), (not(equals(Equals_Param35, 4));not(equals(Equals_Param34, 7))), (not(equals(Equals_Param34, 4));not(equals(Equals_Param35, 7)))), (not(equals(Equals_Param35, 5));not(equals(Equals_Param34, 6))), (not(equals(Equals_Param35, 3));not(equals(Equals_Param34, 4))), (not(equals(Equals_Param35, 2));not(equals(Equals_Param34, 4))), (not(equals(Equals_Param35, 2));not(equals(Equals_Param34, 3))), (not(equals(Equals_Param35, 1));not(equals(Equals_Param34, 4))), (not(equals(Equals_Param35, 1));not(equals(Equals_Param34, 3))), (not(equals(Equals_Param35, 1));not(equals(Equals_Param34, 2))), neighbor(Equals_Param35, Equals_Param34)), (equals(Equals_Param36, 5):-((not(equals(Equals_Param36, 6));not(equals(Equals_Param37, 7))), (not(equals(Equals_Param36, 6));not(equals(Equals_Param37, 8))), (not(equals(Equals_Param36, 7));not(equals(Equals_Param37, 8))), (not(equals(Equals_Param37, 1));not(equals(Equals_Param36, 2))), (not(equals(Equals_Param37, 1));not(equals(Equals_Param36, 3))), (not(equals(Equals_Param37, 1));not(equals(Equals_Param36, 4))), (not(equals(Equals_Param37, 2));not(equals(Equals_Param36, 3))), (not(equals(Equals_Param37, 2));not(equals(Equals_Param36, 4))), (not(equals(Equals_Param37, 3));not(equals(Equals_Param36, 4))), (not(equals(Equals_Param37, 5));not(equals(Equals_Param36, 6))), (not(equals(Equals_Param37, 5));not(equals(Equals_Param36, 7))), (not(equals(Equals_Param37, 5));not(equals(Equals_Param36, 8))), (not(equals(Equals_Param37, 6));not(equals(Equals_Param36, 7))), (not(equals(Equals_Param37, 6));not(equals(Equals_Param36, 8))), (not(equals(Equals_Param37, 7));not(equals(Equals_Param36, 8))), (not(equals(Equals_Param36, 4));not(equals(Equals_Param37, 7))), (not(equals(Equals_Param37, 4));not(equals(Equals_Param36, 7)))), (not(equals(Equals_Param36, 5));not(equals(Equals_Param37, 7))), (not(equals(Equals_Param36, 5));not(equals(Equals_Param37, 6))), (not(equals(Equals_Param36, 3));not(equals(Equals_Param37, 4))), (not(equals(Equals_Param36, 2));not(equals(Equals_Param37, 4))), (not(equals(Equals_Param36, 2));not(equals(Equals_Param37, 3))), (not(equals(Equals_Param36, 1));not(equals(Equals_Param37, 4))), (not(equals(Equals_Param36, 1));not(equals(Equals_Param37, 3))), (not(equals(Equals_Param36, 1));not(equals(Equals_Param37, 2))), neighbor(Equals_Param36, Equals_Param37)), (equals(Equals_Param38, 8):-((not(equals(Equals_Param39, 6));not(equals(Equals_Param38, 7))), (not(equals(Equals_Param39, 6));not(equals(Equals_Param38, 8))), (not(equals(Equals_Param39, 7));not(equals(Equals_Param38, 8))), (not(equals(Equals_Param38, 1));not(equals(Equals_Param39, 2))), (not(equals(Equals_Param38, 1));not(equals(Equals_Param39, 3))), (not(equals(Equals_Param38, 1));not(equals(Equals_Param39, 4))), (not(equals(Equals_Param38, 2));not(equals(Equals_Param39, 3))), (not(equals(Equals_Param38, 2));not(equals(Equals_Param39, 4))), (not(equals(Equals_Param38, 3));not(equals(Equals_Param39, 4))), (not(equals(Equals_Param38, 5));not(equals(Equals_Param39, 6))), (not(equals(Equals_Param38, 5));not(equals(Equals_Param39, 7))), (not(equals(Equals_Param38, 5));not(equals(Equals_Param39, 8))), (not(equals(Equals_Param38, 6));not(equals(Equals_Param39, 7))), (not(equals(Equals_Param38, 6));not(equals(Equals_Param39, 8))), (not(equals(Equals_Param38, 7));not(equals(Equals_Param39, 8))), (not(equals(Equals_Param39, 4));not(equals(Equals_Param38, 7))), (not(equals(Equals_Param38, 4));not(equals(Equals_Param39, 7)))), (not(equals(Equals_Param39, 5));not(equals(Equals_Param38, 7))), (not(equals(Equals_Param39, 5));not(equals(Equals_Param38, 6))), (not(equals(Equals_Param39, 3));not(equals(Equals_Param38, 4))), (not(equals(Equals_Param39, 2));not(equals(Equals_Param38, 4))), (not(equals(Equals_Param39, 2));not(equals(Equals_Param38, 3))), (not(equals(Equals_Param39, 1));not(equals(Equals_Param38, 4))), (not(equals(Equals_Param39, 1));not(equals(Equals_Param38, 3))), (not(equals(Equals_Param39, 1));not(equals(Equals_Param38, 2))), neighbor(Equals_Param39, Equals_Param38)), (equals(Equals_Param40, 6):-((not(equals(Equals_Param40, 6));not(equals(Equals_Param41, 8))), (not(equals(Equals_Param40, 7));not(equals(Equals_Param41, 8))), (not(equals(Equals_Param41, 1));not(equals(Equals_Param40, 2))), (not(equals(Equals_Param41, 1));not(equals(Equals_Param40, 3))), (not(equals(Equals_Param41, 1));not(equals(Equals_Param40, 4))), (not(equals(Equals_Param41, 2));not(equals(Equals_Param40, 3))), (not(equals(Equals_Param41, 2));not(equals(Equals_Param40, 4))), (not(equals(Equals_Param41, 3));not(equals(Equals_Param40, 4))), (not(equals(Equals_Param41, 5));not(equals(Equals_Param40, 6))), (not(equals(Equals_Param41, 5));not(equals(Equals_Param40, 7))), (not(equals(Equals_Param41, 5));not(equals(Equals_Param40, 8))), (not(equals(Equals_Param41, 6));not(equals(Equals_Param40, 7))), (not(equals(Equals_Param41, 6));not(equals(Equals_Param40, 8))), (not(equals(Equals_Param41, 7));not(equals(Equals_Param40, 8))), (not(equals(Equals_Param40, 4));not(equals(Equals_Param41, 7))), (not(equals(Equals_Param41, 4));not(equals(Equals_Param40, 7)))), (not(equals(Equals_Param40, 5));not(equals(Equals_Param41, 8))), (not(equals(Equals_Param40, 5));not(equals(Equals_Param41, 7))), (not(equals(Equals_Param40, 5));not(equals(Equals_Param41, 6))), (not(equals(Equals_Param40, 3));not(equals(Equals_Param41, 4))), (not(equals(Equals_Param40, 2));not(equals(Equals_Param41, 4))), (not(equals(Equals_Param40, 2));not(equals(Equals_Param41, 3))), (not(equals(Equals_Param40, 1));not(equals(Equals_Param41, 4))), (not(equals(Equals_Param40, 1));not(equals(Equals_Param41, 3))), (not(equals(Equals_Param40, 1));not(equals(Equals_Param41, 2))), neighbor(Equals_Param40, Equals_Param41)), (equals(Equals_Param42, 7):-((not(equals(Equals_Param43, 6));not(equals(Equals_Param42, 8))), (not(equals(Equals_Param43, 7));not(equals(Equals_Param42, 8))), (not(equals(Equals_Param42, 1));not(equals(Equals_Param43, 2))), (not(equals(Equals_Param42, 1));not(equals(Equals_Param43, 3))), (not(equals(Equals_Param42, 1));not(equals(Equals_Param43, 4))), (not(equals(Equals_Param42, 2));not(equals(Equals_Param43, 3))), (not(equals(Equals_Param42, 2));not(equals(Equals_Param43, 4))), (not(equals(Equals_Param42, 3));not(equals(Equals_Param43, 4))), (not(equals(Equals_Param42, 5));not(equals(Equals_Param43, 6))), (not(equals(Equals_Param42, 5));not(equals(Equals_Param43, 7))), (not(equals(Equals_Param42, 5));not(equals(Equals_Param43, 8))), (not(equals(Equals_Param42, 6));not(equals(Equals_Param43, 7))), (not(equals(Equals_Param42, 6));not(equals(Equals_Param43, 8))), (not(equals(Equals_Param42, 7));not(equals(Equals_Param43, 8))), (not(equals(Equals_Param43, 4));not(equals(Equals_Param42, 7))), (not(equals(Equals_Param42, 4));not(equals(Equals_Param43, 7)))), (not(equals(Equals_Param43, 5));not(equals(Equals_Param42, 8))), (not(equals(Equals_Param43, 5));not(equals(Equals_Param42, 7))), (not(equals(Equals_Param43, 5));not(equals(Equals_Param42, 6))), (not(equals(Equals_Param43, 3));not(equals(Equals_Param42, 4))), (not(equals(Equals_Param43, 2));not(equals(Equals_Param42, 4))), (not(equals(Equals_Param43, 2));not(equals(Equals_Param42, 3))), (not(equals(Equals_Param43, 1));not(equals(Equals_Param42, 4))), (not(equals(Equals_Param43, 1));not(equals(Equals_Param42, 3))), (not(equals(Equals_Param43, 1));not(equals(Equals_Param42, 2))), neighbor(Equals_Param43, Equals_Param42)), (equals(Equals_Param44, 6):-((not(equals(Equals_Param44, 7));not(equals(Equals_Param45, 8))), (not(equals(Equals_Param45, 1));not(equals(Equals_Param44, 2))), (not(equals(Equals_Param45, 1));not(equals(Equals_Param44, 3))), (not(equals(Equals_Param45, 1));not(equals(Equals_Param44, 4))), (not(equals(Equals_Param45, 2));not(equals(Equals_Param44, 3))), (not(equals(Equals_Param45, 2));not(equals(Equals_Param44, 4))), (not(equals(Equals_Param45, 3));not(equals(Equals_Param44, 4))), (not(equals(Equals_Param45, 5));not(equals(Equals_Param44, 6))), (not(equals(Equals_Param45, 5));not(equals(Equals_Param44, 7))), (not(equals(Equals_Param45, 5));not(equals(Equals_Param44, 8))), (not(equals(Equals_Param45, 6));not(equals(Equals_Param44, 7))), (not(equals(Equals_Param45, 6));not(equals(Equals_Param44, 8))), (not(equals(Equals_Param45, 7));not(equals(Equals_Param44, 8))), (not(equals(Equals_Param44, 4));not(equals(Equals_Param45, 7))), (not(equals(Equals_Param45, 4));not(equals(Equals_Param44, 7)))), (not(equals(Equals_Param44, 6));not(equals(Equals_Param45, 7))), (not(equals(Equals_Param44, 5));not(equals(Equals_Param45, 8))), (not(equals(Equals_Param44, 5));not(equals(Equals_Param45, 7))), (not(equals(Equals_Param44, 5));not(equals(Equals_Param45, 6))), (not(equals(Equals_Param44, 3));not(equals(Equals_Param45, 4))), (not(equals(Equals_Param44, 2));not(equals(Equals_Param45, 4))), (not(equals(Equals_Param44, 2));not(equals(Equals_Param45, 3))), (not(equals(Equals_Param44, 1));not(equals(Equals_Param45, 4))), (not(equals(Equals_Param44, 1));not(equals(Equals_Param45, 3))), (not(equals(Equals_Param44, 1));not(equals(Equals_Param45, 2))), neighbor(Equals_Param44, Equals_Param45)), (equals(Equals_Param46, 8):-((not(equals(Equals_Param47, 7));not(equals(Equals_Param46, 8))), (not(equals(Equals_Param46, 1));not(equals(Equals_Param47, 2))), (not(equals(Equals_Param46, 1));not(equals(Equals_Param47, 3))), (not(equals(Equals_Param46, 1));not(equals(Equals_Param47, 4))), (not(equals(Equals_Param46, 2));not(equals(Equals_Param47, 3))), (not(equals(Equals_Param46, 2));not(equals(Equals_Param47, 4))), (not(equals(Equals_Param46, 3));not(equals(Equals_Param47, 4))), (not(equals(Equals_Param46, 5));not(equals(Equals_Param47, 6))), (not(equals(Equals_Param46, 5));not(equals(Equals_Param47, 7))), (not(equals(Equals_Param46, 5));not(equals(Equals_Param47, 8))), (not(equals(Equals_Param46, 6));not(equals(Equals_Param47, 7))), (not(equals(Equals_Param46, 6));not(equals(Equals_Param47, 8))), (not(equals(Equals_Param46, 7));not(equals(Equals_Param47, 8))), (not(equals(Equals_Param47, 4));not(equals(Equals_Param46, 7))), (not(equals(Equals_Param46, 4));not(equals(Equals_Param47, 7)))), (not(equals(Equals_Param47, 6));not(equals(Equals_Param46, 7))), (not(equals(Equals_Param47, 5));not(equals(Equals_Param46, 8))), (not(equals(Equals_Param47, 5));not(equals(Equals_Param46, 7))), (not(equals(Equals_Param47, 5));not(equals(Equals_Param46, 6))), (not(equals(Equals_Param47, 3));not(equals(Equals_Param46, 4))), (not(equals(Equals_Param47, 2));not(equals(Equals_Param46, 4))), (not(equals(Equals_Param47, 2));not(equals(Equals_Param46, 3))), (not(equals(Equals_Param47, 1));not(equals(Equals_Param46, 4))), (not(equals(Equals_Param47, 1));not(equals(Equals_Param46, 3))), (not(equals(Equals_Param47, 1));not(equals(Equals_Param46, 2))), neighbor(Equals_Param47, Equals_Param46)), (equals(Equals_Param48, 7):-((not(equals(Equals_Param49, 1));not(equals(Equals_Param48, 2))), (not(equals(Equals_Param49, 1));not(equals(Equals_Param48, 3))), (not(equals(Equals_Param49, 1));not(equals(Equals_Param48, 4))), (not(equals(Equals_Param49, 2));not(equals(Equals_Param48, 3))), (not(equals(Equals_Param49, 2));not(equals(Equals_Param48, 4))), (not(equals(Equals_Param49, 3));not(equals(Equals_Param48, 4))), (not(equals(Equals_Param49, 5));not(equals(Equals_Param48, 6))), (not(equals(Equals_Param49, 5));not(equals(Equals_Param48, 7))), (not(equals(Equals_Param49, 5));not(equals(Equals_Param48, 8))), (not(equals(Equals_Param49, 6));not(equals(Equals_Param48, 7))), (not(equals(Equals_Param49, 6));not(equals(Equals_Param48, 8))), (not(equals(Equals_Param49, 7));not(equals(Equals_Param48, 8))), (not(equals(Equals_Param48, 4));not(equals(Equals_Param49, 7))), (not(equals(Equals_Param49, 4));not(equals(Equals_Param48, 7)))), (not(equals(Equals_Param48, 6));not(equals(Equals_Param49, 8))), (not(equals(Equals_Param48, 6));not(equals(Equals_Param49, 7))), (not(equals(Equals_Param48, 5));not(equals(Equals_Param49, 8))), (not(equals(Equals_Param48, 5));not(equals(Equals_Param49, 7))), (not(equals(Equals_Param48, 5));not(equals(Equals_Param49, 6))), (not(equals(Equals_Param48, 3));not(equals(Equals_Param49, 4))), (not(equals(Equals_Param48, 2));not(equals(Equals_Param49, 4))), (not(equals(Equals_Param48, 2));not(equals(Equals_Param49, 3))), (not(equals(Equals_Param48, 1));not(equals(Equals_Param49, 4))), (not(equals(Equals_Param48, 1));not(equals(Equals_Param49, 3))), (not(equals(Equals_Param48, 1));not(equals(Equals_Param49, 2))), neighbor(Equals_Param48, Equals_Param49)), (equals(Equals_Param50, 8):-((not(equals(Equals_Param50, 1));not(equals(Equals_Param51, 2))), (not(equals(Equals_Param50, 1));not(equals(Equals_Param51, 3))), (not(equals(Equals_Param50, 1));not(equals(Equals_Param51, 4))), (not(equals(Equals_Param50, 2));not(equals(Equals_Param51, 3))), (not(equals(Equals_Param50, 2));not(equals(Equals_Param51, 4))), (not(equals(Equals_Param50, 3));not(equals(Equals_Param51, 4))), (not(equals(Equals_Param50, 5));not(equals(Equals_Param51, 6))), (not(equals(Equals_Param50, 5));not(equals(Equals_Param51, 7))), (not(equals(Equals_Param50, 5));not(equals(Equals_Param51, 8))), (not(equals(Equals_Param50, 6));not(equals(Equals_Param51, 7))), (not(equals(Equals_Param50, 6));not(equals(Equals_Param51, 8))), (not(equals(Equals_Param50, 7));not(equals(Equals_Param51, 8))), (not(equals(Equals_Param51, 4));not(equals(Equals_Param50, 7))), (not(equals(Equals_Param50, 4));not(equals(Equals_Param51, 7)))), (not(equals(Equals_Param51, 6));not(equals(Equals_Param50, 8))), (not(equals(Equals_Param51, 6));not(equals(Equals_Param50, 7))), (not(equals(Equals_Param51, 5));not(equals(Equals_Param50, 8))), (not(equals(Equals_Param51, 5));not(equals(Equals_Param50, 7))), (not(equals(Equals_Param51, 5));not(equals(Equals_Param50, 6))), (not(equals(Equals_Param51, 3));not(equals(Equals_Param50, 4))), (not(equals(Equals_Param51, 2));not(equals(Equals_Param50, 4))), (not(equals(Equals_Param51, 2));not(equals(Equals_Param50, 3))), (not(equals(Equals_Param51, 1));not(equals(Equals_Param50, 4))), (not(equals(Equals_Param51, 1));not(equals(Equals_Param50, 3))), (not(equals(Equals_Param51, 1));not(equals(Equals_Param50, 2))), neighbor(Equals_Param51, Equals_Param50)), (equals(Equals_Param52, 1):-((not(equals(Equals_Param52, 1));not(equals(Equals_Param53, 3))), (not(equals(Equals_Param52, 1));not(equals(Equals_Param53, 4))), (not(equals(Equals_Param52, 2));not(equals(Equals_Param53, 3))), (not(equals(Equals_Param52, 2));not(equals(Equals_Param53, 4))), (not(equals(Equals_Param52, 3));not(equals(Equals_Param53, 4))), (not(equals(Equals_Param52, 5));not(equals(Equals_Param53, 6))), (not(equals(Equals_Param52, 5));not(equals(Equals_Param53, 7))), (not(equals(Equals_Param52, 5));not(equals(Equals_Param53, 8))), (not(equals(Equals_Param52, 6));not(equals(Equals_Param53, 7))), (not(equals(Equals_Param52, 6));not(equals(Equals_Param53, 8))), (not(equals(Equals_Param52, 7));not(equals(Equals_Param53, 8))), (not(equals(Equals_Param53, 4));not(equals(Equals_Param52, 7))), (not(equals(Equals_Param52, 4));not(equals(Equals_Param53, 7)))), (not(equals(Equals_Param53, 7));not(equals(Equals_Param52, 8))), (not(equals(Equals_Param53, 6));not(equals(Equals_Param52, 8))), (not(equals(Equals_Param53, 6));not(equals(Equals_Param52, 7))), (not(equals(Equals_Param53, 5));not(equals(Equals_Param52, 8))), (not(equals(Equals_Param53, 5));not(equals(Equals_Param52, 7))), (not(equals(Equals_Param53, 5));not(equals(Equals_Param52, 6))), (not(equals(Equals_Param53, 3));not(equals(Equals_Param52, 4))), (not(equals(Equals_Param53, 2));not(equals(Equals_Param52, 4))), (not(equals(Equals_Param53, 2));not(equals(Equals_Param52, 3))), (not(equals(Equals_Param53, 1));not(equals(Equals_Param52, 4))), (not(equals(Equals_Param53, 1));not(equals(Equals_Param52, 3))), (not(equals(Equals_Param53, 1));not(equals(Equals_Param52, 2))), neighbor(Equals_Param53, Equals_Param52)), (equals(Equals_Param54, 2):-((not(equals(Equals_Param55, 1));not(equals(Equals_Param54, 3))), (not(equals(Equals_Param55, 1));not(equals(Equals_Param54, 4))), (not(equals(Equals_Param55, 2));not(equals(Equals_Param54, 3))), (not(equals(Equals_Param55, 2));not(equals(Equals_Param54, 4))), (not(equals(Equals_Param55, 3));not(equals(Equals_Param54, 4))), (not(equals(Equals_Param55, 5));not(equals(Equals_Param54, 6))), (not(equals(Equals_Param55, 5));not(equals(Equals_Param54, 7))), (not(equals(Equals_Param55, 5));not(equals(Equals_Param54, 8))), (not(equals(Equals_Param55, 6));not(equals(Equals_Param54, 7))), (not(equals(Equals_Param55, 6));not(equals(Equals_Param54, 8))), (not(equals(Equals_Param55, 7));not(equals(Equals_Param54, 8))), (not(equals(Equals_Param54, 4));not(equals(Equals_Param55, 7))), (not(equals(Equals_Param55, 4));not(equals(Equals_Param54, 7)))), (not(equals(Equals_Param54, 7));not(equals(Equals_Param55, 8))), (not(equals(Equals_Param54, 6));not(equals(Equals_Param55, 8))), (not(equals(Equals_Param54, 6));not(equals(Equals_Param55, 7))), (not(equals(Equals_Param54, 5));not(equals(Equals_Param55, 8))), (not(equals(Equals_Param54, 5));not(equals(Equals_Param55, 7))), (not(equals(Equals_Param54, 5));not(equals(Equals_Param55, 6))), (not(equals(Equals_Param54, 3));not(equals(Equals_Param55, 4))), (not(equals(Equals_Param54, 2));not(equals(Equals_Param55, 4))), (not(equals(Equals_Param54, 2));not(equals(Equals_Param55, 3))), (not(equals(Equals_Param54, 1));not(equals(Equals_Param55, 4))), (not(equals(Equals_Param54, 1));not(equals(Equals_Param55, 3))), (not(equals(Equals_Param54, 1));not(equals(Equals_Param55, 2))), neighbor(Equals_Param54, Equals_Param55)), (equals(Equals_Param56, 1):-((not(equals(Equals_Param56, 1));not(equals(Equals_Param57, 4))), (not(equals(Equals_Param56, 2));not(equals(Equals_Param57, 3))), (not(equals(Equals_Param56, 2));not(equals(Equals_Param57, 4))), (not(equals(Equals_Param56, 3));not(equals(Equals_Param57, 4))), (not(equals(Equals_Param56, 5));not(equals(Equals_Param57, 6))), (not(equals(Equals_Param56, 5));not(equals(Equals_Param57, 7))), (not(equals(Equals_Param56, 5));not(equals(Equals_Param57, 8))), (not(equals(Equals_Param56, 6));not(equals(Equals_Param57, 7))), (not(equals(Equals_Param56, 6));not(equals(Equals_Param57, 8))), (not(equals(Equals_Param56, 7));not(equals(Equals_Param57, 8))), (not(equals(Equals_Param57, 4));not(equals(Equals_Param56, 7))), (not(equals(Equals_Param56, 4));not(equals(Equals_Param57, 7)))), (not(equals(Equals_Param56, 1));not(equals(Equals_Param57, 2))), (not(equals(Equals_Param57, 7));not(equals(Equals_Param56, 8))), (not(equals(Equals_Param57, 6));not(equals(Equals_Param56, 8))), (not(equals(Equals_Param57, 6));not(equals(Equals_Param56, 7))), (not(equals(Equals_Param57, 5));not(equals(Equals_Param56, 8))), (not(equals(Equals_Param57, 5));not(equals(Equals_Param56, 7))), (not(equals(Equals_Param57, 5));not(equals(Equals_Param56, 6))), (not(equals(Equals_Param57, 3));not(equals(Equals_Param56, 4))), (not(equals(Equals_Param57, 2));not(equals(Equals_Param56, 4))), (not(equals(Equals_Param57, 2));not(equals(Equals_Param56, 3))), (not(equals(Equals_Param57, 1));not(equals(Equals_Param56, 4))), (not(equals(Equals_Param57, 1));not(equals(Equals_Param56, 3))), (not(equals(Equals_Param57, 1));not(equals(Equals_Param56, 2))), neighbor(Equals_Param57, Equals_Param56)), (equals(Equals_Param58, 3):-((not(equals(Equals_Param59, 1));not(equals(Equals_Param58, 4))), (not(equals(Equals_Param59, 2));not(equals(Equals_Param58, 3))), (not(equals(Equals_Param59, 2));not(equals(Equals_Param58, 4))), (not(equals(Equals_Param59, 3));not(equals(Equals_Param58, 4))), (not(equals(Equals_Param59, 5));not(equals(Equals_Param58, 6))), (not(equals(Equals_Param59, 5));not(equals(Equals_Param58, 7))), (not(equals(Equals_Param59, 5));not(equals(Equals_Param58, 8))), (not(equals(Equals_Param59, 6));not(equals(Equals_Param58, 7))), (not(equals(Equals_Param59, 6));not(equals(Equals_Param58, 8))), (not(equals(Equals_Param59, 7));not(equals(Equals_Param58, 8))), (not(equals(Equals_Param58, 4));not(equals(Equals_Param59, 7))), (not(equals(Equals_Param59, 4));not(equals(Equals_Param58, 7)))), (not(equals(Equals_Param59, 1));not(equals(Equals_Param58, 2))), (not(equals(Equals_Param58, 7));not(equals(Equals_Param59, 8))), (not(equals(Equals_Param58, 6));not(equals(Equals_Param59, 8))), (not(equals(Equals_Param58, 6));not(equals(Equals_Param59, 7))), (not(equals(Equals_Param58, 5));not(equals(Equals_Param59, 8))), (not(equals(Equals_Param58, 5));not(equals(Equals_Param59, 7))), (not(equals(Equals_Param58, 5));not(equals(Equals_Param59, 6))), (not(equals(Equals_Param58, 3));not(equals(Equals_Param59, 4))), (not(equals(Equals_Param58, 2));not(equals(Equals_Param59, 4))), (not(equals(Equals_Param58, 2));not(equals(Equals_Param59, 3))), (not(equals(Equals_Param58, 1));not(equals(Equals_Param59, 4))), (not(equals(Equals_Param58, 1));not(equals(Equals_Param59, 3))), (not(equals(Equals_Param58, 1));not(equals(Equals_Param59, 2))), neighbor(Equals_Param58, Equals_Param59)), (equals(Equals_Param60, 1):-((not(equals(Equals_Param60, 2));not(equals(Equals_Param61, 3))), (not(equals(Equals_Param60, 2));not(equals(Equals_Param61, 4))), (not(equals(Equals_Param60, 3));not(equals(Equals_Param61, 4))), (not(equals(Equals_Param60, 5));not(equals(Equals_Param61, 6))), (not(equals(Equals_Param60, 5));not(equals(Equals_Param61, 7))), (not(equals(Equals_Param60, 5));not(equals(Equals_Param61, 8))), (not(equals(Equals_Param60, 6));not(equals(Equals_Param61, 7))), (not(equals(Equals_Param60, 6));not(equals(Equals_Param61, 8))), (not(equals(Equals_Param60, 7));not(equals(Equals_Param61, 8))), (not(equals(Equals_Param61, 4));not(equals(Equals_Param60, 7))), (not(equals(Equals_Param60, 4));not(equals(Equals_Param61, 7)))), (not(equals(Equals_Param60, 1));not(equals(Equals_Param61, 3))), (not(equals(Equals_Param60, 1));not(equals(Equals_Param61, 2))), (not(equals(Equals_Param61, 7));not(equals(Equals_Param60, 8))), (not(equals(Equals_Param61, 6));not(equals(Equals_Param60, 8))), (not(equals(Equals_Param61, 6));not(equals(Equals_Param60, 7))), (not(equals(Equals_Param61, 5));not(equals(Equals_Param60, 8))), (not(equals(Equals_Param61, 5));not(equals(Equals_Param60, 7))), (not(equals(Equals_Param61, 5));not(equals(Equals_Param60, 6))), (not(equals(Equals_Param61, 3));not(equals(Equals_Param60, 4))), (not(equals(Equals_Param61, 2));not(equals(Equals_Param60, 4))), (not(equals(Equals_Param61, 2));not(equals(Equals_Param60, 3))), (not(equals(Equals_Param61, 1));not(equals(Equals_Param60, 4))), (not(equals(Equals_Param61, 1));not(equals(Equals_Param60, 3))), (not(equals(Equals_Param61, 1));not(equals(Equals_Param60, 2))), neighbor(Equals_Param61, Equals_Param60)), (equals(Equals_Param62, 4):-((not(equals(Equals_Param63, 2));not(equals(Equals_Param62, 3))), (not(equals(Equals_Param63, 2));not(equals(Equals_Param62, 4))), (not(equals(Equals_Param63, 3));not(equals(Equals_Param62, 4))), (not(equals(Equals_Param63, 5));not(equals(Equals_Param62, 6))), (not(equals(Equals_Param63, 5));not(equals(Equals_Param62, 7))), (not(equals(Equals_Param63, 5));not(equals(Equals_Param62, 8))), (not(equals(Equals_Param63, 6));not(equals(Equals_Param62, 7))), (not(equals(Equals_Param63, 6));not(equals(Equals_Param62, 8))), (not(equals(Equals_Param63, 7));not(equals(Equals_Param62, 8))), (not(equals(Equals_Param62, 4));not(equals(Equals_Param63, 7))), (not(equals(Equals_Param63, 4));not(equals(Equals_Param62, 7)))), (not(equals(Equals_Param63, 1));not(equals(Equals_Param62, 3))), (not(equals(Equals_Param63, 1));not(equals(Equals_Param62, 2))), (not(equals(Equals_Param62, 7));not(equals(Equals_Param63, 8))), (not(equals(Equals_Param62, 6));not(equals(Equals_Param63, 8))), (not(equals(Equals_Param62, 6));not(equals(Equals_Param63, 7))), (not(equals(Equals_Param62, 5));not(equals(Equals_Param63, 8))), (not(equals(Equals_Param62, 5));not(equals(Equals_Param63, 7))), (not(equals(Equals_Param62, 5));not(equals(Equals_Param63, 6))), (not(equals(Equals_Param62, 3));not(equals(Equals_Param63, 4))), (not(equals(Equals_Param62, 2));not(equals(Equals_Param63, 4))), (not(equals(Equals_Param62, 2));not(equals(Equals_Param63, 3))), (not(equals(Equals_Param62, 1));not(equals(Equals_Param63, 4))), (not(equals(Equals_Param62, 1));not(equals(Equals_Param63, 3))), (not(equals(Equals_Param62, 1));not(equals(Equals_Param63, 2))), neighbor(Equals_Param62, Equals_Param63)), (equals(Equals_Param64, 2):-((not(equals(Equals_Param64, 2));not(equals(Equals_Param65, 4))), (not(equals(Equals_Param64, 3));not(equals(Equals_Param65, 4))), (not(equals(Equals_Param64, 5));not(equals(Equals_Param65, 6))), (not(equals(Equals_Param64, 5));not(equals(Equals_Param65, 7))), (not(equals(Equals_Param64, 5));not(equals(Equals_Param65, 8))), (not(equals(Equals_Param64, 6));not(equals(Equals_Param65, 7))), (not(equals(Equals_Param64, 6));not(equals(Equals_Param65, 8))), (not(equals(Equals_Param64, 7));not(equals(Equals_Param65, 8))), (not(equals(Equals_Param65, 4));not(equals(Equals_Param64, 7))), (not(equals(Equals_Param64, 4));not(equals(Equals_Param65, 7)))), (not(equals(Equals_Param64, 1));not(equals(Equals_Param65, 4))), (not(equals(Equals_Param64, 1));not(equals(Equals_Param65, 3))), (not(equals(Equals_Param64, 1));not(equals(Equals_Param65, 2))), (not(equals(Equals_Param65, 7));not(equals(Equals_Param64, 8))), (not(equals(Equals_Param65, 6));not(equals(Equals_Param64, 8))), (not(equals(Equals_Param65, 6));not(equals(Equals_Param64, 7))), (not(equals(Equals_Param65, 5));not(equals(Equals_Param64, 8))), (not(equals(Equals_Param65, 5));not(equals(Equals_Param64, 7))), (not(equals(Equals_Param65, 5));not(equals(Equals_Param64, 6))), (not(equals(Equals_Param65, 3));not(equals(Equals_Param64, 4))), (not(equals(Equals_Param65, 2));not(equals(Equals_Param64, 4))), (not(equals(Equals_Param65, 2));not(equals(Equals_Param64, 3))), (not(equals(Equals_Param65, 1));not(equals(Equals_Param64, 4))), (not(equals(Equals_Param65, 1));not(equals(Equals_Param64, 3))), (not(equals(Equals_Param65, 1));not(equals(Equals_Param64, 2))), neighbor(Equals_Param65, Equals_Param64)), (equals(Equals_Param66, 3):-((not(equals(Equals_Param67, 2));not(equals(Equals_Param66, 4))), (not(equals(Equals_Param67, 3));not(equals(Equals_Param66, 4))), (not(equals(Equals_Param67, 5));not(equals(Equals_Param66, 6))), (not(equals(Equals_Param67, 5));not(equals(Equals_Param66, 7))), (not(equals(Equals_Param67, 5));not(equals(Equals_Param66, 8))), (not(equals(Equals_Param67, 6));not(equals(Equals_Param66, 7))), (not(equals(Equals_Param67, 6));not(equals(Equals_Param66, 8))), (not(equals(Equals_Param67, 7));not(equals(Equals_Param66, 8))), (not(equals(Equals_Param66, 4));not(equals(Equals_Param67, 7))), (not(equals(Equals_Param67, 4));not(equals(Equals_Param66, 7)))), (not(equals(Equals_Param67, 1));not(equals(Equals_Param66, 4))), (not(equals(Equals_Param67, 1));not(equals(Equals_Param66, 3))), (not(equals(Equals_Param67, 1));not(equals(Equals_Param66, 2))), (not(equals(Equals_Param66, 7));not(equals(Equals_Param67, 8))), (not(equals(Equals_Param66, 6));not(equals(Equals_Param67, 8))), (not(equals(Equals_Param66, 6));not(equals(Equals_Param67, 7))), (not(equals(Equals_Param66, 5));not(equals(Equals_Param67, 8))), (not(equals(Equals_Param66, 5));not(equals(Equals_Param67, 7))), (not(equals(Equals_Param66, 5));not(equals(Equals_Param67, 6))), (not(equals(Equals_Param66, 3));not(equals(Equals_Param67, 4))), (not(equals(Equals_Param66, 2));not(equals(Equals_Param67, 4))), (not(equals(Equals_Param66, 2));not(equals(Equals_Param67, 3))), (not(equals(Equals_Param66, 1));not(equals(Equals_Param67, 4))), (not(equals(Equals_Param66, 1));not(equals(Equals_Param67, 3))), (not(equals(Equals_Param66, 1));not(equals(Equals_Param67, 2))), neighbor(Equals_Param66, Equals_Param67)), (equals(Equals_Param68, 2):-((not(equals(Equals_Param68, 3));not(equals(Equals_Param69, 4))), (not(equals(Equals_Param68, 5));not(equals(Equals_Param69, 6))), (not(equals(Equals_Param68, 5));not(equals(Equals_Param69, 7))), (not(equals(Equals_Param68, 5));not(equals(Equals_Param69, 8))), (not(equals(Equals_Param68, 6));not(equals(Equals_Param69, 7))), (not(equals(Equals_Param68, 6));not(equals(Equals_Param69, 8))), (not(equals(Equals_Param68, 7));not(equals(Equals_Param69, 8))), (not(equals(Equals_Param69, 4));not(equals(Equals_Param68, 7))), (not(equals(Equals_Param68, 4));not(equals(Equals_Param69, 7)))), (not(equals(Equals_Param68, 2));not(equals(Equals_Param69, 3))), (not(equals(Equals_Param68, 1));not(equals(Equals_Param69, 4))), (not(equals(Equals_Param68, 1));not(equals(Equals_Param69, 3))), (not(equals(Equals_Param68, 1));not(equals(Equals_Param69, 2))), (not(equals(Equals_Param69, 7));not(equals(Equals_Param68, 8))), (not(equals(Equals_Param69, 6));not(equals(Equals_Param68, 8))), (not(equals(Equals_Param69, 6));not(equals(Equals_Param68, 7))), (not(equals(Equals_Param69, 5));not(equals(Equals_Param68, 8))), (not(equals(Equals_Param69, 5));not(equals(Equals_Param68, 7))), (not(equals(Equals_Param69, 5));not(equals(Equals_Param68, 6))), (not(equals(Equals_Param69, 3));not(equals(Equals_Param68, 4))), (not(equals(Equals_Param69, 2));not(equals(Equals_Param68, 4))), (not(equals(Equals_Param69, 2));not(equals(Equals_Param68, 3))), (not(equals(Equals_Param69, 1));not(equals(Equals_Param68, 4))), (not(equals(Equals_Param69, 1));not(equals(Equals_Param68, 3))), (not(equals(Equals_Param69, 1));not(equals(Equals_Param68, 2))), neighbor(Equals_Param69, Equals_Param68)), (equals(Equals_Param70, 4):-((not(equals(Equals_Param71, 3));not(equals(Equals_Param70, 4))), (not(equals(Equals_Param71, 5));not(equals(Equals_Param70, 6))), (not(equals(Equals_Param71, 5));not(equals(Equals_Param70, 7))), (not(equals(Equals_Param71, 5));not(equals(Equals_Param70, 8))), (not(equals(Equals_Param71, 6));not(equals(Equals_Param70, 7))), (not(equals(Equals_Param71, 6));not(equals(Equals_Param70, 8))), (not(equals(Equals_Param71, 7));not(equals(Equals_Param70, 8))), (not(equals(Equals_Param70, 4));not(equals(Equals_Param71, 7))), (not(equals(Equals_Param71, 4));not(equals(Equals_Param70, 7)))), (not(equals(Equals_Param71, 2));not(equals(Equals_Param70, 3))), (not(equals(Equals_Param71, 1));not(equals(Equals_Param70, 4))), (not(equals(Equals_Param71, 1));not(equals(Equals_Param70, 3))), (not(equals(Equals_Param71, 1));not(equals(Equals_Param70, 2))), (not(equals(Equals_Param70, 7));not(equals(Equals_Param71, 8))), (not(equals(Equals_Param70, 6));not(equals(Equals_Param71, 8))), (not(equals(Equals_Param70, 6));not(equals(Equals_Param71, 7))), (not(equals(Equals_Param70, 5));not(equals(Equals_Param71, 8))), (not(equals(Equals_Param70, 5));not(equals(Equals_Param71, 7))), (not(equals(Equals_Param70, 5));not(equals(Equals_Param71, 6))), (not(equals(Equals_Param70, 3));not(equals(Equals_Param71, 4))), (not(equals(Equals_Param70, 2));not(equals(Equals_Param71, 4))), (not(equals(Equals_Param70, 2));not(equals(Equals_Param71, 3))), (not(equals(Equals_Param70, 1));not(equals(Equals_Param71, 4))), (not(equals(Equals_Param70, 1));not(equals(Equals_Param71, 3))), (not(equals(Equals_Param70, 1));not(equals(Equals_Param71, 2))), neighbor(Equals_Param70, Equals_Param71)), (equals(Equals_Param72, 3):-((not(equals(Equals_Param72, 5));not(equals(Equals_Param73, 6))), (not(equals(Equals_Param72, 5));not(equals(Equals_Param73, 7))), (not(equals(Equals_Param72, 5));not(equals(Equals_Param73, 8))), (not(equals(Equals_Param72, 6));not(equals(Equals_Param73, 7))), (not(equals(Equals_Param72, 6));not(equals(Equals_Param73, 8))), (not(equals(Equals_Param72, 7));not(equals(Equals_Param73, 8))), (not(equals(Equals_Param73, 4));not(equals(Equals_Param72, 7))), (not(equals(Equals_Param72, 4));not(equals(Equals_Param73, 7)))), (not(equals(Equals_Param72, 2));not(equals(Equals_Param73, 4))), (not(equals(Equals_Param72, 2));not(equals(Equals_Param73, 3))), (not(equals(Equals_Param72, 1));not(equals(Equals_Param73, 4))), (not(equals(Equals_Param72, 1));not(equals(Equals_Param73, 3))), (not(equals(Equals_Param72, 1));not(equals(Equals_Param73, 2))), (not(equals(Equals_Param73, 7));not(equals(Equals_Param72, 8))), (not(equals(Equals_Param73, 6));not(equals(Equals_Param72, 8))), (not(equals(Equals_Param73, 6));not(equals(Equals_Param72, 7))), (not(equals(Equals_Param73, 5));not(equals(Equals_Param72, 8))), (not(equals(Equals_Param73, 5));not(equals(Equals_Param72, 7))), (not(equals(Equals_Param73, 5));not(equals(Equals_Param72, 6))), (not(equals(Equals_Param73, 3));not(equals(Equals_Param72, 4))), (not(equals(Equals_Param73, 2));not(equals(Equals_Param72, 4))), (not(equals(Equals_Param73, 2));not(equals(Equals_Param72, 3))), (not(equals(Equals_Param73, 1));not(equals(Equals_Param72, 4))), (not(equals(Equals_Param73, 1));not(equals(Equals_Param72, 3))), (not(equals(Equals_Param73, 1));not(equals(Equals_Param72, 2))), neighbor(Equals_Param73, Equals_Param72)), (equals(Equals_Param74, 4):-((not(equals(Equals_Param75, 5));not(equals(Equals_Param74, 6))), (not(equals(Equals_Param75, 5));not(equals(Equals_Param74, 7))), (not(equals(Equals_Param75, 5));not(equals(Equals_Param74, 8))), (not(equals(Equals_Param75, 6));not(equals(Equals_Param74, 7))), (not(equals(Equals_Param75, 6));not(equals(Equals_Param74, 8))), (not(equals(Equals_Param75, 7));not(equals(Equals_Param74, 8))), (not(equals(Equals_Param74, 4));not(equals(Equals_Param75, 7))), (not(equals(Equals_Param75, 4));not(equals(Equals_Param74, 7)))), (not(equals(Equals_Param75, 2));not(equals(Equals_Param74, 4))), (not(equals(Equals_Param75, 2));not(equals(Equals_Param74, 3))), (not(equals(Equals_Param75, 1));not(equals(Equals_Param74, 4))), (not(equals(Equals_Param75, 1));not(equals(Equals_Param74, 3))), (not(equals(Equals_Param75, 1));not(equals(Equals_Param74, 2))), (not(equals(Equals_Param74, 7));not(equals(Equals_Param75, 8))), (not(equals(Equals_Param74, 6));not(equals(Equals_Param75, 8))), (not(equals(Equals_Param74, 6));not(equals(Equals_Param75, 7))), (not(equals(Equals_Param74, 5));not(equals(Equals_Param75, 8))), (not(equals(Equals_Param74, 5));not(equals(Equals_Param75, 7))), (not(equals(Equals_Param74, 5));not(equals(Equals_Param75, 6))), (not(equals(Equals_Param74, 3));not(equals(Equals_Param75, 4))), (not(equals(Equals_Param74, 2));not(equals(Equals_Param75, 4))), (not(equals(Equals_Param74, 2));not(equals(Equals_Param75, 3))), (not(equals(Equals_Param74, 1));not(equals(Equals_Param75, 4))), (not(equals(Equals_Param74, 1));not(equals(Equals_Param75, 3))), (not(equals(Equals_Param74, 1));not(equals(Equals_Param75, 2))), neighbor(Equals_Param74, Equals_Param75)), (equals(Equals_Param76, 5):-((not(equals(Equals_Param76, 5));not(equals(Equals_Param77, 7))), (not(equals(Equals_Param76, 5));not(equals(Equals_Param77, 8))), (not(equals(Equals_Param76, 6));not(equals(Equals_Param77, 7))), (not(equals(Equals_Param76, 6));not(equals(Equals_Param77, 8))), (not(equals(Equals_Param76, 7));not(equals(Equals_Param77, 8))), (not(equals(Equals_Param77, 4));not(equals(Equals_Param76, 7))), (not(equals(Equals_Param76, 4));not(equals(Equals_Param77, 7)))), (not(equals(Equals_Param76, 3));not(equals(Equals_Param77, 4))), (not(equals(Equals_Param76, 2));not(equals(Equals_Param77, 4))), (not(equals(Equals_Param76, 2));not(equals(Equals_Param77, 3))), (not(equals(Equals_Param76, 1));not(equals(Equals_Param77, 4))), (not(equals(Equals_Param76, 1));not(equals(Equals_Param77, 3))), (not(equals(Equals_Param76, 1));not(equals(Equals_Param77, 2))), (not(equals(Equals_Param77, 7));not(equals(Equals_Param76, 8))), (not(equals(Equals_Param77, 6));not(equals(Equals_Param76, 8))), (not(equals(Equals_Param77, 6));not(equals(Equals_Param76, 7))), (not(equals(Equals_Param77, 5));not(equals(Equals_Param76, 8))), (not(equals(Equals_Param77, 5));not(equals(Equals_Param76, 7))), (not(equals(Equals_Param77, 5));not(equals(Equals_Param76, 6))), (not(equals(Equals_Param77, 3));not(equals(Equals_Param76, 4))), (not(equals(Equals_Param77, 2));not(equals(Equals_Param76, 4))), (not(equals(Equals_Param77, 2));not(equals(Equals_Param76, 3))), (not(equals(Equals_Param77, 1));not(equals(Equals_Param76, 4))), (not(equals(Equals_Param77, 1));not(equals(Equals_Param76, 3))), (not(equals(Equals_Param77, 1));not(equals(Equals_Param76, 2))), neighbor(Equals_Param77, Equals_Param76)), (equals(Equals_Param78, 6):-((not(equals(Equals_Param79, 5));not(equals(Equals_Param78, 7))), (not(equals(Equals_Param79, 5));not(equals(Equals_Param78, 8))), (not(equals(Equals_Param79, 6));not(equals(Equals_Param78, 7))), (not(equals(Equals_Param79, 6));not(equals(Equals_Param78, 8))), (not(equals(Equals_Param79, 7));not(equals(Equals_Param78, 8))), (not(equals(Equals_Param78, 4));not(equals(Equals_Param79, 7))), (not(equals(Equals_Param79, 4));not(equals(Equals_Param78, 7)))), (not(equals(Equals_Param79, 3));not(equals(Equals_Param78, 4))), (not(equals(Equals_Param79, 2));not(equals(Equals_Param78, 4))), (not(equals(Equals_Param79, 2));not(equals(Equals_Param78, 3))), (not(equals(Equals_Param79, 1));not(equals(Equals_Param78, 4))), (not(equals(Equals_Param79, 1));not(equals(Equals_Param78, 3))), (not(equals(Equals_Param79, 1));not(equals(Equals_Param78, 2))), (not(equals(Equals_Param78, 7));not(equals(Equals_Param79, 8))), (not(equals(Equals_Param78, 6));not(equals(Equals_Param79, 8))), (not(equals(Equals_Param78, 6));not(equals(Equals_Param79, 7))), (not(equals(Equals_Param78, 5));not(equals(Equals_Param79, 8))), (not(equals(Equals_Param78, 5));not(equals(Equals_Param79, 7))), (not(equals(Equals_Param78, 5));not(equals(Equals_Param79, 6))), (not(equals(Equals_Param78, 3));not(equals(Equals_Param79, 4))), (not(equals(Equals_Param78, 2));not(equals(Equals_Param79, 4))), (not(equals(Equals_Param78, 2));not(equals(Equals_Param79, 3))), (not(equals(Equals_Param78, 1));not(equals(Equals_Param79, 4))), (not(equals(Equals_Param78, 1));not(equals(Equals_Param79, 3))), (not(equals(Equals_Param78, 1));not(equals(Equals_Param79, 2))), neighbor(Equals_Param78, Equals_Param79)), (equals(Equals_Param80, 5):-((not(equals(Equals_Param80, 5));not(equals(Equals_Param81, 8))), (not(equals(Equals_Param80, 6));not(equals(Equals_Param81, 7))), (not(equals(Equals_Param80, 6));not(equals(Equals_Param81, 8))), (not(equals(Equals_Param80, 7));not(equals(Equals_Param81, 8))), (not(equals(Equals_Param81, 4));not(equals(Equals_Param80, 7))), (not(equals(Equals_Param80, 4));not(equals(Equals_Param81, 7)))), (not(equals(Equals_Param80, 5));not(equals(Equals_Param81, 6))), (not(equals(Equals_Param80, 3));not(equals(Equals_Param81, 4))), (not(equals(Equals_Param80, 2));not(equals(Equals_Param81, 4))), (not(equals(Equals_Param80, 2));not(equals(Equals_Param81, 3))), (not(equals(Equals_Param80, 1));not(equals(Equals_Param81, 4))), (not(equals(Equals_Param80, 1));not(equals(Equals_Param81, 3))), (not(equals(Equals_Param80, 1));not(equals(Equals_Param81, 2))), (not(equals(Equals_Param81, 7));not(equals(Equals_Param80, 8))), (not(equals(Equals_Param81, 6));not(equals(Equals_Param80, 8))), (not(equals(Equals_Param81, 6));not(equals(Equals_Param80, 7))), (not(equals(Equals_Param81, 5));not(equals(Equals_Param80, 8))), (not(equals(Equals_Param81, 5));not(equals(Equals_Param80, 7))), (not(equals(Equals_Param81, 5));not(equals(Equals_Param80, 6))), (not(equals(Equals_Param81, 3));not(equals(Equals_Param80, 4))), (not(equals(Equals_Param81, 2));not(equals(Equals_Param80, 4))), (not(equals(Equals_Param81, 2));not(equals(Equals_Param80, 3))), (not(equals(Equals_Param81, 1));not(equals(Equals_Param80, 4))), (not(equals(Equals_Param81, 1));not(equals(Equals_Param80, 3))), (not(equals(Equals_Param81, 1));not(equals(Equals_Param80, 2))), neighbor(Equals_Param81, Equals_Param80)), (equals(Equals_Param82, 7):-((not(equals(Equals_Param83, 5));not(equals(Equals_Param82, 8))), (not(equals(Equals_Param83, 6));not(equals(Equals_Param82, 7))), (not(equals(Equals_Param83, 6));not(equals(Equals_Param82, 8))), (not(equals(Equals_Param83, 7));not(equals(Equals_Param82, 8))), (not(equals(Equals_Param82, 4));not(equals(Equals_Param83, 7))), (not(equals(Equals_Param83, 4));not(equals(Equals_Param82, 7)))), (not(equals(Equals_Param83, 5));not(equals(Equals_Param82, 6))), (not(equals(Equals_Param83, 3));not(equals(Equals_Param82, 4))), (not(equals(Equals_Param83, 2));not(equals(Equals_Param82, 4))), (not(equals(Equals_Param83, 2));not(equals(Equals_Param82, 3))), (not(equals(Equals_Param83, 1));not(equals(Equals_Param82, 4))), (not(equals(Equals_Param83, 1));not(equals(Equals_Param82, 3))), (not(equals(Equals_Param83, 1));not(equals(Equals_Param82, 2))), (not(equals(Equals_Param82, 7));not(equals(Equals_Param83, 8))), (not(equals(Equals_Param82, 6));not(equals(Equals_Param83, 8))), (not(equals(Equals_Param82, 6));not(equals(Equals_Param83, 7))), (not(equals(Equals_Param82, 5));not(equals(Equals_Param83, 8))), (not(equals(Equals_Param82, 5));not(equals(Equals_Param83, 7))), (not(equals(Equals_Param82, 5));not(equals(Equals_Param83, 6))), (not(equals(Equals_Param82, 3));not(equals(Equals_Param83, 4))), (not(equals(Equals_Param82, 2));not(equals(Equals_Param83, 4))), (not(equals(Equals_Param82, 2));not(equals(Equals_Param83, 3))), (not(equals(Equals_Param82, 1));not(equals(Equals_Param83, 4))), (not(equals(Equals_Param82, 1));not(equals(Equals_Param83, 3))), (not(equals(Equals_Param82, 1));not(equals(Equals_Param83, 2))), neighbor(Equals_Param82, Equals_Param83)), (equals(Equals_Param84, 5):-((not(equals(Equals_Param84, 6));not(equals(Equals_Param85, 7))), (not(equals(Equals_Param84, 6));not(equals(Equals_Param85, 8))), (not(equals(Equals_Param84, 7));not(equals(Equals_Param85, 8))), (not(equals(Equals_Param85, 4));not(equals(Equals_Param84, 7))), (not(equals(Equals_Param84, 4));not(equals(Equals_Param85, 7)))), (not(equals(Equals_Param84, 5));not(equals(Equals_Param85, 7))), (not(equals(Equals_Param84, 5));not(equals(Equals_Param85, 6))), (not(equals(Equals_Param84, 3));not(equals(Equals_Param85, 4))), (not(equals(Equals_Param84, 2));not(equals(Equals_Param85, 4))), (not(equals(Equals_Param84, 2));not(equals(Equals_Param85, 3))), (not(equals(Equals_Param84, 1));not(equals(Equals_Param85, 4))), (not(equals(Equals_Param84, 1));not(equals(Equals_Param85, 3))), (not(equals(Equals_Param84, 1));not(equals(Equals_Param85, 2))), (not(equals(Equals_Param85, 7));not(equals(Equals_Param84, 8))), (not(equals(Equals_Param85, 6));not(equals(Equals_Param84, 8))), (not(equals(Equals_Param85, 6));not(equals(Equals_Param84, 7))), (not(equals(Equals_Param85, 5));not(equals(Equals_Param84, 8))), (not(equals(Equals_Param85, 5));not(equals(Equals_Param84, 7))), (not(equals(Equals_Param85, 5));not(equals(Equals_Param84, 6))), (not(equals(Equals_Param85, 3));not(equals(Equals_Param84, 4))), (not(equals(Equals_Param85, 2));not(equals(Equals_Param84, 4))), (not(equals(Equals_Param85, 2));not(equals(Equals_Param84, 3))), (not(equals(Equals_Param85, 1));not(equals(Equals_Param84, 4))), (not(equals(Equals_Param85, 1));not(equals(Equals_Param84, 3))), (not(equals(Equals_Param85, 1));not(equals(Equals_Param84, 2))), neighbor(Equals_Param85, Equals_Param84)), (equals(Equals_Param86, 8):-((not(equals(Equals_Param87, 6));not(equals(Equals_Param86, 7))), (not(equals(Equals_Param87, 6));not(equals(Equals_Param86, 8))), (not(equals(Equals_Param87, 7));not(equals(Equals_Param86, 8))), (not(equals(Equals_Param86, 4));not(equals(Equals_Param87, 7))), (not(equals(Equals_Param87, 4));not(equals(Equals_Param86, 7)))), (not(equals(Equals_Param87, 5));not(equals(Equals_Param86, 7))), (not(equals(Equals_Param87, 5));not(equals(Equals_Param86, 6))), (not(equals(Equals_Param87, 3));not(equals(Equals_Param86, 4))), (not(equals(Equals_Param87, 2));not(equals(Equals_Param86, 4))), (not(equals(Equals_Param87, 2));not(equals(Equals_Param86, 3))), (not(equals(Equals_Param87, 1));not(equals(Equals_Param86, 4))), (not(equals(Equals_Param87, 1));not(equals(Equals_Param86, 3))), (not(equals(Equals_Param87, 1));not(equals(Equals_Param86, 2))), (not(equals(Equals_Param86, 7));not(equals(Equals_Param87, 8))), (not(equals(Equals_Param86, 6));not(equals(Equals_Param87, 8))), (not(equals(Equals_Param86, 6));not(equals(Equals_Param87, 7))), (not(equals(Equals_Param86, 5));not(equals(Equals_Param87, 8))), (not(equals(Equals_Param86, 5));not(equals(Equals_Param87, 7))), (not(equals(Equals_Param86, 5));not(equals(Equals_Param87, 6))), (not(equals(Equals_Param86, 3));not(equals(Equals_Param87, 4))), (not(equals(Equals_Param86, 2));not(equals(Equals_Param87, 4))), (not(equals(Equals_Param86, 2));not(equals(Equals_Param87, 3))), (not(equals(Equals_Param86, 1));not(equals(Equals_Param87, 4))), (not(equals(Equals_Param86, 1));not(equals(Equals_Param87, 3))), (not(equals(Equals_Param86, 1));not(equals(Equals_Param87, 2))), neighbor(Equals_Param86, Equals_Param87)), (equals(Equals_Param88, 6):-((not(equals(Equals_Param88, 6));not(equals(Equals_Param89, 8))), (not(equals(Equals_Param88, 7));not(equals(Equals_Param89, 8))), (not(equals(Equals_Param89, 4));not(equals(Equals_Param88, 7))), (not(equals(Equals_Param88, 4));not(equals(Equals_Param89, 7)))), (not(equals(Equals_Param88, 5));not(equals(Equals_Param89, 8))), (not(equals(Equals_Param88, 5));not(equals(Equals_Param89, 7))), (not(equals(Equals_Param88, 5));not(equals(Equals_Param89, 6))), (not(equals(Equals_Param88, 3));not(equals(Equals_Param89, 4))), (not(equals(Equals_Param88, 2));not(equals(Equals_Param89, 4))), (not(equals(Equals_Param88, 2));not(equals(Equals_Param89, 3))), (not(equals(Equals_Param88, 1));not(equals(Equals_Param89, 4))), (not(equals(Equals_Param88, 1));not(equals(Equals_Param89, 3))), (not(equals(Equals_Param88, 1));not(equals(Equals_Param89, 2))), (not(equals(Equals_Param89, 7));not(equals(Equals_Param88, 8))), (not(equals(Equals_Param89, 6));not(equals(Equals_Param88, 8))), (not(equals(Equals_Param89, 6));not(equals(Equals_Param88, 7))), (not(equals(Equals_Param89, 5));not(equals(Equals_Param88, 8))), (not(equals(Equals_Param89, 5));not(equals(Equals_Param88, 7))), (not(equals(Equals_Param89, 5));not(equals(Equals_Param88, 6))), (not(equals(Equals_Param89, 3));not(equals(Equals_Param88, 4))), (not(equals(Equals_Param89, 2));not(equals(Equals_Param88, 4))), (not(equals(Equals_Param89, 2));not(equals(Equals_Param88, 3))), (not(equals(Equals_Param89, 1));not(equals(Equals_Param88, 4))), (not(equals(Equals_Param89, 1));not(equals(Equals_Param88, 3))), (not(equals(Equals_Param89, 1));not(equals(Equals_Param88, 2))), neighbor(Equals_Param89, Equals_Param88)), (equals(Equals_Param90, 7):-((not(equals(Equals_Param91, 6));not(equals(Equals_Param90, 8))), (not(equals(Equals_Param91, 7));not(equals(Equals_Param90, 8))), (not(equals(Equals_Param90, 4));not(equals(Equals_Param91, 7))), (not(equals(Equals_Param91, 4));not(equals(Equals_Param90, 7)))), (not(equals(Equals_Param91, 5));not(equals(Equals_Param90, 8))), (not(equals(Equals_Param91, 5));not(equals(Equals_Param90, 7))), (not(equals(Equals_Param91, 5));not(equals(Equals_Param90, 6))), (not(equals(Equals_Param91, 3));not(equals(Equals_Param90, 4))), (not(equals(Equals_Param91, 2));not(equals(Equals_Param90, 4))), (not(equals(Equals_Param91, 2));not(equals(Equals_Param90, 3))), (not(equals(Equals_Param91, 1));not(equals(Equals_Param90, 4))), (not(equals(Equals_Param91, 1));not(equals(Equals_Param90, 3))), (not(equals(Equals_Param91, 1));not(equals(Equals_Param90, 2))), (not(equals(Equals_Param90, 7));not(equals(Equals_Param91, 8))), (not(equals(Equals_Param90, 6));not(equals(Equals_Param91, 8))), (not(equals(Equals_Param90, 6));not(equals(Equals_Param91, 7))), (not(equals(Equals_Param90, 5));not(equals(Equals_Param91, 8))), (not(equals(Equals_Param90, 5));not(equals(Equals_Param91, 7))), (not(equals(Equals_Param90, 5));not(equals(Equals_Param91, 6))), (not(equals(Equals_Param90, 3));not(equals(Equals_Param91, 4))), (not(equals(Equals_Param90, 2));not(equals(Equals_Param91, 4))), (not(equals(Equals_Param90, 2));not(equals(Equals_Param91, 3))), (not(equals(Equals_Param90, 1));not(equals(Equals_Param91, 4))), (not(equals(Equals_Param90, 1));not(equals(Equals_Param91, 3))), (not(equals(Equals_Param90, 1));not(equals(Equals_Param91, 2))), neighbor(Equals_Param90, Equals_Param91)), (equals(Equals_Param92, 6):-((not(equals(Equals_Param92, 7));not(equals(Equals_Param93, 8))), (not(equals(Equals_Param93, 4));not(equals(Equals_Param92, 7))), (not(equals(Equals_Param92, 4));not(equals(Equals_Param93, 7)))), (not(equals(Equals_Param92, 6));not(equals(Equals_Param93, 7))), (not(equals(Equals_Param92, 5));not(equals(Equals_Param93, 8))), (not(equals(Equals_Param92, 5));not(equals(Equals_Param93, 7))), (not(equals(Equals_Param92, 5));not(equals(Equals_Param93, 6))), (not(equals(Equals_Param92, 3));not(equals(Equals_Param93, 4))), (not(equals(Equals_Param92, 2));not(equals(Equals_Param93, 4))), (not(equals(Equals_Param92, 2));not(equals(Equals_Param93, 3))), (not(equals(Equals_Param92, 1));not(equals(Equals_Param93, 4))), (not(equals(Equals_Param92, 1));not(equals(Equals_Param93, 3))), (not(equals(Equals_Param92, 1));not(equals(Equals_Param93, 2))), (not(equals(Equals_Param93, 7));not(equals(Equals_Param92, 8))), (not(equals(Equals_Param93, 6));not(equals(Equals_Param92, 8))), (not(equals(Equals_Param93, 6));not(equals(Equals_Param92, 7))), (not(equals(Equals_Param93, 5));not(equals(Equals_Param92, 8))), (not(equals(Equals_Param93, 5));not(equals(Equals_Param92, 7))), (not(equals(Equals_Param93, 5));not(equals(Equals_Param92, 6))), (not(equals(Equals_Param93, 3));not(equals(Equals_Param92, 4))), (not(equals(Equals_Param93, 2));not(equals(Equals_Param92, 4))), (not(equals(Equals_Param93, 2));not(equals(Equals_Param92, 3))), (not(equals(Equals_Param93, 1));not(equals(Equals_Param92, 4))), (not(equals(Equals_Param93, 1));not(equals(Equals_Param92, 3))), (not(equals(Equals_Param93, 1));not(equals(Equals_Param92, 2))), neighbor(Equals_Param93, Equals_Param92)), (equals(Equals_Param94, 8):-((not(equals(Equals_Param95, 7));not(equals(Equals_Param94, 8))), (not(equals(Equals_Param94, 4));not(equals(Equals_Param95, 7))), (not(equals(Equals_Param95, 4));not(equals(Equals_Param94, 7)))), (not(equals(Equals_Param95, 6));not(equals(Equals_Param94, 7))), (not(equals(Equals_Param95, 5));not(equals(Equals_Param94, 8))), (not(equals(Equals_Param95, 5));not(equals(Equals_Param94, 7))), (not(equals(Equals_Param95, 5));not(equals(Equals_Param94, 6))), (not(equals(Equals_Param95, 3));not(equals(Equals_Param94, 4))), (not(equals(Equals_Param95, 2));not(equals(Equals_Param94, 4))), (not(equals(Equals_Param95, 2));not(equals(Equals_Param94, 3))), (not(equals(Equals_Param95, 1));not(equals(Equals_Param94, 4))), (not(equals(Equals_Param95, 1));not(equals(Equals_Param94, 3))), (not(equals(Equals_Param95, 1));not(equals(Equals_Param94, 2))), (not(equals(Equals_Param94, 7));not(equals(Equals_Param95, 8))), (not(equals(Equals_Param94, 6));not(equals(Equals_Param95, 8))), (not(equals(Equals_Param94, 6));not(equals(Equals_Param95, 7))), (not(equals(Equals_Param94, 5));not(equals(Equals_Param95, 8))), (not(equals(Equals_Param94, 5));not(equals(Equals_Param95, 7))), (not(equals(Equals_Param94, 5));not(equals(Equals_Param95, 6))), (not(equals(Equals_Param94, 3));not(equals(Equals_Param95, 4))), (not(equals(Equals_Param94, 2));not(equals(Equals_Param95, 4))), (not(equals(Equals_Param94, 2));not(equals(Equals_Param95, 3))), (not(equals(Equals_Param94, 1));not(equals(Equals_Param95, 4))), (not(equals(Equals_Param94, 1));not(equals(Equals_Param95, 3))), (not(equals(Equals_Param94, 1));not(equals(Equals_Param95, 2))), neighbor(Equals_Param94, Equals_Param95)), (equals(Equals_Param96, 7):-((not(equals(Equals_Param97, 4));not(equals(Equals_Param96, 7))), (not(equals(Equals_Param96, 4));not(equals(Equals_Param97, 7)))), (not(equals(Equals_Param96, 6));not(equals(Equals_Param97, 8))), (not(equals(Equals_Param96, 6));not(equals(Equals_Param97, 7))), (not(equals(Equals_Param96, 5));not(equals(Equals_Param97, 8))), (not(equals(Equals_Param96, 5));not(equals(Equals_Param97, 7))), (not(equals(Equals_Param96, 5));not(equals(Equals_Param97, 6))), (not(equals(Equals_Param96, 3));not(equals(Equals_Param97, 4))), (not(equals(Equals_Param96, 2));not(equals(Equals_Param97, 4))), (not(equals(Equals_Param96, 2));not(equals(Equals_Param97, 3))), (not(equals(Equals_Param96, 1));not(equals(Equals_Param97, 4))), (not(equals(Equals_Param96, 1));not(equals(Equals_Param97, 3))), (not(equals(Equals_Param96, 1));not(equals(Equals_Param97, 2))), (not(equals(Equals_Param97, 7));not(equals(Equals_Param96, 8))), (not(equals(Equals_Param97, 6));not(equals(Equals_Param96, 8))), (not(equals(Equals_Param97, 6));not(equals(Equals_Param96, 7))), (not(equals(Equals_Param97, 5));not(equals(Equals_Param96, 8))), (not(equals(Equals_Param97, 5));not(equals(Equals_Param96, 7))), (not(equals(Equals_Param97, 5));not(equals(Equals_Param96, 6))), (not(equals(Equals_Param97, 3));not(equals(Equals_Param96, 4))), (not(equals(Equals_Param97, 2));not(equals(Equals_Param96, 4))), (not(equals(Equals_Param97, 2));not(equals(Equals_Param96, 3))), (not(equals(Equals_Param97, 1));not(equals(Equals_Param96, 4))), (not(equals(Equals_Param97, 1));not(equals(Equals_Param96, 3))), (not(equals(Equals_Param97, 1));not(equals(Equals_Param96, 2))), neighbor(Equals_Param97, Equals_Param96)), (equals(Equals_Param98, 8):-((not(equals(Equals_Param98, 4));not(equals(Equals_Param99, 7))), (not(equals(Equals_Param99, 4));not(equals(Equals_Param98, 7)))), (not(equals(Equals_Param99, 6));not(equals(Equals_Param98, 8))), (not(equals(Equals_Param99, 6));not(equals(Equals_Param98, 7))), (not(equals(Equals_Param99, 5));not(equals(Equals_Param98, 8))), (not(equals(Equals_Param99, 5));not(equals(Equals_Param98, 7))), (not(equals(Equals_Param99, 5));not(equals(Equals_Param98, 6))), (not(equals(Equals_Param99, 3));not(equals(Equals_Param98, 4))), (not(equals(Equals_Param99, 2));not(equals(Equals_Param98, 4))), (not(equals(Equals_Param99, 2));not(equals(Equals_Param98, 3))), (not(equals(Equals_Param99, 1));not(equals(Equals_Param98, 4))), (not(equals(Equals_Param99, 1));not(equals(Equals_Param98, 3))), (not(equals(Equals_Param99, 1));not(equals(Equals_Param98, 2))), (not(equals(Equals_Param98, 7));not(equals(Equals_Param99, 8))), (not(equals(Equals_Param98, 6));not(equals(Equals_Param99, 8))), (not(equals(Equals_Param98, 6));not(equals(Equals_Param99, 7))), (not(equals(Equals_Param98, 5));not(equals(Equals_Param99, 8))), (not(equals(Equals_Param98, 5));not(equals(Equals_Param99, 7))), (not(equals(Equals_Param98, 5));not(equals(Equals_Param99, 6))), (not(equals(Equals_Param98, 3));not(equals(Equals_Param99, 4))), (not(equals(Equals_Param98, 2));not(equals(Equals_Param99, 4))), (not(equals(Equals_Param98, 2));not(equals(Equals_Param99, 3))), (not(equals(Equals_Param98, 1));not(equals(Equals_Param99, 4))), (not(equals(Equals_Param98, 1));not(equals(Equals_Param99, 3))), (not(equals(Equals_Param98, 1));not(equals(Equals_Param99, 2))), neighbor(Equals_Param98, Equals_Param99)), (equals(Equals_Param100, 4):-(not(equals(Equals_Param101, 4));not(equals(Equals_Param100, 7))), (not(equals(Equals_Param101, 7));not(equals(Equals_Param100, 8))), (not(equals(Equals_Param101, 6));not(equals(Equals_Param100, 8))), (not(equals(Equals_Param101, 6));not(equals(Equals_Param100, 7))), (not(equals(Equals_Param101, 5));not(equals(Equals_Param100, 8))), (not(equals(Equals_Param101, 5));not(equals(Equals_Param100, 7))), (not(equals(Equals_Param101, 5));not(equals(Equals_Param100, 6))), (not(equals(Equals_Param101, 3));not(equals(Equals_Param100, 4))), (not(equals(Equals_Param101, 2));not(equals(Equals_Param100, 4))), (not(equals(Equals_Param101, 2));not(equals(Equals_Param100, 3))), (not(equals(Equals_Param101, 1));not(equals(Equals_Param100, 4))), (not(equals(Equals_Param101, 1));not(equals(Equals_Param100, 3))), (not(equals(Equals_Param101, 1));not(equals(Equals_Param100, 2))), (not(equals(Equals_Param100, 7));not(equals(Equals_Param101, 8))), (not(equals(Equals_Param100, 6));not(equals(Equals_Param101, 8))), (not(equals(Equals_Param100, 6));not(equals(Equals_Param101, 7))), (not(equals(Equals_Param100, 5));not(equals(Equals_Param101, 8))), (not(equals(Equals_Param100, 5));not(equals(Equals_Param101, 7))), (not(equals(Equals_Param100, 5));not(equals(Equals_Param101, 6))), (not(equals(Equals_Param100, 3));not(equals(Equals_Param101, 4))), (not(equals(Equals_Param100, 2));not(equals(Equals_Param101, 4))), (not(equals(Equals_Param100, 2));not(equals(Equals_Param101, 3))), (not(equals(Equals_Param100, 1));not(equals(Equals_Param101, 4))), (not(equals(Equals_Param100, 1));not(equals(Equals_Param101, 3))), (not(equals(Equals_Param100, 1));not(equals(Equals_Param101, 2))), neighbor(Equals_Param100, Equals_Param101)), (equals(Equals_Param102, 7):-(not(equals(Equals_Param102, 4));not(equals(Equals_Param103, 7))), (not(equals(Equals_Param102, 7));not(equals(Equals_Param103, 8))), (not(equals(Equals_Param102, 6));not(equals(Equals_Param103, 8))), (not(equals(Equals_Param102, 6));not(equals(Equals_Param103, 7))), (not(equals(Equals_Param102, 5));not(equals(Equals_Param103, 8))), (not(equals(Equals_Param102, 5));not(equals(Equals_Param103, 7))), (not(equals(Equals_Param102, 5));not(equals(Equals_Param103, 6))), (not(equals(Equals_Param102, 3));not(equals(Equals_Param103, 4))), (not(equals(Equals_Param102, 2));not(equals(Equals_Param103, 4))), (not(equals(Equals_Param102, 2));not(equals(Equals_Param103, 3))), (not(equals(Equals_Param102, 1));not(equals(Equals_Param103, 4))), (not(equals(Equals_Param102, 1));not(equals(Equals_Param103, 3))), (not(equals(Equals_Param102, 1));not(equals(Equals_Param103, 2))), (not(equals(Equals_Param103, 7));not(equals(Equals_Param102, 8))), (not(equals(Equals_Param103, 6));not(equals(Equals_Param102, 8))), (not(equals(Equals_Param103, 6));not(equals(Equals_Param102, 7))), (not(equals(Equals_Param103, 5));not(equals(Equals_Param102, 8))), (not(equals(Equals_Param103, 5));not(equals(Equals_Param102, 7))), (not(equals(Equals_Param103, 5));not(equals(Equals_Param102, 6))), (not(equals(Equals_Param103, 3));not(equals(Equals_Param102, 4))), (not(equals(Equals_Param103, 2));not(equals(Equals_Param102, 4))), (not(equals(Equals_Param103, 2));not(equals(Equals_Param102, 3))), (not(equals(Equals_Param103, 1));not(equals(Equals_Param102, 4))), (not(equals(Equals_Param103, 1));not(equals(Equals_Param102, 3))), (not(equals(Equals_Param103, 1));not(equals(Equals_Param102, 2))), neighbor(Equals_Param103, Equals_Param102)), (equals(Equals_Param104, 4):-(not(equals(Equals_Param105, 4));not(equals(Equals_Param104, 7))), (not(equals(Equals_Param104, 7));not(equals(Equals_Param105, 8))), (not(equals(Equals_Param104, 6));not(equals(Equals_Param105, 8))), (not(equals(Equals_Param104, 6));not(equals(Equals_Param105, 7))), (not(equals(Equals_Param104, 5));not(equals(Equals_Param105, 8))), (not(equals(Equals_Param104, 5));not(equals(Equals_Param105, 7))), (not(equals(Equals_Param104, 5));not(equals(Equals_Param105, 6))), (not(equals(Equals_Param104, 3));not(equals(Equals_Param105, 4))), (not(equals(Equals_Param104, 2));not(equals(Equals_Param105, 4))), (not(equals(Equals_Param104, 2));not(equals(Equals_Param105, 3))), (not(equals(Equals_Param104, 1));not(equals(Equals_Param105, 4))), (not(equals(Equals_Param104, 1));not(equals(Equals_Param105, 3))), (not(equals(Equals_Param104, 1));not(equals(Equals_Param105, 2))), (not(equals(Equals_Param105, 7));not(equals(Equals_Param104, 8))), (not(equals(Equals_Param105, 6));not(equals(Equals_Param104, 8))), (not(equals(Equals_Param105, 6));not(equals(Equals_Param104, 7))), (not(equals(Equals_Param105, 5));not(equals(Equals_Param104, 8))), (not(equals(Equals_Param105, 5));not(equals(Equals_Param104, 7))), (not(equals(Equals_Param105, 5));not(equals(Equals_Param104, 6))), (not(equals(Equals_Param105, 3));not(equals(Equals_Param104, 4))), (not(equals(Equals_Param105, 2));not(equals(Equals_Param104, 4))), (not(equals(Equals_Param105, 2));not(equals(Equals_Param104, 3))), (not(equals(Equals_Param105, 1));not(equals(Equals_Param104, 4))), (not(equals(Equals_Param105, 1));not(equals(Equals_Param104, 3))), (not(equals(Equals_Param105, 1));not(equals(Equals_Param104, 2))), neighbor(Equals_Param105, Equals_Param104)), (equals(Equals_Param106, 7):-(not(equals(Equals_Param106, 4));not(equals(Equals_Param107, 7))), (not(equals(Equals_Param107, 7));not(equals(Equals_Param106, 8))), (not(equals(Equals_Param107, 6));not(equals(Equals_Param106, 8))), (not(equals(Equals_Param107, 6));not(equals(Equals_Param106, 7))), (not(equals(Equals_Param107, 5));not(equals(Equals_Param106, 8))), (not(equals(Equals_Param107, 5));not(equals(Equals_Param106, 7))), (not(equals(Equals_Param107, 5));not(equals(Equals_Param106, 6))), (not(equals(Equals_Param107, 3));not(equals(Equals_Param106, 4))), (not(equals(Equals_Param107, 2));not(equals(Equals_Param106, 4))), (not(equals(Equals_Param107, 2));not(equals(Equals_Param106, 3))), (not(equals(Equals_Param107, 1));not(equals(Equals_Param106, 4))), (not(equals(Equals_Param107, 1));not(equals(Equals_Param106, 3))), (not(equals(Equals_Param107, 1));not(equals(Equals_Param106, 2))), (not(equals(Equals_Param106, 7));not(equals(Equals_Param107, 8))), (not(equals(Equals_Param106, 6));not(equals(Equals_Param107, 8))), (not(equals(Equals_Param106, 6));not(equals(Equals_Param107, 7))), (not(equals(Equals_Param106, 5));not(equals(Equals_Param107, 8))), (not(equals(Equals_Param106, 5));not(equals(Equals_Param107, 7))), (not(equals(Equals_Param106, 5));not(equals(Equals_Param107, 6))), (not(equals(Equals_Param106, 3));not(equals(Equals_Param107, 4))), (not(equals(Equals_Param106, 2));not(equals(Equals_Param107, 4))), (not(equals(Equals_Param106, 2));not(equals(Equals_Param107, 3))), (not(equals(Equals_Param106, 1));not(equals(Equals_Param107, 4))), (not(equals(Equals_Param106, 1));not(equals(Equals_Param107, 3))), (not(equals(Equals_Param106, 1));not(equals(Equals_Param107, 2))), neighbor(Equals_Param106, Equals_Param107))], 53==53).
2969
2970
2973side1(gateAO,4).
2974
2975
2978side2(gateAO,7).
2979
2980
2981% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:438
2982%; End of file.
2983
2984% human Homer
2985% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooTest1.e:27
2986==> t(human,homer).
2987
2988% elephant Jumbo
2989% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooTest1.e:28
2990==> t(elephant,jumbo).
2991
2992
2995species(homer,humanSpecies).
2996
2997
3000adult(homer).
3001
3002
3005species(jumbo,elephantSpecies).
3006
3007
3010adult(jumbo).
3011
3012
3015 3016axiom(not(initially(opened(gateAO))),
3017 []).
3018
3019
3022axiom(initially(pos(homer, 6)),
3023 []).
3024
3025
3028 3029holds_at(pos(jumbo,1),Time).
3030
3031
3034
3035
3038holds_at(mounted(homer,jumbo),4).
3039
3040
3048
3051holds_at(posDeterminingFluent(Human,1),4).
3052
3053
3056 3057 3058axiom(not(holds_at(doneBy(DoneBy_Param, DoneBy_Ret), t4)),
3059 [b(t, t4), ignore(t+4=t4)]).
3060
3061% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooTest1.e:50
3062% range time 0 4
3063% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooTest1.e:51
3064==> range(time,0,4).
3065
3066% range position 1 8
3067% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooTest1.e:52
3068==> range(position,1,8).
3069
3070% range offset 0 0
3071% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooTest1.e:53
3072==> range(offset,0,0).
3073
3076:- set_ec_option(timediff, off). 3077
3080:- set_ec_option(modeldiff, on).