1:-include(library('ec_planner/ec_test_incl')).    2:-expects_dialect(pfc).    3 %  loading(always,'ecnet/Arson.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-0060
   15%; Arson
   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, Inside, WalkFromTo, RunFromTo
   29ignore(skyOf).
   30ignore(groundOf).
   31ignore(near).
   32ignore(inside).
   33ignore(walkFromTo).
   34ignore(runFromTo).
   35
   36% ignore RollAlong, Diameter, Move, HoldSome, PutInside
   37ignore(rollAlong).
   38ignore(diameter).
   39ignore(move).
   40ignore(holdSome).
   41ignore(putInside).
   42
   43% ignore TakeOutOf, On, DoorUnlock, DoorLock, WalkThroughDoor12
   44ignore(takeOutOf).
   45ignore(on).
   46ignore(doorUnlock).
   47ignore(doorLock).
   48ignore(walkThroughDoor12).
   49
   50% ignore WalkThroughDoor21, WalkDownStaircase, WalkUpStaircase
   51ignore(walkThroughDoor21).
   52ignore(walkDownStaircase).
   53ignore(walkUpStaircase).
   54
   55% ignore ThreatenedBy
   56ignore(threatenedBy).
   57
   58% load foundations/Root.e
   59
   60% load foundations/EC.e
   61
   62% load answers/Mueller2003/Ontology.e
   63
   64% load answers/Mueller2004c/OTSpaceM.e
   65load('answers/Mueller2004c/OTSpaceM.e').
   66
   67% load answers/Mueller2004c/RTSpaceM.e
   68load('answers/Mueller2004c/RTSpaceM.e').
   69
   70% load answers/Mueller2004c/Fire.e
   71
   72% load answers/Mueller2004c/Condition.e
   73
   74% load answers/Mueller2003/Sleep.e
   75
   76% fire Fire1
   77==> t(fire,fire1).
   78
   79
   80% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Arson.e:41
   81% HoldsAt(At(Fire1,Outside1),0).
   82axiom(initially(at(fire1, outside1)),
   83    []).
   84
   85% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Arson.e:43
   86% agent Perp1
   87% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Arson.e:44
   88==> t(agent,perp1).
   89
   90% physobj PhysTarget1
   91% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Arson.e:46
   92==> t(physobj,physTarget1).
   93
   94
   95% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Arson.e:46
   96% HoldsAt(Intact(PhysTarget1),0).
   97axiom(initially(intact(physTarget1)),
   98    []).
   99
  100
  101% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Arson.e:47
  102% HoldsAt(At(PhysTarget1,Outside1),0).
  103axiom(initially(at(physTarget1, outside1)),
  104    []).
  105
  106
  107% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Arson.e:49
  108%; room-scale topological space
  109
  110% outside Outside1
  111% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Arson.e:51
  112==> t(outside,outside1).
  113
  114% outside Outside2
  115% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Arson.e:52
  116==> t(outside,outside2).
  117
  118% room Inside1
  119% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Arson.e:53
  120==> t(room,inside1).
  121
  122% door Door1
  123% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Arson.e:54
  124==> t(door,door1).
  125
  126% building Building1
  127% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Arson.e:55
  128==> t(building,building1).
  129
  130% street Street1
  131% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Arson.e:56
  132==> t(street,street1).
  133
  134
  135% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Arson.e:56
  136% Side1(Door1)=Outside1.
  137side1(door1,outside1).
  138
  139
  140% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Arson.e:57
  141% Side2(Door1)=Inside1.
  142side2(door1,inside1).
  143
  144
  145% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Arson.e:58
  146% LookOutOnto(Inside1)=Outside1.
  147lookOutOnto(inside1,outside1).
  148
  149
  150% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Arson.e:59
  151% Floor(Inside1)=1.
  152floor(inside1,1).
  153
  154
  155% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Arson.e:60
  156% BuildingOf(Inside1)=Building1.
  157buildingOf(inside1,building1).
  158
  159
  160% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Arson.e:61
  161% Side1(Street1)=Outside1.
  162side1(street1,outside1).
  163
  164
  165% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Arson.e:62
  166% Side2(Street1)=Outside2.
  167side2(street1,outside2).
  168
  169
  170% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Arson.e:64
  171% HoldsAt(Alive(Perp1),0).
  172axiom(initially(alive(perp1)),
  173    []).
  174
  175
  176% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Arson.e:65
  177% HoldsAt(Awake(Perp1),0).
  178axiom(initially(awake(perp1)),
  179    []).
  180
  181
  182% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Arson.e:66
  183% HoldsAt(Standing(Perp1),0).
  184axiom(initially(standing(perp1)),
  185    []).
  186
  187
  188% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Arson.e:67
  189% HoldsAt(Sleep2(Perp1),0).
  190axiom(initially(sleep2(perp1)),
  191    []).
  192
  193
  194% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Arson.e:68
  195% !HoldsAt(Injured(Perp1),0).
  196 %  not(initially(injured(perp1))).
  197axiom(not(initially(injured(perp1))),
  198    []).
  199
  200
  201% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Arson.e:69
  202% [object]
  203 % !HoldsAt(Holding(Perp1,object),0).
  204 %  not(initially(holding(perp1,Object))).
  205axiom(not(initially(holding(perp1, Holding_Ret))),
  206    []).
  207
  208
  209% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Arson.e:70
  210% HoldsAt(At(Perp1,Outside2),0).
  211axiom(initially(at(perp1, outside2)),
  212    []).
  213
  214
  215% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Arson.e:71
  216% !HoldsAt(DoorIsOpen(Door1),0).
  217 %  not(initially(doorIsOpen(door1))).
  218axiom(not(initially(doorIsOpen(door1))),
  219    []).
  220
  221
  222% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Arson.e:72
  223% HoldsAt(DoorUnlocked(Door1),0).
  224axiom(initially(doorUnlocked(door1)),
  225    []).
  226
  227
  228% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Arson.e:73
  229% [physobj,fire,offset]
  230 % !HoldsAt(Burning(physobj,fire,offset),0).
  231 %  not(initially(burning(Physobj,Fire,Offset))).
  232axiom(not(initially(burning(Burning_Param, _, Burning_Ret))),
  233    []).
  234
  235
  236% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Arson.e:75
  237%; narrative
  238
  239
  240% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Arson.e:76
  241% Happens(WalkStreet21(Perp1,Street1),0).
  242axiom(happens(walkStreet21(perp1, street1), t),
  243    [is_time(0)]).
  244
  245
  246% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Arson.e:77
  247% Happens(SetFireTo(Perp1,PhysTarget1,Fire1,3),1).
  248axiom(happens(setFireTo(perp1, physTarget1, fire1, 3), start),
  249    [is_time(1), b(t, start), ignore(t+1=start)]).
  250
  251
  252% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Arson.e:78
  253% Happens(WalkStreet12(Perp1,Street1),2).
  254axiom(happens(walkStreet12(perp1, street1), t2),
  255    [is_time(2), b(t, t2), ignore(t+2=t2)]).
  256
  257% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Arson.e:80
  258% range time 0 6
  259% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Arson.e:81
  260==> range(time,0,6).
  261
  262% range offset 0 3
  263% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Arson.e:82
  264==> range(offset,0,3).
  265
  266% range diameter 0 0
  267% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Arson.e:83
  268==> range(diameter,0,0).
  269
  270% completion Happens
  271% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Arson.e:85
  272==> completion(happens).
  273%; End of file.