1:-include(library('ec_planner/ec_test_incl')).    2:-expects_dialect(pfc).    3 %  loading(always,'ecnet/TakingATrain.e').
    4%;
    5%; Copyright (c) 2005 IBM Corporation and others.
    6%; All rights reserved. This program and the accompanying materials
    7%; are made available under the terms of the Common Public License v1.0
    8%; which accompanies this distribution, and is available at
    9%; http://www.eclipse.org/legal/cpl-v10.html
   10%;
   11%; Contributors:
   12%; IBM - Initial implementation
   13%;
   14%; @article{Mueller:2004c,
   15%;   author = "Erik T. Mueller",
   16%;   year = "2004",
   17%;   title = "Understanding script-based stories using commonsense reasoning",
   18%;   journal = "Cognitive Systems Research",
   19%;   volume = "5",
   20%;   number = "4",
   21%;   pages = "307--340",
   22%; }
   23%;
   24
   25% option modeldiff on
   26:- set_ec_option(modeldiff, on).   27
   28% option renaming off
   29:- set_ec_option(renaming, off).   30
   31% ignore Love, ThreatenedBy
   32ignore(love).
   33ignore(threatenedBy).
   34
   35% ignore LookOutOnto, Floor, BuildingOf, SkyOf, GroundOf
   36ignore(lookOutOnto).
   37ignore(floor).
   38ignore(buildingOf).
   39ignore(skyOf).
   40ignore(groundOf).
   41
   42% ignore Inside, PutInside, On, PlaceOn
   43ignore(inside).
   44ignore(putInside).
   45ignore(on).
   46ignore(placeOn).
   47
   48% ignore Like, Happy, BecomeAngryAt
   49ignore(like).
   50ignore(happy).
   51ignore(becomeAngryAt).
   52
   53% ignore Near, WalkFrom, WalkFromTo, RunFromTo
   54ignore(near).
   55ignore(walkFrom).
   56ignore(walkFromTo).
   57ignore(runFromTo).
   58
   59% ignore ActOnIntentionToWalkIn, IntentionToWalkIn, InvitedIn, InviteIn
   60ignore(actOnIntentionToWalkIn).
   61ignore(intentionToWalkIn).
   62ignore(invitedIn).
   63ignore(inviteIn).
   64
   65% ignore TakeOffOf, TakeOutOf, LetGoOf
   66ignore(takeOffOf).
   67ignore(takeOutOf).
   68ignore(letGoOf).
   69
   70% ignore Greet, SayGoodbye, Order, KnowOrder
   71ignore(greet).
   72ignore(sayGoodbye).
   73ignore(order).
   74ignore(knowOrder).
   75
   76% load foundations/Root.e
   77
   78% load foundations/EC.e
   79
   80% load answers/Mueller2003/Ontology.e
   81
   82% load answers/Mueller2004c/OTSpaceM.e
   83load('answers/Mueller2004c/OTSpaceM.e').
   84
   85% load answers/Mueller2004c/RTSpaceM.e
   86load('answers/Mueller2004c/RTSpaceM.e').
   87
   88% load answers/Mueller2004c/HandTo.e
   89
   90% load answers/Mueller2004c/Money.e
   91
   92% load answers/Mueller2003/Sleep.e
   93
   94% load answers/Mueller2003/SpeechAct.e
   95
   96% load answers/Mueller2004c/Vehicle.e
   97
   98% outside NearStation1
   99==> t(outside,nearStation1).
  100
  101% street Street1
  102==> t(street,street1).
  103
  104% outside Station1
  105==> t(outside,station1).
  106
  107
  108% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingATrain.e:50
  109% Side1(Street1)=NearStation1.
  110side1(street1,nearStation1).
  111
  112
  113% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingATrain.e:51
  114% Side2(Street1)=Station1.
  115side2(street1,station1).
  116
  117% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingATrain.e:53
  118% room WaitingRoom1
  119% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingATrain.e:54
  120==> t(room,waitingRoom1).
  121
  122% door Door1
  123% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingATrain.e:56
  124==> t(door,door1).
  125
  126
  127% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingATrain.e:57
  128% Side1(Door1)=Station1.
  129side1(door1,station1).
  130
  131
  132% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingATrain.e:58
  133% Side2(Door1)=WaitingRoom1.
  134side2(door1,waitingRoom1).
  135
  136% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingATrain.e:60
  137% outside BeforeStation1
  138% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingATrain.e:61
  139==> t(outside,beforeStation1).
  140
  141% track TrackToStation1
  142% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingATrain.e:63
  143==> t(track,trackToStation1).
  144
  145
  146% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingATrain.e:64
  147% Side1(TrackToStation1)=BeforeStation1.
  148side1(trackToStation1,beforeStation1).
  149
  150
  151% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingATrain.e:65
  152% Side2(TrackToStation1)=Station1.
  153side2(trackToStation1,station1).
  154
  155% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingATrain.e:67
  156% outside BetweenStation1And2
  157% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingATrain.e:68
  158==> t(outside,betweenStation1And2).
  159
  160% track TrackToBetweenStation1And2
  161% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingATrain.e:70
  162==> t(track,trackToBetweenStation1And2).
  163
  164
  165% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingATrain.e:71
  166% Side1(TrackToBetweenStation1And2)=Station1.
  167side1(trackToBetweenStation1And2,station1).
  168
  169
  170% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingATrain.e:72
  171% Side2(TrackToBetweenStation1And2)=BetweenStation1And2.
  172side2(trackToBetweenStation1And2,betweenStation1And2).
  173
  174% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingATrain.e:74
  175% outside Station2
  176% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingATrain.e:75
  177==> t(outside,station2).
  178
  179% track TrackToStation2
  180% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingATrain.e:76
  181==> t(track,trackToStation2).
  182
  183
  184% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingATrain.e:77
  185% Side1(TrackToStation2)=BetweenStation1And2.
  186side1(trackToStation2,betweenStation1And2).
  187
  188
  189% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingATrain.e:78
  190% Side2(TrackToStation2)=Station2.
  191side2(trackToStation2,station2).
  192
  193% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingATrain.e:80
  194% outside NearStation2
  195% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingATrain.e:81
  196==> t(outside,nearStation2).
  197
  198% street Street2
  199% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingATrain.e:83
  200==> t(street,street2).
  201
  202
  203% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingATrain.e:84
  204% Side1(Street2)=Station2.
  205side1(street2,station2).
  206
  207
  208% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingATrain.e:85
  209% Side2(Street2)=NearStation2.
  210side2(street2,nearStation2).
  211
  212% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingATrain.e:87
  213% agent Passenger1
  214% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingATrain.e:88
  215==> t(agent,passenger1).
  216
  217% agent Conductor1
  218% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingATrain.e:90
  219==> t(agent,conductor1).
  220
  221% chair TrainSeat1
  222% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingATrain.e:92
  223==> t(chair,trainSeat1).
  224
  225% train Train1
  226% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingATrain.e:94
  227==> t(train,train1).
  228
  229% chair WaitingRoomSeat1
  230% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingATrain.e:96
  231==> t(chair,waitingRoomSeat1).
  232
  233% ticketagent TicketAgent1
  234% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingATrain.e:98
  235==> t(ticketagent,ticketAgent1).
  236
  237% ticket Ticket1
  238% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingATrain.e:100
  239==> t(ticket,ticket1).
  240%; prune
  241
  242% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingATrain.e:102
  243% sort requesta, requestb, requestc
  244% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingATrain.e:103
  245==> sort(requesta).
  246==> sort(requestb).
  247==> sort(requestc).
  248
  249% event! Request(requesta,requestb,requestc)
  250 %  event(request(requesta,requestb,requestc)).
  251% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingATrain.e:104
  252==> mpred_prop(request(requesta,requestb,requestc),event).
  253==> meta_argtypes(request(requesta,requestb,requestc)).
  254
  255% fluent! KnowRequest(requestb,requesta,requestc)
  256 %  fluent(knowRequest(requestb,requesta,requestc)).
  257% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingATrain.e:105
  258==> mpred_prop(knowRequest(requestb,requesta,requestc),fluent).
  259==> meta_argtypes(knowRequest(requestb,requesta,requestc)).
  260
  261% requesta! Passenger1
  262% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingATrain.e:106
  263==> t(requesta,passenger1).
  264
  265% requestb! TicketAgent1
  266% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingATrain.e:107
  267==> t(requestb,ticketAgent1).
  268
  269% requestc! Ticket1
  270% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingATrain.e:108
  271==> t(requestc,ticket1).
  272
  273% sort holda, holdb
  274% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingATrain.e:110
  275==> sort(holda).
  276==> sort(holdb).
  277
  278% event! TakeOffOf(holda,holdb,holdc)
  279 %  event(takeOffOf(holda,holdb,holdc)).
  280% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingATrain.e:111
  281==> mpred_prop(takeOffOf(holda,holdb,holdc),event).
  282==> meta_argtypes(takeOffOf(holda,holdb,holdc)).
  283
  284% event! PickUp(holda,holdb)
  285 %  event(pickUp(holda,holdb)).
  286% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingATrain.e:112
  287==> mpred_prop(pickUp(holda,holdb),event).
  288==> meta_argtypes(pickUp(holda,holdb)).
  289
  290% event! LetGoOf(holda,holdb)
  291 %  event(letGoOf(holda,holdb)).
  292% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingATrain.e:113
  293==> mpred_prop(letGoOf(holda,holdb),event).
  294==> meta_argtypes(letGoOf(holda,holdb)).
  295
  296% event! Hold(holda,holdb)
  297 %  event(hold(holda,holdb)).
  298% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingATrain.e:114
  299==> mpred_prop(hold(holda,holdb),event).
  300==> meta_argtypes(hold(holda,holdb)).
  301
  302% fluent! Holding(holda,holdb)
  303 %  fluent(holding(holda,holdb)).
  304% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingATrain.e:115
  305==> mpred_prop(holding(holda,holdb),fluent).
  306==> meta_argtypes(holding(holda,holdb)).
  307
  308% event! HandTo(holda,holda,holdb)
  309 %  event(handTo(holda,holda,holdb)).
  310% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingATrain.e:116
  311==> mpred_prop(handTo(holda,holda,holdb),event).
  312==> meta_argtypes(handTo(holda,holda,holdb)).
  313
  314% holda! TicketAgent1, Passenger1, Conductor1
  315% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingATrain.e:117
  316==> t(holda,ticketAgent1).
  317==> t(holda,passenger1).
  318==> t(holda,conductor1).
  319
  320% holdb! Ticket1
  321% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingATrain.e:118
  322==> t(holdb,ticket1).
  323
  324% sort sita, sitb
  325% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingATrain.e:120
  326==> sort(sita).
  327==> sort(sitb).
  328
  329% event! LieOn(sita,sitb)
  330 %  event(lieOn(sita,sitb)).
  331% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingATrain.e:121
  332==> mpred_prop(lieOn(sita,sitb),event).
  333==> meta_argtypes(lieOn(sita,sitb)).
  334
  335% event! SitOn(sita,sitb)
  336 %  event(sitOn(sita,sitb)).
  337% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingATrain.e:122
  338==> mpred_prop(sitOn(sita,sitb),event).
  339==> meta_argtypes(sitOn(sita,sitb)).
  340
  341% event! RiseFrom(sita,sitb)
  342 %  event(riseFrom(sita,sitb)).
  343% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingATrain.e:123
  344==> mpred_prop(riseFrom(sita,sitb),event).
  345==> meta_argtypes(riseFrom(sita,sitb)).
  346
  347% fluent! LyingOn(sita,sitb)
  348 %  fluent(lyingOn(sita,sitb)).
  349% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingATrain.e:124
  350==> mpred_prop(lyingOn(sita,sitb),fluent).
  351==> meta_argtypes(lyingOn(sita,sitb)).
  352
  353% fluent! SittingOn(sita,sitb)
  354 %  fluent(sittingOn(sita,sitb)).
  355% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingATrain.e:125
  356==> mpred_prop(sittingOn(sita,sitb),fluent).
  357==> meta_argtypes(sittingOn(sita,sitb)).
  358
  359% sita! Passenger1
  360% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingATrain.e:126
  361==> t(sita,passenger1).
  362
  363% sitb! WaitingRoomSeat1, TrainSeat1
  364% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingATrain.e:127
  365==> t(sitb,waitingRoomSeat1).
  366==> t(sitb,trainSeat1).
  367%; release
  368
  369% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingATrain.e:129
  370% option manualrelease on
  371% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingATrain.e:130
  372:- set_ec_option(manualrelease, on).  373
  374
  375% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingATrain.e:130
  376% [ball, diameter]
  377 % !ReleasedAt(Diameter(ball, diameter), 0).
  378 %  not(releasedAt(diameter(Ball,Diameter),0)).
  379axiom(not(releasedAt(diameter(Diameter_Param, Diameter_Ret), 0)),
  380    []).
  381
  382
  383% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingATrain.e:131
  384% [agent, object]
  385 % !ReleasedAt(Holding(agent, object), 0).
  386 %  not(releasedAt(holding(Agent,Object),0)).
  387axiom(not(releasedAt(holding(Holding_Param, Holding_Ret), 0)),
  388    []).
  389
  390
  391% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingATrain.e:132
  392% [door]
  393 % !ReleasedAt(DoorUnlocked(door), 0).
  394 %  not(releasedAt(doorUnlocked(Door),0)).
  395axiom(not(releasedAt(doorUnlocked(DoorUnlocked_Ret), 0)),
  396    []).
  397
  398
  399% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingATrain.e:133
  400% [door]
  401 % !ReleasedAt(DoorIsOpen(door), 0).
  402 %  not(releasedAt(doorIsOpen(Door),0)).
  403axiom(not(releasedAt(doorIsOpen(DoorIsOpen_Ret), 0)),
  404    []).
  405
  406
  407% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingATrain.e:134
  408% [agent]
  409 % !ReleasedAt(Sleep0(agent), 0).
  410 %  not(releasedAt(sleep0(Agent),0)).
  411axiom(not(releasedAt(sleep0(Sleep0_Ret), 0)),
  412    []).
  413
  414
  415% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingATrain.e:135
  416% [agent]
  417 % !ReleasedAt(Sleep1(agent), 0).
  418 %  not(releasedAt(sleep1(Agent),0)).
  419axiom(not(releasedAt(sleep1(Sleep1_Ret), 0)),
  420    []).
  421
  422
  423% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingATrain.e:136
  424% [agent]
  425 % !ReleasedAt(Sleep2(agent), 0).
  426 %  not(releasedAt(sleep2(Agent),0)).
  427axiom(not(releasedAt(sleep2(Sleep2_Ret), 0)),
  428    []).
  429
  430
  431% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingATrain.e:137
  432% [agent]
  433 % !ReleasedAt(Sleep3(agent), 0).
  434 %  not(releasedAt(sleep3(Agent),0)).
  435axiom(not(releasedAt(sleep3(Sleep3_Ret), 0)),
  436    []).
  437
  438
  439% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingATrain.e:138
  440% [agent]
  441 % !ReleasedAt(Sleep4(agent), 0).
  442 %  not(releasedAt(sleep4(Agent),0)).
  443axiom(not(releasedAt(sleep4(Sleep4_Ret), 0)),
  444    []).
  445
  446
  447% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingATrain.e:139
  448% [agent]
  449 % !ReleasedAt(Sleep5(agent), 0).
  450 %  not(releasedAt(sleep5(Agent),0)).
  451axiom(not(releasedAt(sleep5(Sleep5_Ret), 0)),
  452    []).
  453
  454
  455% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingATrain.e:140
  456% [agent]
  457 % !ReleasedAt(Sleep6(agent), 0).
  458 %  not(releasedAt(sleep6(Agent),0)).
  459axiom(not(releasedAt(sleep6(Sleep6_Ret), 0)),
  460    []).
  461
  462
  463% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingATrain.e:141
  464% [agent, physobj]
  465 % !ReleasedAt(LyingOn(agent, physobj), 0).
  466 %  not(releasedAt(lyingOn(Agent,Physobj),0)).
  467axiom(not(releasedAt(lyingOn(LyingOn_Param, LyingOn_Ret), 0)),
  468    []).
  469
  470
  471% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingATrain.e:142
  472% [agent, physobj]
  473 % !ReleasedAt(SittingOn(agent, physobj), 0).
  474 %  not(releasedAt(sittingOn(Agent,Physobj),0)).
  475axiom(not(releasedAt(sittingOn(SittingOn_Param, SittingOn_Ret), 0)),
  476    []).
  477
  478
  479% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingATrain.e:143
  480% [agent]
  481 % !ReleasedAt(Standing(agent), 0).
  482 %  not(releasedAt(standing(Agent),0)).
  483axiom(not(releasedAt(standing(Standing_Ret), 0)),
  484    []).
  485
  486
  487% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingATrain.e:144
  488% [agent]
  489 % !ReleasedAt(Dressed(agent), 0).
  490 %  not(releasedAt(dressed(Agent),0)).
  491axiom(not(releasedAt(dressed(Dressed_Ret), 0)),
  492    []).
  493
  494
  495% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingATrain.e:145
  496% [agent1, agent2, physobj]
  497 % !ReleasedAt(KnowOrder(agent1, agent2, physobj), 0).
  498 %  not(releasedAt(knowOrder(Agent1,Agent2,Physobj),0)).
  499axiom(not(releasedAt(knowOrder(KnowOrder_Param, _, KnowOrder_Ret), 0)),
  500    []).
  501
  502
  503% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingATrain.e:146
  504% [agent1, agent2, physobj]
  505 % !ReleasedAt(KnowRequest(agent1, agent2, physobj), 0).
  506 %  not(releasedAt(knowRequest(Agent1,Agent2,Physobj),0)).
  507axiom(not(releasedAt(knowRequest(KnowRequest_Param, _, KnowRequest_Ret), 0)),
  508    []).
  509
  510
  511% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingATrain.e:147
  512% [object, vehicleon]
  513 % !ReleasedAt(OnVehicle(object, vehicleon), 0).
  514 %  not(releasedAt(onVehicle(Object,Vehicleon),0)).
  515axiom(not(releasedAt(onVehicle(OnVehicle_Param, OnVehicle_Ret), 0)),
  516    []).
  517
  518
  519% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingATrain.e:148
  520% [ticketagent]
  521 % !ReleasedAt(BeTicketAgent0(ticketagent), 0).
  522 %  not(releasedAt(beTicketAgent0(Ticketagent),0)).
  523axiom(not(releasedAt(beTicketAgent0(BeTicketAgent0_Ret), 0)),
  524    []).
  525
  526
  527% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingATrain.e:149
  528% [ticketagent]
  529 % !ReleasedAt(BeTicketAgent1(ticketagent), 0).
  530 %  not(releasedAt(beTicketAgent1(Ticketagent),0)).
  531axiom(not(releasedAt(beTicketAgent1(BeTicketAgent1_Ret), 0)),
  532    []).
  533
  534
  535% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingATrain.e:150
  536% [ticketagent]
  537 % !ReleasedAt(BeTicketAgent2(ticketagent), 0).
  538 %  not(releasedAt(beTicketAgent2(Ticketagent),0)).
  539axiom(not(releasedAt(beTicketAgent2(BeTicketAgent2_Ret), 0)),
  540    []).
  541
  542
  543% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingATrain.e:151
  544%; special cases
  545% [location]
  546 % ReleasedAt(At(TrainSeat1,location),0).
  547% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingATrain.e:152
  548releasedAt(at(trainSeat1,Location),0).
  549
  550
  551% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingATrain.e:153
  552% [location]
  553 % ReleasedAt(At(Conductor1,location),0).
  554releasedAt(at(conductor1,Location),0).
  555
  556
  557% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingATrain.e:154
  558% [object, location]
  559% object!=% TrainSeat1 & object!=Conductor1 ->
  560% !ReleasedAt(At(object, location), 0).
  561% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingATrain.e:156
  562axiom(not(releasedAt(at(Object, Location), 0)),
  563    [dif(Object, trainSeat1), dif(Object, conductor1)]).
  564
  565
  566% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingATrain.e:158
  567%; initial state
  568% [agent,object]
  569 % !HoldsAt(Holding(agent,object),0).
  570 %  not(initially(holding(Agent,Object))).
  571% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingATrain.e:159
  572axiom(not(initially(holding(Holding_Param, Holding_Ret))),
  573    []).
  574
  575
  576% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingATrain.e:160
  577% [agent,physobj]
  578 % !HoldsAt(SittingOn(agent,physobj),0).
  579 %  not(initially(sittingOn(Agent,Physobj))).
  580axiom(not(initially(sittingOn(SittingOn_Param, SittingOn_Ret))),
  581    []).
  582
  583
  584% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingATrain.e:161
  585% [agent,physobj]
  586 % !HoldsAt(LyingOn(agent,physobj),0).
  587 %  not(initially(lyingOn(Agent,Physobj))).
  588axiom(not(initially(lyingOn(LyingOn_Param, LyingOn_Ret))),
  589    []).
  590
  591
  592% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingATrain.e:162
  593% [physobj1,physobj2]
  594% !HoldsAt(On(physobj1, physobj2),0).
  595 %  not(initially(on(Physobj1,Physobj2))).
  596% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingATrain.e:163
  597axiom(not(initially(on(On_Param, On_Ret))),
  598    []).
  599
  600
  601% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingATrain.e:164
  602% [agent]
  603 % HoldsAt(Dressed(agent),0).
  604axiom(initially(dressed(Agent)),
  605    []).
  606
  607
  608% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingATrain.e:165
  609% [agent]
  610 % HoldsAt(Awake(agent),0).
  611axiom(initially(awake(Agent)),
  612    []).
  613
  614
  615% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingATrain.e:166
  616% [agent]
  617 % HoldsAt(Sleep3(agent),0).
  618axiom(initially(sleep3(Agent)),
  619    []).
  620
  621
  622% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingATrain.e:167
  623% [agent]
  624 % HoldsAt(Standing(agent),0).
  625axiom(initially(standing(Agent)),
  626    []).
  627
  628
  629% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingATrain.e:168
  630% HoldsAt(DoorUnlocked(Door1),0).
  631axiom(initially(doorUnlocked(door1)),
  632    []).
  633
  634
  635% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingATrain.e:169
  636% HoldsAt(DoorIsOpen(Door1),0).
  637axiom(initially(doorIsOpen(door1)),
  638    []).
  639
  640
  641% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingATrain.e:170
  642% HoldsAt(At(WaitingRoomSeat1,WaitingRoom1),0).
  643axiom(initially(at(waitingRoomSeat1, waitingRoom1)),
  644    []).
  645
  646
  647% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingATrain.e:171
  648% HoldsAt(At(Passenger1,NearStation1),0).
  649axiom(initially(at(passenger1, nearStation1)),
  650    []).
  651
  652
  653% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingATrain.e:172
  654% HoldsAt(At(Train1,BeforeStation1),0).
  655axiom(initially(at(train1, beforeStation1)),
  656    []).
  657
  658
  659% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingATrain.e:173
  660% HoldsAt(OnVehicle(TrainSeat1,Train1),0).
  661axiom(initially(onVehicle(trainSeat1, train1)),
  662    []).
  663
  664
  665% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingATrain.e:174
  666% HoldsAt(OnVehicle(Conductor1,Train1),0).
  667axiom(initially(onVehicle(conductor1, train1)),
  668    []).
  669
  670
  671% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingATrain.e:175
  672% [object]
  673% object!=% TrainSeat1 & object!=Conductor1 ->
  674% !HoldsAt(OnVehicle(object,Train1),0).
  675% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingATrain.e:177
  676axiom(not(holds_at(onVehicle(Object, train1), t)),
  677    [dif(Object, trainSeat1), dif(Object, conductor1)]).
  678
  679
  680% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingATrain.e:178
  681% HoldsAt(At(Ticket1,WaitingRoom1),0).
  682axiom(initially(at(ticket1, waitingRoom1)),
  683    []).
  684
  685
  686% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingATrain.e:179
  687% HoldsAt(At(TicketAgent1,WaitingRoom1),0).
  688axiom(initially(at(ticketAgent1, waitingRoom1)),
  689    []).
  690
  691
  692% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingATrain.e:180
  693% HoldsAt(BeTicketAgent0(TicketAgent1),0).
  694axiom(initially(beTicketAgent0(ticketAgent1)),
  695    []).
  696
  697
  698% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingATrain.e:181
  699% [agent1,agent2,physobj]
  700 % !HoldsAt(KnowOrder(agent1,agent2,physobj),0).
  701 %  not(initially(knowOrder(Agent1,Agent2,Physobj))).
  702axiom(not(initially(knowOrder(KnowOrder_Param, _, KnowOrder_Ret))),
  703    []).
  704
  705
  706% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingATrain.e:182
  707% [agent1,agent2,physobj]
  708 % !HoldsAt(KnowRequest(agent1,agent2,physobj),0).
  709 %  not(initially(knowRequest(Agent1,Agent2,Physobj))).
  710axiom(not(initially(knowRequest(KnowRequest_Param, _, KnowRequest_Ret))),
  711    []).
  712
  713
  714% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingATrain.e:184
  715%; narrative
  716
  717
  718% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingATrain.e:185
  719% Happens(WalkStreet12(Passenger1,Street1),0).
  720axiom(happens(walkStreet12(passenger1, street1), t),
  721    [is_time(0)]).
  722
  723
  724% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingATrain.e:186
  725% Happens(WalkThroughDoor12(Passenger1,Door1),1).
  726axiom(happens(walkThroughDoor12(passenger1, door1), start),
  727    [is_time(1), b(t, start), ignore(t+1=start)]).
  728
  729
  730% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingATrain.e:187
  731% Happens(Request(Passenger1,TicketAgent1,Ticket1),2).
  732axiom(happens(request(passenger1, ticketAgent1, ticket1), t2),
  733    [is_time(2), b(t, t2), ignore(t+2=t2)]).
  734
  735
  736% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingATrain.e:188
  737% Happens(Pay(Passenger1,TicketAgent1),3).
  738axiom(happens(pay(passenger1, ticketAgent1), t3),
  739    [is_time(3), b(t, t3), ignore(t+3=t3)]).
  740
  741
  742% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingATrain.e:189
  743%;TRIGGERED Happens(PickUp(TicketAgent1,Ticket1),3).
  744%;TRIGGERED Happens(HandTo(TicketAgent1,Passenger1,Ticket1),4).
  745
  746
  747% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingATrain.e:191
  748% Happens(SitOn(Passenger1,WaitingRoomSeat1),5).
  749axiom(happens(sitOn(passenger1, waitingRoomSeat1), t5),
  750    [is_time(5), b(t, t5), ignore(t+5=t5)]).
  751
  752
  753% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingATrain.e:192
  754% Happens(RideTrack12(Train1,TrackToStation1),6).
  755axiom(happens(rideTrack12(train1, trackToStation1), t6),
  756    [is_time(6), b(t, t6), ignore(t+6=t6)]).
  757
  758
  759% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingATrain.e:193
  760% Happens(RiseFrom(Passenger1,WaitingRoomSeat1),7).
  761axiom(happens(riseFrom(passenger1, waitingRoomSeat1), t7),
  762    [is_time(7), b(t, t7), ignore(t+7=t7)]).
  763
  764
  765% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingATrain.e:194
  766% Happens(WalkThroughDoor21(Passenger1,Door1),8).
  767axiom(happens(walkThroughDoor21(passenger1, door1), t8),
  768    [is_time(8), b(t, t8), ignore(t+8=t8)]).
  769
  770
  771% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingATrain.e:195
  772% Happens(GetOnVehicle(Passenger1,Train1),9).
  773axiom(happens(getOnVehicle(passenger1, train1), t9),
  774    [is_time(9), b(t, t9), ignore(t+9=t9)]).
  775
  776
  777% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingATrain.e:196
  778% Happens(SitOn(Passenger1,TrainSeat1),10).
  779axiom(happens(sitOn(passenger1, trainSeat1), t10),
  780    [is_time(10), b(t, t10), ignore(t+10=t10)]).
  781
  782
  783% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingATrain.e:197
  784% Happens(RideTrack12(Train1,TrackToBetweenStation1And2),11).
  785axiom(happens(rideTrack12(train1, trackToBetweenStation1And2), t11),
  786    [is_time(11), b(t, t11), ignore(t+11=t11)]).
  787
  788
  789% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingATrain.e:198
  790% Happens(HandTo(Passenger1,Conductor1,Ticket1),12).
  791axiom(happens(handTo(passenger1, conductor1, ticket1), t12),
  792    [is_time(12), b(t, t12), ignore(t+12=t12)]).
  793
  794
  795% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingATrain.e:199
  796%;OR PAY
  797
  798
  799% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingATrain.e:200
  800% Happens(RideTrack12(Train1,TrackToStation2),13).
  801axiom(happens(rideTrack12(train1, trackToStation2), t13),
  802    [is_time(13), b(t, t13), ignore(t+13=t13)]).
  803
  804
  805% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingATrain.e:201
  806% Happens(RiseFrom(Passenger1,TrainSeat1),14).
  807axiom(happens(riseFrom(passenger1, trainSeat1), t14),
  808    [is_time(14), b(t, t14), ignore(t+14=t14)]).
  809
  810
  811% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingATrain.e:202
  812% Happens(GetOffVehicle(Passenger1,Train1),15).
  813axiom(happens(getOffVehicle(passenger1, train1), t15),
  814    [is_time(15), b(t, t15), ignore(t+15=t15)]).
  815
  816
  817% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingATrain.e:203
  818% Happens(WalkStreet12(Passenger1,Street2),16).
  819axiom(happens(walkStreet12(passenger1, street2), t16),
  820    [is_time(16), b(t, t16), ignore(t+16=t16)]).
  821
  822% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingATrain.e:205
  823% range time 0 17
  824% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingATrain.e:206
  825==> range(time,0,17).
  826
  827% range offset 0 0
  828% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingATrain.e:207
  829==> range(offset,0,0).
  830
  831% range diameter 0 0
  832% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingATrain.e:208
  833==> range(diameter,0,0).
  834
  835% completion Happens
  836% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingATrain.e:210
  837==> completion(happens).
  838%; End of file.