1:-include(library('ec_planner/ec_test_incl')).    2:-expects_dialect(pfc).    3 %  loading(always,'ecnet/RidingInACarriage.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% ignore Request, KnowRequest
   77ignore(request).
   78ignore(knowRequest).
   79
   80% ignore TakeOffOf, PickUp, LetGoOf, Hold, Holding, HandTo, Grab
   81ignore(takeOffOf).
   82ignore(pickUp).
   83ignore(letGoOf).
   84ignore(hold).
   85ignore(holding).
   86ignore(handTo).
   87ignore(grab).
   88
   89% ignore Move
   90ignore(move).
   91
   92% load foundations/Root.e
   93
   94% load foundations/EC.e
   95
   96% load answers/Mueller2003/Ontology.e
   97
   98% load answers/Mueller2004c/OTSpaceM.e
   99load('answers/Mueller2004c/OTSpaceM.e').
  100
  101% load answers/Mueller2004c/RTSpaceM.e
  102load('answers/Mueller2004c/RTSpaceM.e').
  103
  104% load answers/Mueller2004c/HandTo.e
  105
  106% load answers/Mueller2004c/Money.e
  107
  108% load answers/Mueller2003/Sleep.e
  109
  110% load answers/Mueller2003/SpeechAct.e
  111
  112% load answers/Mueller2004c/Vehicle.e
  113
  114% outside NearLocation1
  115==> t(outside,nearLocation1).
  116
  117% street Street1
  118==> t(street,street1).
  119
  120% outside Location1
  121==> t(outside,location1).
  122
  123
  124% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RidingInACarriage.e:53
  125% Side1(Street1)=NearLocation1.
  126side1(street1,nearLocation1).
  127
  128
  129% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RidingInACarriage.e:54
  130% Side2(Street1)=Location1.
  131side2(street1,location1).
  132
  133% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RidingInACarriage.e:56
  134% outside BeforeLocation1
  135% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RidingInACarriage.e:57
  136==> t(outside,beforeLocation1).
  137
  138% street StreetToLocation1
  139% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RidingInACarriage.e:59
  140==> t(street,streetToLocation1).
  141
  142
  143% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RidingInACarriage.e:60
  144% Side1(StreetToLocation1)=BeforeLocation1.
  145side1(streetToLocation1,beforeLocation1).
  146
  147
  148% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RidingInACarriage.e:61
  149% Side2(StreetToLocation1)=Location1.
  150side2(streetToLocation1,location1).
  151
  152% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RidingInACarriage.e:63
  153% outside BetweenLocation1And2
  154% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RidingInACarriage.e:64
  155==> t(outside,betweenLocation1And2).
  156
  157% street StreetToBetweenLocation1And2
  158% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RidingInACarriage.e:66
  159==> t(street,streetToBetweenLocation1And2).
  160
  161
  162% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RidingInACarriage.e:67
  163% Side1(StreetToBetweenLocation1And2)=Location1.
  164side1(streetToBetweenLocation1And2,location1).
  165
  166
  167% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RidingInACarriage.e:68
  168% Side2(StreetToBetweenLocation1And2)=BetweenLocation1And2.
  169side2(streetToBetweenLocation1And2,betweenLocation1And2).
  170
  171% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RidingInACarriage.e:70
  172% outside Location2
  173% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RidingInACarriage.e:71
  174==> t(outside,location2).
  175
  176% street StreetToLocation2
  177% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RidingInACarriage.e:72
  178==> t(street,streetToLocation2).
  179
  180
  181% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RidingInACarriage.e:73
  182% Side1(StreetToLocation2)=BetweenLocation1And2.
  183side1(streetToLocation2,betweenLocation1And2).
  184
  185
  186% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RidingInACarriage.e:74
  187% Side2(StreetToLocation2)=Location2.
  188side2(streetToLocation2,location2).
  189
  190% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RidingInACarriage.e:76
  191% outside NearLocation2
  192% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RidingInACarriage.e:77
  193==> t(outside,nearLocation2).
  194
  195% street Street2
  196% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RidingInACarriage.e:79
  197==> t(street,street2).
  198
  199
  200% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RidingInACarriage.e:80
  201% Side1(Street2)=Location2.
  202side1(street2,location2).
  203
  204
  205% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RidingInACarriage.e:81
  206% Side2(Street2)=NearLocation2.
  207side2(street2,nearLocation2).
  208
  209% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RidingInACarriage.e:83
  210% agent Passenger1
  211% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RidingInACarriage.e:84
  212==> t(agent,passenger1).
  213
  214% agent Driver1
  215% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RidingInACarriage.e:86
  216==> t(agent,driver1).
  217
  218% chair CarriageSeat1
  219% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RidingInACarriage.e:88
  220==> t(chair,carriageSeat1).
  221
  222% carriage Carriage1
  223% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RidingInACarriage.e:90
  224==> t(carriage,carriage1).
  225
  226% vehicledoor CarriageDoor1
  227% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RidingInACarriage.e:92
  228==> t(vehicledoor,carriageDoor1).
  229
  230% horse Horse1
  231% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RidingInACarriage.e:94
  232==> t(horse,horse1).
  233%; prune
  234
  235% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RidingInACarriage.e:96
  236% sort sita, sitb
  237% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RidingInACarriage.e:97
  238==> sort(sita).
  239==> sort(sitb).
  240
  241% event! LieOn(sita,sitb)
  242 %  event(lieOn(sita,sitb)).
  243% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RidingInACarriage.e:98
  244==> mpred_prop(lieOn(sita,sitb),event).
  245==> meta_argtypes(lieOn(sita,sitb)).
  246
  247% event! SitOn(sita,sitb)
  248 %  event(sitOn(sita,sitb)).
  249% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RidingInACarriage.e:99
  250==> mpred_prop(sitOn(sita,sitb),event).
  251==> meta_argtypes(sitOn(sita,sitb)).
  252
  253% event! RiseFrom(sita,sitb)
  254 %  event(riseFrom(sita,sitb)).
  255% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RidingInACarriage.e:100
  256==> mpred_prop(riseFrom(sita,sitb),event).
  257==> meta_argtypes(riseFrom(sita,sitb)).
  258
  259% fluent! LyingOn(sita,sitb)
  260 %  fluent(lyingOn(sita,sitb)).
  261% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RidingInACarriage.e:101
  262==> mpred_prop(lyingOn(sita,sitb),fluent).
  263==> meta_argtypes(lyingOn(sita,sitb)).
  264
  265% fluent! SittingOn(sita,sitb)
  266 %  fluent(sittingOn(sita,sitb)).
  267% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RidingInACarriage.e:102
  268==> mpred_prop(sittingOn(sita,sitb),fluent).
  269==> meta_argtypes(sittingOn(sita,sitb)).
  270
  271% sita! Passenger1
  272% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RidingInACarriage.e:103
  273==> t(sita,passenger1).
  274
  275% sitb! CarriageSeat1
  276% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RidingInACarriage.e:104
  277==> t(sitb,carriageSeat1).
  278%; release
  279
  280% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RidingInACarriage.e:106
  281% option manualrelease on
  282% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RidingInACarriage.e:107
  283:- set_ec_option(manualrelease, on).  284
  285
  286% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RidingInACarriage.e:107
  287% [ball, diameter]
  288 % !ReleasedAt(Diameter(ball, diameter), 0).
  289 %  not(releasedAt(diameter(Ball,Diameter),0)).
  290axiom(not(releasedAt(diameter(Diameter_Param, Diameter_Ret), 0)),
  291    []).
  292
  293
  294% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RidingInACarriage.e:108
  295% [agent, object]
  296 % !ReleasedAt(Holding(agent, object), 0).
  297 %  not(releasedAt(holding(Agent,Object),0)).
  298axiom(not(releasedAt(holding(Holding_Param, Holding_Ret), 0)),
  299    []).
  300
  301
  302% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RidingInACarriage.e:109
  303% [door]
  304 % !ReleasedAt(DoorUnlocked(door), 0).
  305 %  not(releasedAt(doorUnlocked(Door),0)).
  306axiom(not(releasedAt(doorUnlocked(DoorUnlocked_Ret), 0)),
  307    []).
  308
  309
  310% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RidingInACarriage.e:110
  311% [door]
  312 % !ReleasedAt(DoorIsOpen(door), 0).
  313 %  not(releasedAt(doorIsOpen(Door),0)).
  314axiom(not(releasedAt(doorIsOpen(DoorIsOpen_Ret), 0)),
  315    []).
  316
  317
  318% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RidingInACarriage.e:111
  319% [agent]
  320 % !ReleasedAt(Sleep0(agent), 0).
  321 %  not(releasedAt(sleep0(Agent),0)).
  322axiom(not(releasedAt(sleep0(Sleep0_Ret), 0)),
  323    []).
  324
  325
  326% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RidingInACarriage.e:112
  327% [agent]
  328 % !ReleasedAt(Sleep1(agent), 0).
  329 %  not(releasedAt(sleep1(Agent),0)).
  330axiom(not(releasedAt(sleep1(Sleep1_Ret), 0)),
  331    []).
  332
  333
  334% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RidingInACarriage.e:113
  335% [agent]
  336 % !ReleasedAt(Sleep2(agent), 0).
  337 %  not(releasedAt(sleep2(Agent),0)).
  338axiom(not(releasedAt(sleep2(Sleep2_Ret), 0)),
  339    []).
  340
  341
  342% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RidingInACarriage.e:114
  343% [agent]
  344 % !ReleasedAt(Sleep3(agent), 0).
  345 %  not(releasedAt(sleep3(Agent),0)).
  346axiom(not(releasedAt(sleep3(Sleep3_Ret), 0)),
  347    []).
  348
  349
  350% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RidingInACarriage.e:115
  351% [agent]
  352 % !ReleasedAt(Sleep4(agent), 0).
  353 %  not(releasedAt(sleep4(Agent),0)).
  354axiom(not(releasedAt(sleep4(Sleep4_Ret), 0)),
  355    []).
  356
  357
  358% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RidingInACarriage.e:116
  359% [agent]
  360 % !ReleasedAt(Sleep5(agent), 0).
  361 %  not(releasedAt(sleep5(Agent),0)).
  362axiom(not(releasedAt(sleep5(Sleep5_Ret), 0)),
  363    []).
  364
  365
  366% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RidingInACarriage.e:117
  367% [agent]
  368 % !ReleasedAt(Sleep6(agent), 0).
  369 %  not(releasedAt(sleep6(Agent),0)).
  370axiom(not(releasedAt(sleep6(Sleep6_Ret), 0)),
  371    []).
  372
  373
  374% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RidingInACarriage.e:118
  375% [agent, physobj]
  376 % !ReleasedAt(LyingOn(agent, physobj), 0).
  377 %  not(releasedAt(lyingOn(Agent,Physobj),0)).
  378axiom(not(releasedAt(lyingOn(LyingOn_Param, LyingOn_Ret), 0)),
  379    []).
  380
  381
  382% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RidingInACarriage.e:119
  383% [agent, physobj]
  384 % !ReleasedAt(SittingOn(agent, physobj), 0).
  385 %  not(releasedAt(sittingOn(Agent,Physobj),0)).
  386axiom(not(releasedAt(sittingOn(SittingOn_Param, SittingOn_Ret), 0)),
  387    []).
  388
  389
  390% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RidingInACarriage.e:120
  391% [agent]
  392 % !ReleasedAt(Standing(agent), 0).
  393 %  not(releasedAt(standing(Agent),0)).
  394axiom(not(releasedAt(standing(Standing_Ret), 0)),
  395    []).
  396
  397
  398% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RidingInACarriage.e:121
  399% [agent]
  400 % !ReleasedAt(Dressed(agent), 0).
  401 %  not(releasedAt(dressed(Agent),0)).
  402axiom(not(releasedAt(dressed(Dressed_Ret), 0)),
  403    []).
  404
  405
  406% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RidingInACarriage.e:122
  407% [agent1, agent2, physobj]
  408 % !ReleasedAt(KnowRequest(agent1, agent2, physobj), 0).
  409 %  not(releasedAt(knowRequest(Agent1,Agent2,Physobj),0)).
  410axiom(not(releasedAt(knowRequest(KnowRequest_Param, _, KnowRequest_Ret), 0)),
  411    []).
  412
  413
  414% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RidingInACarriage.e:123
  415% [horse, street]
  416 % !ReleasedAt(PointedToward(horse, street), 0).
  417 %  not(releasedAt(pointedToward(Horse,Street),0)).
  418axiom(not(releasedAt(pointedToward(PointedToward_Param, PointedToward_Ret), 0)),
  419    []).
  420
  421
  422% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RidingInACarriage.e:124
  423% [horse, vehicle]
  424 % !ReleasedAt(HitchedTo(horse, vehicle), 0).
  425 %  not(releasedAt(hitchedTo(Horse,Vehicle),0)).
  426axiom(not(releasedAt(hitchedTo(HitchedTo_Param, HitchedTo_Ret), 0)),
  427    []).
  428
  429
  430% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RidingInACarriage.e:125
  431% [object, vehicleon]
  432 % !ReleasedAt(OnVehicle(object, vehicleon), 0).
  433 %  not(releasedAt(onVehicle(Object,Vehicleon),0)).
  434axiom(not(releasedAt(onVehicle(OnVehicle_Param, OnVehicle_Ret), 0)),
  435    []).
  436
  437
  438% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RidingInACarriage.e:126
  439% [object, vehiclein]
  440 % !ReleasedAt(InVehicle(object, vehiclein), 0).
  441 %  not(releasedAt(inVehicle(Object,Vehiclein),0)).
  442axiom(not(releasedAt(inVehicle(InVehicle_Param, InVehicle_Ret), 0)),
  443    []).
  444
  445
  446% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RidingInACarriage.e:127
  447% [vehicledoor]
  448 % !ReleasedAt(VehicleDoorIsOpen(vehicledoor), 0).
  449 %  not(releasedAt(vehicleDoorIsOpen(Vehicledoor),0)).
  450axiom(not(releasedAt(vehicleDoorIsOpen(VehicleDoorIsOpen_Ret), 0)),
  451    []).
  452
  453
  454% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RidingInACarriage.e:128
  455% [ticketagent]
  456 % !ReleasedAt(BeTicketAgent0(ticketagent), 0).
  457 %  not(releasedAt(beTicketAgent0(Ticketagent),0)).
  458axiom(not(releasedAt(beTicketAgent0(BeTicketAgent0_Ret), 0)),
  459    []).
  460
  461
  462% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RidingInACarriage.e:129
  463% [ticketagent]
  464 % !ReleasedAt(BeTicketAgent1(ticketagent), 0).
  465 %  not(releasedAt(beTicketAgent1(Ticketagent),0)).
  466axiom(not(releasedAt(beTicketAgent1(BeTicketAgent1_Ret), 0)),
  467    []).
  468
  469
  470% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RidingInACarriage.e:130
  471% [ticketagent]
  472 % !ReleasedAt(BeTicketAgent2(ticketagent), 0).
  473 %  not(releasedAt(beTicketAgent2(Ticketagent),0)).
  474axiom(not(releasedAt(beTicketAgent2(BeTicketAgent2_Ret), 0)),
  475    []).
  476
  477
  478% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RidingInACarriage.e:131
  479%; special cases
  480% [location]
  481 % ReleasedAt(At(CarriageSeat1,location),0).
  482% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RidingInACarriage.e:132
  483releasedAt(at(carriageSeat1,Location),0).
  484
  485
  486% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RidingInACarriage.e:133
  487% [location]
  488 % ReleasedAt(At(Driver1,location),0).
  489releasedAt(at(driver1,Location),0).
  490
  491
  492% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RidingInACarriage.e:134
  493% [object, location]
  494% object!=% CarriageSeat1 & object!=Driver1 ->
  495% !ReleasedAt(At(object, location), 0).
  496% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RidingInACarriage.e:136
  497axiom(not(releasedAt(at(Object, Location), 0)),
  498    [dif(Object, carriageSeat1), dif(Object, driver1)]).
  499
  500
  501% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RidingInACarriage.e:138
  502%; initial state
  503% [agent,object]
  504 % !HoldsAt(Holding(agent,object),0).
  505 %  not(initially(holding(Agent,Object))).
  506% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RidingInACarriage.e:139
  507axiom(not(initially(holding(Holding_Param, Holding_Ret))),
  508    []).
  509
  510
  511% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RidingInACarriage.e:140
  512% [agent,physobj]
  513 % !HoldsAt(SittingOn(agent,physobj),0).
  514 %  not(initially(sittingOn(Agent,Physobj))).
  515axiom(not(initially(sittingOn(SittingOn_Param, SittingOn_Ret))),
  516    []).
  517
  518
  519% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RidingInACarriage.e:141
  520% [agent,physobj]
  521 % !HoldsAt(LyingOn(agent,physobj),0).
  522 %  not(initially(lyingOn(Agent,Physobj))).
  523axiom(not(initially(lyingOn(LyingOn_Param, LyingOn_Ret))),
  524    []).
  525
  526
  527% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RidingInACarriage.e:142
  528% [physobj1,physobj2]
  529 % !HoldsAt(On(physobj1, physobj2),0).
  530 %  not(initially(on(Physobj1,Physobj2))).
  531axiom(not(initially(on(On_Param, On_Ret))),
  532    []).
  533
  534
  535% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RidingInACarriage.e:143
  536% [agent]
  537 % HoldsAt(Dressed(agent),0).
  538axiom(initially(dressed(Agent)),
  539    []).
  540
  541
  542% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RidingInACarriage.e:144
  543% [agent]
  544 % HoldsAt(Awake(agent),0).
  545axiom(initially(awake(Agent)),
  546    []).
  547
  548
  549% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RidingInACarriage.e:145
  550% [agent]
  551 % HoldsAt(Sleep3(agent),0).
  552axiom(initially(sleep3(Agent)),
  553    []).
  554
  555
  556% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RidingInACarriage.e:146
  557% [agent]
  558 % HoldsAt(Standing(agent),0).
  559axiom(initially(standing(Agent)),
  560    []).
  561
  562
  563% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RidingInACarriage.e:147
  564% HoldsAt(At(Passenger1,NearLocation1),0).
  565axiom(initially(at(passenger1, nearLocation1)),
  566    []).
  567
  568
  569% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RidingInACarriage.e:148
  570% HoldsAt(At(Horse1,BeforeLocation1),0).
  571axiom(initially(at(horse1, beforeLocation1)),
  572    []).
  573
  574
  575% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RidingInACarriage.e:148
  576%;;;;;
  577
  578
  579% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RidingInACarriage.e:149
  580% HoldsAt(At(Carriage1,BeforeLocation1),0).
  581axiom(initially(at(carriage1, beforeLocation1)),
  582    []).
  583
  584
  585% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RidingInACarriage.e:150
  586% HoldsAt(InVehicle(CarriageSeat1,Carriage1),0).
  587axiom(initially(inVehicle(carriageSeat1, carriage1)),
  588    []).
  589
  590
  591% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RidingInACarriage.e:151
  592% HoldsAt(InVehicle(Driver1,Carriage1),0).
  593axiom(initially(inVehicle(driver1, carriage1)),
  594    []).
  595
  596
  597% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RidingInACarriage.e:152
  598% [object]
  599% object!=% CarriageSeat1 & object!=Driver1 ->
  600% !HoldsAt(InVehicle(object,Carriage1),0).
  601% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RidingInACarriage.e:154
  602axiom(not(holds_at(inVehicle(Object, carriage1), t)),
  603    [dif(Object, carriageSeat1), dif(Object, driver1)]).
  604
  605
  606% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RidingInACarriage.e:155
  607% [agent1,agent2,physobj]
  608 % !HoldsAt(KnowOrder(agent1,agent2,physobj),0).
  609 %  not(initially(knowOrder(Agent1,Agent2,Physobj))).
  610axiom(not(initially(knowOrder(KnowOrder_Param, _, KnowOrder_Ret))),
  611    []).
  612
  613
  614% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RidingInACarriage.e:156
  615% [agent1,agent2,physobj]
  616 % !HoldsAt(KnowRequest(agent1,agent2,physobj),0).
  617 %  not(initially(knowRequest(Agent1,Agent2,Physobj))).
  618axiom(not(initially(knowRequest(KnowRequest_Param, _, KnowRequest_Ret))),
  619    []).
  620
  621
  622% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RidingInACarriage.e:157
  623% !HoldsAt(VehicleDoorIsOpen(CarriageDoor1),0).
  624 %  not(initially(vehicleDoorIsOpen(carriageDoor1))).
  625axiom(not(initially(vehicleDoorIsOpen(carriageDoor1))),
  626    []).
  627
  628
  629% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RidingInACarriage.e:158
  630% HoldsAt(HitchedTo(Horse1,Carriage1),0).
  631axiom(initially(hitchedTo(horse1, carriage1)),
  632    []).
  633
  634
  635% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RidingInACarriage.e:159
  636% HoldsAt(PointedToward(Horse1,StreetToLocation1),0).
  637axiom(initially(pointedToward(horse1, streetToLocation1)),
  638    []).
  639
  640
  641% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RidingInACarriage.e:161
  642%; narrative
  643
  644
  645% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RidingInACarriage.e:162
  646% Happens(WalkStreet12(Passenger1,Street1),0).
  647axiom(happens(walkStreet12(passenger1, street1), t),
  648    [is_time(0)]).
  649
  650
  651% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RidingInACarriage.e:163
  652% Happens(Lash(Driver1,Horse1),1).
  653axiom(happens(lash(driver1, horse1), start),
  654    [is_time(1), b(t, start), ignore(t+1=start)]).
  655
  656
  657% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RidingInACarriage.e:164
  658% Happens(VehicleDoorOpen(Passenger1,CarriageDoor1),2).
  659axiom(happens(vehicleDoorOpen(passenger1, carriageDoor1), t2),
  660    [is_time(2), b(t, t2), ignore(t+2=t2)]).
  661
  662
  663% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RidingInACarriage.e:165
  664% Happens(GetInVehicle(Passenger1,Carriage1),3).
  665axiom(happens(getInVehicle(passenger1, carriage1), t3),
  666    [is_time(3), b(t, t3), ignore(t+3=t3)]).
  667
  668
  669% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RidingInACarriage.e:166
  670% Happens(VehicleDoorClose(Passenger1,CarriageDoor1),4).
  671axiom(happens(vehicleDoorClose(passenger1, carriageDoor1), t4),
  672    [is_time(4), b(t, t4), ignore(t+4=t4)]).
  673
  674
  675% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RidingInACarriage.e:167
  676% Happens(SitOn(Passenger1,CarriageSeat1),5).
  677axiom(happens(sitOn(passenger1, carriageSeat1), t5),
  678    [is_time(5), b(t, t5), ignore(t+5=t5)]).
  679
  680
  681% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RidingInACarriage.e:168
  682% Happens(PointToward(Driver1,Horse1,StreetToBetweenLocation1And2),6).
  683axiom(happens(pointToward(driver1, horse1, streetToBetweenLocation1And2), t6),
  684    [is_time(6), b(t, t6), ignore(t+6=t6)]).
  685
  686
  687% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RidingInACarriage.e:169
  688% Happens(Lash(Driver1,Horse1),7).
  689axiom(happens(lash(driver1, horse1), t7),
  690    [is_time(7), b(t, t7), ignore(t+7=t7)]).
  691
  692
  693% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RidingInACarriage.e:170
  694% Happens(PointToward(Driver1,Horse1,StreetToLocation2),8).
  695axiom(happens(pointToward(driver1, horse1, streetToLocation2), t8),
  696    [is_time(8), b(t, t8), ignore(t+8=t8)]).
  697
  698
  699% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RidingInACarriage.e:171
  700% Happens(Lash(Driver1,Horse1),9).
  701axiom(happens(lash(driver1, horse1), t9),
  702    [is_time(9), b(t, t9), ignore(t+9=t9)]).
  703
  704
  705% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RidingInACarriage.e:172
  706% Happens(RiseFrom(Passenger1,CarriageSeat1),10).
  707axiom(happens(riseFrom(passenger1, carriageSeat1), t10),
  708    [is_time(10), b(t, t10), ignore(t+10=t10)]).
  709
  710
  711% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RidingInACarriage.e:173
  712% Happens(VehicleDoorOpen(Passenger1,CarriageDoor1),11).
  713axiom(happens(vehicleDoorOpen(passenger1, carriageDoor1), t11),
  714    [is_time(11), b(t, t11), ignore(t+11=t11)]).
  715
  716
  717% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RidingInACarriage.e:174
  718% Happens(GetOutOfVehicle(Passenger1,Carriage1),12).
  719axiom(happens(getOutOfVehicle(passenger1, carriage1), t12),
  720    [is_time(12), b(t, t12), ignore(t+12=t12)]).
  721
  722
  723% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RidingInACarriage.e:175
  724% Happens(VehicleDoorClose(Passenger1,CarriageDoor1),13).
  725axiom(happens(vehicleDoorClose(passenger1, carriageDoor1), t13),
  726    [is_time(13), b(t, t13), ignore(t+13=t13)]).
  727
  728
  729% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RidingInACarriage.e:176
  730% Happens(WalkStreet12(Passenger1,Street2),14).
  731axiom(happens(walkStreet12(passenger1, street2), t14),
  732    [is_time(14), b(t, t14), ignore(t+14=t14)]).
  733
  734% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RidingInACarriage.e:178
  735% range time 0 15
  736% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RidingInACarriage.e:179
  737==> range(time,0,15).
  738
  739% range offset 0 0
  740% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RidingInACarriage.e:180
  741==> range(offset,0,0).
  742
  743% range diameter 0 0
  744% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RidingInACarriage.e:181
  745==> range(diameter,0,0).
  746
  747% completion Happens
  748% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/RidingInACarriage.e:183
  749==> completion(happens).
  750%; End of file.