1:-include(library('ec_planner/ec_test_incl')).    2:-expects_dialect(pfc).    3 %  loading(always,'examples/FrankEtAl2003/FrankEtAl.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{FrankEtAl:2003,
   15%;   author = "Stefan L. Frank and Mathieu Koppen and Leo G. M. Noordman and Wietske Vonk",
   16%;   year = "2003",
   17%;   title = "Modeling knowledge-based inferences in story comprehension",
   18%;   journal = "Cognitive Science",
   19%;   volume = "27",
   20%;   pages = "875--910",
   21%; }
   22%;
   23
   24% fluent SunShining()
   25 %  fluent(sunShining()).
   26==> mpred_prop(sunShining(),fluent).
   27==> meta_argtypes(sunShining()).
   28
   29% fluent Raining()
   30 %  fluent(raining()).
   31==> mpred_prop(raining(),fluent).
   32==> meta_argtypes(raining()).
   33
   34% fluent Outside(agent)
   35 %  fluent(outside(agent)).
   36==> mpred_prop(outside(agent),fluent).
   37==> meta_argtypes(outside(agent)).
   38
   39% fluent PlaySoccer(agent)
   40 %  fluent(playSoccer(agent)).
   41==> mpred_prop(playSoccer(agent),fluent).
   42==> meta_argtypes(playSoccer(agent)).
   43
   44% fluent PlayHideAndSeek(agent)
   45 %  fluent(playHideAndSeek(agent)).
   46==> mpred_prop(playHideAndSeek(agent),fluent).
   47==> meta_argtypes(playHideAndSeek(agent)).
   48
   49% fluent PlayComputerGame(agent)
   50 %  fluent(playComputerGame(agent)).
   51==> mpred_prop(playComputerGame(agent),fluent).
   52==> meta_argtypes(playComputerGame(agent)).
   53
   54% fluent PlayWithDog(agent)
   55 %  fluent(playWithDog(agent)).
   56==> mpred_prop(playWithDog(agent),fluent).
   57==> meta_argtypes(playWithDog(agent)).
   58
   59% fluent Win(agent)
   60 %  fluent(win(agent)).
   61==> mpred_prop(win(agent),fluent).
   62==> meta_argtypes(win(agent)).
   63
   64% noninertial Outside, PlaySoccer, PlayHideAndSeek, PlayComputerGame
   65==> noninertial(outside).
   66==> noninertial(playSoccer).
   67==> noninertial(playHideAndSeek).
   68==> noninertial(playComputerGame).
   69
   70% noninertial PlayWithDog, Win
   71==> noninertial(playWithDog).
   72==> noninertial(win).
   73
   74% xor PlaySoccer, PlayHideAndSeek, PlayComputerGame, PlayWithDog
   75xor([playSoccer,playHideAndSeek,playComputerGame,playWithDog]).
   76
   77
   78% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/FrankEtAl2003/FrankEtAl.e:34
   79% [agent,time]
   80% HoldsAt(PlaySoccer(agent),time) ->
   81% HoldsAt(Outside(agent),time).
   82% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/FrankEtAl2003/FrankEtAl.e:36
   83axiom(holds_at(outside(Agent), Time),
   84    [holds_at(playSoccer(Agent), Time)]).
   85
   86
   87% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/FrankEtAl2003/FrankEtAl.e:38
   88% [agent,time]
   89% HoldsAt(PlaySoccer(agent),time) ->
   90% ({agent1} agent1!=agent & HoldsAt(PlaySoccer(agent1),time)).
   91
   92 /*   if(holds_at(playSoccer(Agent), Time),
   93         exists([Agent1],
   94                 (Agent1\=Agent, holds_at(playSoccer(Agent1), Time)))).
   95 */
   96
   97 /*  not(holds_at(playSoccer(PlaySoccer_Ret), Time3)) :-
   98       (   not({dif(Dif_Param, PlaySoccer_Ret)})
   99       ;   not(holds_at(playSoccer(Dif_Param), Time3))
  100       ).
  101 */
  102% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/FrankEtAl2003/FrankEtAl.e:40
  103axiom(not(holds_at(playSoccer(PlaySoccer_Ret), Time3)),
  104    [not({dif(Dif_Param, PlaySoccer_Ret)})]).
  105axiom(not(holds_at(playSoccer(PlaySoccer_Ret), Time3)),
  106    [not(holds_at(playSoccer(Dif_Param), Time3))]).
  107
  108 /*  { dif(Dif_Param7, Dif_Ret)
  109   } :-
  110       holds_at(playSoccer(Dif_Ret), Time6).
  111 */
  112axiom({ dif(Dif_Param7, Dif_Ret)
  113},
  114    [holds_at(playSoccer(Dif_Ret), Time6)]).
  115
  116
  117% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/FrankEtAl2003/FrankEtAl.e:42
  118% [agent,time]
  119% HoldsAt(PlayHideAndSeek(agent),time) ->
  120% ({agent1} agent1!=agent & HoldsAt(PlayHideAndSeek(agent1),time)).
  121
  122 /*   if(holds_at(playHideAndSeek(Agent), Time),
  123         exists([Agent1],
  124                 (Agent1\=Agent, holds_at(playHideAndSeek(Agent1), Time)))).
  125 */
  126
  127 /*  not(holds_at(playHideAndSeek(PlayHideAndSeek_Ret), Time3)) :-
  128       (   not({dif(Dif_Param, PlayHideAndSeek_Ret)})
  129       ;   not(holds_at(playHideAndSeek(Dif_Param), Time3))
  130       ).
  131 */
  132% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/FrankEtAl2003/FrankEtAl.e:44
  133axiom(not(holds_at(playHideAndSeek(PlayHideAndSeek_Ret), Time3)),
  134    [not({dif(Dif_Param, PlayHideAndSeek_Ret)})]).
  135axiom(not(holds_at(playHideAndSeek(PlayHideAndSeek_Ret), Time3)),
  136    [not(holds_at(playHideAndSeek(Dif_Param), Time3))]).
  137
  138 /*  { dif(Dif_Param7, Dif_Ret)
  139   } :-
  140       holds_at(playHideAndSeek(Dif_Ret), Time6).
  141 */
  142axiom({ dif(Dif_Param7, Dif_Ret)
  143},
  144    [holds_at(playHideAndSeek(Dif_Ret), Time6)]).
  145
  146
  147% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/FrankEtAl2003/FrankEtAl.e:46
  148% [agent,time]
  149% HoldsAt(PlayComputerGame(agent),time) ->
  150% !HoldsAt(Outside(agent),time).
  151% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/FrankEtAl2003/FrankEtAl.e:48
  152axiom(not(holds_at(outside(Agent), Time)),
  153    [holds_at(playComputerGame(Agent), Time)]).
  154
  155
  156% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/FrankEtAl2003/FrankEtAl.e:50
  157% [agent,time]
  158% HoldsAt(Win(agent),time) ->
  159% (HoldsAt(PlaySoccer(agent),time) |
  160%  HoldsAt(PlayHideAndSeek(agent),time) |
  161%  (HoldsAt(PlayComputerGame(agent),time) &
  162%   ({agent1} agent1!=agent & HoldsAt(PlayComputerGame(agent1),time)))).
  163
  164 /*   if(holds_at(win(Agent), Time),
  165          (holds_at(playSoccer(Agent), Time);holds_at(playHideAndSeek(Agent), Time);holds_at(playComputerGame(Agent), Time), exists([Agent1],  (Agent1\=Agent, holds_at(playComputerGame(Agent1), Time))))).
  166 */
  167
  168 /*  not(holds_at(win(Win_Ret), Time3)) :-
  169       not(holds_at(playSoccer(Win_Ret), Time3)),
  170       not(holds_at(playHideAndSeek(Win_Ret), Time3)),
  171       (   not(holds_at(playComputerGame(Win_Ret), Time3))
  172       ;   not({dif(Dif_Param, Win_Ret)})
  173       ;   not(holds_at(playComputerGame(Dif_Param), Time3))
  174       ).
  175 */
  176% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/FrankEtAl2003/FrankEtAl.e:55
  177axiom(not(holds_at(win(Win_Ret), Time3)),
  178   
  179    [ not(holds_at(playComputerGame(Win_Ret), Time3)),
  180      not(holds_at(playSoccer(Win_Ret), Time3)),
  181      not(holds_at(playHideAndSeek(Win_Ret), Time3))
  182    ]).
  183axiom(not(holds_at(win(Win_Ret), Time3)),
  184   
  185    [ not({dif(Dif_Param, Win_Ret)}),
  186      not(holds_at(playSoccer(Win_Ret), Time3)),
  187      not(holds_at(playHideAndSeek(Win_Ret), Time3))
  188    ]).
  189axiom(not(holds_at(win(Win_Ret), Time3)),
  190   
  191    [ not(holds_at(playComputerGame(Dif_Param), Time3)),
  192      not(holds_at(playSoccer(Win_Ret), Time3)),
  193      not(holds_at(playHideAndSeek(Win_Ret), Time3))
  194    ]).
  195
  196 /*  holds_at(playSoccer(PlaySoccer_Ret), Time6) :-
  197       ( not(holds_at(playHideAndSeek(PlaySoccer_Ret), Time6)),
  198         (   not(holds_at(playComputerGame(PlaySoccer_Ret), Time6))
  199         ;   not({dif(Dif_Param7, PlaySoccer_Ret)})
  200         ;   not(holds_at(playComputerGame(Dif_Param7), Time6))
  201         )
  202       ),
  203       holds_at(win(PlaySoccer_Ret), Time6).
  204 */
  205axiom(holds_at(playSoccer(PlaySoccer_Ret), Time6),
  206   
  207    [ not(holds_at(playComputerGame(PlaySoccer_Ret), Time6)),
  208      not(holds_at(playHideAndSeek(PlaySoccer_Ret), Time6)),
  209      holds_at(win(PlaySoccer_Ret), Time6)
  210    ]).
  211axiom(holds_at(playSoccer(PlaySoccer_Ret), Time6),
  212   
  213    [ not({dif(Dif_Param7, PlaySoccer_Ret)}),
  214      not(holds_at(playHideAndSeek(PlaySoccer_Ret), Time6)),
  215      holds_at(win(PlaySoccer_Ret), Time6)
  216    ]).
  217axiom(holds_at(playSoccer(PlaySoccer_Ret), Time6),
  218   
  219    [ not(holds_at(playComputerGame(Dif_Param7), Time6)),
  220      not(holds_at(playHideAndSeek(PlaySoccer_Ret), Time6)),
  221      holds_at(win(PlaySoccer_Ret), Time6)
  222    ]).
  223
  224 /*  holds_at(playHideAndSeek(PlayHideAndSeek_Ret), Time9) :-
  225       (   not(holds_at(playComputerGame(PlayHideAndSeek_Ret), Time9))
  226       ;   not({dif(Dif_Param10, PlayHideAndSeek_Ret)})
  227       ;   not(holds_at(playComputerGame(Dif_Param10), Time9))
  228       ),
  229       not(holds_at(playSoccer(PlayHideAndSeek_Ret), Time9)),
  230       holds_at(win(PlayHideAndSeek_Ret), Time9).
  231 */
  232axiom(holds_at(playHideAndSeek(PlayHideAndSeek_Ret), Time9),
  233   
  234    [ not(holds_at(playComputerGame(PlayHideAndSeek_Ret), Time9)),
  235      not(holds_at(playSoccer(PlayHideAndSeek_Ret), Time9)),
  236      holds_at(win(PlayHideAndSeek_Ret), Time9)
  237    ]).
  238axiom(holds_at(playHideAndSeek(PlayHideAndSeek_Ret), Time9),
  239   
  240    [ not({dif(Dif_Param10, PlayHideAndSeek_Ret)}),
  241      not(holds_at(playSoccer(PlayHideAndSeek_Ret), Time9)),
  242      holds_at(win(PlayHideAndSeek_Ret), Time9)
  243    ]).
  244axiom(holds_at(playHideAndSeek(PlayHideAndSeek_Ret), Time9),
  245   
  246    [ not(holds_at(playComputerGame(Dif_Param10), Time9)),
  247      not(holds_at(playSoccer(PlayHideAndSeek_Ret), Time9)),
  248      holds_at(win(PlayHideAndSeek_Ret), Time9)
  249    ]).
  250
  251 /*  holds_at(playComputerGame(PlayComputerGame_Ret), Time12) :-
  252       not(holds_at(playHideAndSeek(PlayComputerGame_Ret), Time12)),
  253       not(holds_at(playSoccer(PlayComputerGame_Ret), Time12)),
  254       holds_at(win(PlayComputerGame_Ret), Time12).
  255 */
  256axiom(holds_at(playComputerGame(PlayComputerGame_Ret), Time12),
  257   
  258    [ not(holds_at(playHideAndSeek(PlayComputerGame_Ret), Time12)),
  259      not(holds_at(playSoccer(PlayComputerGame_Ret), Time12)),
  260      holds_at(win(PlayComputerGame_Ret), Time12)
  261    ]).
  262
  263 /*  { dif(Dif_Param15, Dif_Ret)
  264   } :-
  265       not(holds_at(playHideAndSeek(Dif_Ret), Time14)),
  266       not(holds_at(playSoccer(Dif_Ret), Time14)),
  267       holds_at(win(Dif_Ret), Time14).
  268 */
  269axiom({ dif(Dif_Param15, Dif_Ret)
  270},
  271   
  272    [ not(holds_at(playHideAndSeek(Dif_Ret), Time14)),
  273      not(holds_at(playSoccer(Dif_Ret), Time14)),
  274      holds_at(win(Dif_Ret), Time14)
  275    ]).
  276
  277 /*  holds_at(playComputerGame(PlayComputerGame_Ret18), Time17) :-
  278       not(holds_at(playHideAndSeek(PlayHideAndSeek_Ret19), Time17)),
  279       not(holds_at(playSoccer(PlayHideAndSeek_Ret19), Time17)),
  280       holds_at(win(PlayHideAndSeek_Ret19), Time17).
  281 */
  282axiom(holds_at(playComputerGame(PlayComputerGame_Ret18), Time17),
  283   
  284    [ not(holds_at(playHideAndSeek(PlayHideAndSeek_Ret19), Time17)),
  285      not(holds_at(playSoccer(PlayHideAndSeek_Ret19), Time17)),
  286      holds_at(win(PlayHideAndSeek_Ret19), Time17)
  287    ]).
  288
  289
  290% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/FrankEtAl2003/FrankEtAl.e:57
  291% [agent,time]
  292% HoldsAt(PlaySoccer(agent),time) &
  293% HoldsAt(Win(agent),time) ->
  294% !HoldsAt(PlaySoccer(agent),time+1).
  295% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/FrankEtAl2003/FrankEtAl.e:60
  296axiom(not(holds_at(playSoccer(Agent), start)),
  297   
  298    [ holds_at(playSoccer(Agent), t),
  299      holds_at(win(Agent), t),
  300      b(t, start),
  301      ignore(t+1=start)
  302    ]).
  303
  304
  305% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/FrankEtAl2003/FrankEtAl.e:62
  306% [agent,time]
  307% HoldsAt(PlayHideAndSeek(agent),time) &
  308% HoldsAt(Win(agent),time) ->
  309% !HoldsAt(PlayHideAndSeek(agent),time+1).
  310% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/FrankEtAl2003/FrankEtAl.e:65
  311axiom(not(holds_at(playHideAndSeek(Agent), start)),
  312   
  313    [ holds_at(playHideAndSeek(Agent), t),
  314      holds_at(win(Agent), t),
  315      b(t, start),
  316      ignore(t+1=start)
  317    ]).
  318
  319
  320% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/FrankEtAl2003/FrankEtAl.e:67
  321% [agent,time]
  322% HoldsAt(PlayComputerGame(agent),time) &
  323% HoldsAt(Win(agent),time) ->
  324% !HoldsAt(PlayComputerGame(agent),time+1).
  325% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/FrankEtAl2003/FrankEtAl.e:70
  326axiom(not(holds_at(playComputerGame(Agent), start)),
  327   
  328    [ holds_at(playComputerGame(Agent), t),
  329      holds_at(win(Agent), t),
  330      b(t, start),
  331      ignore(t+1=start)
  332    ]).
  333
  334
  335% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/FrankEtAl2003/FrankEtAl.e:72
  336% [agent,time]
  337% HoldsAt(Win(agent),time) ->
  338% HoldsAt(PlaySoccer(agent),time-1) |
  339% HoldsAt(PlayHideAndSeek(agent),time-1) |
  340% HoldsAt(PlayComputerGame(agent),time-1).
  341
  342 /*   if(holds_at(win(Agent), Time),
  343          (holds_at(playSoccer(Agent), Time-1);holds_at(playHideAndSeek(Agent), Time-1);holds_at(playComputerGame(Agent), Time-1))).
  344 */
  345
  346 /*  holds_at(playSoccer(PlaySoccer_Ret), Time2-1) :-
  347       ( not(holds_at(playHideAndSeek(PlaySoccer_Ret), Time2-1)),
  348         not(holds_at(playComputerGame(PlaySoccer_Ret), Time2-1))
  349       ),
  350       holds_at(win(PlaySoccer_Ret), Time2).
  351 */
  352% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/FrankEtAl2003/FrankEtAl.e:76
  353axiom(holds_at(playSoccer(PlaySoccer_Ret), t),
  354   
  355    [ not(holds_at(playHideAndSeek(PlaySoccer_Ret), t)),
  356      not(holds_at(playComputerGame(PlaySoccer_Ret), t)),
  357      holds_at(win(PlaySoccer_Ret), start),
  358      b(t, start),
  359      ignore(start-1=t)
  360    ]).
  361
  362 /*  holds_at(playHideAndSeek(PlayHideAndSeek_Ret), Time4-1) :-
  363       not(holds_at(playComputerGame(PlayHideAndSeek_Ret), Time4-1)),
  364       not(holds_at(playSoccer(PlayHideAndSeek_Ret), Time4-1)),
  365       holds_at(win(PlayHideAndSeek_Ret), Time4).
  366 */
  367axiom(holds_at(playHideAndSeek(PlayHideAndSeek_Ret), t),
  368   
  369    [ not(holds_at(playComputerGame(PlayHideAndSeek_Ret), t)),
  370      not(holds_at(playSoccer(PlayHideAndSeek_Ret), t)),
  371      holds_at(win(PlayHideAndSeek_Ret), start),
  372      b(t, start),
  373      ignore(start-1=t)
  374    ]).
  375
  376 /*  holds_at(playComputerGame(PlayComputerGame_Ret), Time6-1) :-
  377       not(holds_at(playHideAndSeek(PlayComputerGame_Ret), Time6-1)),
  378       not(holds_at(playSoccer(PlayComputerGame_Ret), Time6-1)),
  379       holds_at(win(PlayComputerGame_Ret), Time6).
  380 */
  381axiom(holds_at(playComputerGame(PlayComputerGame_Ret), t),
  382   
  383    [ not(holds_at(playHideAndSeek(PlayComputerGame_Ret), t)),
  384      not(holds_at(playSoccer(PlayComputerGame_Ret), t)),
  385      holds_at(win(PlayComputerGame_Ret), start),
  386      b(t, start),
  387      ignore(start-1=t)
  388    ]).
  389
  390 /*  not(holds_at(win(Win_Ret), Time8)) :-
  391       not(holds_at(playSoccer(Win_Ret), Time8-1)),
  392       not(holds_at(playHideAndSeek(Win_Ret), Time8-1)),
  393       not(holds_at(playComputerGame(Win_Ret), Time8-1)).
  394 */
  395axiom(not(holds_at(win(Win_Ret), start)),
  396   
  397    [ not(holds_at(playSoccer(Win_Ret), t)),
  398      not(holds_at(playHideAndSeek(Win_Ret), t)),
  399      not(holds_at(playComputerGame(Win_Ret), t)),
  400      b(t, start),
  401      ignore(start-1=t)
  402    ]).
  403
  404
  405% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/FrankEtAl2003/FrankEtAl.e:78
  406% [agent,time]
  407% HoldsAt(PlaySoccer(agent),time) ->
  408% !HoldsAt(Raining(),time).
  409% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/FrankEtAl2003/FrankEtAl.e:80
  410axiom(not(holds_at(raining(), Time)),
  411    [holds_at(playSoccer(Agent), Time)]).
  412
  413
  414% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/FrankEtAl2003/FrankEtAl.e:82
  415% [agent,time]
  416% HoldsAt(Win(agent),time) ->
  417% !({agent1} agent1!=agent & HoldsAt(Win(agent1),time)).
  418% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/FrankEtAl2003/FrankEtAl.e:84
  419axiom(not(exists([Agent1],  (Agent1\=Agent, holds_at(win(Agent1), Time)))),
  420    [holds_at(win(Agent), Time)]).
  421
  422
  423% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/FrankEtAl2003/FrankEtAl.e:86
  424% [agent1,agent2,time]
  425% HoldsAt(PlayHideAndSeek(agent1),time) &
  426% HoldsAt(PlayHideAndSeek(agent2),time) ->
  427% ((HoldsAt(Outside(agent1),time) & HoldsAt(Outside(agent2),time)) |
  428%  (!HoldsAt(Outside(agent1),time) & !HoldsAt(Outside(agent2),time))).
  429
  430 /*   if((holds_at(playHideAndSeek(Agent1), Time), holds_at(playHideAndSeek(Agent2), Time)),
  431          (holds_at(outside(Agent1), Time), holds_at(outside(Agent2), Time);not(holds_at(outside(Agent1), Time)), not(holds_at(outside(Agent2), Time)))).
  432 */
  433
  434 /*  not(holds_at(playHideAndSeek(PlayHideAndSeek_Ret), Time3)) :-
  435       holds_at(playHideAndSeek(PlayHideAndSeek_Ret5), Time3),
  436       (   not(holds_at(outside(PlayHideAndSeek_Ret), Time3))
  437       ;   not(holds_at(outside(PlayHideAndSeek_Ret5), Time3))
  438       ),
  439       (   holds_at(outside(PlayHideAndSeek_Ret), Time3)
  440       ;   holds_at(outside(PlayHideAndSeek_Ret5), Time3)
  441       ).
  442 */
  443% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/FrankEtAl2003/FrankEtAl.e:90
  444axiom(not(holds_at(playHideAndSeek(PlayHideAndSeek_Ret), Time3)),
  445   
  446    [ holds_at(outside(PlayHideAndSeek_Ret), Time3),
  447      not(holds_at(outside(PlayHideAndSeek_Ret), Time3)),
  448      holds_at(playHideAndSeek(PlayHideAndSeek_Ret5), Time3)
  449    ]).
  450axiom(not(holds_at(playHideAndSeek(PlayHideAndSeek_Ret), Time3)),
  451   
  452    [ holds_at(outside(PlayHideAndSeek_Ret5), Time3),
  453      not(holds_at(outside(PlayHideAndSeek_Ret), Time3)),
  454      holds_at(playHideAndSeek(PlayHideAndSeek_Ret5), Time3)
  455    ]).
  456axiom(not(holds_at(playHideAndSeek(PlayHideAndSeek_Ret), Time3)),
  457   
  458    [ holds_at(outside(PlayHideAndSeek_Ret), Time3),
  459      not(holds_at(outside(PlayHideAndSeek_Ret5), Time3)),
  460      holds_at(playHideAndSeek(PlayHideAndSeek_Ret5), Time3)
  461    ]).
  462axiom(not(holds_at(playHideAndSeek(PlayHideAndSeek_Ret), Time3)),
  463   
  464    [ holds_at(outside(PlayHideAndSeek_Ret5), Time3),
  465      not(holds_at(outside(PlayHideAndSeek_Ret5), Time3)),
  466      holds_at(playHideAndSeek(PlayHideAndSeek_Ret5), Time3)
  467    ]).
  468
  469 /*  not(holds_at(playHideAndSeek(PlayHideAndSeek_Ret7), Time6)) :-
  470       holds_at(playHideAndSeek(PlayHideAndSeek_Ret8), Time6),
  471       (   not(holds_at(outside(PlayHideAndSeek_Ret8), Time6))
  472       ;   not(holds_at(outside(PlayHideAndSeek_Ret7), Time6))
  473       ),
  474       (   holds_at(outside(PlayHideAndSeek_Ret8), Time6)
  475       ;   holds_at(outside(PlayHideAndSeek_Ret7), Time6)
  476       ).
  477 */
  478axiom(not(holds_at(playHideAndSeek(PlayHideAndSeek_Ret7), Time6)),
  479   
  480    [ holds_at(outside(PlayHideAndSeek_Ret8), Time6),
  481      not(holds_at(outside(PlayHideAndSeek_Ret8), Time6)),
  482      holds_at(playHideAndSeek(PlayHideAndSeek_Ret8), Time6)
  483    ]).
  484axiom(not(holds_at(playHideAndSeek(PlayHideAndSeek_Ret7), Time6)),
  485   
  486    [ holds_at(outside(PlayHideAndSeek_Ret7), Time6),
  487      not(holds_at(outside(PlayHideAndSeek_Ret8), Time6)),
  488      holds_at(playHideAndSeek(PlayHideAndSeek_Ret8), Time6)
  489    ]).
  490axiom(not(holds_at(playHideAndSeek(PlayHideAndSeek_Ret7), Time6)),
  491   
  492    [ holds_at(outside(PlayHideAndSeek_Ret8), Time6),
  493      not(holds_at(outside(PlayHideAndSeek_Ret7), Time6)),
  494      holds_at(playHideAndSeek(PlayHideAndSeek_Ret8), Time6)
  495    ]).
  496axiom(not(holds_at(playHideAndSeek(PlayHideAndSeek_Ret7), Time6)),
  497   
  498    [ holds_at(outside(PlayHideAndSeek_Ret7), Time6),
  499      not(holds_at(outside(PlayHideAndSeek_Ret7), Time6)),
  500      holds_at(playHideAndSeek(PlayHideAndSeek_Ret8), Time6)
  501    ]).
  502
  503 /*  holds_at(outside(Outside_Ret), Time9) :-
  504       (   holds_at(outside(Outside_Ret), Time9)
  505       ;   holds_at(outside(Outside_Ret11), Time9)
  506       ),
  507       holds_at(playHideAndSeek(Outside_Ret), Time9),
  508       holds_at(playHideAndSeek(Outside_Ret11), Time9).
  509 */
  510axiom(holds_at(outside(Outside_Ret), Time9),
  511   
  512    [ holds_at(outside(Outside_Ret), Time9),
  513      holds_at(playHideAndSeek(Outside_Ret), Time9),
  514      holds_at(playHideAndSeek(Outside_Ret11), Time9)
  515    ]).
  516axiom(holds_at(outside(Outside_Ret), Time9),
  517   
  518    [ holds_at(outside(Outside_Ret11), Time9),
  519      holds_at(playHideAndSeek(Outside_Ret), Time9),
  520      holds_at(playHideAndSeek(Outside_Ret11), Time9)
  521    ]).
  522
  523 /*  holds_at(outside(Outside_Ret13), Time12) :-
  524       (   holds_at(outside(Outside_Ret14), Time12)
  525       ;   holds_at(outside(Outside_Ret13), Time12)
  526       ),
  527       holds_at(playHideAndSeek(Outside_Ret14), Time12),
  528       holds_at(playHideAndSeek(Outside_Ret13), Time12).
  529 */
  530axiom(holds_at(outside(Outside_Ret13), Time12),
  531   
  532    [ holds_at(outside(Outside_Ret14), Time12),
  533      holds_at(playHideAndSeek(Outside_Ret14), Time12),
  534      holds_at(playHideAndSeek(Outside_Ret13), Time12)
  535    ]).
  536axiom(holds_at(outside(Outside_Ret13), Time12),
  537   
  538    [ holds_at(outside(Outside_Ret13), Time12),
  539      holds_at(playHideAndSeek(Outside_Ret14), Time12),
  540      holds_at(playHideAndSeek(Outside_Ret13), Time12)
  541    ]).
  542
  543 /*  not(holds_at(outside(Outside_Ret16), Time15)) :-
  544       (   not(holds_at(outside(Outside_Ret16), Time15))
  545       ;   not(holds_at(outside(Outside_Ret17), Time15))
  546       ),
  547       holds_at(playHideAndSeek(Outside_Ret16), Time15),
  548       holds_at(playHideAndSeek(Outside_Ret17), Time15).
  549 */
  550axiom(not(holds_at(outside(Outside_Ret16), Time15)),
  551   
  552    [ not(holds_at(outside(Outside_Ret16), Time15)),
  553      holds_at(playHideAndSeek(Outside_Ret16), Time15),
  554      holds_at(playHideAndSeek(Outside_Ret17), Time15)
  555    ]).
  556axiom(not(holds_at(outside(Outside_Ret16), Time15)),
  557   
  558    [ not(holds_at(outside(Outside_Ret17), Time15)),
  559      holds_at(playHideAndSeek(Outside_Ret16), Time15),
  560      holds_at(playHideAndSeek(Outside_Ret17), Time15)
  561    ]).
  562
  563 /*  not(holds_at(outside(Outside_Ret19), Time18)) :-
  564       (   not(holds_at(outside(Outside_Ret20), Time18))
  565       ;   not(holds_at(outside(Outside_Ret19), Time18))
  566       ),
  567       holds_at(playHideAndSeek(Outside_Ret20), Time18),
  568       holds_at(playHideAndSeek(Outside_Ret19), Time18).
  569 */
  570axiom(not(holds_at(outside(Outside_Ret19), Time18)),
  571   
  572    [ not(holds_at(outside(Outside_Ret20), Time18)),
  573      holds_at(playHideAndSeek(Outside_Ret20), Time18),
  574      holds_at(playHideAndSeek(Outside_Ret19), Time18)
  575    ]).
  576axiom(not(holds_at(outside(Outside_Ret19), Time18)),
  577   
  578    [ not(holds_at(outside(Outside_Ret19), Time18)),
  579      holds_at(playHideAndSeek(Outside_Ret20), Time18),
  580      holds_at(playHideAndSeek(Outside_Ret19), Time18)
  581    ]).
  582
  583
  584% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/FrankEtAl2003/FrankEtAl.e:92
  585%; End of file.