1:-include(library('ec_planner/ec_test_incl')).    2:-expects_dialect(pfc).    3 %  loading(always,'ecnet/TimeDelayBombing.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%; TimeDelayBombing
   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/Condition.e
   71
   72% load answers/Mueller2003/Sleep.e
   73
   74% load answers/Mueller2004c/Bomb.e
   75
   76% bomb Bomb1
   77==> t(bomb,bomb1).
   78
   79
   80% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TimeDelayBombing.e:41
   81% BombTimeDelay(Bomb1)=3.
   82bombTimeDelay(bomb1,3).
   83
   84
   85% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TimeDelayBombing.e:42
   86% [time]
   87 % !HoldsAt(DestroyedDeterminingFluent(Bomb1),time).
   88 %  not(holds_at(destroyedDeterminingFluent(bomb1),Time)).
   89axiom(not(holds_at(destroyedDeterminingFluent(bomb1), Time1)),
   90    []).
   91
   92
   93% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TimeDelayBombing.e:43
   94% [time]
   95 % !HoldsAt(DamagedDeterminingFluent(Bomb1),time).
   96 %  not(holds_at(damagedDeterminingFluent(bomb1),Time)).
   97axiom(not(holds_at(damagedDeterminingFluent(bomb1), Time1)),
   98    []).
   99
  100% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TimeDelayBombing.e:45
  101% agent Perp1
  102% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TimeDelayBombing.e:46
  103==> t(agent,perp1).
  104
  105
  106% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TimeDelayBombing.e:46
  107% [time]
  108 % !HoldsAt(InjuredDeterminingFluent(Perp1),time).
  109 %  not(holds_at(injuredDeterminingFluent(perp1),Time)).
  110axiom(not(holds_at(injuredDeterminingFluent(perp1), Time1)),
  111    []).
  112
  113
  114% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TimeDelayBombing.e:47
  115% [time]
  116 % !HoldsAt(KilledDeterminingFluent(Perp1),time).
  117 %  not(holds_at(killedDeterminingFluent(perp1),Time)).
  118axiom(not(holds_at(killedDeterminingFluent(perp1), Time1)),
  119    []).
  120
  121% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TimeDelayBombing.e:49
  122% agent HumanTarget1
  123% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TimeDelayBombing.e:50
  124==> t(agent,humanTarget1).
  125
  126
  127% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TimeDelayBombing.e:50
  128% HoldsAt(Alive(HumanTarget1),0).
  129axiom(initially(alive(humanTarget1)),
  130    []).
  131
  132
  133% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TimeDelayBombing.e:51
  134% HoldsAt(Awake(HumanTarget1),0).
  135axiom(initially(awake(humanTarget1)),
  136    []).
  137
  138
  139% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TimeDelayBombing.e:52
  140% HoldsAt(Standing(HumanTarget1),0).
  141axiom(initially(standing(humanTarget1)),
  142    []).
  143
  144
  145% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TimeDelayBombing.e:53
  146% HoldsAt(Sleep2(HumanTarget1),0).
  147axiom(initially(sleep2(humanTarget1)),
  148    []).
  149
  150
  151% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TimeDelayBombing.e:54
  152% !HoldsAt(Injured(HumanTarget1),0).
  153 %  not(initially(injured(humanTarget1))).
  154axiom(not(initially(injured(humanTarget1))),
  155    []).
  156
  157
  158% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TimeDelayBombing.e:55
  159% [object]
  160 % !HoldsAt(Holding(HumanTarget1,object),0).
  161 %  not(initially(holding(humanTarget1,Object))).
  162axiom(not(initially(holding(humanTarget1, Holding_Ret))),
  163    []).
  164
  165
  166% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TimeDelayBombing.e:56
  167% HoldsAt(At(HumanTarget1,Outside1),0).
  168axiom(initially(at(humanTarget1, outside1)),
  169    []).
  170
  171
  172% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TimeDelayBombing.e:58
  173% [time]
  174 % HoldsAt(KilledDeterminingFluent(HumanTarget1),time).
  175holds_at(killedDeterminingFluent(humanTarget1),Time).
  176
  177
  178% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TimeDelayBombing.e:59
  179% [time]
  180 % !HoldsAt(InjuredDeterminingFluent(HumanTarget1),time).
  181 %  not(holds_at(injuredDeterminingFluent(humanTarget1),Time)).
  182axiom(not(holds_at(injuredDeterminingFluent(humanTarget1), Time1)),
  183    []).
  184
  185% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TimeDelayBombing.e:61
  186% agent HumanTarget2
  187% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TimeDelayBombing.e:62
  188==> t(agent,humanTarget2).
  189
  190
  191% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TimeDelayBombing.e:62
  192% HoldsAt(Alive(HumanTarget2),0).
  193axiom(initially(alive(humanTarget2)),
  194    []).
  195
  196
  197% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TimeDelayBombing.e:63
  198% HoldsAt(Awake(HumanTarget2),0).
  199axiom(initially(awake(humanTarget2)),
  200    []).
  201
  202
  203% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TimeDelayBombing.e:64
  204% HoldsAt(Standing(HumanTarget2),0).
  205axiom(initially(standing(humanTarget2)),
  206    []).
  207
  208
  209% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TimeDelayBombing.e:65
  210% HoldsAt(Sleep2(HumanTarget2),0).
  211axiom(initially(sleep2(humanTarget2)),
  212    []).
  213
  214
  215% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TimeDelayBombing.e:66
  216% !HoldsAt(Injured(HumanTarget2),0).
  217 %  not(initially(injured(humanTarget2))).
  218axiom(not(initially(injured(humanTarget2))),
  219    []).
  220
  221
  222% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TimeDelayBombing.e:67
  223% [object]
  224 % !HoldsAt(Holding(HumanTarget2,object),0).
  225 %  not(initially(holding(humanTarget2,Object))).
  226axiom(not(initially(holding(humanTarget2, Holding_Ret))),
  227    []).
  228
  229
  230% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TimeDelayBombing.e:68
  231% HoldsAt(At(HumanTarget2,Outside1),0).
  232axiom(initially(at(humanTarget2, outside1)),
  233    []).
  234
  235
  236% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TimeDelayBombing.e:70
  237% [time]
  238 % HoldsAt(KilledDeterminingFluent(HumanTarget2),time).
  239holds_at(killedDeterminingFluent(humanTarget2),Time).
  240
  241
  242% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TimeDelayBombing.e:71
  243% [time]
  244 % !HoldsAt(InjuredDeterminingFluent(HumanTarget2),time).
  245 %  not(holds_at(injuredDeterminingFluent(humanTarget2),Time)).
  246axiom(not(holds_at(injuredDeterminingFluent(humanTarget2), Time1)),
  247    []).
  248
  249% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TimeDelayBombing.e:73
  250% agent HumanTarget3
  251% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TimeDelayBombing.e:74
  252==> t(agent,humanTarget3).
  253
  254
  255% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TimeDelayBombing.e:74
  256% HoldsAt(Alive(HumanTarget3),0).
  257axiom(initially(alive(humanTarget3)),
  258    []).
  259
  260
  261% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TimeDelayBombing.e:75
  262% HoldsAt(Awake(HumanTarget3),0).
  263axiom(initially(awake(humanTarget3)),
  264    []).
  265
  266
  267% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TimeDelayBombing.e:76
  268% HoldsAt(Standing(HumanTarget3),0).
  269axiom(initially(standing(humanTarget3)),
  270    []).
  271
  272
  273% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TimeDelayBombing.e:77
  274% HoldsAt(Sleep2(HumanTarget3),0).
  275axiom(initially(sleep2(humanTarget3)),
  276    []).
  277
  278
  279% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TimeDelayBombing.e:78
  280% !HoldsAt(Injured(HumanTarget3),0).
  281 %  not(initially(injured(humanTarget3))).
  282axiom(not(initially(injured(humanTarget3))),
  283    []).
  284
  285
  286% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TimeDelayBombing.e:79
  287% [object]
  288 % !HoldsAt(Holding(HumanTarget3,object),0).
  289 %  not(initially(holding(humanTarget3,Object))).
  290axiom(not(initially(holding(humanTarget3, Holding_Ret))),
  291    []).
  292
  293
  294% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TimeDelayBombing.e:80
  295% HoldsAt(At(HumanTarget3,Outside1),0).
  296axiom(initially(at(humanTarget3, outside1)),
  297    []).
  298
  299
  300% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TimeDelayBombing.e:82
  301% [time]
  302 % HoldsAt(KilledDeterminingFluent(HumanTarget3),time).
  303holds_at(killedDeterminingFluent(humanTarget3),Time).
  304
  305
  306% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TimeDelayBombing.e:83
  307% [time]
  308 % !HoldsAt(InjuredDeterminingFluent(HumanTarget3),time).
  309 %  not(holds_at(injuredDeterminingFluent(humanTarget3),Time)).
  310axiom(not(holds_at(injuredDeterminingFluent(humanTarget3), Time1)),
  311    []).
  312
  313% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TimeDelayBombing.e:85
  314% agent HumanTarget4
  315% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TimeDelayBombing.e:86
  316==> t(agent,humanTarget4).
  317
  318
  319% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TimeDelayBombing.e:86
  320% HoldsAt(Alive(HumanTarget4),0).
  321axiom(initially(alive(humanTarget4)),
  322    []).
  323
  324
  325% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TimeDelayBombing.e:87
  326% HoldsAt(Awake(HumanTarget4),0).
  327axiom(initially(awake(humanTarget4)),
  328    []).
  329
  330
  331% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TimeDelayBombing.e:88
  332% HoldsAt(Standing(HumanTarget4),0).
  333axiom(initially(standing(humanTarget4)),
  334    []).
  335
  336
  337% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TimeDelayBombing.e:89
  338% HoldsAt(Sleep2(HumanTarget4),0).
  339axiom(initially(sleep2(humanTarget4)),
  340    []).
  341
  342
  343% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TimeDelayBombing.e:90
  344% !HoldsAt(Injured(HumanTarget4),0).
  345 %  not(initially(injured(humanTarget4))).
  346axiom(not(initially(injured(humanTarget4))),
  347    []).
  348
  349
  350% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TimeDelayBombing.e:91
  351% [object]
  352 % !HoldsAt(Holding(HumanTarget4,object),0).
  353 %  not(initially(holding(humanTarget4,Object))).
  354axiom(not(initially(holding(humanTarget4, Holding_Ret))),
  355    []).
  356
  357
  358% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TimeDelayBombing.e:92
  359% HoldsAt(At(HumanTarget4,Outside1),0).
  360axiom(initially(at(humanTarget4, outside1)),
  361    []).
  362
  363
  364% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TimeDelayBombing.e:94
  365% [time]
  366 % HoldsAt(KilledDeterminingFluent(HumanTarget4),time).
  367holds_at(killedDeterminingFluent(humanTarget4),Time).
  368
  369
  370% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TimeDelayBombing.e:95
  371% [time]
  372 % !HoldsAt(InjuredDeterminingFluent(HumanTarget4),time).
  373 %  not(holds_at(injuredDeterminingFluent(humanTarget4),Time)).
  374axiom(not(holds_at(injuredDeterminingFluent(humanTarget4), Time1)),
  375    []).
  376
  377% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TimeDelayBombing.e:97
  378% physobj PhysTarget1
  379% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TimeDelayBombing.e:98
  380==> t(physobj,physTarget1).
  381
  382
  383% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TimeDelayBombing.e:98
  384% HoldsAt(Intact(PhysTarget1),0).
  385axiom(initially(intact(physTarget1)),
  386    []).
  387
  388
  389% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TimeDelayBombing.e:99
  390% HoldsAt(At(PhysTarget1,Outside1),0).
  391axiom(initially(at(physTarget1, outside1)),
  392    []).
  393
  394
  395% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TimeDelayBombing.e:101
  396% [time]
  397 % HoldsAt(DestroyedDeterminingFluent(PhysTarget1),time).
  398holds_at(destroyedDeterminingFluent(physTarget1),Time).
  399
  400
  401% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TimeDelayBombing.e:102
  402% [time]
  403 % !HoldsAt(DamagedDeterminingFluent(PhysTarget1),time).
  404 %  not(holds_at(damagedDeterminingFluent(physTarget1),Time)).
  405axiom(not(holds_at(damagedDeterminingFluent(physTarget1), Time1)),
  406    []).
  407
  408
  409% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TimeDelayBombing.e:104
  410%; room-scale topological space
  411
  412% outside Outside1
  413% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TimeDelayBombing.e:106
  414==> t(outside,outside1).
  415
  416% outside Outside2
  417% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TimeDelayBombing.e:107
  418==> t(outside,outside2).
  419
  420% room Inside1
  421% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TimeDelayBombing.e:108
  422==> t(room,inside1).
  423
  424% door Door1
  425% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TimeDelayBombing.e:109
  426==> t(door,door1).
  427
  428% building Building1
  429% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TimeDelayBombing.e:110
  430==> t(building,building1).
  431
  432% street Street1
  433% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TimeDelayBombing.e:111
  434==> t(street,street1).
  435
  436
  437% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TimeDelayBombing.e:111
  438% Side1(Door1)=Outside1.
  439side1(door1,outside1).
  440
  441
  442% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TimeDelayBombing.e:112
  443% Side2(Door1)=Inside1.
  444side2(door1,inside1).
  445
  446
  447% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TimeDelayBombing.e:113
  448% LookOutOnto(Inside1)=Outside1.
  449lookOutOnto(inside1,outside1).
  450
  451
  452% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TimeDelayBombing.e:114
  453% Floor(Inside1)=1.
  454floor(inside1,1).
  455
  456
  457% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TimeDelayBombing.e:115
  458% BuildingOf(Inside1)=Building1.
  459buildingOf(inside1,building1).
  460
  461
  462% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TimeDelayBombing.e:116
  463% Side1(Street1)=Outside1.
  464side1(street1,outside1).
  465
  466
  467% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TimeDelayBombing.e:117
  468% Side2(Street1)=Outside2.
  469side2(street1,outside2).
  470
  471
  472% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TimeDelayBombing.e:119
  473% HoldsAt(Alive(Perp1),0).
  474axiom(initially(alive(perp1)),
  475    []).
  476
  477
  478% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TimeDelayBombing.e:120
  479% HoldsAt(Awake(Perp1),0).
  480axiom(initially(awake(perp1)),
  481    []).
  482
  483
  484% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TimeDelayBombing.e:121
  485% HoldsAt(Standing(Perp1),0).
  486axiom(initially(standing(perp1)),
  487    []).
  488
  489
  490% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TimeDelayBombing.e:122
  491% HoldsAt(Sleep2(Perp1),0).
  492axiom(initially(sleep2(perp1)),
  493    []).
  494
  495
  496% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TimeDelayBombing.e:123
  497% !HoldsAt(Injured(Perp1),0).
  498 %  not(initially(injured(perp1))).
  499axiom(not(initially(injured(perp1))),
  500    []).
  501
  502
  503% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TimeDelayBombing.e:124
  504% [object]
  505 % !HoldsAt(Holding(Perp1,object),0).
  506 %  not(initially(holding(perp1,Object))).
  507axiom(not(initially(holding(perp1, Holding_Ret))),
  508    []).
  509
  510
  511% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TimeDelayBombing.e:125
  512% HoldsAt(At(Bomb1,Outside2),0).
  513axiom(initially(at(bomb1, outside2)),
  514    []).
  515
  516
  517% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TimeDelayBombing.e:126
  518% HoldsAt(At(Perp1,Outside2),0).
  519axiom(initially(at(perp1, outside2)),
  520    []).
  521
  522
  523% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TimeDelayBombing.e:127
  524% HoldsAt(Intact(Bomb1),0).
  525axiom(initially(intact(bomb1)),
  526    []).
  527
  528
  529% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TimeDelayBombing.e:128
  530% !HoldsAt(BombActivated(Bomb1),0).
  531 %  not(initially(bombActivated(bomb1))).
  532axiom(not(initially(bombActivated(bomb1))),
  533    []).
  534
  535
  536% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TimeDelayBombing.e:129
  537% !HoldsAt(DoorIsOpen(Door1),0).
  538 %  not(initially(doorIsOpen(door1))).
  539axiom(not(initially(doorIsOpen(door1))),
  540    []).
  541
  542
  543% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TimeDelayBombing.e:130
  544% HoldsAt(DoorUnlocked(Door1),0).
  545axiom(initially(doorUnlocked(door1)),
  546    []).
  547
  548
  549% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TimeDelayBombing.e:131
  550% HoldsAt(BombTimerValue(Bomb1, BombTimeDelay(Bomb1)),0).
  551axiom(initially(bombTimerValue(bomb1, bombTimeDelay(bomb1))),
  552    []).
  553
  554
  555% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TimeDelayBombing.e:133
  556%; narrative
  557
  558
  559% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TimeDelayBombing.e:134
  560% Happens(PickUp(Perp1,Bomb1),0).
  561axiom(happens(pickUp(perp1, bomb1), t),
  562    [is_time(0)]).
  563
  564
  565% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TimeDelayBombing.e:135
  566% Happens(WalkStreet21(Perp1,Street1),1).
  567axiom(happens(walkStreet21(perp1, street1), start),
  568    [is_time(1), b(t, start), ignore(t+1=start)]).
  569
  570
  571% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TimeDelayBombing.e:136
  572% Happens(BombActivate(Perp1,Bomb1),2).
  573axiom(happens(bombActivate(perp1, bomb1), t2),
  574    [is_time(2), b(t, t2), ignore(t+2=t2)]).
  575
  576
  577% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TimeDelayBombing.e:137
  578% Happens(LetGoOf(Perp1,Bomb1),3).
  579axiom(happens(letGoOf(perp1, bomb1), t3),
  580    [is_time(3), b(t, t3), ignore(t+3=t3)]).
  581
  582
  583% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TimeDelayBombing.e:138
  584% Happens(WalkStreet12(Perp1,Street1),4).
  585axiom(happens(walkStreet12(perp1, street1), t4),
  586    [is_time(4), b(t, t4), ignore(t+4=t4)]).
  587
  588% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TimeDelayBombing.e:140
  589% range time 0 7
  590% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TimeDelayBombing.e:141
  591==> range(time,0,7).
  592
  593% range offset 0 3
  594% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TimeDelayBombing.e:142
  595==> range(offset,0,3).
  596
  597% range diameter 0 0
  598% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TimeDelayBombing.e:143
  599==> range(diameter,0,0).
  600
  601% completion Happens
  602% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TimeDelayBombing.e:145
  603==> completion(happens).
  604%; End of file.