1:-include(library('ec_planner/ec_test_incl')).    2:-expects_dialect(pfc).    3 %  loading(always,'ecnet/ShootingAttack.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-0147
   15%; ShootingAttack
   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 TakeOutOf, On, DoorUnlock, DoorLock, WalkThroughDoor12
   42ignore(takeOutOf).
   43ignore(on).
   44ignore(doorUnlock).
   45ignore(doorLock).
   46ignore(walkThroughDoor12).
   47
   48% ignore WalkThroughDoor21, WalkDownStaircase, WalkUpStaircase
   49ignore(walkThroughDoor21).
   50ignore(walkDownStaircase).
   51ignore(walkUpStaircase).
   52
   53% ignore Love, ThreatenedBy
   54ignore(love).
   55ignore(threatenedBy).
   56
   57% load foundations/Root.e
   58
   59% load foundations/EC.e
   60
   61% load answers/Mueller2003/Ontology.e
   62
   63% load answers/Mueller2004c/OTSpaceM.e
   64load('answers/Mueller2004c/OTSpaceM.e').
   65
   66% load answers/Mueller2004c/RTSpaceM.e
   67load('answers/Mueller2004c/RTSpaceM.e').
   68
   69% load answers/Mueller2004c/Condition.e
   70
   71% load answers/Mueller2004c/Gun.e
   72
   73% load answers/Mueller2003/Sleep.e
   74
   75% gun Gun1
   76==> t(gun,gun1).
   77
   78% bullet Bullet1
   79==> t(bullet,bullet1).
   80
   81
   82% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ShootingAttack.e:42
   83% HoldsAt(Intact(Gun1),0).
   84axiom(initially(intact(gun1)),
   85    []).
   86
   87
   88% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ShootingAttack.e:43
   89% HoldsAt(Intact(Bullet1),0).
   90axiom(initially(intact(bullet1)),
   91    []).
   92
   93% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ShootingAttack.e:45
   94% agent Perp1
   95% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ShootingAttack.e:46
   96==> t(agent,perp1).
   97
   98% physobj PhysTarget1
   99% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ShootingAttack.e:48
  100==> t(physobj,physTarget1).
  101
  102
  103% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ShootingAttack.e:48
  104% HoldsAt(Intact(PhysTarget1),0).
  105axiom(initially(intact(physTarget1)),
  106    []).
  107
  108
  109% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ShootingAttack.e:49
  110% HoldsAt(At(PhysTarget1,Outside1),0).
  111axiom(initially(at(physTarget1, outside1)),
  112    []).
  113
  114
  115% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ShootingAttack.e:51
  116%; prune
  117
  118% sort shoota, shootb, shooto, shooth, shootp
  119% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ShootingAttack.e:53
  120==> sort(shoota).
  121==> sort(shootb).
  122==> sort(shooto).
  123==> sort(shooth).
  124==> sort(shootp).
  125
  126% event! Shoot(shoota,shootb,shooto)
  127 %  event(shoot(shoota,shootb,shooto)).
  128% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ShootingAttack.e:54
  129==> mpred_prop(shoot(shoota,shootb,shooto),event).
  130==> meta_argtypes(shoot(shoota,shootb,shooto)).
  131
  132% event! ShootInjure(shoota,shootb,shooth)
  133 %  event(shootInjure(shoota,shootb,shooth)).
  134% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ShootingAttack.e:55
  135==> mpred_prop(shootInjure(shoota,shootb,shooth),event).
  136==> meta_argtypes(shootInjure(shoota,shootb,shooth)).
  137
  138% event! ShootKill(shoota,shootb,shooth)
  139 %  event(shootKill(shoota,shootb,shooth)).
  140% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ShootingAttack.e:56
  141==> mpred_prop(shootKill(shoota,shootb,shooth),event).
  142==> meta_argtypes(shootKill(shoota,shootb,shooth)).
  143
  144% event! ShootDamage(shoota,shootb,shootp)
  145 %  event(shootDamage(shoota,shootb,shootp)).
  146% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ShootingAttack.e:57
  147==> mpred_prop(shootDamage(shoota,shootb,shootp),event).
  148==> meta_argtypes(shootDamage(shoota,shootb,shootp)).
  149
  150% event! ShootDestroy(shoota,shootb,shootp)
  151 %  event(shootDestroy(shoota,shootb,shootp)).
  152% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ShootingAttack.e:58
  153==> mpred_prop(shootDestroy(shoota,shootb,shootp),event).
  154==> meta_argtypes(shootDestroy(shoota,shootb,shootp)).
  155
  156% shoota! Perp1
  157% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ShootingAttack.e:59
  158==> t(shoota,perp1).
  159
  160% shootb! Gun1
  161% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ShootingAttack.e:60
  162==> t(shootb,gun1).
  163
  164% shooto! PhysTarget1
  165% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ShootingAttack.e:61
  166==> t(shooto,physTarget1).
  167
  168% shootp! PhysTarget1
  169% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ShootingAttack.e:62
  170==> t(shootp,physTarget1).
  171%; room-scale topological space
  172
  173% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ShootingAttack.e:64
  174% outside Outside1
  175% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ShootingAttack.e:65
  176==> t(outside,outside1).
  177
  178% outside Outside2
  179% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ShootingAttack.e:66
  180==> t(outside,outside2).
  181
  182% room Inside1
  183% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ShootingAttack.e:67
  184==> t(room,inside1).
  185
  186% door Door1
  187% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ShootingAttack.e:68
  188==> t(door,door1).
  189
  190% building Building1
  191% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ShootingAttack.e:69
  192==> t(building,building1).
  193
  194% street Street1
  195% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ShootingAttack.e:70
  196==> t(street,street1).
  197
  198
  199% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ShootingAttack.e:70
  200% Side1(Door1)=Outside1.
  201side1(door1,outside1).
  202
  203
  204% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ShootingAttack.e:71
  205% Side2(Door1)=Inside1.
  206side2(door1,inside1).
  207
  208
  209% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ShootingAttack.e:72
  210% LookOutOnto(Inside1)=Outside1.
  211lookOutOnto(inside1,outside1).
  212
  213
  214% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ShootingAttack.e:73
  215% Floor(Inside1)=1.
  216floor(inside1,1).
  217
  218
  219% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ShootingAttack.e:74
  220% BuildingOf(Inside1)=Building1.
  221buildingOf(inside1,building1).
  222
  223
  224% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ShootingAttack.e:75
  225% Side1(Street1)=Outside1.
  226side1(street1,outside1).
  227
  228
  229% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ShootingAttack.e:76
  230% Side2(Street1)=Outside2.
  231side2(street1,outside2).
  232
  233
  234% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ShootingAttack.e:78
  235% HoldsAt(Alive(Perp1),0).
  236axiom(initially(alive(perp1)),
  237    []).
  238
  239
  240% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ShootingAttack.e:79
  241% HoldsAt(Awake(Perp1),0).
  242axiom(initially(awake(perp1)),
  243    []).
  244
  245
  246% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ShootingAttack.e:80
  247% HoldsAt(Standing(Perp1),0).
  248axiom(initially(standing(perp1)),
  249    []).
  250
  251
  252% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ShootingAttack.e:81
  253% HoldsAt(Sleep2(Perp1),0).
  254axiom(initially(sleep2(perp1)),
  255    []).
  256
  257
  258% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ShootingAttack.e:82
  259% !HoldsAt(Injured(Perp1),0).
  260 %  not(initially(injured(perp1))).
  261axiom(not(initially(injured(perp1))),
  262    []).
  263
  264
  265% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ShootingAttack.e:83
  266% [object]
  267 % !HoldsAt(Holding(Perp1,object),0).
  268 %  not(initially(holding(perp1,Object))).
  269axiom(not(initially(holding(perp1, Holding_Ret))),
  270    []).
  271
  272
  273% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ShootingAttack.e:84
  274% HoldsAt(At(Gun1,Outside2),0).
  275axiom(initially(at(gun1, outside2)),
  276    []).
  277
  278
  279% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ShootingAttack.e:85
  280% HoldsAt(At(Perp1,Outside2),0).
  281axiom(initially(at(perp1, outside2)),
  282    []).
  283
  284
  285% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ShootingAttack.e:86
  286% HoldsAt(At(Bullet1,Outside2),0).
  287axiom(initially(at(bullet1, outside2)),
  288    []).
  289
  290
  291% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ShootingAttack.e:87
  292% HoldsAt(DoorIsOpen(Door1),0).
  293axiom(initially(doorIsOpen(door1)),
  294    []).
  295
  296
  297% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ShootingAttack.e:88
  298% HoldsAt(DoorUnlocked(Door1),0).
  299axiom(initially(doorUnlocked(door1)),
  300    []).
  301
  302
  303% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ShootingAttack.e:89
  304% [physobj1,physobj2]
  305 % !HoldsAt(Inside(physobj1,physobj2),0).
  306 %  not(initially(inside(Physobj1,Physobj2))).
  307axiom(not(initially(inside(Inside_Param, Inside_Ret))),
  308    []).
  309
  310
  311% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ShootingAttack.e:91
  312%; narrative
  313
  314
  315% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ShootingAttack.e:92
  316% Happens(PickUp(Perp1,Gun1),0).
  317axiom(happens(pickUp(perp1, gun1), t),
  318    [is_time(0)]).
  319
  320
  321% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ShootingAttack.e:93
  322% Happens(PickUp(Perp1,Bullet1),1).
  323axiom(happens(pickUp(perp1, bullet1), start),
  324    [is_time(1), b(t, start), ignore(t+1=start)]).
  325
  326
  327% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ShootingAttack.e:94
  328% Happens(PutInside(Perp1,Bullet1,Gun1),2).
  329axiom(happens(putInside(perp1, bullet1, gun1), t2),
  330    [is_time(2), b(t, t2), ignore(t+2=t2)]).
  331
  332
  333% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ShootingAttack.e:95
  334% Happens(WalkStreet21(Perp1,Street1),3).
  335axiom(happens(walkStreet21(perp1, street1), t3),
  336    [is_time(3), b(t, t3), ignore(t+3=t3)]).
  337
  338
  339% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ShootingAttack.e:96
  340% Happens(Shoot(Perp1,Gun1,PhysTarget1),4).
  341axiom(happens(shoot(perp1, gun1, physTarget1), t4),
  342    [is_time(4), b(t, t4), ignore(t+4=t4)]).
  343
  344
  345% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ShootingAttack.e:97
  346% Happens(ShootDestroy(Perp1,Gun1,PhysTarget1),4).
  347axiom(happens(shootDestroy(perp1, gun1, physTarget1), t4),
  348    [is_time(4), b(t, t4), ignore(t+4=t4)]).
  349
  350
  351% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ShootingAttack.e:98
  352% Happens(WalkStreet12(Perp1,Street1),5).
  353axiom(happens(walkStreet12(perp1, street1), t5),
  354    [is_time(5), b(t, t5), ignore(t+5=t5)]).
  355
  356% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ShootingAttack.e:100
  357% range time 0 6
  358% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ShootingAttack.e:101
  359==> range(time,0,6).
  360
  361% range offset 0 3
  362% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ShootingAttack.e:102
  363==> range(offset,0,3).
  364
  365% range diameter 0 0
  366% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ShootingAttack.e:103
  367==> range(diameter,0,0).
  368
  369% completion Happens
  370% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ShootingAttack.e:105
  371==> completion(happens).
  372%; End of file.