:-was_s_l('/pack/logicmoo_ec/ext/ec_sources/ecnet/RTSpace.e',329). % From E: % % :-call_pel_directive(translate(unskipped,'/pack/logicmoo_ec/ext/ec_sources/ecnet/ShootingAttack.e.lps')). :- call_pel_directive(translate(unskipped, '/pack/logicmoo_ec/ext/ec_sources/ecnet/ShootingAttack.e.lps')). :-include(library('ec_planner/ec_test_incl')). :-expects_dialect(lps). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/ecnet/RTSpace.e',329). % From E: % % :-call_pel_directive(translate(begining,'/pack/logicmoo_ec/ext/ec_sources/ecnet/ShootingAttack.e.lps')). :- call_pel_directive(translate(begining, '/pack/logicmoo_ec/ext/ec_sources/ecnet/ShootingAttack.e.lps')). % Sat, 10 Oct 2020 15:31:44 GMT File: (0x559e4b468b00)%; %; Copyright (c) 2005 IBM Corporation and others. %; All rights reserved. This program and the accompanying materials %; are made available under the terms of the Common Public License v1.0 %; which accompanies this distribution, and is available at %; http://www.eclipse.org/legal/cpl-v10.html %; %; Contributors: %; IBM - Initial implementation %; %; DEV-MUC3-0147 %; ShootingAttack %; %; @article{Mueller:2004c, %; author = "Erik T. Mueller", %; year = "2004", %; title = "Understanding script-based stories using commonsense reasoning", %; journal = "Cognitive Systems Research", %; volume = "5", %; number = "4", %; pages = "307--340", %; } %; :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/ecnet/ShootingAttack.e',25). % ignore SkyOf, GroundOf, Near, WalkFromTo, RunFromTo % From E: % % :-call_pel_directive(ignore(skyOf)). :- call_pel_directive(ignore(skyOf)). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/ecnet/ShootingAttack.e',25). % From E: % % :-call_pel_directive(ignore(groundOf)). :- call_pel_directive(ignore(groundOf)). % From E: % % :-call_pel_directive(ignore(near)). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/ecnet/ShootingAttack.e',25). :- call_pel_directive(ignore(near)). % From E: % % :-call_pel_directive(ignore(walkFromTo)). :- call_pel_directive(ignore(walkFromTo)). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/ecnet/ShootingAttack.e',25). % From E: % % :-call_pel_directive(ignore(runFromTo)). :- call_pel_directive(ignore(runFromTo)). % ignore RollAlong, Diameter, Move, HoldSome :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/ecnet/ShootingAttack.e',25). % From E: % % :-call_pel_directive(ignore(rollAlong)). :- call_pel_directive(ignore(rollAlong)). % From E: % % :-call_pel_directive(ignore(diameter)). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/ecnet/ShootingAttack.e',25). :- call_pel_directive(ignore(diameter)). % From E: % % :-call_pel_directive(ignore(move)). :- call_pel_directive(ignore(move)). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/ecnet/ShootingAttack.e',25). % From E: % % :-call_pel_directive(ignore(holdSome)). :- call_pel_directive(ignore(holdSome)). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/ecnet/ShootingAttack.e',27). % ignore TakeOutOf, On, DoorUnlock, DoorLock, WalkThroughDoor12 % From E: % % :-call_pel_directive(ignore(takeOutOf)). :- call_pel_directive(ignore(takeOutOf)). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/ecnet/ShootingAttack.e',27). % From E: % % :-call_pel_directive(ignore(on)). :- call_pel_directive(ignore(on)). % From E: % % :-call_pel_directive(ignore(doorUnlock)). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/ecnet/ShootingAttack.e',27). :- call_pel_directive(ignore(doorUnlock)). % From E: % % :-call_pel_directive(ignore(doorLock)). :- call_pel_directive(ignore(doorLock)). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/ecnet/ShootingAttack.e',27). % From E: % % :-call_pel_directive(ignore(walkThroughDoor12)). :- call_pel_directive(ignore(walkThroughDoor12)). % ignore WalkThroughDoor21, WalkDownStaircase, WalkUpStaircase :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/ecnet/ShootingAttack.e',27). % From E: % % :-call_pel_directive(ignore(walkThroughDoor21)). :- call_pel_directive(ignore(walkThroughDoor21)). % From E: % % :-call_pel_directive(ignore(walkDownStaircase)). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/ecnet/ShootingAttack.e',27). :- call_pel_directive(ignore(walkDownStaircase)). % From E: % % :-call_pel_directive(ignore(walkUpStaircase)). :- call_pel_directive(ignore(walkUpStaircase)). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/ecnet/ShootingAttack.e',30). % ignore Love, ThreatenedBy % From E: % % :-call_pel_directive(ignore(love)). :- call_pel_directive(ignore(love)). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/ecnet/ShootingAttack.e',30). % From E: % % :-call_pel_directive(ignore(threatenedBy)). :- call_pel_directive(ignore(threatenedBy)). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/ecnet/ShootingAttack.e',32). % load foundations/Root.e % From E: % % :-call_pel_directive(load('foundations/Root.e')). :- call_pel_directive(load('foundations/Root.e')). % load foundations/EC.e :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/ecnet/ShootingAttack.e',32). % From E: % % :-call_pel_directive(load('foundations/EC.e')). :- call_pel_directive(load('foundations/EC.e')). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/ecnet/ShootingAttack.e',34). % load answers/Mueller2003/Ontology.e % From E: % % :-call_pel_directive(load('answers/Mueller2003/Ontology.e')). :- call_pel_directive(load('answers/Mueller2003/Ontology.e')). % load answers/Mueller2004c/OTSpaceM.e :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/ecnet/ShootingAttack.e',34). % From E: % % :-call_pel_directive(load('answers/Mueller2004c/OTSpaceM.e')). :- call_pel_directive(load('answers/Mueller2004c/OTSpaceM.e')). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/ecnet/ShootingAttack.e',36). % load answers/Mueller2004c/RTSpaceM.e % From E: % % :-call_pel_directive(load('answers/Mueller2004c/RTSpaceM.e')). :- call_pel_directive(load('answers/Mueller2004c/RTSpaceM.e')). % load answers/Mueller2004c/Condition.e :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/ecnet/ShootingAttack.e',36). % From E: % % :-call_pel_directive(load('answers/Mueller2004c/Condition.e')). :- call_pel_directive(load('answers/Mueller2004c/Condition.e')). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/ecnet/ShootingAttack.e',38). % load answers/Mueller2004c/Gun.e % From E: % % :-call_pel_directive(load('answers/Mueller2004c/Gun.e')). :- call_pel_directive(load('answers/Mueller2004c/Gun.e')). % load answers/Mueller2003/Sleep.e :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/ecnet/ShootingAttack.e',38). % From E: % % :-call_pel_directive(load('answers/Mueller2003/Sleep.e')). :- call_pel_directive(load('answers/Mueller2003/Sleep.e')). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/ecnet/ShootingAttack.e',41). % gun Gun1 % From E: % % t(gun,gun1). gun(gun1). % bullet Bullet1 :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/ecnet/ShootingAttack.e',41). % From E: % % t(bullet,bullet1). bullet(bullet1). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/ecnet/ShootingAttack.e',43). % HoldsAt(Intact(Gun1),0). % From E: % % holds_at(intact(gun1),0). initially intact(gun1). % initial_state([intact(gun1)]). % "% =================================". % HoldsAt(Intact(Bullet1),0). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/ecnet/ShootingAttack.e',43). % From E: % % holds_at(intact(bullet1),0). initially intact(bullet1). % initial_state([intact(bullet1)]). % "% =================================". % agent Perp1 :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/ecnet/ShootingAttack.e',45). % From E: % % t(agent,perp1). agent(perp1). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/ecnet/ShootingAttack.e',48). % physobj PhysTarget1 % From E: % % t(physobj,physTarget1). physobj(physTarget1). % HoldsAt(Intact(PhysTarget1),0). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/ecnet/ShootingAttack.e',48). % From E: % % holds_at(intact(physTarget1),0). initially intact(physTarget1). % initial_state([intact(physTarget1)]). % "% =================================". :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/ecnet/ShootingAttack.e',50). % HoldsAt(At(PhysTarget1,Outside1),0). % From E: % % holds_at(at_loc(physTarget1,outside1),0). initially at_loc(physTarget1, outside1). % initial_state([at_loc(physTarget1,outside1)]). % "% =================================". :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/ecnet/ShootingAttack.e',52). %; prune % sort shoota, shootb, shooto, shooth, shootp % From E: % % sort(shoota). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/ecnet/ShootingAttack.e',52). sort(shoota). % From E: % % sort(shootb). sort(shootb). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/ecnet/ShootingAttack.e',52). % From E: % % sort(shooto). sort(shooto). % From E: % % sort(shooth). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/ecnet/ShootingAttack.e',52). sort(shooth). % From E: % % sort(shootp). sort(shootp). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/ecnet/ShootingAttack.e',54). % event! Shoot(shoota,shootb,shooto) % From E: % % event(shoot(shoota,shootb,shooto)). mpred_prop(shoot(shoota,shootb,shooto),event). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/ecnet/ShootingAttack.e',54). events([shoot/3]). % event! ShootInjure(shoota,shootb,shooth) % From E: % % event(shootInjure(shoota,shootb,shooth)). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/ecnet/ShootingAttack.e',54). mpred_prop(shootInjure(shoota,shootb,shooth),event). events([shootInjure/3]). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/ecnet/ShootingAttack.e',56). % event! ShootKill(shoota,shootb,shooth) % From E: % % event(shootKill(shoota,shootb,shooth)). mpred_prop(shootKill(shoota,shootb,shooth),event). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/ecnet/ShootingAttack.e',56). events([shootKill/3]). % event! ShootDamage(shoota,shootb,shootp) % From E: % % event(shootDamage(shoota,shootb,shootp)). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/ecnet/ShootingAttack.e',56). mpred_prop(shootDamage(shoota,shootb,shootp),event). events([shootDamage/3]). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/ecnet/ShootingAttack.e',58). % event! ShootDestroy(shoota,shootb,shootp) % From E: % % event(shootDestroy(shoota,shootb,shootp)). mpred_prop(shootDestroy(shoota,shootb,shootp),event). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/ecnet/ShootingAttack.e',58). events([shootDestroy/3]). % shoota! Perp1 % From E: % % t(shoota,perp1). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/ecnet/ShootingAttack.e',58). shoota(perp1). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/ecnet/ShootingAttack.e',60). % shootb! Gun1 % From E: % % t(shootb,gun1). shootb(gun1). % shooto! PhysTarget1 :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/ecnet/ShootingAttack.e',60). % From E: % % t(shooto,physTarget1). shooto(physTarget1). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/ecnet/ShootingAttack.e',62). % shootp! PhysTarget1 % From E: % % t(shootp,physTarget1). shootp(physTarget1). %; room-scale topological space % outside Outside1 :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/ecnet/ShootingAttack.e',64). % From E: % % t(outside,outside1). outside(outside1). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/ecnet/ShootingAttack.e',66). % outside Outside2 % From E: % % t(outside,outside2). outside(outside2). % room Inside1 :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/ecnet/ShootingAttack.e',66). % From E: % % t(room,inside1). room(inside1). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/ecnet/ShootingAttack.e',68). % door Door1 % From E: % % t(door,door1). door(door1). % building Building1 :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/ecnet/ShootingAttack.e',68). % From E: % % t(building,building1). building(building1). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/ecnet/ShootingAttack.e',70). % street Street1 % From E: % % t(street,street1). street(street1). % Side1(Door1)=Outside1. :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/ecnet/ShootingAttack.e',70). % From E: % % side1(door1)=outside1. side1(door1,outside1). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/ecnet/ShootingAttack.e',72). % Side2(Door1)=Inside1. % From E: % % side2(door1)=inside1. side2(door1,inside1). % LookOutOnto(Inside1)=Outside1. :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/ecnet/ShootingAttack.e',72). % From E: % % lookOutOnto(inside1)=outside1. lookOutOnto(inside1,outside1). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/ecnet/ShootingAttack.e',74). % Floor(Inside1)=1. % From E: % % floor(inside1)=1. floor(inside1,1). % BuildingOf(Inside1)=Building1. :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/ecnet/ShootingAttack.e',74). % From E: % % buildingOf(inside1)=building1. buildingOf(inside1,building1). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/ecnet/ShootingAttack.e',76). % Side1(Street1)=Outside1. % From E: % % side1(street1)=outside1. side1(street1,outside1). % Side2(Street1)=Outside2. :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/ecnet/ShootingAttack.e',76). % From E: % % side2(street1)=outside2. side2(street1,outside2). % HoldsAt(Alive(Perp1),0). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/ecnet/ShootingAttack.e',78). % From E: % % holds_at(alive(perp1),0). initially alive(perp1). % initial_state([alive(perp1)]). % "% =================================". :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/ecnet/ShootingAttack.e',80). % HoldsAt(Awake(Perp1),0). % From E: % % holds_at(awake(perp1),0). initially awake(perp1). % initial_state([awake(perp1)]). % "% =================================". % HoldsAt(Standing(Perp1),0). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/ecnet/ShootingAttack.e',80). % From E: % % holds_at(standing(perp1),0). initially standing(perp1). % initial_state([standing(perp1)]). % "% =================================". :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/ecnet/ShootingAttack.e',82). % HoldsAt(Sleep2(Perp1),0). % From E: % % holds_at(sleep2(perp1),0). initially sleep2(perp1). % initial_state([sleep2(perp1)]). % "% =================================". % !HoldsAt(Injured(Perp1),0). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/ecnet/ShootingAttack.e',82). % From E: % % holds_at(not(injured(perp1)),0). initially not injured(perp1). % initial_state([not(injured(perp1))]). % "% =================================". :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/ecnet/ShootingAttack.e',84). % [object] % !HoldsAt(Holding(Perp1,object),0). % From E: % % holds_at(not(holding(perp1,Object)),0). initially not holding(perp1, Object). % initial_state([not(holding(perp1,Object))]). % "% =================================". % HoldsAt(At(Gun1,Outside2),0). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/ecnet/ShootingAttack.e',84). % From E: % % holds_at(at_loc(gun1,outside2),0). initially at_loc(gun1, outside2). % initial_state([at_loc(gun1,outside2)]). % "% =================================". :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/ecnet/ShootingAttack.e',86). % HoldsAt(At(Perp1,Outside2),0). % From E: % % holds_at(at_loc(perp1,outside2),0). initially at_loc(perp1, outside2). % initial_state([at_loc(perp1,outside2)]). % "% =================================". % HoldsAt(At(Bullet1,Outside2),0). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/ecnet/ShootingAttack.e',86). % From E: % % holds_at(at_loc(bullet1,outside2),0). initially at_loc(bullet1, outside2). % initial_state([at_loc(bullet1,outside2)]). % "% =================================". :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/ecnet/ShootingAttack.e',88). % HoldsAt(DoorIsOpen(Door1),0). % From E: % % holds_at(doorIsOpen(door1),0). initially doorIsOpen(door1). % initial_state([doorIsOpen(door1)]). % "% =================================". % HoldsAt(DoorUnlocked(Door1),0). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/ecnet/ShootingAttack.e',88). % From E: % % holds_at(doorUnlocked(door1),0). initially doorUnlocked(door1). % initial_state([doorUnlocked(door1)]). % "% =================================". :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/ecnet/ShootingAttack.e',90). % [physobj1,physobj2] % !HoldsAt(Inside(physobj1,physobj2),0). % From E: % % holds_at(not(inside(Physobj1,Physobj2)),0). initially not inside(Physobj1, Physobj2). % initial_state([not(inside(Physobj1,Physobj2))]). % "% =================================". :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/ecnet/ShootingAttack.e',92). %; narrative % Happens(PickUp(Perp1,Gun1),0). % From E: % % happens_at(pickUp(perp1,gun1),0). observe pickUp(perp1, gun1)at 0. % observe([pickUp(perp1,gun1)],0). % "% =================================". :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/ecnet/ShootingAttack.e',94). % Happens(PickUp(Perp1,Bullet1),1). % From E: % % happens_at(pickUp(perp1,bullet1),1). observe pickUp(perp1, bullet1)at 1. % observe([pickUp(perp1,bullet1)],1). % "% =================================". % Happens(PutInside(Perp1,Bullet1,Gun1),2). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/ecnet/ShootingAttack.e',94). % From E: % % happens_at(putInside(perp1,bullet1,gun1),2). observe putInside(perp1, bullet1, gun1)at 2. % observe([putInside(perp1,bullet1,gun1)],2). % "% =================================". :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/ecnet/ShootingAttack.e',96). % Happens(WalkStreet21(Perp1,Street1),3). % From E: % % happens_at(walkStreet21(perp1,street1),3). observe walkStreet21(perp1, street1)at 3. % observe([walkStreet21(perp1,street1)],3). % "% =================================". % Happens(Shoot(Perp1,Gun1,PhysTarget1),4). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/ecnet/ShootingAttack.e',96). % From E: % % happens_at(shoot(perp1,gun1,physTarget1),4). observe shoot(perp1, gun1, physTarget1)at 4. % observe([shoot(perp1,gun1,physTarget1)],4). % "% =================================". :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/ecnet/ShootingAttack.e',98). % Happens(ShootDestroy(Perp1,Gun1,PhysTarget1),4). % From E: % % happens_at(shootDestroy(perp1,gun1,physTarget1),4). observe shootDestroy(perp1, gun1, physTarget1)at 4. % observe([shootDestroy(perp1,gun1,physTarget1)],4). % "% =================================". % Happens(WalkStreet12(Perp1,Street1),5). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/ecnet/ShootingAttack.e',98). % From E: % % happens_at(walkStreet12(perp1,street1),5). observe walkStreet12(perp1, street1)at 5. % observe([walkStreet12(perp1,street1)],5). % "% =================================". % range time 0 6 :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/ecnet/ShootingAttack.e',100). % From E: % % :-call_pel_directive(range(time,0,6)). :- call_pel_directive(range(time, 0, 6)). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/ecnet/ShootingAttack.e',102). % range offset 0 3 % From E: % % :-call_pel_directive(range(offset,0,3)). :- call_pel_directive(range(offset, 0, 3)). % range diameter 0 0 :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/ecnet/ShootingAttack.e',102). % From E: % % :-call_pel_directive(range(diameter,0,0)). :- call_pel_directive(range(diameter, 0, 0)). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/ecnet/ShootingAttack.e',105). % completion Happens % From E: % % :-call_pel_directive(completion(happens_at)). :- call_pel_directive(completion(happens_at)). %; End of file. :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/ecnet/ShootingAttack.e',107). % From E: % % :-call_pel_directive(translate(ending,'/pack/logicmoo_ec/ext/ec_sources/ecnet/ShootingAttack.e.lps')). :- call_pel_directive(translate(ending, '/pack/logicmoo_ec/ext/ec_sources/ecnet/ShootingAttack.e.lps')).