1:-include(library('ec_planner/ec_test_incl')).    2:-expects_dialect(pfc).    3 %  loading(always,'examples/AkmanEtAl2004/ZooWorld.e').
    4%;
    5%; Copyright (c) 2005 IBM Corporation and others.
    6%; All rights reserved. This program and the accompanying materials
    7%; are made available under the terms of the Common Public License v1.0
    8%; which accompanies this distribution, and is available at
    9%; http://www.eclipse.org/legal/cpl-v10.html
   10%;
   11%; Contributors:
   12%; IBM - Initial implementation
   13%;
   14%; @article{Akman:2004,
   15%;   author = "Varol Akman and Selim T. Erdogan and Joohyung Lee and Vladimir Lifschitz and Hudson Turner",
   16%;   year = "2004",
   17%;   title = "Representing the zoo world and the traffic world in the language of the causal calculator",
   18%;   journal = "Artificial Intelligence",
   19%;   volume = "153",
   20%;   pages = "105--140",
   21%; }
   22%;
   23
   24% sort position: integer
   25==> subsort(position,integer).
   26
   27% sort location
   28==> sort(location).
   29
   30% sort cage: location
   31==> subsort(cage,location).
   32
   33% sort gate
   34==> sort(gate).
   35
   36% sort animal
   37==> sort(animal).
   38
   39% sort elephant: animal
   40==> subsort(elephant,animal).
   41
   42% sort horse: animal
   43==> subsort(horse,animal).
   44
   45% sort dog: animal
   46==> subsort(dog,animal).
   47
   48% sort human: animal
   49==> subsort(human,animal).
   50
   51% sort species
   52==> sort(species).
   53
   54% function Loc(position): location
   55 %  functional_predicate(loc(position,location)).
   56==> mpred_prop(loc(position,location),functional_predicate).
   57==> meta_argtypes(loc(position,location)).
   58resultIsa(loc,location).
   59
   60% function Side1(gate): position
   61 %  functional_predicate(side1(gate,position)).
   62==> mpred_prop(side1(gate,position),functional_predicate).
   63==> meta_argtypes(side1(gate,position)).
   64resultIsa(side1,position).
   65
   66% function Side2(gate): position
   67 %  functional_predicate(side2(gate,position)).
   68==> mpred_prop(side2(gate,position),functional_predicate).
   69==> meta_argtypes(side2(gate,position)).
   70resultIsa(side2,position).
   71
   72% function Species(animal): species
   73 %  functional_predicate(species(animal,species)).
   74==> mpred_prop(species(animal,species),functional_predicate).
   75==> meta_argtypes(species(animal,species)).
   76resultIsa(species,species).
   77
   78% predicate Accessible(position,position,time)
   79 %  predicate(accessible(position,position,time)).
   80==> mpred_prop(accessible(position,position,time),predicate).
   81==> meta_argtypes(accessible(position,position,time)).
   82
   83% predicate Adult(animal)
   84 %  predicate(adult(animal)).
   85==> mpred_prop(adult(animal),predicate).
   86==> meta_argtypes(adult(animal)).
   87
   88% predicate Large(animal)
   89 %  predicate(large(animal)).
   90==> mpred_prop(large(animal),predicate).
   91==> meta_argtypes(large(animal)).
   92
   93% predicate LargeSpecies(species)
   94 %  predicate(largeSpecies(species)).
   95==> mpred_prop(largeSpecies(species),predicate).
   96==> meta_argtypes(largeSpecies(species)).
   97
   98% predicate Neighbor(position,position)
   99 %  predicate(neighbor(position,position)).
  100==> mpred_prop(neighbor(position,position),predicate).
  101==> meta_argtypes(neighbor(position,position)).
  102
  103% predicate Sides(position,position,gate)
  104 %  predicate(sides(position,position,gate)).
  105==> mpred_prop(sides(position,position,gate),predicate).
  106==> meta_argtypes(sides(position,position,gate)).
  107
  108% event Close(human,gate)
  109 %  event(close(human,gate)).
  110==> mpred_prop(close(human,gate),event).
  111==> meta_argtypes(close(human,gate)).
  112
  113% event GetOff(human,animal)
  114 %  event(getOff(human,animal)).
  115==> mpred_prop(getOff(human,animal),event).
  116==> meta_argtypes(getOff(human,animal)).
  117
  118% event Mount(human,animal)
  119 %  event(mount(human,animal)).
  120==> mpred_prop(mount(human,animal),event).
  121==> meta_argtypes(mount(human,animal)).
  122
  123% event Move(animal,position)
  124 %  event(move(animal,position)).
  125==> mpred_prop(move(animal,position),event).
  126==> meta_argtypes(move(animal,position)).
  127
  128% event Open(human,gate)
  129 %  event(open(human,gate)).
  130==> mpred_prop(open(human,gate),event).
  131==> meta_argtypes(open(human,gate)).
  132
  133% event ThrowOff(animal,human)
  134 %  event(throwOff(animal,human)).
  135==> mpred_prop(throwOff(animal,human),event).
  136==> meta_argtypes(throwOff(animal,human)).
  137
  138% fluent AbnormalEncroachment(human)
  139 %  fluent(abnormalEncroachment(human)).
  140==> mpred_prop(abnormalEncroachment(human),fluent).
  141==> meta_argtypes(abnormalEncroachment(human)).
  142
  143% noninertial AbnormalEncroachment
  144==> noninertial(abnormalEncroachment).
  145
  146% fluent DoneBy(event,animal)
  147 %  fluent(doneBy(event,animal)).
  148==> mpred_prop(doneBy(event,animal),fluent).
  149==> meta_argtypes(doneBy(event,animal)).
  150
  151% noninertial DoneBy
  152==> noninertial(doneBy).
  153
  154% fluent Mounted(human,animal)
  155 %  fluent(mounted(human,animal)).
  156==> mpred_prop(mounted(human,animal),fluent).
  157==> meta_argtypes(mounted(human,animal)).
  158
  159% fluent MountFails(human)
  160 %  fluent(mountFails(human)).
  161==> mpred_prop(mountFails(human),fluent).
  162==> meta_argtypes(mountFails(human)).
  163
  164% noninertial MountFails
  165==> noninertial(mountFails).
  166
  167% fluent Moves(animal)
  168 %  fluent(moves(animal)).
  169==> mpred_prop(moves(animal),fluent).
  170==> meta_argtypes(moves(animal)).
  171
  172% noninertial Moves
  173==> noninertial(moves).
  174
  175% fluent Opened(gate)
  176 %  fluent(opened(gate)).
  177==> mpred_prop(opened(gate),fluent).
  178==> meta_argtypes(opened(gate)).
  179
  180% fluent Pos(animal,position)
  181 %  fluent(pos(animal,position)).
  182==> mpred_prop(pos(animal,position),fluent).
  183==> meta_argtypes(pos(animal,position)).
  184
  185% fluent PosDeterminingFluent(human,position)
  186 %  fluent(posDeterminingFluent(human,position)).
  187==> mpred_prop(posDeterminingFluent(human,position),fluent).
  188==> meta_argtypes(posDeterminingFluent(human,position)).
  189
  190% noninertial PosDeterminingFluent
  191==> noninertial(posDeterminingFluent).
  192
  193% fluent ThrowOffFails(animal,human)
  194 %  fluent(throwOffFails(animal,human)).
  195==> mpred_prop(throwOffFails(animal,human),fluent).
  196==> meta_argtypes(throwOffFails(animal,human)).
  197
  198% noninertial ThrowOffFails
  199==> noninertial(throwOffFails).
  200
  201% species HumanSpecies, ElephantSpecies, HorseSpecies, DogSpecies
  202==> t(species,humanSpecies).
  203==> t(species,elephantSpecies).
  204==> t(species,horseSpecies).
  205==> t(species,dogSpecies).
  206
  207% location Outside
  208==> t(location,outside).
  209
  210
  211% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:69
  212% LargeSpecies(HumanSpecies).
  213largeSpecies(humanSpecies).
  214
  215
  216% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:70
  217% LargeSpecies(ElephantSpecies).
  218largeSpecies(elephantSpecies).
  219
  220
  221% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:71
  222% LargeSpecies(HorseSpecies).
  223largeSpecies(horseSpecies).
  224
  225
  226% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:72
  227% !LargeSpecies(DogSpecies).
  228 %  not(largeSpecies(dogSpecies)).
  229axiom(not(largeSpecies(dogSpecies)),
  230    []).
  231
  232
  233% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:74
  234% [event,animal,time]
  235% HoldsAt(DoneBy(event,animal),time) <->
  236% (Happens(event,time) &
  237%  (({gate} event=Close(animal,gate)) |
  238%   ({animal1} event=GetOff(animal,animal1))|
  239%   ({animal1} event=Mount(animal,animal1))|
  240%   ({position} event=Move(animal,position))|
  241%   ({gate} event=Open(animal,gate)) |
  242%   ({human1} event=ThrowOff(animal,human1)))).
  243
  244 /*  holds_at(doneBy(Event, Animal), Time) <->
  245       happens(Event, Time),
  246       (   exists([Gate], Event=close(Animal, Gate))
  247       ;   exists([Animal1], Event=getOff(Animal, Animal1))
  248       ;   exists([Animal15],
  249                  Event=mount(Animal, Animal15))
  250       ;   exists([Position], Event=move(Animal, Position))
  251       ;   exists([Gate7], Event=open(Animal, Gate7))
  252       ;   exists([Human1], Event=throwOff(Animal, Human1))
  253       ).
  254 */
  255% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:82
  256axiom(holds_at(doneBy(Event, Animal), Time),
  257   
  258    [ equals(Event, close(Animal, Gate)),
  259      happens(Event, Time)
  260    ]).
  261axiom(holds_at(doneBy(Event, Animal), Time),
  262   
  263    [ equals(Event, getOff(Animal, Animal1)),
  264      happens(Event, Time)
  265    ]).
  266axiom(holds_at(doneBy(Event, Animal), Time),
  267   
  268    [ equals(Event, mount(Animal, Animal15)),
  269      happens(Event, Time)
  270    ]).
  271axiom(holds_at(doneBy(Event, Animal), Time),
  272   
  273    [ equals(Event, move(Animal, Position)),
  274      happens(Event, Time)
  275    ]).
  276axiom(holds_at(doneBy(Event, Animal), Time),
  277   
  278    [ equals(Event, open(Animal, Gate7)),
  279      happens(Event, Time)
  280    ]).
  281axiom(holds_at(doneBy(Event, Animal), Time),
  282   
  283    [ equals(Event, throwOff(Animal, Human1)),
  284      happens(Event, Time)
  285    ]).
  286
  287 /*   if(holds_at(doneBy(Event, Animal), Time),
  288          (happens(Event, Time), (exists([Gate], Event=close(Animal, Gate));exists([Animal1], Event=getOff(Animal, Animal1));exists([Animal15], Event=mount(Animal, Animal15));exists([Position], Event=move(Animal, Position));exists([Gate7], Event=open(Animal, Gate7));exists([Human1], Event=throwOff(Animal, Human1))))).
  289 */
  290
  291 /*  not(holds_at(doneBy(DoneBy_Param, Close_Param), Time9)) :-
  292       (   not(happens(DoneBy_Param, Time9))
  293       ;   not(equals(DoneBy_Param,
  294                      close(Close_Param, Close_Ret))),
  295           not(equals(DoneBy_Param,
  296                      getOff(Close_Param, GetOff_Ret))),
  297           not(equals(DoneBy_Param,
  298                      mount(Close_Param, Mount_Ret))),
  299           not(equals(DoneBy_Param, move(Close_Param, Move_Ret))),
  300           not(equals(DoneBy_Param, open(Close_Param, Open_Ret))),
  301           not(equals(DoneBy_Param,
  302                      throwOff(Close_Param, ThrowOff_Ret)))
  303       ).
  304 */
  305axiom(not(holds_at(doneBy(DoneBy_Param, Close_Param), Time9)),
  306    [not(happens(DoneBy_Param, Time9))]).
  307axiom(not(holds_at(doneBy(DoneBy_Param, Close_Param), Time9)),
  308   
  309    [ not(equals(DoneBy_Param, close(Close_Param, Close_Ret))),
  310      not(equals(DoneBy_Param,
  311                 getOff(Close_Param, GetOff_Ret))),
  312      not(equals(DoneBy_Param, mount(Close_Param, Mount_Ret))),
  313      not(equals(DoneBy_Param, move(Close_Param, Move_Ret))),
  314      not(equals(DoneBy_Param, open(Close_Param, Open_Ret))),
  315      not(equals(DoneBy_Param,
  316                 throwOff(Close_Param, ThrowOff_Ret)))
  317    ]).
  318
  319 /*  happens(Happens_Param, Maptime) :-
  320       holds_at(doneBy(Happens_Param, DoneBy_Ret), Maptime).
  321 */
  322axiom(happens(Happens_Param, Maptime),
  323    [holds_at(doneBy(Happens_Param, DoneBy_Ret), Maptime)]).
  324
  325 /*  equals(Equals_Param, close(Close_Param23, Close_Ret24)) :-
  326       ( not(equals(Equals_Param,
  327                    getOff(Close_Param23, GetOff_Ret25))),
  328         not(equals(Equals_Param,
  329                    mount(Close_Param23, Mount_Ret26))),
  330         not(equals(Equals_Param,
  331                    move(Close_Param23, Move_Ret27))),
  332         not(equals(Equals_Param,
  333                    open(Close_Param23, Open_Ret28))),
  334         not(equals(Equals_Param,
  335                    throwOff(Close_Param23, ThrowOff_Ret29)))
  336       ),
  337       holds_at(doneBy(Equals_Param, Close_Param23), Time21).
  338 */
  339axiom(equals(Equals_Param, close(Close_Param23, Close_Ret24)),
  340   
  341    [ not(equals(Equals_Param,
  342                 getOff(Close_Param23, GetOff_Ret25))),
  343      not(equals(Equals_Param,
  344                 mount(Close_Param23, Mount_Ret26))),
  345      not(equals(Equals_Param,
  346                 move(Close_Param23, Move_Ret27))),
  347      not(equals(Equals_Param,
  348                 open(Close_Param23, Open_Ret28))),
  349      not(equals(Equals_Param,
  350                 throwOff(Close_Param23, ThrowOff_Ret29))),
  351      holds_at(doneBy(Equals_Param, Close_Param23), Time21)
  352    ]).
  353
  354 /*  equals(Equals_Param31, getOff(GetOff_Param, GetOff_Ret33)) :-
  355       ( not(equals(Equals_Param31,
  356                    mount(GetOff_Param, Mount_Ret34))),
  357         not(equals(Equals_Param31,
  358                    move(GetOff_Param, Move_Ret35))),
  359         not(equals(Equals_Param31,
  360                    open(GetOff_Param, Open_Ret36))),
  361         not(equals(Equals_Param31,
  362                    throwOff(GetOff_Param, ThrowOff_Ret37)))
  363       ),
  364       not(equals(Equals_Param31,
  365                  close(GetOff_Param, Close_Ret38))),
  366       holds_at(doneBy(Equals_Param31, GetOff_Param), Time30).
  367 */
  368axiom(equals(Equals_Param31, getOff(GetOff_Param, GetOff_Ret33)),
  369   
  370    [ not(equals(Equals_Param31,
  371                 mount(GetOff_Param, Mount_Ret34))),
  372      not(equals(Equals_Param31,
  373                 move(GetOff_Param, Move_Ret35))),
  374      not(equals(Equals_Param31,
  375                 open(GetOff_Param, Open_Ret36))),
  376      not(equals(Equals_Param31,
  377                 throwOff(GetOff_Param, ThrowOff_Ret37))),
  378      not(equals(Equals_Param31,
  379                 close(GetOff_Param, Close_Ret38))),
  380      holds_at(doneBy(Equals_Param31, GetOff_Param), Time30)
  381    ]).
  382
  383 /*  equals(Equals_Param40, mount(Mount_Param, Mount_Ret42)) :-
  384       ( not(equals(Equals_Param40,
  385                    move(Mount_Param, Move_Ret43))),
  386         not(equals(Equals_Param40,
  387                    open(Mount_Param, Open_Ret44))),
  388         not(equals(Equals_Param40,
  389                    throwOff(Mount_Param, ThrowOff_Ret45)))
  390       ),
  391       not(equals(Equals_Param40,
  392                  getOff(Mount_Param, GetOff_Ret46))),
  393       not(equals(Equals_Param40,
  394                  close(Mount_Param, Close_Ret47))),
  395       holds_at(doneBy(Equals_Param40, Mount_Param), Time39).
  396 */
  397axiom(equals(Equals_Param40, mount(Mount_Param, Mount_Ret42)),
  398   
  399    [ not(equals(Equals_Param40,
  400                 move(Mount_Param, Move_Ret43))),
  401      not(equals(Equals_Param40,
  402                 open(Mount_Param, Open_Ret44))),
  403      not(equals(Equals_Param40,
  404                 throwOff(Mount_Param, ThrowOff_Ret45))),
  405      not(equals(Equals_Param40,
  406                 getOff(Mount_Param, GetOff_Ret46))),
  407      not(equals(Equals_Param40,
  408                 close(Mount_Param, Close_Ret47))),
  409      holds_at(doneBy(Equals_Param40, Mount_Param), Time39)
  410    ]).
  411
  412 /*  equals(Equals_Param49, move(Move_Param, Move_Ret51)) :-
  413       ( not(equals(Equals_Param49, open(Move_Param, Open_Ret52))),
  414         not(equals(Equals_Param49,
  415                    throwOff(Move_Param, ThrowOff_Ret53)))
  416       ),
  417       not(equals(Equals_Param49, mount(Move_Param, Mount_Ret54))),
  418       not(equals(Equals_Param49,
  419                  getOff(Move_Param, GetOff_Ret55))),
  420       not(equals(Equals_Param49, close(Move_Param, Close_Ret56))),
  421       holds_at(doneBy(Equals_Param49, Move_Param), Time48).
  422 */
  423axiom(equals(Equals_Param49, move(Move_Param, Move_Ret51)),
  424   
  425    [ not(equals(Equals_Param49, open(Move_Param, Open_Ret52))),
  426      not(equals(Equals_Param49,
  427                 throwOff(Move_Param, ThrowOff_Ret53))),
  428      not(equals(Equals_Param49,
  429                 mount(Move_Param, Mount_Ret54))),
  430      not(equals(Equals_Param49,
  431                 getOff(Move_Param, GetOff_Ret55))),
  432      not(equals(Equals_Param49,
  433                 close(Move_Param, Close_Ret56))),
  434      holds_at(doneBy(Equals_Param49, Move_Param), Time48)
  435    ]).
  436
  437 /*  equals(Equals_Param58, open(Open_Param, Open_Ret60)) :-
  438       not(equals(Equals_Param58,
  439                  throwOff(Open_Param, ThrowOff_Ret61))),
  440       not(equals(Equals_Param58, move(Open_Param, Move_Ret62))),
  441       not(equals(Equals_Param58, mount(Open_Param, Mount_Ret63))),
  442       not(equals(Equals_Param58,
  443                  getOff(Open_Param, GetOff_Ret64))),
  444       not(equals(Equals_Param58, close(Open_Param, Close_Ret65))),
  445       holds_at(doneBy(Equals_Param58, Open_Param), Time57).
  446 */
  447axiom(equals(Equals_Param58, open(Open_Param, Open_Ret60)),
  448   
  449    [ not(equals(Equals_Param58,
  450                 throwOff(Open_Param, ThrowOff_Ret61))),
  451      not(equals(Equals_Param58, move(Open_Param, Move_Ret62))),
  452      not(equals(Equals_Param58,
  453                 mount(Open_Param, Mount_Ret63))),
  454      not(equals(Equals_Param58,
  455                 getOff(Open_Param, GetOff_Ret64))),
  456      not(equals(Equals_Param58,
  457                 close(Open_Param, Close_Ret65))),
  458      holds_at(doneBy(Equals_Param58, Open_Param), Time57)
  459    ]).
  460
  461 /*  equals(Equals_Param67, throwOff(ThrowOff_Param, ThrowOff_Ret69)) :-
  462       not(equals(Equals_Param67,
  463                  open(ThrowOff_Param, Open_Ret70))),
  464       not(equals(Equals_Param67,
  465                  move(ThrowOff_Param, Move_Ret71))),
  466       not(equals(Equals_Param67,
  467                  mount(ThrowOff_Param, Mount_Ret72))),
  468       not(equals(Equals_Param67,
  469                  getOff(ThrowOff_Param, GetOff_Ret73))),
  470       not(equals(Equals_Param67,
  471                  close(ThrowOff_Param, Close_Ret74))),
  472       holds_at(doneBy(Equals_Param67, ThrowOff_Param), Time66).
  473 */
  474axiom(equals(Equals_Param67, throwOff(ThrowOff_Param, ThrowOff_Ret69)),
  475   
  476    [ not(equals(Equals_Param67,
  477                 open(ThrowOff_Param, Open_Ret70))),
  478      not(equals(Equals_Param67,
  479                 move(ThrowOff_Param, Move_Ret71))),
  480      not(equals(Equals_Param67,
  481                 mount(ThrowOff_Param, Mount_Ret72))),
  482      not(equals(Equals_Param67,
  483                 getOff(ThrowOff_Param, GetOff_Ret73))),
  484      not(equals(Equals_Param67,
  485                 close(ThrowOff_Param, Close_Ret74))),
  486      holds_at(doneBy(Equals_Param67, ThrowOff_Param), Time66)
  487    ]).
  488
  489
  490% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:84
  491% [event1,event2,animal,time]
  492% HoldsAt(DoneBy(event1,animal),time) &
  493% HoldsAt(DoneBy(event2,animal),time) ->
  494% event1=event2.
  495% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:87
  496axiom(Event1=Event2,
  497   
  498    [ holds_at(doneBy(Event1, Animal), Time),
  499      holds_at(doneBy(Event2, Animal), Time)
  500    ]).
  501
  502
  503% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:89
  504% [animal]
  505 % Large(animal) <-> (Adult(animal) & LargeSpecies(Species(animal))).
  506
  507 /*  large(Animal) <->
  508       adult(Animal),
  509       largeSpecies(species(Animal)).
  510 */
  511axiom(large(Animal),
  512    [adult(Animal), largeSpecies(species(Animal))]).
  513
  514 /*   if(large(Animal),
  515          (adult(Animal), largeSpecies(species(Animal)))).
  516 */
  517
  518 /*  not(large(Large_Ret)) :-
  519       (   not(adult(Large_Ret))
  520       ;   not(largeSpecies(species(Large_Ret)))
  521       ).
  522 */
  523axiom(not(large(Large_Ret)),
  524    [not(adult(Large_Ret))]).
  525axiom(not(large(Large_Ret)),
  526    [not(largeSpecies(species(Large_Ret)))]).
  527
  528 /*  adult(Adult_Ret) :-
  529       large(Adult_Ret).
  530 */
  531axiom(adult(Adult_Ret),
  532    [large(Adult_Ret)]).
  533
  534 /*  largeSpecies(species(Species_Ret)) :-
  535       large(Species_Ret).
  536 */
  537axiom(largeSpecies(species(Species_Ret)),
  538    [large(Species_Ret)]).
  539
  540
  541% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:91
  542% [position]
  543 
  544% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:91
  545% {position1} % position1!=% position & Neighbor(position,position1).
  546
  547 /*   exists([Position1],
  548              (Position1\=Position, neighbor(Position, Position1))).
  549 */
  550
  551 /*  not(some(Some_Param, '$kolem_Fn_87'(Neighbor_Param))) :-
  552       (   not({dif(Some_Param, Neighbor_Param)})
  553       ;   not(neighbor(Neighbor_Param, Some_Param))
  554       ).
  555 */
  556axiom(not(some(Some_Param, '$kolem_Fn_87'(Neighbor_Param))),
  557    [not({dif(Some_Param, Neighbor_Param)})]).
  558axiom(not(some(Some_Param, '$kolem_Fn_87'(Neighbor_Param))),
  559    [not(neighbor(Neighbor_Param, Some_Param))]).
  560
  561 /*  { dif(Dif_Param, Dif_Ret)
  562   } :-
  563       some(Dif_Param, '$kolem_Fn_87'(Dif_Ret)).
  564 */
  565axiom({ dif(Dif_Param, Dif_Ret)
  566},
  567    [some(Dif_Param, '$kolem_Fn_87'(Dif_Ret))]).
  568
  569 /*  neighbor(Neighbor_Param7, Some_Param8) :-
  570       some(Some_Param8, '$kolem_Fn_87'(Neighbor_Param7)).
  571 */
  572axiom(neighbor(Neighbor_Param7, Some_Param8),
  573    [some(Some_Param8, '$kolem_Fn_87'(Neighbor_Param7))]).
  574
  575
  576% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:93
  577% [position]
  578 % !Neighbor(position,position).
  579 %  not(neighbor(Position,Position)).
  580axiom(not(neighbor(Neighbor_Param, Neighbor_Param)),
  581    []).
  582
  583
  584% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:95
  585% [position1,position2]
  586% Neighbor(position1,position2) ->
  587% Neighbor(position2,position1).
  588% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:97
  589axiom(neighbor(Position2, Position1),
  590    [neighbor(Position1, Position2)]).
  591
  592
  593% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:99
  594% [cage]
  595 % cage!=% Outside.
  596diff(Cage,outside).
  597
  598
  599% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:101
  600% [position1,position2,gate]
  601% Sides(position1,position2,gate) <->
  602% ((Side1(gate)=position1 &
  603%   Side2(gate)=position2) |
  604%  (Side2(gate)=position1 &
  605%   Side1(gate)=position2)).
  606
  607 /*  sides(Position1, Position2, Gate) <->
  608       (   side1(Gate)=Position1,
  609           side2(Gate)=Position2
  610       ;   side2(Gate)=Position1,
  611           side1(Gate)=Position2
  612       ).
  613 */
  614% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:106
  615axiom(sides(Position1, Position2, Gate),
  616   
  617    [ equals(side1(Gate), Position1),
  618      equals(side2(Gate), Position2)
  619    ]).
  620axiom(sides(Position1, Position2, Gate),
  621   
  622    [ equals(side2(Gate), Position1),
  623      equals(side1(Gate), Position2)
  624    ]).
  625
  626 /*   if(sides(Position1, Position2, Gate),
  627          (side1(Gate)=Position1, side2(Gate)=Position2;side2(Gate)=Position1, side1(Gate)=Position2)).
  628 */
  629
  630 /*  not(sides(Sides_Param, Equals_Ret, Sides_Ret)) :-
  631       (   not(equals(side1(Sides_Ret), Sides_Param))
  632       ;   not(equals(side2(Sides_Ret), Equals_Ret))
  633       ),
  634       (   not(equals(side2(Sides_Ret), Sides_Param))
  635       ;   not(equals(side1(Sides_Ret), Equals_Ret))
  636       ).
  637 */
  638axiom(not(sides(Sides_Param, Equals_Ret, Sides_Ret)),
  639   
  640    [ not(equals(side2(Sides_Ret), Sides_Param)),
  641      not(equals(side1(Sides_Ret), Sides_Param))
  642    ]).
  643axiom(not(sides(Sides_Param, Equals_Ret, Sides_Ret)),
  644   
  645    [ not(equals(side1(Sides_Ret), Equals_Ret)),
  646      not(equals(side1(Sides_Ret), Sides_Param))
  647    ]).
  648axiom(not(sides(Sides_Param, Equals_Ret, Sides_Ret)),
  649   
  650    [ not(equals(side2(Sides_Ret), Sides_Param)),
  651      not(equals(side2(Sides_Ret), Equals_Ret))
  652    ]).
  653axiom(not(sides(Sides_Param, Equals_Ret, Sides_Ret)),
  654   
  655    [ not(equals(side1(Sides_Ret), Equals_Ret)),
  656      not(equals(side2(Sides_Ret), Equals_Ret))
  657    ]).
  658
  659 /*  equals(side1(Side1_Ret), Sides_Param6) :-
  660       (   not(equals(side2(Side1_Ret), Sides_Param6))
  661       ;   not(equals(side1(Side1_Ret), Equals_Ret8))
  662       ),
  663       sides(Sides_Param6, Equals_Ret8, Side1_Ret).
  664 */
  665axiom(equals(side1(Side1_Ret), Sides_Param6),
  666   
  667    [ not(equals(side2(Side1_Ret), Sides_Param6)),
  668      sides(Sides_Param6, Equals_Ret8, Side1_Ret)
  669    ]).
  670axiom(equals(side1(Side1_Ret), Sides_Param6),
  671   
  672    [ not(equals(side1(Side1_Ret), Equals_Ret8)),
  673      sides(Sides_Param6, Equals_Ret8, Side1_Ret)
  674    ]).
  675
  676 /*  equals(side2(Side2_Ret), Equals_Ret10) :-
  677       (   not(equals(side2(Side2_Ret), Sides_Param9))
  678       ;   not(equals(side1(Side2_Ret), Equals_Ret10))
  679       ),
  680       sides(Sides_Param9, Equals_Ret10, Side2_Ret).
  681 */
  682axiom(equals(side2(Side2_Ret), Equals_Ret10),
  683   
  684    [ not(equals(side2(Side2_Ret), Sides_Param9)),
  685      sides(Sides_Param9, Equals_Ret10, Side2_Ret)
  686    ]).
  687axiom(equals(side2(Side2_Ret), Equals_Ret10),
  688   
  689    [ not(equals(side1(Side2_Ret), Equals_Ret10)),
  690      sides(Sides_Param9, Equals_Ret10, Side2_Ret)
  691    ]).
  692
  693 /*  equals(side2(Side2_Ret13), Sides_Param12) :-
  694       (   not(equals(side1(Side2_Ret13), Sides_Param12))
  695       ;   not(equals(side2(Side2_Ret13), Equals_Ret14))
  696       ),
  697       sides(Sides_Param12, Equals_Ret14, Side2_Ret13).
  698 */
  699axiom(equals(side2(Side2_Ret13), Sides_Param12),
  700   
  701    [ not(equals(side1(Side2_Ret13), Sides_Param12)),
  702      sides(Sides_Param12, Equals_Ret14, Side2_Ret13)
  703    ]).
  704axiom(equals(side2(Side2_Ret13), Sides_Param12),
  705   
  706    [ not(equals(side2(Side2_Ret13), Equals_Ret14)),
  707      sides(Sides_Param12, Equals_Ret14, Side2_Ret13)
  708    ]).
  709
  710 /*  equals(side1(Side1_Ret17), Equals_Ret16) :-
  711       (   not(equals(side1(Side1_Ret17), Sides_Param15))
  712       ;   not(equals(side2(Side1_Ret17), Equals_Ret16))
  713       ),
  714       sides(Sides_Param15, Equals_Ret16, Side1_Ret17).
  715 */
  716axiom(equals(side1(Side1_Ret17), Equals_Ret16),
  717   
  718    [ not(equals(side1(Side1_Ret17), Sides_Param15)),
  719      sides(Sides_Param15, Equals_Ret16, Side1_Ret17)
  720    ]).
  721axiom(equals(side1(Side1_Ret17), Equals_Ret16),
  722   
  723    [ not(equals(side2(Side1_Ret17), Equals_Ret16)),
  724      sides(Sides_Param15, Equals_Ret16, Side1_Ret17)
  725    ]).
  726
  727
  728% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:108
  729% [gate]
  730 % Loc(Side1(gate))!=Loc(Side2(gate)).
  731diff(loc(side1(Gate)),loc(side2(Gate))).
  732
  733
  734% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:110
  735% [position1,position2,gate1,gate2]
  736% Sides(position1,position2,gate1) &
  737% Sides(position1,position2,gate2) ->
  738% gate1=gate2.
  739% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:113
  740axiom(Gate1=Gate2,
  741   
  742    [ sides(Position1, Position2, Gate1),
  743      sides(Position1, Position2, Gate2)
  744    ]).
  745
  746
  747% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:115
  748% [position1,position2,gate]
  749% Sides(position1,position2,gate) ->
  750% Neighbor(position1,position2).
  751% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:117
  752axiom(neighbor(Position1, Position2),
  753    [sides(Position1, Position2, Gate)]).
  754
  755
  756% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:119
  757% [position1,position2]
  758% Loc(position1) != Loc(position2) &
  759% Neighbor(position1,position2) ->
  760% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:122
  761% {gate}%  Sides(position1,position2,gate).
  762
  763 /*   exists([Gate],
  764             if((loc(Position1)\=loc(Position2), neighbor(Position1, Position2)),
  765                sides(Position1, Position2, Gate))).
  766 */
  767
  768 /*  sides(Sides_Param, Loc_Ret, Some_Param) :-
  769       ( { dif(loc(Sides_Param), loc(Loc_Ret))
  770         },
  771         neighbor(Sides_Param, Loc_Ret)
  772       ),
  773       some(Some_Param, '$kolem_Fn_88'(Sides_Param, Loc_Ret)).
  774 */
  775axiom(sides(Sides_Param, Loc_Ret, Some_Param),
  776   
  777    [ { dif(loc(Sides_Param), loc(Loc_Ret))
  778      },
  779      neighbor(Sides_Param, Loc_Ret),
  780      some(Some_Param, '$kolem_Fn_88'(Sides_Param, Loc_Ret))
  781    ]).
  782
  783 /*  not({dif(loc(Neighbor_Param), loc(Loc_Ret9))}) :-
  784       neighbor(Neighbor_Param, Loc_Ret9),
  785       not(sides(Neighbor_Param, Loc_Ret9, Some_Param8)),
  786       some(Some_Param8, '$kolem_Fn_88'(Neighbor_Param, Loc_Ret9)).
  787 */
  788axiom(not({dif(loc(Neighbor_Param), loc(Loc_Ret9))}),
  789   
  790    [ neighbor(Neighbor_Param, Loc_Ret9),
  791      not(sides(Neighbor_Param, Loc_Ret9, Some_Param8)),
  792      some(Some_Param8,
  793           '$kolem_Fn_88'(Neighbor_Param, Loc_Ret9))
  794    ]).
  795
  796 /*  not(neighbor(Neighbor_Param10, Neighbor_Ret)) :-
  797       { dif(loc(Neighbor_Param10), loc(Neighbor_Ret))
  798       },
  799       not(sides(Neighbor_Param10, Neighbor_Ret, Some_Param11)),
  800       some(Some_Param11,
  801            '$kolem_Fn_88'(Neighbor_Param10, Neighbor_Ret)).
  802 */
  803axiom(not(neighbor(Neighbor_Param10, Neighbor_Ret)),
  804   
  805    [ { dif(loc(Neighbor_Param10), loc(Neighbor_Ret))
  806      },
  807      not(sides(Neighbor_Param10, Neighbor_Ret, Some_Param11)),
  808      some(Some_Param11,
  809           '$kolem_Fn_88'(Neighbor_Param10, Neighbor_Ret))
  810    ]).
  811
  812 /*  not(some(Some_Param13, '$kolem_Fn_88'(Fn_88_Param, Fn_88_Ret))) :-
  813       not(sides(Fn_88_Param, Fn_88_Ret, Some_Param13)),
  814       { dif(loc(Fn_88_Param), loc(Fn_88_Ret))
  815       },
  816       neighbor(Fn_88_Param, Fn_88_Ret).
  817 */
  818axiom(not(some(Some_Param13, '$kolem_Fn_88'(Fn_88_Param, Fn_88_Ret))),
  819   
  820    [ not(sides(Fn_88_Param, Fn_88_Ret, Some_Param13)),
  821      { dif(loc(Fn_88_Param), loc(Fn_88_Ret))
  822      },
  823      neighbor(Fn_88_Param, Fn_88_Ret)
  824    ]).
  825
  826
  827% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:124
  828% [animal,position1,position2,time]
  829% HoldsAt(Pos(animal,position1),time) &
  830% HoldsAt(Pos(animal,position2),time) ->
  831% position1=position2.
  832% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:127
  833axiom(Position1=Position2,
  834   
  835    [ holds_at(pos(Animal, Position1), Time),
  836      holds_at(pos(Animal, Position2), Time)
  837    ]).
  838
  839
  840% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:129
  841% [animal,time]
  842% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:130
  843% {position} % HoldsAt(Pos(animal,position),time).
  844
  845 /*  exists([Position],
  846          holds_at(pos(Animal,Position),Time)).
  847 */
  848
  849 /*  holds_at(pos(Pos_Param, Some_Param), Time4) :-
  850       some(Some_Param, '$kolem_Fn_89'(Pos_Param, Time4)).
  851 */
  852axiom(holds_at(pos(Pos_Param, Some_Param), Time4),
  853    [some(Some_Param, '$kolem_Fn_89'(Pos_Param, Time4))]).
  854
  855 /*  not(some(Some_Param8, '$kolem_Fn_89'(Fn_89_Param, Time7))) :-
  856       not(holds_at(pos(Fn_89_Param, Some_Param8), Time7)).
  857 */
  858axiom(not(some(Some_Param8, '$kolem_Fn_89'(Fn_89_Param, Time7))),
  859    [not(holds_at(pos(Fn_89_Param, Some_Param8), Time7))]).
  860
  861
  862% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:132
  863% [animal1,animal2,position,time]
  864% (animal1!=animal2 &
  865%  Large(animal1) &
  866%  Large(animal2) &
  867%  HoldsAt(Pos(animal1,position),time) &
  868%  HoldsAt(Pos(animal2,position),time)) ->
  869% (({human} human=animal1 & HoldsAt(Mounted(human,animal2),time)) |
  870%  ({human} human=animal2 & HoldsAt(Mounted(human,animal1),time))).
  871
  872 /*   if(({dif(Animal1, Animal2)}, large(Animal1), large(Animal2), holds_at(pos(Animal1, Position), Time), holds_at(pos(Animal2, Position), Time)),
  873          (exists([Human],  (Human=Animal1, holds_at(mounted(Human, Animal2), Time)));exists([Human5],  (Human5=Animal2, holds_at(mounted(Human5, Animal1), Time))))).
  874 */
  875
  876 /*  not({dif(Dif_Param, Pos_Param)}) :-
  877       ( large(Dif_Param),
  878         large(Pos_Param),
  879         holds_at(pos(Dif_Param, Pos_Ret), Time6),
  880         holds_at(pos(Pos_Param, Pos_Ret), Time6)
  881       ),
  882       (   not(equals(Equals_Param, Dif_Param))
  883       ;   not(holds_at(mounted(Equals_Param, Pos_Param), Time6))
  884       ),
  885       (   not(equals(Equals_Param10, Pos_Param))
  886       ;   not(holds_at(mounted(Equals_Param10, Dif_Param),
  887                        Time6))
  888       ).
  889 */
  890% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:139
  891axiom(not({dif(Dif_Param, Pos_Param)}),
  892   
  893    [ not(equals(Equals_Param10, Pos_Param)),
  894      not(equals(Equals_Param, Dif_Param)),
  895      large(Dif_Param),
  896      large(Pos_Param),
  897      holds_at(pos(Dif_Param, Pos_Ret), Time6),
  898      holds_at(pos(Pos_Param, Pos_Ret), Time6)
  899    ]).
  900axiom(not({dif(Dif_Param, Pos_Param)}),
  901   
  902    [ not(holds_at(mounted(Equals_Param10, Dif_Param), Time6)),
  903      not(equals(Equals_Param, Dif_Param)),
  904      large(Dif_Param),
  905      large(Pos_Param),
  906      holds_at(pos(Dif_Param, Pos_Ret), Time6),
  907      holds_at(pos(Pos_Param, Pos_Ret), Time6)
  908    ]).
  909axiom(not({dif(Dif_Param, Pos_Param)}),
  910   
  911    [ not(equals(Equals_Param10, Pos_Param)),
  912      not(holds_at(mounted(Equals_Param, Pos_Param), Time6)),
  913      large(Dif_Param),
  914      large(Pos_Param),
  915      holds_at(pos(Dif_Param, Pos_Ret), Time6),
  916      holds_at(pos(Pos_Param, Pos_Ret), Time6)
  917    ]).
  918axiom(not({dif(Dif_Param, Pos_Param)}),
  919   
  920    [ not(holds_at(mounted(Equals_Param10, Dif_Param), Time6)),
  921      not(holds_at(mounted(Equals_Param, Pos_Param), Time6)),
  922      large(Dif_Param),
  923      large(Pos_Param),
  924      holds_at(pos(Dif_Param, Pos_Ret), Time6),
  925      holds_at(pos(Pos_Param, Pos_Ret), Time6)
  926    ]).
  927
  928 /*  not(large(Pos_Param13)) :-
  929       ( large(Pos_Param14),
  930         holds_at(pos(Pos_Param13, Pos_Ret17), Time12),
  931         holds_at(pos(Pos_Param14, Pos_Ret17), Time12)
  932       ),
  933       { dif(Pos_Param13, Pos_Param14)
  934       },
  935       (   not(equals(Equals_Param15, Pos_Param13))
  936       ;   not(holds_at(mounted(Equals_Param15, Pos_Param14),
  937                        Time12))
  938       ),
  939       (   not(equals(Equals_Param16, Pos_Param14))
  940       ;   not(holds_at(mounted(Equals_Param16, Pos_Param13),
  941                        Time12))
  942       ).
  943 */
  944axiom(not(large(Pos_Param13)),
  945   
  946    [ not(equals(Equals_Param16, Pos_Param14)),
  947      not(equals(Equals_Param15, Pos_Param13)),
  948      large(Pos_Param14),
  949      holds_at(pos(Pos_Param13, Pos_Ret17), Time12),
  950      holds_at(pos(Pos_Param14, Pos_Ret17), Time12),
  951      { dif(Pos_Param13, Pos_Param14)
  952      }
  953    ]).
  954axiom(not(large(Pos_Param13)),
  955   
  956    [ not(holds_at(mounted(Equals_Param16, Pos_Param13),
  957                   Time12)),
  958      not(equals(Equals_Param15, Pos_Param13)),
  959      large(Pos_Param14),
  960      holds_at(pos(Pos_Param13, Pos_Ret17), Time12),
  961      holds_at(pos(Pos_Param14, Pos_Ret17), Time12),
  962      { dif(Pos_Param13, Pos_Param14)
  963      }
  964    ]).
  965axiom(not(large(Pos_Param13)),
  966   
  967    [ not(equals(Equals_Param16, Pos_Param14)),
  968      not(holds_at(mounted(Equals_Param15, Pos_Param14),
  969                   Time12)),
  970      large(Pos_Param14),
  971      holds_at(pos(Pos_Param13, Pos_Ret17), Time12),
  972      holds_at(pos(Pos_Param14, Pos_Ret17), Time12),
  973      { dif(Pos_Param13, Pos_Param14)
  974      }
  975    ]).
  976axiom(not(large(Pos_Param13)),
  977   
  978    [ not(holds_at(mounted(Equals_Param16, Pos_Param13),
  979                   Time12)),
  980      not(holds_at(mounted(Equals_Param15, Pos_Param14),
  981                   Time12)),
  982      large(Pos_Param14),
  983      holds_at(pos(Pos_Param13, Pos_Ret17), Time12),
  984      holds_at(pos(Pos_Param14, Pos_Ret17), Time12),
  985      { dif(Pos_Param13, Pos_Param14)
  986      }
  987    ]).
  988
  989 /*  not(large(Pos_Param20)) :-
  990       ( holds_at(pos(Pos_Param19, Pos_Ret23), Time18),
  991         holds_at(pos(Pos_Param20, Pos_Ret23), Time18)
  992       ),
  993       large(Pos_Param19),
  994       { dif(Pos_Param19, Pos_Param20)
  995       },
  996       (   not(equals(Equals_Param21, Pos_Param19))
  997       ;   not(holds_at(mounted(Equals_Param21, Pos_Param20),
  998                        Time18))
  999       ),
 1000       (   not(equals(Equals_Param22, Pos_Param20))
 1001       ;   not(holds_at(mounted(Equals_Param22, Pos_Param19),
 1002                        Time18))
 1003       ).
 1004 */
 1005axiom(not(large(Pos_Param20)),
 1006   
 1007    [ not(equals(Equals_Param22, Pos_Param20)),
 1008      not(equals(Equals_Param21, Pos_Param19)),
 1009      holds_at(pos(Pos_Param19, Pos_Ret23), Time18),
 1010      holds_at(pos(Pos_Param20, Pos_Ret23), Time18),
 1011      large(Pos_Param19),
 1012      { dif(Pos_Param19, Pos_Param20)
 1013      }
 1014    ]).
 1015axiom(not(large(Pos_Param20)),
 1016   
 1017    [ not(holds_at(mounted(Equals_Param22, Pos_Param19),
 1018                   Time18)),
 1019      not(equals(Equals_Param21, Pos_Param19)),
 1020      holds_at(pos(Pos_Param19, Pos_Ret23), Time18),
 1021      holds_at(pos(Pos_Param20, Pos_Ret23), Time18),
 1022      large(Pos_Param19),
 1023      { dif(Pos_Param19, Pos_Param20)
 1024      }
 1025    ]).
 1026axiom(not(large(Pos_Param20)),
 1027   
 1028    [ not(equals(Equals_Param22, Pos_Param20)),
 1029      not(holds_at(mounted(Equals_Param21, Pos_Param20),
 1030                   Time18)),
 1031      holds_at(pos(Pos_Param19, Pos_Ret23), Time18),
 1032      holds_at(pos(Pos_Param20, Pos_Ret23), Time18),
 1033      large(Pos_Param19),
 1034      { dif(Pos_Param19, Pos_Param20)
 1035      }
 1036    ]).
 1037axiom(not(large(Pos_Param20)),
 1038   
 1039    [ not(holds_at(mounted(Equals_Param22, Pos_Param19),
 1040                   Time18)),
 1041      not(holds_at(mounted(Equals_Param21, Pos_Param20),
 1042                   Time18)),
 1043      holds_at(pos(Pos_Param19, Pos_Ret23), Time18),
 1044      holds_at(pos(Pos_Param20, Pos_Ret23), Time18),
 1045      large(Pos_Param19),
 1046      { dif(Pos_Param19, Pos_Param20)
 1047      }
 1048    ]).
 1049
 1050 /*  not(holds_at(pos(Pos_Param25, Pos_Ret29), Time24)) :-
 1051       holds_at(pos(Pos_Param26, Pos_Ret29), Time24),
 1052       large(Pos_Param26),
 1053       large(Pos_Param25),
 1054       { dif(Pos_Param25, Pos_Param26)
 1055       },
 1056       (   not(equals(Equals_Param27, Pos_Param25))
 1057       ;   not(holds_at(mounted(Equals_Param27, Pos_Param26),
 1058                        Time24))
 1059       ),
 1060       (   not(equals(Equals_Param28, Pos_Param26))
 1061       ;   not(holds_at(mounted(Equals_Param28, Pos_Param25),
 1062                        Time24))
 1063       ).
 1064 */
 1065axiom(not(holds_at(pos(Pos_Param25, Pos_Ret29), Time24)),
 1066   
 1067    [ not(equals(Equals_Param28, Pos_Param26)),
 1068      not(equals(Equals_Param27, Pos_Param25)),
 1069      holds_at(pos(Pos_Param26, Pos_Ret29), Time24),
 1070      large(Pos_Param26),
 1071      large(Pos_Param25),
 1072      dif(Pos_Param25, Pos_Param26)
 1073    ]).
 1074axiom(not(holds_at(pos(Pos_Param25, Pos_Ret29), Time24)),
 1075   
 1076    [ not(holds_at(mounted(Equals_Param28, Pos_Param25),
 1077                   Time24)),
 1078      not(equals(Equals_Param27, Pos_Param25)),
 1079      holds_at(pos(Pos_Param26, Pos_Ret29), Time24),
 1080      large(Pos_Param26),
 1081      large(Pos_Param25),
 1082      dif(Pos_Param25, Pos_Param26)
 1083    ]).
 1084axiom(not(holds_at(pos(Pos_Param25, Pos_Ret29), Time24)),
 1085   
 1086    [ not(equals(Equals_Param28, Pos_Param26)),
 1087      not(holds_at(mounted(Equals_Param27, Pos_Param26),
 1088                   Time24)),
 1089      holds_at(pos(Pos_Param26, Pos_Ret29), Time24),
 1090      large(Pos_Param26),
 1091      large(Pos_Param25),
 1092      dif(Pos_Param25, Pos_Param26)
 1093    ]).
 1094axiom(not(holds_at(pos(Pos_Param25, Pos_Ret29), Time24)),
 1095   
 1096    [ not(holds_at(mounted(Equals_Param28, Pos_Param25),
 1097                   Time24)),
 1098      not(holds_at(mounted(Equals_Param27, Pos_Param26),
 1099                   Time24)),
 1100      holds_at(pos(Pos_Param26, Pos_Ret29), Time24),
 1101      large(Pos_Param26),
 1102      large(Pos_Param25),
 1103      dif(Pos_Param25, Pos_Param26)
 1104    ]).
 1105
 1106 /*  not(holds_at(pos(Pos_Param31, Pos_Ret35), Time30)) :-
 1107       holds_at(pos(Pos_Param32, Pos_Ret35), Time30),
 1108       large(Pos_Param31),
 1109       large(Pos_Param32),
 1110       { dif(Pos_Param32, Pos_Param31)
 1111       },
 1112       (   not(equals(Equals_Param33, Pos_Param32))
 1113       ;   not(holds_at(mounted(Equals_Param33, Pos_Param31),
 1114                        Time30))
 1115       ),
 1116       (   not(equals(Equals_Param34, Pos_Param31))
 1117       ;   not(holds_at(mounted(Equals_Param34, Pos_Param32),
 1118                        Time30))
 1119       ).
 1120 */
 1121axiom(not(holds_at(pos(Pos_Param31, Pos_Ret35), Time30)),
 1122   
 1123    [ not(equals(Equals_Param34, Pos_Param31)),
 1124      not(equals(Equals_Param33, Pos_Param32)),
 1125      holds_at(pos(Pos_Param32, Pos_Ret35), Time30),
 1126      large(Pos_Param31),
 1127      large(Pos_Param32),
 1128      dif(Pos_Param32, Pos_Param31)
 1129    ]).
 1130axiom(not(holds_at(pos(Pos_Param31, Pos_Ret35), Time30)),
 1131   
 1132    [ not(holds_at(mounted(Equals_Param34, Pos_Param32),
 1133                   Time30)),
 1134      not(equals(Equals_Param33, Pos_Param32)),
 1135      holds_at(pos(Pos_Param32, Pos_Ret35), Time30),
 1136      large(Pos_Param31),
 1137      large(Pos_Param32),
 1138      dif(Pos_Param32, Pos_Param31)
 1139    ]).
 1140axiom(not(holds_at(pos(Pos_Param31, Pos_Ret35), Time30)),
 1141   
 1142    [ not(equals(Equals_Param34, Pos_Param31)),
 1143      not(holds_at(mounted(Equals_Param33, Pos_Param31),
 1144                   Time30)),
 1145      holds_at(pos(Pos_Param32, Pos_Ret35), Time30),
 1146      large(Pos_Param31),
 1147      large(Pos_Param32),
 1148      dif(Pos_Param32, Pos_Param31)
 1149    ]).
 1150axiom(not(holds_at(pos(Pos_Param31, Pos_Ret35), Time30)),
 1151   
 1152    [ not(holds_at(mounted(Equals_Param34, Pos_Param32),
 1153                   Time30)),
 1154      not(holds_at(mounted(Equals_Param33, Pos_Param31),
 1155                   Time30)),
 1156      holds_at(pos(Pos_Param32, Pos_Ret35), Time30),
 1157      large(Pos_Param31),
 1158      large(Pos_Param32),
 1159      dif(Pos_Param32, Pos_Param31)
 1160    ]).
 1161
 1162 /*  equals(Equals_Param37, Dif_Param39) :-
 1163       (   not(equals(Equals_Param38, Pos_Param40))
 1164       ;   not(holds_at(mounted(Equals_Param38, Dif_Param39),
 1165                        Time36))
 1166       ),
 1167       { dif(Dif_Param39, Pos_Param40)
 1168       },
 1169       large(Dif_Param39),
 1170       large(Pos_Param40),
 1171       holds_at(pos(Dif_Param39, Pos_Ret41), Time36),
 1172       holds_at(pos(Pos_Param40, Pos_Ret41), Time36).
 1173 */
 1174axiom(equals(Equals_Param37, Dif_Param39),
 1175   
 1176    [ not(equals(Equals_Param38, Pos_Param40)),
 1177      { dif(Dif_Param39, Pos_Param40)
 1178      },
 1179      large(Dif_Param39),
 1180      large(Pos_Param40),
 1181      holds_at(pos(Dif_Param39, Pos_Ret41), Time36),
 1182      holds_at(pos(Pos_Param40, Pos_Ret41), Time36)
 1183    ]).
 1184axiom(equals(Equals_Param37, Dif_Param39),
 1185   
 1186    [ not(holds_at(mounted(Equals_Param38, Dif_Param39),
 1187                   Time36)),
 1188      { dif(Dif_Param39, Pos_Param40)
 1189      },
 1190      large(Dif_Param39),
 1191      large(Pos_Param40),
 1192      holds_at(pos(Dif_Param39, Pos_Ret41), Time36),
 1193      holds_at(pos(Pos_Param40, Pos_Ret41), Time36)
 1194    ]).
 1195
 1196 /*  holds_at(mounted(Mounted_Param, Pos_Param46), Time42) :-
 1197       (   not(equals(Equals_Param44, Pos_Param46))
 1198       ;   not(holds_at(mounted(Equals_Param44, Dif_Param45),
 1199                        Time42))
 1200       ),
 1201       { dif(Dif_Param45, Pos_Param46)
 1202       },
 1203       large(Dif_Param45),
 1204       large(Pos_Param46),
 1205       holds_at(pos(Dif_Param45, Pos_Ret47), Time42),
 1206       holds_at(pos(Pos_Param46, Pos_Ret47), Time42).
 1207 */
 1208axiom(holds_at(mounted(Mounted_Param, Pos_Param46), Time42),
 1209   
 1210    [ not(equals(Equals_Param44, Pos_Param46)),
 1211      dif(Dif_Param45, Pos_Param46),
 1212      large(Dif_Param45),
 1213      large(Pos_Param46),
 1214      holds_at(pos(Dif_Param45, Pos_Ret47), Time42),
 1215      holds_at(pos(Pos_Param46, Pos_Ret47), Time42)
 1216    ]).
 1217axiom(holds_at(mounted(Mounted_Param, Pos_Param46), Time42),
 1218   
 1219    [ not(holds_at(mounted(Equals_Param44, Dif_Param45),
 1220                   Time42)),
 1221      dif(Dif_Param45, Pos_Param46),
 1222      large(Dif_Param45),
 1223      large(Pos_Param46),
 1224      holds_at(pos(Dif_Param45, Pos_Ret47), Time42),
 1225      holds_at(pos(Pos_Param46, Pos_Ret47), Time42)
 1226    ]).
 1227
 1228 /*  equals(Equals_Param49, Pos_Param52) :-
 1229       (   not(equals(Equals_Param50, Dif_Param51))
 1230       ;   not(holds_at(mounted(Equals_Param50, Pos_Param52),
 1231                        Time48))
 1232       ),
 1233       { dif(Dif_Param51, Pos_Param52)
 1234       },
 1235       large(Dif_Param51),
 1236       large(Pos_Param52),
 1237       holds_at(pos(Dif_Param51, Pos_Ret53), Time48),
 1238       holds_at(pos(Pos_Param52, Pos_Ret53), Time48).
 1239 */
 1240axiom(equals(Equals_Param49, Pos_Param52),
 1241   
 1242    [ not(equals(Equals_Param50, Dif_Param51)),
 1243      { dif(Dif_Param51, Pos_Param52)
 1244      },
 1245      large(Dif_Param51),
 1246      large(Pos_Param52),
 1247      holds_at(pos(Dif_Param51, Pos_Ret53), Time48),
 1248      holds_at(pos(Pos_Param52, Pos_Ret53), Time48)
 1249    ]).
 1250axiom(equals(Equals_Param49, Pos_Param52),
 1251   
 1252    [ not(holds_at(mounted(Equals_Param50, Pos_Param52),
 1253                   Time48)),
 1254      { dif(Dif_Param51, Pos_Param52)
 1255      },
 1256      large(Dif_Param51),
 1257      large(Pos_Param52),
 1258      holds_at(pos(Dif_Param51, Pos_Ret53), Time48),
 1259      holds_at(pos(Pos_Param52, Pos_Ret53), Time48)
 1260    ]).
 1261
 1262 /*  holds_at(mounted(Mounted_Param55, Dif_Param57), Time54) :-
 1263       (   not(equals(Equals_Param56, Dif_Param57))
 1264       ;   not(holds_at(mounted(Equals_Param56, Pos_Param58),
 1265                        Time54))
 1266       ),
 1267       { dif(Dif_Param57, Pos_Param58)
 1268       },
 1269       large(Dif_Param57),
 1270       large(Pos_Param58),
 1271       holds_at(pos(Dif_Param57, Pos_Ret59), Time54),
 1272       holds_at(pos(Pos_Param58, Pos_Ret59), Time54).
 1273 */
 1274axiom(holds_at(mounted(Mounted_Param55, Dif_Param57), Time54),
 1275   
 1276    [ not(equals(Equals_Param56, Dif_Param57)),
 1277      dif(Dif_Param57, Pos_Param58),
 1278      large(Dif_Param57),
 1279      large(Pos_Param58),
 1280      holds_at(pos(Dif_Param57, Pos_Ret59), Time54),
 1281      holds_at(pos(Pos_Param58, Pos_Ret59), Time54)
 1282    ]).
 1283axiom(holds_at(mounted(Mounted_Param55, Dif_Param57), Time54),
 1284   
 1285    [ not(holds_at(mounted(Equals_Param56, Pos_Param58),
 1286                   Time54)),
 1287      dif(Dif_Param57, Pos_Param58),
 1288      large(Dif_Param57),
 1289      large(Pos_Param58),
 1290      holds_at(pos(Dif_Param57, Pos_Ret59), Time54),
 1291      holds_at(pos(Pos_Param58, Pos_Ret59), Time54)
 1292    ]).
 1293
 1294
 1295% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:141
 1296% [human,position1,position2,time]
 1297% HoldsAt(PosDeterminingFluent(human,position1),time) &
 1298% HoldsAt(PosDeterminingFluent(human,position2),time) ->
 1299% position1=position2.
 1300% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:144
 1301axiom(Position1=Position2,
 1302   
 1303    [ holds_at(posDeterminingFluent(Human, Position1), Time),
 1304      holds_at(posDeterminingFluent(Human, Position2), Time)
 1305    ]).
 1306
 1307
 1308% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:146
 1309% [animal,position,time]
 1310% Initiates(Move(animal,position),Pos(animal,position),time).
 1311% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:147
 1312axiom(initiates(move(Animal, Position), pos(Animal, Position), Time),
 1313    []).
 1314
 1315
 1316% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:149
 1317% [animal,position1,position2,time]
 1318% HoldsAt(Pos(animal,position1),time) ->
 1319% Terminates(Move(animal,position2),Pos(animal,position1),time).
 1320% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:151
 1321axiom(terminates(move(Animal, Position2), pos(Animal, Position1), Time),
 1322    [holds_at(pos(Animal, Position1), Time)]).
 1323
 1324
 1325% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:153
 1326% [animal,position,time]
 1327% Happens(Move(animal,position),time) ->
 1328% !HoldsAt(Pos(animal,position),time).
 1329% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:155
 1330axiom(requires(move(Animal, Position), Time),
 1331    [not(holds_at(pos(Animal, Position), Time))]).
 1332
 1333
 1334% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:157
 1335% [human,position,time]
 1336% Happens(Move(human,position),time) ->
 1337% !{animal} HoldsAt(Mounted(human,animal),time).
 1338% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:159
 1339axiom(requires(move(Human, Position), Time),
 1340    [not(holds_at(mounted(Human, Animal), Time))]).
 1341
 1342
 1343% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:161
 1344% [human,gate,time]
 1345% Initiates(Open(human,gate),Opened(gate),time).
 1346% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:162
 1347axiom(initiates(open(Human, Gate), opened(Gate), Time),
 1348    []).
 1349
 1350
 1351% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:164
 1352% [human,gate,time]
 1353% Happens(Open(human,gate),time) ->
 1354% !HoldsAt(Opened(gate),time) &
 1355% (!{animal} HoldsAt(Mounted(human,animal),time)) &
 1356% ({position}
 1357%  (Side1(gate)=position | Side2(gate)=position) &
 1358%  HoldsAt(Pos(human,position),time)).
 1359% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:170
 1360axiom(requires(open(Human, Gate), Time),
 1361   
 1362    [ equals(side1(Gate), Position),
 1363      not(holds_at(opened(Gate), Time)),
 1364      not(holds_at(mounted(Human, Animal), Time)),
 1365      holds_at(pos(Human, Position), Time)
 1366    ]).
 1367axiom(requires(open(Human, Gate), Time),
 1368   
 1369    [ equals(side2(Gate), Position),
 1370      not(holds_at(opened(Gate), Time)),
 1371      not(holds_at(mounted(Human, Animal), Time)),
 1372      holds_at(pos(Human, Position), Time)
 1373    ]).
 1374
 1375
 1376% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:172
 1377% [human,gate,time]
 1378% Terminates(Close(human,gate),Opened(gate),time).
 1379% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:173
 1380axiom(terminates(close(Human, Gate), opened(Gate), Time),
 1381    []).
 1382
 1383
 1384% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:175
 1385% [human,gate,time]
 1386% Happens(Close(human,gate),time) ->
 1387% HoldsAt(Opened(gate),time) &
 1388% (!{animal} HoldsAt(Mounted(human,animal),time)) &
 1389% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:179
 1390% {position}% 
 1391% (Side1(gate)=position | Side2(gate)=position) &
 1392% HoldsAt(Pos(human,position),time).
 1393
 1394 /*   exists([Position],
 1395             if(happens(close(Human, Gate), Time),
 1396                 (holds_at(opened(Gate), Time), not(exists([Animal], holds_at(mounted(Human, Animal), Time))), (side1(Gate)=Position;side2(Gate)=Position), holds_at(pos(Human, Position), Time)))).
 1397 */
 1398
 1399 /*  not(some(Some_Param, '$kolem_Fn_95'(Fn_95_Param, Close_Ret, Maptime, Fn_95_Ret))) :-
 1400       happens(close(Fn_95_Param, Close_Ret), Maptime),
 1401       (   not(holds_at(opened(Close_Ret), Maptime))
 1402       ;   holds_at(mounted(Fn_95_Param, Fn_95_Ret), Maptime)
 1403       ;   not(equals(side1(Close_Ret), Some_Param)),
 1404           not(equals(side2(Close_Ret), Some_Param))
 1405       ;   not(holds_at(pos(Fn_95_Param, Some_Param), Maptime))
 1406       ).
 1407 */
 1408% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:181
 1409axiom(not(some(Some_Param, '$kolem_Fn_95'(Fn_95_Param, Close_Ret, Maptime, Fn_95_Ret))),
 1410   
 1411    [ not(holds_at(opened(Close_Ret), Maptime)),
 1412      happens(close(Fn_95_Param, Close_Ret), Maptime)
 1413    ]).
 1414axiom(not(some(Some_Param, '$kolem_Fn_95'(Fn_95_Param, Close_Ret, Maptime, Fn_95_Ret))),
 1415   
 1416    [ holds_at(mounted(Fn_95_Param, Fn_95_Ret), Maptime),
 1417      happens(close(Fn_95_Param, Close_Ret), Maptime)
 1418    ]).
 1419axiom(not(some(Some_Param, '$kolem_Fn_95'(Fn_95_Param, Close_Ret, Maptime, Fn_95_Ret))),
 1420   
 1421    [ not(equals(side1(Close_Ret), Some_Param)),
 1422      not(equals(side2(Close_Ret), Some_Param)),
 1423      happens(close(Fn_95_Param, Close_Ret), Maptime)
 1424    ]).
 1425axiom(not(some(Some_Param, '$kolem_Fn_95'(Fn_95_Param, Close_Ret, Maptime, Fn_95_Ret))),
 1426   
 1427    [ not(holds_at(pos(Fn_95_Param, Some_Param), Maptime)),
 1428      happens(close(Fn_95_Param, Close_Ret), Maptime)
 1429    ]).
 1430
 1431 /*  not(happens(close(Close_Param, Close_Ret14), Maptime11)) :-
 1432       (   not(holds_at(opened(Close_Ret14), Maptime11))
 1433       ;   holds_at(mounted(Close_Param, Mounted_Ret), Maptime11)
 1434       ;   not(equals(side1(Close_Ret14), Some_Param13)),
 1435           not(equals(side2(Close_Ret14), Some_Param13))
 1436       ;   not(holds_at(pos(Close_Param, Some_Param13),
 1437                        Maptime11))
 1438       ),
 1439       some(Some_Param13,
 1440            '$kolem_Fn_95'(Close_Param,
 1441                           Close_Ret14,
 1442                           Maptime11,
 1443                           Mounted_Ret)).
 1444 */
 1445axiom(not(happens(close(Close_Param, Close_Ret14), Maptime11)),
 1446   
 1447    [ not(holds_at(opened(Close_Ret14), Maptime11)),
 1448      some(Some_Param13,
 1449           '$kolem_Fn_95'(Close_Param,
 1450                          Close_Ret14,
 1451                          Maptime11,
 1452                          Mounted_Ret))
 1453    ]).
 1454axiom(not(happens(close(Close_Param, Close_Ret14), Maptime11)),
 1455   
 1456    [ holds_at(mounted(Close_Param, Mounted_Ret), Maptime11),
 1457      some(Some_Param13,
 1458           '$kolem_Fn_95'(Close_Param,
 1459                          Close_Ret14,
 1460                          Maptime11,
 1461                          Mounted_Ret))
 1462    ]).
 1463axiom(not(happens(close(Close_Param, Close_Ret14), Maptime11)),
 1464   
 1465    [ not(equals(side1(Close_Ret14), Some_Param13)),
 1466      not(equals(side2(Close_Ret14), Some_Param13)),
 1467      some(Some_Param13,
 1468           '$kolem_Fn_95'(Close_Param,
 1469                          Close_Ret14,
 1470                          Maptime11,
 1471                          Mounted_Ret))
 1472    ]).
 1473axiom(not(happens(close(Close_Param, Close_Ret14), Maptime11)),
 1474   
 1475    [ not(holds_at(pos(Close_Param, Some_Param13), Maptime11)),
 1476      some(Some_Param13,
 1477           '$kolem_Fn_95'(Close_Param,
 1478                          Close_Ret14,
 1479                          Maptime11,
 1480                          Mounted_Ret))
 1481    ]).
 1482
 1483 /*  holds_at(opened(Opened_Ret), Time16) :-
 1484       happens(close(Close_Param17, Opened_Ret), Time16),
 1485       some(Some_Param18,
 1486            '$kolem_Fn_95'(Close_Param17,
 1487                           Opened_Ret,
 1488                           Time16,
 1489                           Fn_95_Ret20)).
 1490 */
 1491axiom(holds_at(opened(Opened_Ret), Time16),
 1492   
 1493    [ happens(close(Close_Param17, Opened_Ret), Time16),
 1494      some(Some_Param18,
 1495           '$kolem_Fn_95'(Close_Param17,
 1496                          Opened_Ret,
 1497                          Time16,
 1498                          Fn_95_Ret20))
 1499    ]).
 1500
 1501 /*  not(holds_at(mounted(Mounted_Param, Mounted_Ret24), Time21)) :-
 1502       happens(close(Mounted_Param, Close_Ret25), Time21),
 1503       some(Some_Param23,
 1504            '$kolem_Fn_95'(Mounted_Param,
 1505                           Close_Ret25,
 1506                           Time21,
 1507                           Mounted_Ret24)).
 1508 */
 1509axiom(not(holds_at(mounted(Mounted_Param, Mounted_Ret24), Time21)),
 1510   
 1511    [ happens(close(Mounted_Param, Close_Ret25), Time21),
 1512      some(Some_Param23,
 1513           '$kolem_Fn_95'(Mounted_Param,
 1514                          Close_Ret25,
 1515                          Time21,
 1516                          Mounted_Ret24))
 1517    ]).
 1518
 1519 /*  equals(side1(Side1_Ret), Some_Param28) :-
 1520       not(equals(side2(Side1_Ret), Some_Param28)),
 1521       happens(close(Close_Param27, Side1_Ret), Maptime26),
 1522       some(Some_Param28,
 1523            '$kolem_Fn_95'(Close_Param27,
 1524                           Side1_Ret,
 1525                           Maptime26,
 1526                           Fn_95_Ret30)).
 1527 */
 1528axiom(equals(side1(Side1_Ret), Some_Param28),
 1529   
 1530    [ not(equals(side2(Side1_Ret), Some_Param28)),
 1531      happens(close(Close_Param27, Side1_Ret), Maptime26),
 1532      some(Some_Param28,
 1533           '$kolem_Fn_95'(Close_Param27,
 1534                          Side1_Ret,
 1535                          Maptime26,
 1536                          Fn_95_Ret30))
 1537    ]).
 1538
 1539 /*  equals(side2(Side2_Ret), Some_Param33) :-
 1540       not(equals(side1(Side2_Ret), Some_Param33)),
 1541       happens(close(Close_Param32, Side2_Ret), Maptime31),
 1542       some(Some_Param33,
 1543            '$kolem_Fn_95'(Close_Param32,
 1544                           Side2_Ret,
 1545                           Maptime31,
 1546                           Fn_95_Ret35)).
 1547 */
 1548axiom(equals(side2(Side2_Ret), Some_Param33),
 1549   
 1550    [ not(equals(side1(Side2_Ret), Some_Param33)),
 1551      happens(close(Close_Param32, Side2_Ret), Maptime31),
 1552      some(Some_Param33,
 1553           '$kolem_Fn_95'(Close_Param32,
 1554                          Side2_Ret,
 1555                          Maptime31,
 1556                          Fn_95_Ret35))
 1557    ]).
 1558
 1559 /*  holds_at(pos(Pos_Param, Some_Param38), Time36) :-
 1560       happens(close(Pos_Param, Close_Ret39), Time36),
 1561       some(Some_Param38,
 1562            '$kolem_Fn_95'(Pos_Param,
 1563                           Close_Ret39,
 1564                           Time36,
 1565                           Fn_95_Ret40)).
 1566 */
 1567axiom(holds_at(pos(Pos_Param, Some_Param38), Time36),
 1568   
 1569    [ happens(close(Pos_Param, Close_Ret39), Time36),
 1570      some(Some_Param38,
 1571           '$kolem_Fn_95'(Pos_Param,
 1572                          Close_Ret39,
 1573                          Time36,
 1574                          Fn_95_Ret40))
 1575    ]).
 1576
 1577
 1578% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:183
 1579% [human,animal,position,time]
 1580% HoldsAt(Mounted(human,animal),time) &
 1581% HoldsAt(Pos(animal,position),time) ->
 1582% HoldsAt(Pos(human,position),time).
 1583% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:186
 1584axiom(holds_at(pos(Human, Position), Time),
 1585   
 1586    [ holds_at(mounted(Human, Animal), Time),
 1587      holds_at(pos(Animal, Position), Time)
 1588    ]).
 1589
 1590
 1591% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:188
 1592% [animal,time]
 1593% HoldsAt(Moves(animal),time) <->
 1594% ({position}
 1595%  HoldsAt(Pos(animal,position),time) &
 1596%  !HoldsAt(Pos(animal,position),time+1)).
 1597
 1598 /*  holds_at(moves(Animal), Time) <->
 1599       exists([Position],
 1600               (holds_at(pos(Animal, Position), Time), not(holds_at(pos(Animal, Position), Time+1)))).
 1601 */
 1602% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:192
 1603axiom(holds_at(moves(Animal), t),
 1604   
 1605    [ holds_at(pos(Animal, Position), t),
 1606      not(holds_at(pos(Animal, Position), start)),
 1607      b(t, start),
 1608      ignore(t+1=start)
 1609    ]).
 1610
 1611 /*   if(holds_at(moves(Animal), t),
 1612         exists([Position],
 1613                 (holds_at(pos(Animal, Position), t), not(holds_at(pos(Animal, Position), t+1))))).
 1614 */
 1615
 1616 /*  not(holds_at(moves(Pos_Param), t)) :-
 1617       (   not(holds_at(pos(Pos_Param, Pos_Ret), t))
 1618       ;   holds_at(pos(Pos_Param, Pos_Ret), t+1)
 1619       ).
 1620 */
 1621axiom(not(holds_at(moves(Pos_Param), t)),
 1622    [not(holds_at(pos(Pos_Param, Pos_Ret), t))]).
 1623axiom(not(holds_at(moves(Pos_Param), t)),
 1624   
 1625    [ holds_at(pos(Pos_Param, Pos_Ret), start),
 1626      b(t, start),
 1627      ignore(t+1=start)
 1628    ]).
 1629
 1630 /*  holds_at(pos(Pos_Param5, Pos_Ret6), t) :-
 1631       holds_at(moves(Pos_Param5), t).
 1632 */
 1633axiom(holds_at(pos(Pos_Param5, Pos_Ret6), t),
 1634    [holds_at(moves(Pos_Param5), t)]).
 1635
 1636 /*  not(holds_at(pos(Pos_Param7, Pos_Ret8), t+1)) :-
 1637       holds_at(moves(Pos_Param7), t).
 1638 */
 1639axiom(not(holds_at(pos(Pos_Param7, Pos_Ret8), start)),
 1640    [holds_at(moves(Pos_Param7), t), b(t, start), ignore(t+1=start)]).
 1641
 1642
 1643% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:194
 1644% [human,time]
 1645% HoldsAt(MountFails(human),time) <->
 1646% ({animal}
 1647%   Happens(Mount(human,animal),time) &
 1648%   HoldsAt(Moves(animal),time)).
 1649
 1650 /*  holds_at(mountFails(Human), Time) <->
 1651       exists([Animal],
 1652               (happens(mount(Human, Animal), Time), holds_at(moves(Animal), Time))).
 1653 */
 1654% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:198
 1655axiom(holds_at(mountFails(Human), Time),
 1656   
 1657    [ happens(mount(Human, Animal), Time),
 1658      holds_at(moves(Animal), Time)
 1659    ]).
 1660
 1661 /*   if(holds_at(mountFails(Human), Time),
 1662         exists([Animal],
 1663                 (happens(mount(Human, Animal), Time), holds_at(moves(Animal), Time)))).
 1664 */
 1665
 1666 /*  not(holds_at(mountFails(Mount_Param), Time3)) :-
 1667       (   not(happens(mount(Mount_Param, Mount_Ret), Time3))
 1668       ;   not(holds_at(moves(Mount_Ret), Time3))
 1669       ).
 1670 */
 1671axiom(not(holds_at(mountFails(Mount_Param), Time3)),
 1672    [not(happens(mount(Mount_Param, Mount_Ret), Time3))]).
 1673axiom(not(holds_at(mountFails(Mount_Param), Time3)),
 1674    [not(holds_at(moves(Mount_Ret), Time3))]).
 1675
 1676 /*  happens(mount(Mount_Param7, Mount_Ret8), Maptime) :-
 1677       holds_at(mountFails(Mount_Param7), Maptime).
 1678 */
 1679axiom(happens(mount(Mount_Param7, Mount_Ret8), Maptime),
 1680    [holds_at(mountFails(Mount_Param7), Maptime)]).
 1681
 1682 /*  holds_at(moves(Moves_Ret), Time9) :-
 1683       holds_at(mountFails(MountFails_Ret), Time9).
 1684 */
 1685axiom(holds_at(moves(Moves_Ret), Time9),
 1686    [holds_at(mountFails(MountFails_Ret), Time9)]).
 1687
 1688
 1689% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:200
 1690% [human,animal,position,time]
 1691% !HoldsAt(Moves(animal),time) ->
 1692% Releases(Mount(human,animal),Pos(human,position),time).
 1693% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:202
 1694axiom(releases(mount(Human, Animal), pos(Human, Position), Time),
 1695    [not(holds_at(moves(Animal), Time))]).
 1696
 1697
 1698% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:204
 1699% [human,animal,time]
 1700% !HoldsAt(Moves(animal),time) ->
 1701% Initiates(Mount(human,animal),Mounted(human,animal),time).
 1702% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:206
 1703axiom(initiates(mount(Human, Animal), mounted(Human, Animal), Time),
 1704    [not(holds_at(moves(Animal), Time))]).
 1705
 1706
 1707% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:208
 1708% [human,animal,position,time]
 1709% HoldsAt(Pos(animal,position),time) &
 1710% HoldsAt(Moves(animal),time) ->
 1711% Initiates(Mount(human,animal),Pos(human,position),time).
 1712% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:211
 1713axiom(initiates(mount(Human, Animal), pos(Human, Position), Time),
 1714   
 1715    [ holds_at(pos(Animal, Position), Time),
 1716      holds_at(moves(Animal), Time)
 1717    ]).
 1718
 1719
 1720% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:213
 1721% [human,animal,position,time]
 1722% HoldsAt(Pos(human,position),time) &
 1723% HoldsAt(Moves(animal),time) ->
 1724% Terminates(Mount(human,animal),Pos(human,position),time).
 1725% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:216
 1726axiom(terminates(mount(Human, Animal), pos(Human, Position), Time),
 1727   
 1728    [ holds_at(pos(Human, Position), Time),
 1729      holds_at(moves(Animal), Time)
 1730    ]).
 1731
 1732
 1733% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:218
 1734% [human,animal,time]
 1735% Happens(Mount(human,animal),time) ->
 1736% Large(animal).
 1737% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:220
 1738axiom(requires(mount(Human, Animal), Time),
 1739    [large(Animal)]).
 1740
 1741
 1742% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:222
 1743% [human,animal,time]
 1744% HoldsAt(Mounted(human,animal),time) ->
 1745% Large(animal).
 1746% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:224
 1747axiom(large(Animal),
 1748    [holds_at(mounted(Human, Animal), Time)]).
 1749
 1750
 1751% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:226
 1752% [human1,human2,time]
 1753% Happens(Mount(human1,human2),time) ->
 1754% !Large(human1).
 1755% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:228
 1756axiom(requires(mount(Human1, Human2), Time),
 1757    [not(large(Human1))]).
 1758
 1759
 1760% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:230
 1761% [human1,human2,time]
 1762% HoldsAt(Mounted(human1,human2),time) ->
 1763% !Large(human1).
 1764% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:232
 1765axiom(not(large(Human1)),
 1766    [holds_at(mounted(Human1, Human2), Time)]).
 1767
 1768
 1769% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:234
 1770% [human,animal,time]
 1771% Happens(Mount(human,animal),time) ->
 1772% !{human1} human1!=human & HoldsAt(Mounted(human1,animal),time).
 1773% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:236
 1774axiom(requires(mount(Human, Animal), Time),
 1775    [not({dif(Human1, Human)})]).
 1776axiom(requires(mount(Human, Animal), Time),
 1777    [not(holds_at(mounted(Human1, Animal), Time))]).
 1778
 1779
 1780% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:238
 1781% [human1,human2,animal,time]
 1782% HoldsAt(Mounted(human1,animal),time) &
 1783% HoldsAt(Mounted(human2,animal),time) ->
 1784% human1=human2.
 1785% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:241
 1786axiom(Human1=Human2,
 1787   
 1788    [ holds_at(mounted(Human1, Animal), Time),
 1789      holds_at(mounted(Human2, Animal), Time)
 1790    ]).
 1791
 1792
 1793% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:243
 1794% [human,animal,time]
 1795% Happens(Mount(human,animal),time) ->
 1796% !{human1} human1!=human & HoldsAt(Mounted(human1,human),time).
 1797% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:245
 1798axiom(requires(mount(Human, Animal), Time),
 1799    [not({dif(Human1, Human)})]).
 1800axiom(requires(mount(Human, Animal), Time),
 1801    [not(holds_at(mounted(Human1, Human), Time))]).
 1802
 1803
 1804% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:247
 1805% [human1,human2,time]
 1806% Happens(Mount(human1,human2),time) ->
 1807% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:249
 1808% {animal}%  HoldsAt(Mounted(human2,animal),time).
 1809
 1810 /*  exists([Animal],
 1811          if(happens(mount(Human1,Human2),Time),
 1812   	  holds_at(mounted(Human2,Animal),Time))).
 1813 */
 1814
 1815 /*  holds_at(mounted(Mounted_Param, Some_Param), Time5) :-
 1816       happens(mount(Mount_Param, Mounted_Param), Time5),
 1817       some(Some_Param,
 1818            '$kolem_Fn_103'(Mount_Param, Mounted_Param, Time5)).
 1819 */
 1820axiom(holds_at(mounted(Mounted_Param, Some_Param), Time5),
 1821   
 1822    [ happens(mount(Mount_Param, Mounted_Param), Time5),
 1823      some(Some_Param,
 1824           '$kolem_Fn_103'(Mount_Param, Mounted_Param, Time5))
 1825    ]).
 1826
 1827 /*  not(happens(mount(Mount_Param10, Mounted_Param11), Maptime)) :-
 1828       not(holds_at(mounted(Mounted_Param11, Some_Param12),
 1829                    Maptime)),
 1830       some(Some_Param12,
 1831            '$kolem_Fn_103'(Mount_Param10,
 1832                            Mounted_Param11,
 1833                            Maptime)).
 1834 */
 1835axiom(not(happens(mount(Mount_Param10, Mounted_Param11), Maptime)),
 1836   
 1837    [ not(holds_at(mounted(Mounted_Param11, Some_Param12),
 1838                   Maptime)),
 1839      some(Some_Param12,
 1840           '$kolem_Fn_103'(Mount_Param10,
 1841                           Mounted_Param11,
 1842                           Maptime))
 1843    ]).
 1844
 1845 /*  not(some(Some_Param14, '$kolem_Fn_103'(Fn_103_Param, Mounted_Param16, Time13))) :-
 1846       not(holds_at(mounted(Mounted_Param16, Some_Param14),
 1847                    Time13)),
 1848       happens(mount(Fn_103_Param, Mounted_Param16), Time13).
 1849 */
 1850axiom(not(some(Some_Param14, '$kolem_Fn_103'(Fn_103_Param, Mounted_Param16, Time13))),
 1851   
 1852    [ not(holds_at(mounted(Mounted_Param16, Some_Param14),
 1853                   Time13)),
 1854      happens(mount(Fn_103_Param, Mounted_Param16), Time13)
 1855    ]).
 1856
 1857
 1858% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:251
 1859% [human1,human2,time]
 1860% HoldsAt(Mounted(human1,human2),time) ->
 1861% !{animal} HoldsAt(Mounted(human2,animal),time).
 1862% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:253
 1863axiom(not(exists([Animal], holds_at(mounted(Human2, Animal), Time))),
 1864    [holds_at(mounted(Human1, Human2), Time)]).
 1865
 1866
 1867% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:255
 1868% [human,animal,time]
 1869% Happens(Mount(human,animal),time) ->
 1870% !{animal1} HoldsAt(Mounted(human,animal1),time).
 1871% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:257
 1872axiom(requires(mount(Human, Animal), Time),
 1873    [not(holds_at(mounted(Human, Animal1), Time))]).
 1874
 1875
 1876% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:259
 1877% [human,animal,time]
 1878% !HoldsAt(Moves(animal),time) ->
 1879% Terminates(GetOff(human,animal),Mounted(human,animal),time).
 1880% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:261
 1881axiom(terminates(getOff(Human, Animal), mounted(Human, Animal), Time),
 1882    [not(holds_at(moves(Animal), Time))]).
 1883
 1884
 1885% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:263
 1886% [human,animal,position,time]
 1887% !HoldsAt(Moves(animal),time) &
 1888% HoldsAt(PosDeterminingFluent(human,position),time) ->
 1889% Initiates(GetOff(human,animal),Pos(human,position),time).
 1890% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:266
 1891axiom(initiates(getOff(Human, Animal), pos(Human, Position), Time),
 1892   
 1893    [ not(holds_at(moves(Animal), Time)),
 1894      holds_at(posDeterminingFluent(Human, Position), Time)
 1895    ]).
 1896
 1897
 1898% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:268
 1899% [human,animal,position,time]
 1900% !HoldsAt(Moves(animal),time) &
 1901% HoldsAt(Pos(human,position),time) ->
 1902% Terminates(GetOff(human,animal),Pos(human,position),time).
 1903% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:271
 1904axiom(terminates(getOff(Human, Animal), pos(Human, Position), Time),
 1905   
 1906    [ not(holds_at(moves(Animal), Time)),
 1907      holds_at(pos(Human, Position), Time)
 1908    ]).
 1909
 1910
 1911% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:273
 1912% [human,animal,position1,position2,time]
 1913% !HoldsAt(Moves(animal),time) &
 1914% HoldsAt(Pos(human,position1),time) &
 1915% position1!=position2 ->
 1916% Terminates(GetOff(human,animal),Pos(human,position2),time).
 1917% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:277
 1918axiom(terminates(getOff(Human, Animal), pos(Human, Position2), Time),
 1919   
 1920    [ not(holds_at(moves(Animal), Time)),
 1921      holds_at(pos(Human, Position1), Time),
 1922      { dif(Position1, Position2)
 1923      }
 1924    ]).
 1925
 1926
 1927% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:279
 1928% [human,animal,time]
 1929% Happens(GetOff(human,animal),time) ->
 1930% HoldsAt(Mounted(human,animal),time).
 1931% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:281
 1932axiom(requires(getOff(Human, Animal), Time),
 1933    [holds_at(mounted(Human, Animal), Time)]).
 1934
 1935
 1936% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:283
 1937% [animal1,human,time]
 1938% HoldsAt(ThrowOffFails(animal1,human),time) <->
 1939% ({position,animal2}
 1940%  animal2!=human &
 1941%  HoldsAt(PosDeterminingFluent(human,position),time) &
 1942%  Large(animal2) &
 1943%  HoldsAt(Pos(animal2,position),time+1)).
 1944
 1945 /*  holds_at(throwOffFails(Animal1, Human), Time) <->
 1946       exists([Position, Animal2],
 1947               (Animal2\=Human, holds_at(posDeterminingFluent(Human, Position), Time), large(Animal2), holds_at(pos(Animal2, Position), Time+1))).
 1948 */
 1949% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:289
 1950axiom(holds_at(throwOffFails(Animal1, Human), t),
 1951   
 1952    [ dif(Animal2, Human),
 1953      holds_at(posDeterminingFluent(Human, Position), t),
 1954      large(Animal2),
 1955      holds_at(pos(Animal2, Position), start),
 1956      b(t, start),
 1957      ignore(t+1=start)
 1958    ]).
 1959
 1960 /*   if(holds_at(throwOffFails(Animal1, Human), t),
 1961         exists([Position, Animal2],
 1962                 (Animal2\=Human, holds_at(posDeterminingFluent(Human, Position), t), large(Animal2), holds_at(pos(Animal2, Position), t+1)))).
 1963 */
 1964
 1965 /*  not(holds_at(throwOffFails(ThrowOffFails_Param, PosDeterminingFluent_Param), t)) :-
 1966       (   not({dif(Dif_Param, PosDeterminingFluent_Param)})
 1967       ;   not(holds_at(posDeterminingFluent(PosDeterminingFluent_Param,
 1968                                             PosDeterminingFluent_Ret),
 1969                        t))
 1970       ;   not(large(Dif_Param))
 1971       ;   not(holds_at(pos(Dif_Param, PosDeterminingFluent_Ret), t+1))
 1972       ).
 1973 */
 1974axiom(not(holds_at(throwOffFails(ThrowOffFails_Param, PosDeterminingFluent_Param), t)),
 1975    [not({dif(Dif_Param, PosDeterminingFluent_Param)})]).
 1976axiom(not(holds_at(throwOffFails(ThrowOffFails_Param, PosDeterminingFluent_Param), t)),
 1977   
 1978    [ not(holds_at(posDeterminingFluent(PosDeterminingFluent_Param,
 1979                                        PosDeterminingFluent_Ret),
 1980                   t))
 1981    ]).
 1982axiom(not(holds_at(throwOffFails(ThrowOffFails_Param, PosDeterminingFluent_Param), t)),
 1983    [not(large(Dif_Param))]).
 1984axiom(not(holds_at(throwOffFails(ThrowOffFails_Param, PosDeterminingFluent_Param), t)),
 1985   
 1986    [ not(holds_at(pos(Dif_Param, PosDeterminingFluent_Ret), start)),
 1987      b(t, start),
 1988      ignore(t+1=start)
 1989    ]).
 1990
 1991 /*  { dif(Dif_Param9, Dif_Ret)
 1992   } :-
 1993       holds_at(throwOffFails(ThrowOffFails_Param10, Dif_Ret), t).
 1994 */
 1995axiom({ dif(Dif_Param9, Dif_Ret)
 1996},
 1997    [holds_at(throwOffFails(ThrowOffFails_Param10, Dif_Ret), t)]).
 1998
 1999 /*  holds_at(posDeterminingFluent(PosDeterminingFluent_Param12, PosDeterminingFluent_Ret14), t) :-
 2000       holds_at(throwOffFails(ThrowOffFails_Param13,
 2001                              PosDeterminingFluent_Param12),
 2002                t).
 2003 */
 2004axiom(holds_at(posDeterminingFluent(PosDeterminingFluent_Param12, PosDeterminingFluent_Ret14), t),
 2005   
 2006    [ holds_at(throwOffFails(ThrowOffFails_Param13,
 2007                             PosDeterminingFluent_Param12),
 2008               t)
 2009    ]).
 2010
 2011 /*  large(Large_Ret) :-
 2012       holds_at(throwOffFails(ThrowOffFails_Param15,
 2013                              ThrowOffFails_Ret),
 2014                t).
 2015 */
 2016axiom(large(Large_Ret),
 2017   
 2018    [ holds_at(throwOffFails(ThrowOffFails_Param15,
 2019                             ThrowOffFails_Ret),
 2020               t)
 2021    ]).
 2022
 2023 /*  holds_at(pos(Pos_Param, Pos_Ret), t+1) :-
 2024       holds_at(throwOffFails(ThrowOffFails_Param19,
 2025                              ThrowOffFails_Ret21),
 2026                t).
 2027 */
 2028axiom(holds_at(pos(Pos_Param, Pos_Ret), start),
 2029   
 2030    [ holds_at(throwOffFails(ThrowOffFails_Param19,
 2031                             ThrowOffFails_Ret21),
 2032               t),
 2033      b(t, start),
 2034      ignore(t+1=start)
 2035    ]).
 2036
 2037
 2038% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:291
 2039% [animal,human,position,time]
 2040% HoldsAt(PosDeterminingFluent(human,position),time) &
 2041% !HoldsAt(ThrowOffFails(animal,human),time) ->
 2042% Initiates(ThrowOff(animal,human),Pos(human,position),time).
 2043% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:294
 2044axiom(initiates(throwOff(Animal, Human), pos(Human, Position), Time),
 2045   
 2046    [ holds_at(posDeterminingFluent(Human, Position), Time),
 2047      not(holds_at(throwOffFails(Animal, Human), Time))
 2048    ]).
 2049
 2050
 2051% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:296
 2052% [animal,human,position,time]
 2053% HoldsAt(Pos(human,position),time) &
 2054% !HoldsAt(ThrowOffFails(animal,human),time) ->
 2055% Terminates(ThrowOff(animal,human),Pos(human,position),time).
 2056% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:299
 2057axiom(terminates(throwOff(Animal, Human), pos(Human, Position), Time),
 2058   
 2059    [ holds_at(pos(Human, Position), Time),
 2060      not(holds_at(throwOffFails(Animal, Human), Time))
 2061    ]).
 2062
 2063
 2064% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:301
 2065% [animal,human,position1,position2,time]
 2066% !HoldsAt(ThrowOffFails(animal,human),time) &
 2067% HoldsAt(Pos(human,position1),time) &
 2068% !HoldsAt(PosDeterminingFluent(human,position2),time) &
 2069% position1!=position2 ->
 2070% Terminates(ThrowOff(animal,human),Pos(human,position2),time).
 2071% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:306
 2072axiom(terminates(throwOff(Animal, Human), pos(Human, Position2), Time),
 2073   
 2074    [ not(holds_at(throwOffFails(Animal, Human), Time)),
 2075      holds_at(pos(Human, Position1), Time),
 2076      not(holds_at(posDeterminingFluent(Human, Position2),
 2077                   Time)),
 2078      { dif(Position1, Position2)
 2079      }
 2080    ]).
 2081
 2082
 2083% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:308
 2084% [human,time]
 2085% (!{animal} Happens(ThrowOff(animal,human),time) |
 2086%            Happens(GetOff(human,animal),time)) ->
 2087% HoldsAt(PosDeterminingFluent(human,1),time).
 2088% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:311
 2089axiom(holds_at(posDeterminingFluent(Human, 1), Time),
 2090   
 2091    [ not(happens(throwOff(Animal, Human), Time)),
 2092      not(happens(getOff(Human, Animal), Time))
 2093    ]).
 2094
 2095
 2096% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:313
 2097% [human,position,animal1,animal2,time]
 2098% HoldsAt(PosDeterminingFluent(human,position),time) &
 2099% HoldsAt(ThrowOffFails(animal1,human),time) &
 2100% HoldsAt(Pos(animal2,position),time) ->
 2101% Initiates(ThrowOff(animal1,human),Mounted(human,animal2),time).
 2102% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:317
 2103axiom(initiates(throwOff(Animal1, Human), mounted(Human, Animal2), Time),
 2104   
 2105    [ holds_at(posDeterminingFluent(Human, Position), Time),
 2106      holds_at(throwOffFails(Animal1, Human), Time),
 2107      holds_at(pos(Animal2, Position), Time)
 2108    ]).
 2109
 2110
 2111% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:319
 2112% [human,animal,time]
 2113% !HoldsAt(ThrowOffFails(animal,human),time) ->
 2114% Terminates(ThrowOff(animal,human),Mounted(human,animal),time).
 2115% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:321
 2116axiom(terminates(throwOff(Animal, Human), mounted(Human, Animal), Time),
 2117    [not(holds_at(throwOffFails(Animal, Human), Time))]).
 2118
 2119
 2120% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:323
 2121% [animal,human,time]
 2122% Happens(ThrowOff(animal,human),time) ->
 2123% HoldsAt(Mounted(human,animal),time).
 2124% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:325
 2125axiom(requires(throwOff(Animal, Human), Time),
 2126    [holds_at(mounted(Human, Animal), Time)]).
 2127
 2128
 2129% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:327
 2130% [animal,human,time]
 2131% Happens(ThrowOff(animal,human),time) ->
 2132% !Happens(GetOff(human,animal),time).
 2133% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:329
 2134axiom(not(happens(getOff(Human, Animal), Time)),
 2135    [happens(throwOff(Animal, Human), Time)]).
 2136
 2137
 2138% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:331
 2139% [animal,human,time]
 2140% Happens(GetOff(human,animal),time) ->
 2141% !Happens(ThrowOff(animal,human),time).
 2142% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:333
 2143axiom(not(happens(throwOff(Animal, Human), Time)),
 2144    [happens(getOff(Human, Animal), Time)]).
 2145
 2146
 2147% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:335
 2148% [position1,position2,time]
 2149% Accessible(position1,position2,time) <->
 2150% (Neighbor(position1,position2) &
 2151%  !{gate} Sides(position1,position2,gate) &
 2152%          !HoldsAt(Opened(gate),time)).
 2153
 2154 /*  accessible(Position1, Position2, Time) <->
 2155       thereExists((neighbor(Position1, Position2), not([gate])),
 2156                    (sides(Position1, Position2, gate), not(holds_at(opened(gate), Time)))).
 2157 */
 2158% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:339
 2159axiom(accessible(Position1, Position2, Time),
 2160   
 2161    [ thereExists((neighbor(Position1, Position2), not([gate])),
 2162                   (sides(Position1, Position2, gate), not(holds_at(opened(gate), Time))))
 2163    ]).
 2164axiom(thereExists((neighbor(Position1, Position2), not([gate])),  (sides(Position1, Position2, gate), not(holds_at(opened(gate), Time)))),
 2165    [accessible(Position1, Position2, Time)]).
 2166
 2167
 2168% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:341
 2169% [animal,position1,position2,time]
 2170% (position1!=position2 &
 2171%  HoldsAt(Pos(animal,position1),time) &
 2172%  HoldsAt(Pos(animal,position2),time+1)) ->
 2173% Accessible(position1,position2,time).
 2174% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:345
 2175axiom(accessible(Position1, Position2, t),
 2176   
 2177    [ { dif(Position1, Position2)
 2178      },
 2179      holds_at(pos(Animal, Position1), t),
 2180      holds_at(pos(Animal, Position2), start),
 2181      b(t, start),
 2182      ignore(t+1=start)
 2183    ]).
 2184
 2185
 2186% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:347
 2187% [human,time]
 2188% HoldsAt(AbnormalEncroachment(human),time) <->
 2189% (HoldsAt(MountFails(human),time) |
 2190%  ({position,animal1,animal2}
 2191%    HoldsAt(PosDeterminingFluent(human,position),time) &
 2192%    !HoldsAt(ThrowOffFails(animal2,human),time) &
 2193%    Happens(ThrowOff(animal2,human),time) &
 2194%    animal1!=human &
 2195%    Large(animal1) &
 2196%    HoldsAt(Pos(animal1,position),time) &
 2197%    !HoldsAt(Pos(animal1,position),time+1))).
 2198
 2199 /*  holds_at(abnormalEncroachment(Human), Time) <->
 2200       (   holds_at(mountFails(Human), Time)
 2201       ;   exists([Position, Animal1, Animal2],
 2202                   (holds_at(posDeterminingFluent(Human, Position), Time), not(holds_at(throwOffFails(Animal2, Human), Time)), happens(throwOff(Animal2, Human), Time), Animal1\=Human, large(Animal1), holds_at(pos(Animal1, Position), Time), not(holds_at(pos(Animal1, Position), Time+1))))
 2203       ).
 2204 */
 2205% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:357
 2206axiom(holds_at(abnormalEncroachment(Human), Time),
 2207    [holds_at(mountFails(Human), Time)]).
 2208axiom(holds_at(abnormalEncroachment(Human), t),
 2209   
 2210    [ holds_at(posDeterminingFluent(Human, Position), t),
 2211      not(holds_at(throwOffFails(Animal2, Human), t)),
 2212      happens(throwOff(Animal2, Human), t),
 2213      dif(Animal1, Human),
 2214      large(Animal1),
 2215      holds_at(pos(Animal1, Position), t),
 2216      not(holds_at(pos(Animal1, Position), start)),
 2217      b(t, start),
 2218      ignore(t+1=start)
 2219    ]).
 2220
 2221 /*   if(holds_at(abnormalEncroachment(Human), t),
 2222          (holds_at(mountFails(Human), t);exists([Position, Animal1, Animal2],  (holds_at(posDeterminingFluent(Human, Position), t), not(holds_at(throwOffFails(Animal2, Human), t)), happens(throwOff(Animal2, Human), t), Animal1\=Human, large(Animal1), holds_at(pos(Animal1, Position), t), not(holds_at(pos(Animal1, Position), t+1)))))).
 2223 */
 2224
 2225 /*  not(holds_at(abnormalEncroachment(PosDeterminingFluent_Param), t)) :-
 2226       not(holds_at(mountFails(PosDeterminingFluent_Param), t)),
 2227       (   not(holds_at(posDeterminingFluent(PosDeterminingFluent_Param,
 2228                                             PosDeterminingFluent_Ret),
 2229                        t))
 2230       ;   holds_at(throwOffFails(ThrowOffFails_Param,
 2231                                  PosDeterminingFluent_Param),
 2232                    t)
 2233       ;   not(happens(throwOff(ThrowOffFails_Param,
 2234                                PosDeterminingFluent_Param),
 2235                       t))
 2236       ;   not({dif(Dif_Param, PosDeterminingFluent_Param)})
 2237       ;   not(large(Dif_Param))
 2238       ;   not(holds_at(pos(Dif_Param, PosDeterminingFluent_Ret), t))
 2239       ;   holds_at(pos(Dif_Param, PosDeterminingFluent_Ret), t+1)
 2240       ).
 2241 */
 2242axiom(not(holds_at(abnormalEncroachment(PosDeterminingFluent_Param), t)),
 2243   
 2244    [ not(holds_at(posDeterminingFluent(PosDeterminingFluent_Param,
 2245                                        PosDeterminingFluent_Ret),
 2246                   t)),
 2247      not(holds_at(mountFails(PosDeterminingFluent_Param), t))
 2248    ]).
 2249axiom(not(holds_at(abnormalEncroachment(PosDeterminingFluent_Param), t)),
 2250   
 2251    [ holds_at(throwOffFails(ThrowOffFails_Param,
 2252                             PosDeterminingFluent_Param),
 2253               t),
 2254      not(holds_at(mountFails(PosDeterminingFluent_Param), t))
 2255    ]).
 2256axiom(not(holds_at(abnormalEncroachment(PosDeterminingFluent_Param), t)),
 2257   
 2258    [ not(happens(throwOff(ThrowOffFails_Param,
 2259                           PosDeterminingFluent_Param),
 2260                  t)),
 2261      not(holds_at(mountFails(PosDeterminingFluent_Param), t))
 2262    ]).
 2263axiom(not(holds_at(abnormalEncroachment(PosDeterminingFluent_Param), t)),
 2264   
 2265    [ not({dif(Dif_Param, PosDeterminingFluent_Param)}),
 2266      not(holds_at(mountFails(PosDeterminingFluent_Param), t))
 2267    ]).
 2268axiom(not(holds_at(abnormalEncroachment(PosDeterminingFluent_Param), t)),
 2269   
 2270    [ not(large(Dif_Param)),
 2271      not(holds_at(mountFails(PosDeterminingFluent_Param), t))
 2272    ]).
 2273axiom(not(holds_at(abnormalEncroachment(PosDeterminingFluent_Param), t)),
 2274   
 2275    [ not(holds_at(pos(Dif_Param, PosDeterminingFluent_Ret), t)),
 2276      not(holds_at(mountFails(PosDeterminingFluent_Param), t))
 2277    ]).
 2278axiom(not(holds_at(abnormalEncroachment(PosDeterminingFluent_Param), t)),
 2279   
 2280    [ holds_at(pos(Dif_Param, PosDeterminingFluent_Ret), start),
 2281      not(holds_at(mountFails(PosDeterminingFluent_Param), t)),
 2282      b(t, start),
 2283      ignore(t+1=start)
 2284    ]).
 2285
 2286 /*  holds_at(mountFails(PosDeterminingFluent_Param9), t) :-
 2287       (   not(holds_at(posDeterminingFluent(PosDeterminingFluent_Param9,
 2288                                             PosDeterminingFluent_Ret12),
 2289                        t))
 2290       ;   holds_at(throwOffFails(ThrowOffFails_Param10,
 2291                                  PosDeterminingFluent_Param9),
 2292                    t)
 2293       ;   not(happens(throwOff(ThrowOffFails_Param10,
 2294                                PosDeterminingFluent_Param9),
 2295                       t))
 2296       ;   not({dif(Dif_Param11, PosDeterminingFluent_Param9)})
 2297       ;   not(large(Dif_Param11))
 2298       ;   not(holds_at(pos(Dif_Param11, PosDeterminingFluent_Ret12),
 2299                        t))
 2300       ;   holds_at(pos(Dif_Param11, PosDeterminingFluent_Ret12), t+1)
 2301       ),
 2302       holds_at(abnormalEncroachment(PosDeterminingFluent_Param9), t).
 2303 */
 2304axiom(holds_at(mountFails(PosDeterminingFluent_Param9), t),
 2305   
 2306    [ not(holds_at(posDeterminingFluent(PosDeterminingFluent_Param9,
 2307                                        PosDeterminingFluent_Ret12),
 2308                   t)),
 2309      holds_at(abnormalEncroachment(PosDeterminingFluent_Param9), t)
 2310    ]).
 2311axiom(holds_at(mountFails(PosDeterminingFluent_Param9), t),
 2312   
 2313    [ holds_at(throwOffFails(ThrowOffFails_Param10,
 2314                             PosDeterminingFluent_Param9),
 2315               t),
 2316      holds_at(abnormalEncroachment(PosDeterminingFluent_Param9), t)
 2317    ]).
 2318axiom(holds_at(mountFails(PosDeterminingFluent_Param9), t),
 2319   
 2320    [ not(happens(throwOff(ThrowOffFails_Param10,
 2321                           PosDeterminingFluent_Param9),
 2322                  t)),
 2323      holds_at(abnormalEncroachment(PosDeterminingFluent_Param9), t)
 2324    ]).
 2325axiom(holds_at(mountFails(PosDeterminingFluent_Param9), t),
 2326   
 2327    [ not({dif(Dif_Param11, PosDeterminingFluent_Param9)}),
 2328      holds_at(abnormalEncroachment(PosDeterminingFluent_Param9), t)
 2329    ]).
 2330axiom(holds_at(mountFails(PosDeterminingFluent_Param9), t),
 2331   
 2332    [ not(large(Dif_Param11)),
 2333      holds_at(abnormalEncroachment(PosDeterminingFluent_Param9), t)
 2334    ]).
 2335axiom(holds_at(mountFails(PosDeterminingFluent_Param9), t),
 2336   
 2337    [ not(holds_at(pos(Dif_Param11, PosDeterminingFluent_Ret12), t)),
 2338      holds_at(abnormalEncroachment(PosDeterminingFluent_Param9), t)
 2339    ]).
 2340axiom(holds_at(mountFails(PosDeterminingFluent_Param9), t),
 2341   
 2342    [ holds_at(pos(Dif_Param11, PosDeterminingFluent_Ret12), start),
 2343      holds_at(abnormalEncroachment(PosDeterminingFluent_Param9), t),
 2344      b(t, start),
 2345      ignore(t+1=start)
 2346    ]).
 2347
 2348 /*  holds_at(posDeterminingFluent(PosDeterminingFluent_Param13, PosDeterminingFluent_Ret14), t) :-
 2349       not(holds_at(mountFails(PosDeterminingFluent_Param13), t)),
 2350       holds_at(abnormalEncroachment(PosDeterminingFluent_Param13), t).
 2351 */
 2352axiom(holds_at(posDeterminingFluent(PosDeterminingFluent_Param13, PosDeterminingFluent_Ret14), t),
 2353   
 2354    [ not(holds_at(mountFails(PosDeterminingFluent_Param13), t)),
 2355      holds_at(abnormalEncroachment(PosDeterminingFluent_Param13), t)
 2356    ]).
 2357
 2358 /*  not(holds_at(throwOffFails(ThrowOffFails_Param15, ThrowOffFails_Ret), t)) :-
 2359       not(holds_at(mountFails(ThrowOffFails_Ret), t)),
 2360       holds_at(abnormalEncroachment(ThrowOffFails_Ret), t).
 2361 */
 2362axiom(not(holds_at(throwOffFails(ThrowOffFails_Param15, ThrowOffFails_Ret), t)),
 2363   
 2364    [ not(holds_at(mountFails(ThrowOffFails_Ret), t)),
 2365      holds_at(abnormalEncroachment(ThrowOffFails_Ret), t)
 2366    ]).
 2367
 2368 /*  happens(throwOff(ThrowOff_Param, ThrowOff_Ret), t) :-
 2369       not(holds_at(mountFails(ThrowOff_Ret), t)),
 2370       holds_at(abnormalEncroachment(ThrowOff_Ret), t).
 2371 */
 2372axiom(happens(throwOff(ThrowOff_Param, ThrowOff_Ret), t),
 2373   
 2374    [ not(holds_at(mountFails(ThrowOff_Ret), t)),
 2375      holds_at(abnormalEncroachment(ThrowOff_Ret), t)
 2376    ]).
 2377
 2378 /*  { dif(Dif_Param19, Dif_Ret)
 2379   } :-
 2380       not(holds_at(mountFails(Dif_Ret), t)),
 2381       holds_at(abnormalEncroachment(Dif_Ret), t).
 2382 */
 2383axiom({ dif(Dif_Param19, Dif_Ret)
 2384},
 2385   
 2386    [ not(holds_at(mountFails(Dif_Ret), t)),
 2387      holds_at(abnormalEncroachment(Dif_Ret), t)
 2388    ]).
 2389
 2390 /*  large(Large_Ret) :-
 2391       not(holds_at(mountFails(MountFails_Ret), t)),
 2392       holds_at(abnormalEncroachment(MountFails_Ret), t).
 2393 */
 2394axiom(large(Large_Ret),
 2395   
 2396    [ not(holds_at(mountFails(MountFails_Ret), t)),
 2397      holds_at(abnormalEncroachment(MountFails_Ret), t)
 2398    ]).
 2399
 2400 /*  holds_at(pos(Pos_Param, Pos_Ret), t) :-
 2401       not(holds_at(mountFails(MountFails_Ret25), t)),
 2402       holds_at(abnormalEncroachment(MountFails_Ret25), t).
 2403 */
 2404axiom(holds_at(pos(Pos_Param, Pos_Ret), t),
 2405   
 2406    [ not(holds_at(mountFails(MountFails_Ret25), t)),
 2407      holds_at(abnormalEncroachment(MountFails_Ret25), t)
 2408    ]).
 2409
 2410 /*  not(holds_at(pos(Pos_Param26, Pos_Ret27), t+1)) :-
 2411       not(holds_at(mountFails(MountFails_Ret28), t)),
 2412       holds_at(abnormalEncroachment(MountFails_Ret28), t).
 2413 */
 2414axiom(not(holds_at(pos(Pos_Param26, Pos_Ret27), start)),
 2415   
 2416    [ not(holds_at(mountFails(MountFails_Ret28), t)),
 2417      holds_at(abnormalEncroachment(MountFails_Ret28), t),
 2418      b(t, start),
 2419      ignore(t+1=start)
 2420    ]).
 2421
 2422
 2423% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:359
 2424% [animal1,animal2,position,time]
 2425% HoldsAt(Pos(animal1,position),time) &
 2426% !HoldsAt(Pos(animal1,position),time+1) &
 2427% !HoldsAt(Pos(animal2,position),time) &
 2428% HoldsAt(Pos(animal2,position),time+1) ->
 2429% (!Large(animal1) |
 2430%  !Large(animal2) |
 2431%  ({human} human=animal2 & HoldsAt(AbnormalEncroachment(human),time))).
 2432
 2433 /*   if((holds_at(pos(Animal1, Position), Time), not(holds_at(pos(Animal1, Position), Time+1)), not(holds_at(pos(Animal2, Position), Time)), holds_at(pos(Animal2, Position), Time+1)),
 2434          (not(large(Animal1));not(large(Animal2));exists([Human],  (Human=Animal2, holds_at(abnormalEncroachment(Human), Time))))).
 2435 */
 2436
 2437 /*  not(holds_at(pos(Pos_Param, Pos_Ret), Time5)) :-
 2438       ( not(holds_at(pos(Pos_Param, Pos_Ret), Time5+1)),
 2439         not(holds_at(pos(Pos_Param7, Pos_Ret), Time5)),
 2440         holds_at(pos(Pos_Param7, Pos_Ret), Time5+1)
 2441       ),
 2442       large(Pos_Param),
 2443       large(Pos_Param7),
 2444       (   not(equals(Equals_Param, Pos_Param7))
 2445       ;   not(holds_at(abnormalEncroachment(Equals_Param), Time5))
 2446       ).
 2447 */
 2448% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:366
 2449axiom(not(holds_at(pos(Pos_Param, Pos_Ret), t)),
 2450   
 2451    [ not(equals(Equals_Param, Pos_Param7)),
 2452      not(holds_at(pos(Pos_Param, Pos_Ret), start)),
 2453      not(holds_at(pos(Pos_Param7, Pos_Ret), t)),
 2454      holds_at(pos(Pos_Param7, Pos_Ret), start),
 2455      large(Pos_Param),
 2456      large(Pos_Param7),
 2457      b(t, start),
 2458      ignore(t+1=start)
 2459    ]).
 2460axiom(not(holds_at(pos(Pos_Param, Pos_Ret), t)),
 2461   
 2462    [ not(holds_at(abnormalEncroachment(Equals_Param), t)),
 2463      not(holds_at(pos(Pos_Param, Pos_Ret), start)),
 2464      not(holds_at(pos(Pos_Param7, Pos_Ret), t)),
 2465      holds_at(pos(Pos_Param7, Pos_Ret), start),
 2466      large(Pos_Param),
 2467      large(Pos_Param7),
 2468      b(t, start),
 2469      ignore(t+1=start)
 2470    ]).
 2471
 2472 /*  holds_at(pos(Pos_Param11, Pos_Ret14), Time10+1) :-
 2473       ( not(holds_at(pos(Pos_Param12, Pos_Ret14), Time10)),
 2474         holds_at(pos(Pos_Param12, Pos_Ret14), Time10+1)
 2475       ),
 2476       holds_at(pos(Pos_Param11, Pos_Ret14), Time10),
 2477       large(Pos_Param11),
 2478       large(Pos_Param12),
 2479       (   not(equals(Equals_Param13, Pos_Param12))
 2480       ;   not(holds_at(abnormalEncroachment(Equals_Param13), Time10))
 2481       ).
 2482 */
 2483axiom(holds_at(pos(Pos_Param11, Pos_Ret14), start),
 2484   
 2485    [ not(equals(Equals_Param13, Pos_Param12)),
 2486      not(holds_at(pos(Pos_Param12, Pos_Ret14), t)),
 2487      holds_at(pos(Pos_Param12, Pos_Ret14), start),
 2488      holds_at(pos(Pos_Param11, Pos_Ret14), t),
 2489      large(Pos_Param11),
 2490      large(Pos_Param12),
 2491      b(t, start),
 2492      ignore(t+1=start)
 2493    ]).
 2494axiom(holds_at(pos(Pos_Param11, Pos_Ret14), start),
 2495   
 2496    [ not(holds_at(abnormalEncroachment(Equals_Param13), t)),
 2497      not(holds_at(pos(Pos_Param12, Pos_Ret14), t)),
 2498      holds_at(pos(Pos_Param12, Pos_Ret14), start),
 2499      holds_at(pos(Pos_Param11, Pos_Ret14), t),
 2500      large(Pos_Param11),
 2501      large(Pos_Param12),
 2502      b(t, start),
 2503      ignore(t+1=start)
 2504    ]).
 2505
 2506 /*  holds_at(pos(Pos_Param16, Pos_Ret19), Time15) :-
 2507       holds_at(pos(Pos_Param16, Pos_Ret19), Time15+1),
 2508       not(holds_at(pos(Pos_Param17, Pos_Ret19), Time15+1)),
 2509       holds_at(pos(Pos_Param17, Pos_Ret19), Time15),
 2510       large(Pos_Param17),
 2511       large(Pos_Param16),
 2512       (   not(equals(Equals_Param18, Pos_Param16))
 2513       ;   not(holds_at(abnormalEncroachment(Equals_Param18), Time15))
 2514       ).
 2515 */
 2516axiom(holds_at(pos(Pos_Param16, Pos_Ret19), t),
 2517   
 2518    [ not(equals(Equals_Param18, Pos_Param16)),
 2519      holds_at(pos(Pos_Param16, Pos_Ret19), start),
 2520      not(holds_at(pos(Pos_Param17, Pos_Ret19), start)),
 2521      holds_at(pos(Pos_Param17, Pos_Ret19), t),
 2522      large(Pos_Param17),
 2523      large(Pos_Param16),
 2524      b(t, start),
 2525      ignore(t+1=start)
 2526    ]).
 2527axiom(holds_at(pos(Pos_Param16, Pos_Ret19), t),
 2528   
 2529    [ not(holds_at(abnormalEncroachment(Equals_Param18), t)),
 2530      holds_at(pos(Pos_Param16, Pos_Ret19), start),
 2531      not(holds_at(pos(Pos_Param17, Pos_Ret19), start)),
 2532      holds_at(pos(Pos_Param17, Pos_Ret19), t),
 2533      large(Pos_Param17),
 2534      large(Pos_Param16),
 2535      b(t, start),
 2536      ignore(t+1=start)
 2537    ]).
 2538
 2539 /*  not(holds_at(pos(Pos_Param21, Pos_Ret24), Time20+1)) :-
 2540       not(holds_at(pos(Pos_Param21, Pos_Ret24), Time20)),
 2541       not(holds_at(pos(Pos_Param22, Pos_Ret24), Time20+1)),
 2542       holds_at(pos(Pos_Param22, Pos_Ret24), Time20),
 2543       large(Pos_Param22),
 2544       large(Pos_Param21),
 2545       (   not(equals(Equals_Param23, Pos_Param21))
 2546       ;   not(holds_at(abnormalEncroachment(Equals_Param23), Time20))
 2547       ).
 2548 */
 2549axiom(not(holds_at(pos(Pos_Param21, Pos_Ret24), start)),
 2550   
 2551    [ not(equals(Equals_Param23, Pos_Param21)),
 2552      not(holds_at(pos(Pos_Param21, Pos_Ret24), t)),
 2553      not(holds_at(pos(Pos_Param22, Pos_Ret24), start)),
 2554      holds_at(pos(Pos_Param22, Pos_Ret24), t),
 2555      large(Pos_Param22),
 2556      large(Pos_Param21),
 2557      b(t, start),
 2558      ignore(t+1=start)
 2559    ]).
 2560axiom(not(holds_at(pos(Pos_Param21, Pos_Ret24), start)),
 2561   
 2562    [ not(holds_at(abnormalEncroachment(Equals_Param23), t)),
 2563      not(holds_at(pos(Pos_Param21, Pos_Ret24), t)),
 2564      not(holds_at(pos(Pos_Param22, Pos_Ret24), start)),
 2565      holds_at(pos(Pos_Param22, Pos_Ret24), t),
 2566      large(Pos_Param22),
 2567      large(Pos_Param21),
 2568      b(t, start),
 2569      ignore(t+1=start)
 2570    ]).
 2571
 2572 /*  not(large(Pos_Param27)) :-
 2573       ( large(Pos_Param28),
 2574         (   not(equals(Equals_Param26, Pos_Param28))
 2575         ;   not(holds_at(abnormalEncroachment(Equals_Param26),
 2576                          Time25))
 2577         )
 2578       ),
 2579       holds_at(pos(Pos_Param27, Pos_Ret29), Time25),
 2580       not(holds_at(pos(Pos_Param27, Pos_Ret29), Time25+1)),
 2581       not(holds_at(pos(Pos_Param28, Pos_Ret29), Time25)),
 2582       holds_at(pos(Pos_Param28, Pos_Ret29), Time25+1).
 2583 */
 2584axiom(not(large(Pos_Param27)),
 2585   
 2586    [ not(equals(Equals_Param26, Pos_Param28)),
 2587      large(Pos_Param28),
 2588      holds_at(pos(Pos_Param27, Pos_Ret29), t),
 2589      not(holds_at(pos(Pos_Param27, Pos_Ret29), start)),
 2590      not(holds_at(pos(Pos_Param28, Pos_Ret29), t)),
 2591      holds_at(pos(Pos_Param28, Pos_Ret29), start),
 2592      b(t, start),
 2593      ignore(t+1=start)
 2594    ]).
 2595axiom(not(large(Pos_Param27)),
 2596   
 2597    [ not(holds_at(abnormalEncroachment(Equals_Param26), t)),
 2598      large(Pos_Param28),
 2599      holds_at(pos(Pos_Param27, Pos_Ret29), t),
 2600      not(holds_at(pos(Pos_Param27, Pos_Ret29), start)),
 2601      not(holds_at(pos(Pos_Param28, Pos_Ret29), t)),
 2602      holds_at(pos(Pos_Param28, Pos_Ret29), start),
 2603      b(t, start),
 2604      ignore(t+1=start)
 2605    ]).
 2606
 2607 /*  not(large(Pos_Param33)) :-
 2608       (   not(equals(Equals_Param31, Pos_Param33))
 2609       ;   not(holds_at(abnormalEncroachment(Equals_Param31), Time30))
 2610       ),
 2611       large(Pos_Param32),
 2612       holds_at(pos(Pos_Param32, Pos_Ret34), Time30),
 2613       not(holds_at(pos(Pos_Param32, Pos_Ret34), Time30+1)),
 2614       not(holds_at(pos(Pos_Param33, Pos_Ret34), Time30)),
 2615       holds_at(pos(Pos_Param33, Pos_Ret34), Time30+1).
 2616 */
 2617axiom(not(large(Pos_Param33)),
 2618   
 2619    [ not(equals(Equals_Param31, Pos_Param33)),
 2620      large(Pos_Param32),
 2621      holds_at(pos(Pos_Param32, Pos_Ret34), t),
 2622      not(holds_at(pos(Pos_Param32, Pos_Ret34), start)),
 2623      not(holds_at(pos(Pos_Param33, Pos_Ret34), t)),
 2624      holds_at(pos(Pos_Param33, Pos_Ret34), start),
 2625      b(t, start),
 2626      ignore(t+1=start)
 2627    ]).
 2628axiom(not(large(Pos_Param33)),
 2629   
 2630    [ not(holds_at(abnormalEncroachment(Equals_Param31), t)),
 2631      large(Pos_Param32),
 2632      holds_at(pos(Pos_Param32, Pos_Ret34), t),
 2633      not(holds_at(pos(Pos_Param32, Pos_Ret34), start)),
 2634      not(holds_at(pos(Pos_Param33, Pos_Ret34), t)),
 2635      holds_at(pos(Pos_Param33, Pos_Ret34), start),
 2636      b(t, start),
 2637      ignore(t+1=start)
 2638    ]).
 2639
 2640 /*  equals(Equals_Param36, Pos_Param38) :-
 2641       large(Pos_Param38),
 2642       large(Pos_Param37),
 2643       holds_at(pos(Pos_Param37, Pos_Ret39), Time35),
 2644       not(holds_at(pos(Pos_Param37, Pos_Ret39), Time35+1)),
 2645       not(holds_at(pos(Pos_Param38, Pos_Ret39), Time35)),
 2646       holds_at(pos(Pos_Param38, Pos_Ret39), Time35+1).
 2647 */
 2648axiom(equals(Equals_Param36, Pos_Param38),
 2649   
 2650    [ large(Pos_Param38),
 2651      large(Pos_Param37),
 2652      holds_at(pos(Pos_Param37, Pos_Ret39), t),
 2653      not(holds_at(pos(Pos_Param37, Pos_Ret39), start)),
 2654      not(holds_at(pos(Pos_Param38, Pos_Ret39), t)),
 2655      holds_at(pos(Pos_Param38, Pos_Ret39), start),
 2656      b(t, start),
 2657      ignore(t+1=start)
 2658    ]).
 2659
 2660 /*  holds_at(abnormalEncroachment(AbnormalEncroachment_Ret), Time40) :-
 2661       large(Pos_Param42),
 2662       large(Pos_Param41),
 2663       holds_at(pos(Pos_Param41, Pos_Ret44), Time40),
 2664       not(holds_at(pos(Pos_Param41, Pos_Ret44), Time40+1)),
 2665       not(holds_at(pos(Pos_Param42, Pos_Ret44), Time40)),
 2666       holds_at(pos(Pos_Param42, Pos_Ret44), Time40+1).
 2667 */
 2668axiom(holds_at(abnormalEncroachment(AbnormalEncroachment_Ret), t),
 2669   
 2670    [ large(Pos_Param42),
 2671      large(Pos_Param41),
 2672      holds_at(pos(Pos_Param41, Pos_Ret44), t),
 2673      not(holds_at(pos(Pos_Param41, Pos_Ret44), start)),
 2674      not(holds_at(pos(Pos_Param42, Pos_Ret44), t)),
 2675      holds_at(pos(Pos_Param42, Pos_Ret44), start),
 2676      b(t, start),
 2677      ignore(t+1=start)
 2678    ]).
 2679
 2680
 2681% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:368
 2682% [animal1,animal2,position1,position2,time]
 2683% animal1!=% animal2 &
 2684% Large(animal1) & Large(animal2) &
 2685% HoldsAt(Pos(animal1,position1),time) &
 2686% HoldsAt(Pos(animal1,position2),time+1) &
 2687% HoldsAt(Pos(animal2,position1),time) &
 2688% HoldsAt(Pos(animal2,position2),time+1) ->
 2689% !{gate} Sides(position1,position2,gate).
 2690% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:375
 2691axiom(not(exists([Gate], sides(Position1, Position2, Gate))),
 2692   
 2693    [ { dif(Animal1, Animal2)
 2694      },
 2695      large(Animal1),
 2696      large(Animal2),
 2697      holds_at(pos(Animal1, Position1), t),
 2698      holds_at(pos(Animal1, Position2), start),
 2699      holds_at(pos(Animal2, Position1), t),
 2700      holds_at(pos(Animal2, Position2), start),
 2701      b(t, start),
 2702      ignore(t+1=start)
 2703    ]).
 2704
 2705
 2706% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:377
 2707% [animal1,animal2,position1,position2,time]
 2708% animal1!=% animal2 &
 2709% Large(animal1) & Large(animal2) &
 2710% HoldsAt(Pos(animal1,position1),time) &
 2711% HoldsAt(Pos(animal1,position2),time+1) &
 2712% HoldsAt(Pos(animal2,position2),time) &
 2713% HoldsAt(Pos(animal2,position1),time+1) ->
 2714% !{gate} Sides(position1,position2,gate).
 2715% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:384
 2716axiom(not(exists([Gate], sides(Position1, Position2, Gate))),
 2717   
 2718    [ { dif(Animal1, Animal2)
 2719      },
 2720      large(Animal1),
 2721      large(Animal2),
 2722      holds_at(pos(Animal1, Position1), t),
 2723      holds_at(pos(Animal1, Position2), start),
 2724      holds_at(pos(Animal2, Position2), t),
 2725      holds_at(pos(Animal2, Position1), start),
 2726      b(t, start),
 2727      ignore(t+1=start)
 2728    ]).
 2729
 2730
 2731% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:386
 2732% [gate,position1,position2,time]
 2733% HoldsAt(Opened(gate),time) &
 2734% !HoldsAt(Opened(gate),time+1) &
 2735% Sides(position1,position2,gate) ->
 2736% !{animal}
 2737% HoldsAt(Pos(animal,position1),time) &
 2738% HoldsAt(Pos(animal,position2),time+1).
 2739% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:392
 2740axiom(not(exists([Animal],  (holds_at(pos(Animal, Position1), t), holds_at(pos(Animal, Position2), t+1)))),
 2741   
 2742    [ holds_at(opened(Gate), t),
 2743      not(holds_at(opened(Gate), start)),
 2744      sides(Position1, Position2, Gate),
 2745      b(t, start),
 2746      ignore(t+1=start)
 2747    ]).
 2748
 2749% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:394
 2750% gate GateAO
 2751% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:395
 2752==> t(gate,gateAO).
 2753
 2754% cage CageA
 2755% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:396
 2756==> t(cage,cageA).
 2757
 2758
 2759% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:397
 2760% Loc(1)=CageA.
 2761loc(1,cageA).
 2762
 2763
 2764% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:398
 2765% Loc(2)=CageA.
 2766loc(2,cageA).
 2767
 2768
 2769% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:399
 2770% Loc(3)=CageA.
 2771loc(3,cageA).
 2772
 2773
 2774% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:400
 2775% Loc(4)=CageA.
 2776loc(4,cageA).
 2777
 2778
 2779% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:401
 2780% Loc(5)=Outside.
 2781loc(5,outside).
 2782
 2783
 2784% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:402
 2785% Loc(6)=Outside.
 2786loc(6,outside).
 2787
 2788
 2789% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:403
 2790% Loc(7)=Outside.
 2791loc(7,outside).
 2792
 2793
 2794% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:404
 2795% Loc(8)=Outside.
 2796loc(8,outside).
 2797
 2798
 2799% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:406
 2800% [position1,position2]
 2801% Neighbor(position1,position2) <->
 2802% ((position1=1 & position2=2) |
 2803%  (position1=1 & position2=3) |
 2804%  (position1=1 & position2=4) |
 2805%  (position1=2 & position2=3) |
 2806%  (position1=2 & position2=4) |
 2807%  (position1=3 & position2=4) |
 2808%  (position1=5 & position2=6) |
 2809%  (position1=5 & position2=7) |
 2810%  (position1=5 & position2=8) |
 2811%  (position1=6 & position2=7) |
 2812%  (position1=6 & position2=8) |
 2813%  (position1=7 & position2=8) |
 2814%  (position2=1 & position1=2) |
 2815%  (position2=1 & position1=3) |
 2816%  (position2=1 & position1=4) |
 2817%  (position2=2 & position1=3) |
 2818%  (position2=2 & position1=4) |
 2819%  (position2=3 & position1=4) |
 2820%  (position2=5 & position1=6) |
 2821%  (position2=5 & position1=7) |
 2822%  (position2=5 & position1=8) |
 2823%  (position2=6 & position1=7) |
 2824%  (position2=6 & position1=8) |
 2825%  (position2=7 & position1=8) |
 2826%  (position1=4 & position2=7) |
 2827%  (position2=4 & position1=7)).
 2828
 2829 /*  neighbor(Position1, Position2) <->
 2830       (   Position1=1,
 2831           Position2=2
 2832       ;   Position1=1,
 2833           Position2=3
 2834       ;   Position1=1,
 2835           Position2=4
 2836       ;   Position1=2,
 2837           Position2=3
 2838       ;   Position1=2,
 2839           Position2=4
 2840       ;   Position1=3,
 2841           Position2=4
 2842       ;   Position1=5,
 2843           Position2=6
 2844       ;   Position1=5,
 2845           Position2=7
 2846       ;   Position1=5,
 2847           Position2=8
 2848       ;   Position1=6,
 2849           Position2=7
 2850       ;   Position1=6,
 2851           Position2=8
 2852       ;   Position1=7,
 2853           Position2=8
 2854       ;   Position2=1,
 2855           Position1=2
 2856       ;   Position2=1,
 2857           Position1=3
 2858       ;   Position2=1,
 2859           Position1=4
 2860       ;   Position2=2,
 2861           Position1=3
 2862       ;   Position2=2,
 2863           Position1=4
 2864       ;   Position2=3,
 2865           Position1=4
 2866       ;   Position2=5,
 2867           Position1=6
 2868       ;   Position2=5,
 2869           Position1=7
 2870       ;   Position2=5,
 2871           Position1=8
 2872       ;   Position2=6,
 2873           Position1=7
 2874       ;   Position2=6,
 2875           Position1=8
 2876       ;   Position2=7,
 2877           Position1=8
 2878       ;   Position1=4,
 2879           Position2=7
 2880       ;   Position2=4,
 2881           Position1=7
 2882       ).
 2883 */
 2884% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:433
 2885axiom(neighbor(Position1, Position2),
 2886    [equals(Position1, 1), equals(Position2, 2)]).
 2887axiom(neighbor(Position1, Position2),
 2888    [equals(Position1, 1), equals(Position2, 3)]).
 2889axiom(neighbor(Position1, Position2),
 2890    [equals(Position1, 1), equals(Position2, 4)]).
 2891axiom(neighbor(Position1, Position2),
 2892    [equals(Position1, 2), equals(Position2, 3)]).
 2893axiom(neighbor(Position1, Position2),
 2894    [equals(Position1, 2), equals(Position2, 4)]).
 2895axiom(neighbor(Position1, Position2),
 2896    [equals(Position1, 3), equals(Position2, 4)]).
 2897axiom(neighbor(Position1, Position2),
 2898    [equals(Position1, 5), equals(Position2, 6)]).
 2899axiom(neighbor(Position1, Position2),
 2900    [equals(Position1, 5), equals(Position2, 7)]).
 2901axiom(neighbor(Position1, Position2),
 2902    [equals(Position1, 5), equals(Position2, 8)]).
 2903axiom(neighbor(Position1, Position2),
 2904    [equals(Position1, 6), equals(Position2, 7)]).
 2905axiom(neighbor(Position1, Position2),
 2906    [equals(Position1, 6), equals(Position2, 8)]).
 2907axiom(neighbor(Position1, Position2),
 2908    [equals(Position1, 7), equals(Position2, 8)]).
 2909axiom(neighbor(Position1, Position2),
 2910    [equals(Position2, 1), equals(Position1, 2)]).
 2911axiom(neighbor(Position1, Position2),
 2912    [equals(Position2, 1), equals(Position1, 3)]).
 2913axiom(neighbor(Position1, Position2),
 2914    [equals(Position2, 1), equals(Position1, 4)]).
 2915axiom(neighbor(Position1, Position2),
 2916    [equals(Position2, 2), equals(Position1, 3)]).
 2917axiom(neighbor(Position1, Position2),
 2918    [equals(Position2, 2), equals(Position1, 4)]).
 2919axiom(neighbor(Position1, Position2),
 2920    [equals(Position2, 3), equals(Position1, 4)]).
 2921axiom(neighbor(Position1, Position2),
 2922    [equals(Position2, 5), equals(Position1, 6)]).
 2923axiom(neighbor(Position1, Position2),
 2924    [equals(Position2, 5), equals(Position1, 7)]).
 2925axiom(neighbor(Position1, Position2),
 2926    [equals(Position2, 5), equals(Position1, 8)]).
 2927axiom(neighbor(Position1, Position2),
 2928    [equals(Position2, 6), equals(Position1, 7)]).
 2929axiom(neighbor(Position1, Position2),
 2930    [equals(Position2, 6), equals(Position1, 8)]).
 2931axiom(neighbor(Position1, Position2),
 2932    [equals(Position2, 7), equals(Position1, 8)]).
 2933axiom(neighbor(Position1, Position2),
 2934    [equals(Position1, 4), equals(Position2, 7)]).
 2935axiom(neighbor(Position1, Position2),
 2936    [equals(Position2, 4), equals(Position1, 7)]).
 2937
 2938 /*   if(neighbor(Position1, Position2),
 2939          (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)).
 2940 */
 2941todo_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).
 2942
 2943
 2944% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:435
 2945% Side1(GateAO)=4.
 2946side1(gateAO,4).
 2947
 2948
 2949% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:436
 2950% Side2(GateAO)=7.
 2951side2(gateAO,7).
 2952
 2953
 2954% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooWorld.e:438
 2955%; End of file.