1:-include(library('ec_planner/ec_test_incl')).    2:-expects_dialect(pfc).    3 %  loading(always,'ecnet/Kidnapping.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%; DEV-MUC3-0008
   15%; Kidnapping
   16%;
   17%; @article{Mueller:2004c,
   18%;   author = "Erik T. Mueller",
   19%;   year = "2004",
   20%;   title = "Understanding script-based stories using commonsense reasoning",
   21%;   journal = "Cognitive Systems Research",
   22%;   volume = "5",
   23%;   number = "4",
   24%;   pages = "307--340",
   25%; }
   26%;
   27
   28% ignore SkyOf, GroundOf, Near, WalkFromTo, RunFromTo
   29ignore(skyOf).
   30ignore(groundOf).
   31ignore(near).
   32ignore(walkFromTo).
   33ignore(runFromTo).
   34
   35% ignore RollAlong, Diameter, Move, HoldSome
   36ignore(rollAlong).
   37ignore(diameter).
   38ignore(move).
   39ignore(holdSome).
   40
   41% ignore On, DoorUnlock, DoorLock
   42ignore(on).
   43ignore(doorUnlock).
   44ignore(doorLock).
   45
   46% ignore WalkDownStaircase, WalkUpStaircase
   47ignore(walkDownStaircase).
   48ignore(walkUpStaircase).
   49
   50% ignore Request, KnowRequest, Order, KnowOrder, SayGoodbye
   51ignore(request).
   52ignore(knowRequest).
   53ignore(order).
   54ignore(knowOrder).
   55ignore(sayGoodbye).
   56
   57% ignore IntentionToWalkIn, InvitedIn
   58ignore(intentionToWalkIn).
   59ignore(invitedIn).
   60
   61% ignore Snowing
   62ignore(snowing).
   63
   64% ignore Like, Dislike, LikeSnow
   65ignore(like).
   66ignore(dislike).
   67ignore(likeSnow).
   68
   69% load foundations/Root.e
   70
   71% load foundations/EC.e
   72
   73% load answers/Mueller2003/Ontology.e
   74
   75% load answers/Mueller2004c/OTSpaceM.e
   76load('answers/Mueller2004c/OTSpaceM.e').
   77
   78% load answers/Mueller2004c/RTSpaceM.e
   79load('answers/Mueller2004c/RTSpaceM.e').
   80
   81% load answers/Mueller2003/Feeling.e
   82
   83% load answers/Mueller2004c/Condition.e
   84
   85% load answers/Mueller2004c/Gun.e
   86
   87% load answers/Mueller2003/Sleep.e
   88
   89% load answers/Mueller2003/SpeechAct.e
   90
   91% gun Gun1
   92==> t(gun,gun1).
   93
   94% bullet Bullet1
   95==> t(bullet,bullet1).
   96
   97
   98% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Kidnapping.e:47
   99% HoldsAt(Intact(Gun1),0).
  100axiom(initially(intact(gun1)),
  101    []).
  102
  103
  104% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Kidnapping.e:48
  105% HoldsAt(Intact(Bullet1),0).
  106axiom(initially(intact(bullet1)),
  107    []).
  108
  109% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Kidnapping.e:50
  110% agent Perp1
  111% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Kidnapping.e:51
  112==> t(agent,perp1).
  113
  114% agent HumanTarget1
  115% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Kidnapping.e:53
  116==> t(agent,humanTarget1).
  117
  118
  119% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Kidnapping.e:53
  120% HoldsAt(Calm(HumanTarget1),0).
  121axiom(initially(calm(humanTarget1)),
  122    []).
  123
  124
  125% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Kidnapping.e:54
  126% HoldsAt(Alive(HumanTarget1),0).
  127axiom(initially(alive(humanTarget1)),
  128    []).
  129
  130
  131% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Kidnapping.e:55
  132% HoldsAt(Awake(HumanTarget1),0).
  133axiom(initially(awake(humanTarget1)),
  134    []).
  135
  136
  137% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Kidnapping.e:56
  138% HoldsAt(Standing(HumanTarget1),0).
  139axiom(initially(standing(humanTarget1)),
  140    []).
  141
  142
  143% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Kidnapping.e:57
  144% HoldsAt(Sleep2(HumanTarget1),0).
  145axiom(initially(sleep2(humanTarget1)),
  146    []).
  147
  148
  149% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Kidnapping.e:58
  150% !HoldsAt(Injured(HumanTarget1),0).
  151 %  not(initially(injured(humanTarget1))).
  152axiom(not(initially(injured(humanTarget1))),
  153    []).
  154
  155
  156% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Kidnapping.e:59
  157% [object]
  158 % !HoldsAt(Holding(HumanTarget1,object),0).
  159 %  not(initially(holding(humanTarget1,Object))).
  160axiom(not(initially(holding(humanTarget1, Holding_Ret))),
  161    []).
  162
  163
  164% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Kidnapping.e:60
  165% HoldsAt(At(HumanTarget1,Outside1),0).
  166axiom(initially(at(humanTarget1, outside1)),
  167    []).
  168
  169
  170% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Kidnapping.e:61
  171% [physobj1,physobj2]
  172 % !HoldsAt(Inside(physobj1,physobj2),0).
  173 %  not(initially(inside(Physobj1,Physobj2))).
  174axiom(not(initially(inside(Inside_Param, Inside_Ret))),
  175    []).
  176
  177
  178% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Kidnapping.e:63
  179%; prune
  180
  181% sort shoota, shootb, shooto, shooth, shootp
  182% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Kidnapping.e:65
  183==> sort(shoota).
  184==> sort(shootb).
  185==> sort(shooto).
  186==> sort(shooth).
  187==> sort(shootp).
  188
  189% event! Shoot(shoota,shootb,shooto)
  190 %  event(shoot(shoota,shootb,shooto)).
  191% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Kidnapping.e:66
  192==> mpred_prop(shoot(shoota,shootb,shooto),event).
  193==> meta_argtypes(shoot(shoota,shootb,shooto)).
  194
  195% event! ShootInjure(shoota,shootb,shooth)
  196 %  event(shootInjure(shoota,shootb,shooth)).
  197% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Kidnapping.e:67
  198==> mpred_prop(shootInjure(shoota,shootb,shooth),event).
  199==> meta_argtypes(shootInjure(shoota,shootb,shooth)).
  200
  201% event! ShootKill(shoota,shootb,shooth)
  202 %  event(shootKill(shoota,shootb,shooth)).
  203% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Kidnapping.e:68
  204==> mpred_prop(shootKill(shoota,shootb,shooth),event).
  205==> meta_argtypes(shootKill(shoota,shootb,shooth)).
  206
  207% event! ShootDamage(shoota,shootb,shootp)
  208 %  event(shootDamage(shoota,shootb,shootp)).
  209% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Kidnapping.e:69
  210==> mpred_prop(shootDamage(shoota,shootb,shootp),event).
  211==> meta_argtypes(shootDamage(shoota,shootb,shootp)).
  212
  213% event! ShootDestroy(shoota,shootb,shootp)
  214 %  event(shootDestroy(shoota,shootb,shootp)).
  215% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Kidnapping.e:70
  216==> mpred_prop(shootDestroy(shoota,shootb,shootp),event).
  217==> meta_argtypes(shootDestroy(shoota,shootb,shootp)).
  218
  219% shoota! Perp1
  220% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Kidnapping.e:71
  221==> t(shoota,perp1).
  222
  223% shootb! Gun1
  224% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Kidnapping.e:72
  225==> t(shootb,gun1).
  226
  227% shooto! HumanTarget1
  228% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Kidnapping.e:73
  229==> t(shooto,humanTarget1).
  230
  231% shooth! HumanTarget1
  232% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Kidnapping.e:74
  233==> t(shooth,humanTarget1).
  234%; room-scale topological space
  235
  236% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Kidnapping.e:76
  237% outside Outside1
  238% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Kidnapping.e:77
  239==> t(outside,outside1).
  240
  241% outside Outside2
  242% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Kidnapping.e:78
  243==> t(outside,outside2).
  244
  245% room Inside1
  246% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Kidnapping.e:79
  247==> t(room,inside1).
  248
  249% door Door1
  250% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Kidnapping.e:80
  251==> t(door,door1).
  252
  253% building Building1
  254% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Kidnapping.e:81
  255==> t(building,building1).
  256
  257% street Street1
  258% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Kidnapping.e:82
  259==> t(street,street1).
  260
  261
  262% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Kidnapping.e:82
  263% Side1(Door1)=Outside2.
  264side1(door1,outside2).
  265
  266
  267% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Kidnapping.e:83
  268% Side2(Door1)=Inside1.
  269side2(door1,inside1).
  270
  271
  272% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Kidnapping.e:84
  273% LookOutOnto(Inside1)=Outside1.
  274lookOutOnto(inside1,outside1).
  275
  276
  277% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Kidnapping.e:85
  278% Floor(Inside1)=1.
  279floor(inside1,1).
  280
  281
  282% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Kidnapping.e:86
  283% BuildingOf(Inside1)=Building1.
  284buildingOf(inside1,building1).
  285
  286
  287% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Kidnapping.e:87
  288% Side1(Street1)=Outside1.
  289side1(street1,outside1).
  290
  291
  292% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Kidnapping.e:88
  293% Side2(Street1)=Outside2.
  294side2(street1,outside2).
  295
  296
  297% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Kidnapping.e:90
  298% HoldsAt(Calm(Perp1),0).
  299axiom(initially(calm(perp1)),
  300    []).
  301
  302
  303% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Kidnapping.e:91
  304% HoldsAt(Alive(Perp1),0).
  305axiom(initially(alive(perp1)),
  306    []).
  307
  308
  309% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Kidnapping.e:92
  310% HoldsAt(Awake(Perp1),0).
  311axiom(initially(awake(perp1)),
  312    []).
  313
  314
  315% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Kidnapping.e:93
  316% HoldsAt(Standing(Perp1),0).
  317axiom(initially(standing(perp1)),
  318    []).
  319
  320
  321% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Kidnapping.e:94
  322% HoldsAt(Sleep2(Perp1),0).
  323axiom(initially(sleep2(perp1)),
  324    []).
  325
  326
  327% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Kidnapping.e:95
  328% !HoldsAt(Injured(Perp1),0).
  329 %  not(initially(injured(perp1))).
  330axiom(not(initially(injured(perp1))),
  331    []).
  332
  333
  334% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Kidnapping.e:96
  335% [object]
  336 % !HoldsAt(Holding(Perp1,object),0).
  337 %  not(initially(holding(perp1,Object))).
  338axiom(not(initially(holding(perp1, Holding_Ret))),
  339    []).
  340
  341
  342% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Kidnapping.e:97
  343% HoldsAt(At(Gun1,Outside2),0).
  344axiom(initially(at(gun1, outside2)),
  345    []).
  346
  347
  348% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Kidnapping.e:98
  349% HoldsAt(At(Perp1,Outside2),0).
  350axiom(initially(at(perp1, outside2)),
  351    []).
  352
  353
  354% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Kidnapping.e:99
  355% HoldsAt(At(Bullet1,Outside2),0).
  356axiom(initially(at(bullet1, outside2)),
  357    []).
  358
  359
  360% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Kidnapping.e:100
  361% HoldsAt(DoorIsOpen(Door1),0).
  362axiom(initially(doorIsOpen(door1)),
  363    []).
  364
  365
  366% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Kidnapping.e:101
  367% HoldsAt(DoorUnlocked(Door1),0).
  368axiom(initially(doorUnlocked(door1)),
  369    []).
  370
  371
  372% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Kidnapping.e:102
  373% [agent1,agent2]
  374 % !HoldsAt(ThreatenedBy(agent1,agent2),0).
  375 %  not(initially(threatenedBy(Agent1,Agent2))).
  376axiom(not(initially(threatenedBy(ThreatenedBy_Param, ThreatenedBy_Ret))),
  377    []).
  378
  379
  380% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Kidnapping.e:103
  381% [agent1,agent2]
  382 % !HoldsAt(AngryAt(agent1,agent2),0).
  383 %  not(initially(angryAt(Agent1,Agent2))).
  384axiom(not(initially(angryAt(AngryAt_Param, AngryAt_Ret))),
  385    []).
  386
  387
  388% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Kidnapping.e:104
  389% [physobj1,physobj2]
  390 % !HoldsAt(Inside(physobj1,physobj2),0).
  391 %  not(initially(inside(Physobj1,Physobj2))).
  392axiom(not(initially(inside(Inside_Param, Inside_Ret))),
  393    []).
  394
  395
  396% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Kidnapping.e:105
  397% [agent,object]
  398 % !HoldsAt(Love(agent,object),0).
  399 %  not(initially(love(Agent,Object))).
  400axiom(not(initially(love(Love_Param, Love_Ret))),
  401    []).
  402
  403
  404% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Kidnapping.e:107
  405%; narrative
  406
  407
  408% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Kidnapping.e:108
  409% Happens(PickUp(Perp1,Gun1),0).
  410axiom(happens(pickUp(perp1, gun1), t),
  411    [is_time(0)]).
  412
  413
  414% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Kidnapping.e:109
  415% Happens(PickUp(Perp1,Bullet1),1).
  416axiom(happens(pickUp(perp1, bullet1), start),
  417    [is_time(1), b(t, start), ignore(t+1=start)]).
  418
  419
  420% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Kidnapping.e:110
  421% Happens(PutInside(Perp1,Bullet1,Gun1),2).
  422axiom(happens(putInside(perp1, bullet1, gun1), t2),
  423    [is_time(2), b(t, t2), ignore(t+2=t2)]).
  424
  425
  426% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Kidnapping.e:111
  427% Happens(WalkStreet21(Perp1,Street1),3).
  428axiom(happens(walkStreet21(perp1, street1), t3),
  429    [is_time(3), b(t, t3), ignore(t+3=t3)]).
  430
  431
  432% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Kidnapping.e:112
  433% Happens(Threaten(Perp1,HumanTarget1,Gun1),4).
  434axiom(happens(threaten(perp1, humanTarget1, gun1), t4),
  435    [is_time(4), b(t, t4), ignore(t+4=t4)]).
  436
  437
  438% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Kidnapping.e:113
  439% Happens(Grab(Perp1,HumanTarget1),5).
  440axiom(happens(grab(perp1, humanTarget1), t5),
  441    [is_time(5), b(t, t5), ignore(t+5=t5)]).
  442
  443
  444% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Kidnapping.e:114
  445% Happens(WalkStreet12(Perp1,Street1),6).
  446axiom(happens(walkStreet12(perp1, street1), t6),
  447    [is_time(6), b(t, t6), ignore(t+6=t6)]).
  448
  449
  450% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Kidnapping.e:115
  451% Happens(WalkThroughDoor12(Perp1,Door1),7).
  452axiom(happens(walkThroughDoor12(perp1, door1), t7),
  453    [is_time(7), b(t, t7), ignore(t+7=t7)]).
  454
  455
  456% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Kidnapping.e:116
  457% Happens(LetGoOf(Perp1,HumanTarget1),8).
  458axiom(happens(letGoOf(perp1, humanTarget1), t8),
  459    [is_time(8), b(t, t8), ignore(t+8=t8)]).
  460
  461
  462% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Kidnapping.e:117
  463% Happens(Shoot(Perp1,Gun1,HumanTarget1),9).
  464axiom(happens(shoot(perp1, gun1, humanTarget1), t9),
  465    [is_time(9), b(t, t9), ignore(t+9=t9)]).
  466
  467
  468% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Kidnapping.e:118
  469% Happens(ShootKill(Perp1,Gun1,HumanTarget1),9).
  470axiom(happens(shootKill(perp1, gun1, humanTarget1), t9),
  471    [is_time(9), b(t, t9), ignore(t+9=t9)]).
  472
  473% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Kidnapping.e:120
  474% range time 0 10
  475% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Kidnapping.e:121
  476==> range(time,0,10).
  477
  478% range offset 0 3
  479% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Kidnapping.e:122
  480==> range(offset,0,3).
  481
  482% range diameter 0 0
  483% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Kidnapping.e:123
  484==> range(diameter,0,0).
  485
  486% completion Happens
  487% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Kidnapping.e:125
  488==> completion(happens).
  489%; End of file.