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.