CS计算机代考程序代写 // Automatically produced by rddl.translate.RDDL2Format

// Automatically produced by rddl.translate.RDDL2Format
// SPUDD / Symbolic Perseus Format for ‘recon_pomdp.recon_inst_pomdp__1′

(variables
(damaged__l1 true false)
(damaged__w1 true false)
(damaged__p1 true false)
(oneStep true false)
(agentAt__a1_x0_y0 true false)
(agentAt__a1_x0_y1 true false)
(agentAt__a1_x1_y0 true false)
(agentAt__a1_x1_y1 true false)
(lifeDetected__o0 true false)
(lifeDetected__o1 true false)
(lifeDetected__o2 true false)
(lifeDetected__o3 true false)
(HAS_LIFE__o0 true false)
(HAS_LIFE__o1 true false)
(HAS_LIFE__o2 true false)
(HAS_LIFE__o3 true false)
(pictureTaken__o0 true false)
(pictureTaken__o1 true false)
(pictureTaken__o2 true false)
(pictureTaken__o3 true false)
(twoStep true false)
(waterDetected__o0 true false)
(waterDetected__o1 true false)
(waterDetected__o2 true false)
(waterDetected__o3 true false)
(HAS_WATER__o0 true false)
(HAS_WATER__o1 true false)
(HAS_WATER__o2 true false)
(HAS_WATER__o3 true false)
)

(observations
(lifeDetectedObs__o0 true false)
(lifeDetectedObs__o1 true false)
(lifeDetectedObs__o2 true false)
(lifeDetectedObs__o3 true false)
(waterDetectedObs__o0 true false)
(waterDetectedObs__o1 true false)
(waterDetectedObs__o2 true false)
(waterDetectedObs__o3 true false)
(damagedObs__l1 true false)
(damagedObs__w1 true false)
(damagedObs__p1 true false)
)

init [*
(damaged__l1 (true (0.0)) (false (1.0)))
(damaged__w1 (true (0.0)) (false (1.0)))
(damaged__p1 (true (0.0)) (false (1.0)))
(oneStep (true (0.0)) (false (1.0)))
(agentAt__a1_x0_y0 (true (0.0)) (false (1.0)))
(agentAt__a1_x0_y1 (true (1.0)) (false (0.0)))
(agentAt__a1_x1_y0 (true (0.0)) (false (1.0)))
(agentAt__a1_x1_y1 (true (0.0)) (false (1.0)))
(lifeDetected__o0 (true (0.0)) (false (1.0)))
(lifeDetected__o1 (true (0.0)) (false (1.0)))
(lifeDetected__o2 (true (0.0)) (false (1.0)))
(lifeDetected__o3 (true (0.0)) (false (1.0)))
(HAS_LIFE__o0 (true (0.0)) (false (1.0)))
(HAS_LIFE__o1 (true (0.0)) (false (1.0)))
(HAS_LIFE__o2 (true (0.0)) (false (1.0)))
(HAS_LIFE__o3 (true (0.0)) (false (1.0)))
(pictureTaken__o0 (true (0.0)) (false (1.0)))
(pictureTaken__o1 (true (0.0)) (false (1.0)))
(pictureTaken__o2 (true (0.0)) (false (1.0)))
(pictureTaken__o3 (true (0.0)) (false (1.0)))
(twoStep (true (0.0)) (false (1.0)))
(waterDetected__o0 (true (0.0)) (false (1.0)))
(waterDetected__o1 (true (0.0)) (false (1.0)))
(waterDetected__o2 (true (0.0)) (false (1.0)))
(waterDetected__o3 (true (0.0)) (false (1.0)))
(HAS_WATER__o0 (true (0.0)) (false (1.0)))
(HAS_WATER__o1 (true (0.0)) (false (1.0)))
(HAS_WATER__o2 (true (0.0)) (false (1.0)))
(HAS_WATER__o3 (true (0.0)) (false (1.0)))
]

action down__a1
damaged__l1
(damaged__l1
(true (damaged__l1′
(true (1.0))
(false (0.0))))
(false (agentAt__a1_x1_y1
(true (damaged__l1′
(true (0.33066183))
(false (0.6693381700000001))))
(false (damaged__l1′
(true (0.0))
(false (1.0)))))))
damaged__w1
(damaged__w1
(true (damaged__w1′
(true (1.0))
(false (0.0))))
(false (agentAt__a1_x1_y1
(true (damaged__w1′
(true (0.29469067))
(false (0.70530933))))
(false (damaged__w1′
(true (0.0))
(false (1.0)))))))
damaged__p1
(damaged__p1
(true (damaged__p1′
(true (1.0))
(false (0.0))))
(false (damaged__p1′
(true (0.0))
(false (1.0)))))
oneStep
(oneStep’
(true (1.0))
(false (0.0)))
agentAt__a1_x0_y0
(agentAt__a1_x0_y0
(true (agentAt__a1_x0_y0′
(true (1.0))
(false (0.0))))
(false (agentAt__a1_x0_y1
(true (agentAt__a1_x0_y0′
(true (1.0))
(false (0.0))))
(false (agentAt__a1_x0_y0′
(true (0.0))
(false (1.0)))))))
agentAt__a1_x0_y1
(agentAt__a1_x0_y1′
(true (0.0))
(false (1.0)))
agentAt__a1_x1_y0
(agentAt__a1_x1_y0
(true (agentAt__a1_x1_y0′
(true (1.0))
(false (0.0))))
(false (agentAt__a1_x1_y1
(true (agentAt__a1_x1_y0′
(true (1.0))
(false (0.0))))
(false (agentAt__a1_x1_y0′
(true (0.0))
(false (1.0)))))))
agentAt__a1_x1_y1
(agentAt__a1_x1_y1′
(true (0.0))
(false (1.0)))
lifeDetected__o0
(lifeDetected__o0
(true (lifeDetected__o0′
(true (1.0))
(false (0.0))))
(false (lifeDetected__o0′
(true (0.0))
(false (1.0)))))
lifeDetected__o1
(lifeDetected__o1
(true (lifeDetected__o1′
(true (1.0))
(false (0.0))))
(false (lifeDetected__o1′
(true (0.0))
(false (1.0)))))
lifeDetected__o2
(lifeDetected__o2
(true (lifeDetected__o2′
(true (1.0))
(false (0.0))))
(false (lifeDetected__o2′
(true (0.0))
(false (1.0)))))
lifeDetected__o3
(lifeDetected__o3
(true (lifeDetected__o3′
(true (1.0))
(false (0.0))))
(false (lifeDetected__o3′
(true (0.0))
(false (1.0)))))
HAS_LIFE__o0
(HAS_LIFE__o0
(true (HAS_LIFE__o0′
(true (1.0))
(false (0.0))))
(false (twoStep
(true (HAS_LIFE__o0′
(true (0.0))
(false (1.0))))
(false (HAS_WATER__o0
(true (HAS_LIFE__o0′
(true (0.7))
(false (0.30000000000000004))))
(false (HAS_LIFE__o0′
(true (0.0))
(false (1.0)))))))))
HAS_LIFE__o1
(HAS_LIFE__o1
(true (HAS_LIFE__o1′
(true (1.0))
(false (0.0))))
(false (twoStep
(true (HAS_LIFE__o1′
(true (0.0))
(false (1.0))))
(false (HAS_WATER__o1
(true (HAS_LIFE__o1′
(true (0.7))
(false (0.30000000000000004))))
(false (HAS_LIFE__o1′
(true (0.0))
(false (1.0)))))))))
HAS_LIFE__o2
(HAS_LIFE__o2
(true (HAS_LIFE__o2′
(true (1.0))
(false (0.0))))
(false (twoStep
(true (HAS_LIFE__o2′
(true (0.0))
(false (1.0))))
(false (HAS_WATER__o2
(true (HAS_LIFE__o2′
(true (0.7))
(false (0.30000000000000004))))
(false (HAS_LIFE__o2′
(true (0.0))
(false (1.0)))))))))
HAS_LIFE__o3
(HAS_LIFE__o3
(true (HAS_LIFE__o3′
(true (1.0))
(false (0.0))))
(false (twoStep
(true (HAS_LIFE__o3′
(true (0.0))
(false (1.0))))
(false (HAS_WATER__o3
(true (HAS_LIFE__o3′
(true (0.7))
(false (0.30000000000000004))))
(false (HAS_LIFE__o3′
(true (0.0))
(false (1.0)))))))))
pictureTaken__o0
(pictureTaken__o0′
(true (0.0))
(false (1.0)))
pictureTaken__o1
(pictureTaken__o1′
(true (0.0))
(false (1.0)))
pictureTaken__o2
(pictureTaken__o2′
(true (0.0))
(false (1.0)))
pictureTaken__o3
(pictureTaken__o3′
(true (0.0))
(false (1.0)))
twoStep
(oneStep
(true (twoStep’
(true (1.0))
(false (0.0))))
(false (twoStep’
(true (0.0))
(false (1.0)))))
waterDetected__o0
(waterDetected__o0
(true (waterDetected__o0′
(true (1.0))
(false (0.0))))
(false (waterDetected__o0′
(true (0.0))
(false (1.0)))))
waterDetected__o1
(waterDetected__o1
(true (waterDetected__o1′
(true (1.0))
(false (0.0))))
(false (waterDetected__o1′
(true (0.0))
(false (1.0)))))
waterDetected__o2
(waterDetected__o2
(true (waterDetected__o2′
(true (1.0))
(false (0.0))))
(false (waterDetected__o2′
(true (0.0))
(false (1.0)))))
waterDetected__o3
(waterDetected__o3
(true (waterDetected__o3′
(true (1.0))
(false (0.0))))
(false (waterDetected__o3′
(true (0.0))
(false (1.0)))))
HAS_WATER__o0
(oneStep
(true (HAS_WATER__o0
(true (HAS_WATER__o0′
(true (1.0))
(false (0.0))))
(false (HAS_WATER__o0′
(true (0.0))
(false (1.0))))))
(false (HAS_WATER__o0
(true (HAS_WATER__o0′
(true (1.0))
(false (0.0))))
(false (HAS_WATER__o0′
(true (0.8))
(false (0.2)))))))
HAS_WATER__o1
(oneStep
(true (HAS_WATER__o1
(true (HAS_WATER__o1′
(true (1.0))
(false (0.0))))
(false (HAS_WATER__o1′
(true (0.0))
(false (1.0))))))
(false (HAS_WATER__o1
(true (HAS_WATER__o1′
(true (1.0))
(false (0.0))))
(false (HAS_WATER__o1′
(true (0.8))
(false (0.2)))))))
HAS_WATER__o2
(oneStep
(true (HAS_WATER__o2
(true (HAS_WATER__o2′
(true (1.0))
(false (0.0))))
(false (HAS_WATER__o2′
(true (0.0))
(false (1.0))))))
(false (HAS_WATER__o2
(true (HAS_WATER__o2′
(true (1.0))
(false (0.0))))
(false (HAS_WATER__o2′
(true (0.8))
(false (0.2)))))))
HAS_WATER__o3
(oneStep
(true (HAS_WATER__o3
(true (HAS_WATER__o3′
(true (1.0))
(false (0.0))))
(false (HAS_WATER__o3′
(true (0.0))
(false (1.0))))))
(false (HAS_WATER__o3
(true (HAS_WATER__o3′
(true (1.0))
(false (0.0))))
(false (HAS_WATER__o3′
(true (0.8))
(false (0.2)))))))
observe
lifeDetectedObs__o0
(lifeDetected__o0′
(true (lifeDetectedObs__o0′
(true (1.0))
(false (0.0))))
(false (lifeDetectedObs__o0′
(true (0.0))
(false (1.0)))))
lifeDetectedObs__o1
(lifeDetected__o1′
(true (lifeDetectedObs__o1′
(true (1.0))
(false (0.0))))
(false (lifeDetectedObs__o1′
(true (0.0))
(false (1.0)))))
lifeDetectedObs__o2
(lifeDetected__o2′
(true (lifeDetectedObs__o2′
(true (1.0))
(false (0.0))))
(false (lifeDetectedObs__o2′
(true (0.0))
(false (1.0)))))
lifeDetectedObs__o3
(lifeDetected__o3′
(true (lifeDetectedObs__o3′
(true (1.0))
(false (0.0))))
(false (lifeDetectedObs__o3′
(true (0.0))
(false (1.0)))))
waterDetectedObs__o0
(waterDetected__o0′
(true (waterDetectedObs__o0′
(true (1.0))
(false (0.0))))
(false (waterDetectedObs__o0′
(true (0.0))
(false (1.0)))))
waterDetectedObs__o1
(waterDetected__o1′
(true (waterDetectedObs__o1′
(true (1.0))
(false (0.0))))
(false (waterDetectedObs__o1′
(true (0.0))
(false (1.0)))))
waterDetectedObs__o2
(waterDetected__o2′
(true (waterDetectedObs__o2′
(true (1.0))
(false (0.0))))
(false (waterDetectedObs__o2′
(true (0.0))
(false (1.0)))))
waterDetectedObs__o3
(waterDetected__o3′
(true (waterDetectedObs__o3′
(true (1.0))
(false (0.0))))
(false (waterDetectedObs__o3′
(true (0.0))
(false (1.0)))))
damagedObs__l1
(damaged__l1′
(true (damagedObs__l1′
(true (0.9048146903514862))
(false (0.0951853096485138))))
(false (damagedObs__l1′
(true (0.06824952))
(false (0.93175048)))))
damagedObs__w1
(damaged__w1′
(true (damagedObs__w1′
(true (0.906268373131752))
(false (0.09373162686824799))))
(false (damagedObs__w1′
(true (0.068904884))
(false (0.9310951160000001)))))
damagedObs__p1
(damaged__p1′
(true (damagedObs__p1′
(true (0.8))
(false (0.2))))
(false (damagedObs__p1′
(true (0.2))
(false (0.8)))))
endobserve
endaction

action left__a1
damaged__l1
(damaged__l1
(true (damaged__l1′
(true (1.0))
(false (0.0))))
(false (agentAt__a1_x1_y1
(true (damaged__l1′
(true (0.33066183))
(false (0.6693381700000001))))
(false (damaged__l1′
(true (0.0))
(false (1.0)))))))
damaged__w1
(damaged__w1
(true (damaged__w1′
(true (1.0))
(false (0.0))))
(false (agentAt__a1_x1_y1
(true (damaged__w1′
(true (0.29469067))
(false (0.70530933))))
(false (damaged__w1′
(true (0.0))
(false (1.0)))))))
damaged__p1
(damaged__p1
(true (damaged__p1′
(true (1.0))
(false (0.0))))
(false (damaged__p1′
(true (0.0))
(false (1.0)))))
oneStep
(oneStep’
(true (1.0))
(false (0.0)))
agentAt__a1_x0_y0
(agentAt__a1_x0_y0
(true (agentAt__a1_x0_y0′
(true (1.0))
(false (0.0))))
(false (agentAt__a1_x1_y0
(true (agentAt__a1_x0_y0′
(true (1.0))
(false (0.0))))
(false (agentAt__a1_x0_y0′
(true (0.0))
(false (1.0)))))))
agentAt__a1_x0_y1
(agentAt__a1_x0_y1
(true (agentAt__a1_x0_y1′
(true (1.0))
(false (0.0))))
(false (agentAt__a1_x1_y1
(true (agentAt__a1_x0_y1′
(true (1.0))
(false (0.0))))
(false (agentAt__a1_x0_y1′
(true (0.0))
(false (1.0)))))))
agentAt__a1_x1_y0
(agentAt__a1_x1_y0′
(true (0.0))
(false (1.0)))
agentAt__a1_x1_y1
(agentAt__a1_x1_y1′
(true (0.0))
(false (1.0)))
lifeDetected__o0
(lifeDetected__o0
(true (lifeDetected__o0′
(true (1.0))
(false (0.0))))
(false (lifeDetected__o0′
(true (0.0))
(false (1.0)))))
lifeDetected__o1
(lifeDetected__o1
(true (lifeDetected__o1′
(true (1.0))
(false (0.0))))
(false (lifeDetected__o1′
(true (0.0))
(false (1.0)))))
lifeDetected__o2
(lifeDetected__o2
(true (lifeDetected__o2′
(true (1.0))
(false (0.0))))
(false (lifeDetected__o2′
(true (0.0))
(false (1.0)))))
lifeDetected__o3
(lifeDetected__o3
(true (lifeDetected__o3′
(true (1.0))
(false (0.0))))
(false (lifeDetected__o3′
(true (0.0))
(false (1.0)))))
HAS_LIFE__o0
(HAS_LIFE__o0
(true (HAS_LIFE__o0′
(true (1.0))
(false (0.0))))
(false (twoStep
(true (HAS_LIFE__o0′
(true (0.0))
(false (1.0))))
(false (HAS_WATER__o0
(true (HAS_LIFE__o0′
(true (0.7))
(false (0.30000000000000004))))
(false (HAS_LIFE__o0′
(true (0.0))
(false (1.0)))))))))
HAS_LIFE__o1
(HAS_LIFE__o1
(true (HAS_LIFE__o1′
(true (1.0))
(false (0.0))))
(false (twoStep
(true (HAS_LIFE__o1′
(true (0.0))
(false (1.0))))
(false (HAS_WATER__o1
(true (HAS_LIFE__o1′
(true (0.7))
(false (0.30000000000000004))))
(false (HAS_LIFE__o1′
(true (0.0))
(false (1.0)))))))))
HAS_LIFE__o2
(HAS_LIFE__o2
(true (HAS_LIFE__o2′
(true (1.0))
(false (0.0))))
(false (twoStep
(true (HAS_LIFE__o2′
(true (0.0))
(false (1.0))))
(false (HAS_WATER__o2
(true (HAS_LIFE__o2′
(true (0.7))
(false (0.30000000000000004))))
(false (HAS_LIFE__o2′
(true (0.0))
(false (1.0)))))))))
HAS_LIFE__o3
(HAS_LIFE__o3
(true (HAS_LIFE__o3′
(true (1.0))
(false (0.0))))
(false (twoStep
(true (HAS_LIFE__o3′
(true (0.0))
(false (1.0))))
(false (HAS_WATER__o3
(true (HAS_LIFE__o3′
(true (0.7))
(false (0.30000000000000004))))
(false (HAS_LIFE__o3′
(true (0.0))
(false (1.0)))))))))
pictureTaken__o0
(pictureTaken__o0′
(true (0.0))
(false (1.0)))
pictureTaken__o1
(pictureTaken__o1′
(true (0.0))
(false (1.0)))
pictureTaken__o2
(pictureTaken__o2′
(true (0.0))
(false (1.0)))
pictureTaken__o3
(pictureTaken__o3′
(true (0.0))
(false (1.0)))
twoStep
(oneStep
(true (twoStep’
(true (1.0))
(false (0.0))))
(false (twoStep’
(true (0.0))
(false (1.0)))))
waterDetected__o0
(waterDetected__o0
(true (waterDetected__o0′
(true (1.0))
(false (0.0))))
(false (waterDetected__o0′
(true (0.0))
(false (1.0)))))
waterDetected__o1
(waterDetected__o1
(true (waterDetected__o1′
(true (1.0))
(false (0.0))))
(false (waterDetected__o1′
(true (0.0))
(false (1.0)))))
waterDetected__o2
(waterDetected__o2
(true (waterDetected__o2′
(true (1.0))
(false (0.0))))
(false (waterDetected__o2′
(true (0.0))
(false (1.0)))))
waterDetected__o3
(waterDetected__o3
(true (waterDetected__o3′
(true (1.0))
(false (0.0))))
(false (waterDetected__o3′
(true (0.0))
(false (1.0)))))
HAS_WATER__o0
(oneStep
(true (HAS_WATER__o0
(true (HAS_WATER__o0′
(true (1.0))
(false (0.0))))
(false (HAS_WATER__o0′
(true (0.0))
(false (1.0))))))
(false (HAS_WATER__o0
(true (HAS_WATER__o0′
(true (1.0))
(false (0.0))))
(false (HAS_WATER__o0′
(true (0.8))
(false (0.2)))))))
HAS_WATER__o1
(oneStep
(true (HAS_WATER__o1
(true (HAS_WATER__o1′
(true (1.0))
(false (0.0))))
(false (HAS_WATER__o1′
(true (0.0))
(false (1.0))))))
(false (HAS_WATER__o1
(true (HAS_WATER__o1′
(true (1.0))
(false (0.0))))
(false (HAS_WATER__o1′
(true (0.8))
(false (0.2)))))))
HAS_WATER__o2
(oneStep
(true (HAS_WATER__o2
(true (HAS_WATER__o2′
(true (1.0))
(false (0.0))))
(false (HAS_WATER__o2′
(true (0.0))
(false (1.0))))))
(false (HAS_WATER__o2
(true (HAS_WATER__o2′
(true (1.0))
(false (0.0))))
(false (HAS_WATER__o2′
(true (0.8))
(false (0.2)))))))
HAS_WATER__o3
(oneStep
(true (HAS_WATER__o3
(true (HAS_WATER__o3′
(true (1.0))
(false (0.0))))
(false (HAS_WATER__o3′
(true (0.0))
(false (1.0))))))
(false (HAS_WATER__o3
(true (HAS_WATER__o3′
(true (1.0))
(false (0.0))))
(false (HAS_WATER__o3′
(true (0.8))
(false (0.2)))))))
observe
lifeDetectedObs__o0
(lifeDetected__o0′
(true (lifeDetectedObs__o0′
(true (1.0))
(false (0.0))))
(false (lifeDetectedObs__o0′
(true (0.0))
(false (1.0)))))
lifeDetectedObs__o1
(lifeDetected__o1′
(true (lifeDetectedObs__o1′
(true (1.0))
(false (0.0))))
(false (lifeDetectedObs__o1′
(true (0.0))
(false (1.0)))))
lifeDetectedObs__o2
(lifeDetected__o2′
(true (lifeDetectedObs__o2′
(true (1.0))
(false (0.0))))
(false (lifeDetectedObs__o2′
(true (0.0))
(false (1.0)))))
lifeDetectedObs__o3
(lifeDetected__o3′
(true (lifeDetectedObs__o3′
(true (1.0))
(false (0.0))))
(false (lifeDetectedObs__o3′
(true (0.0))
(false (1.0)))))
waterDetectedObs__o0
(waterDetected__o0′
(true (waterDetectedObs__o0′
(true (1.0))
(false (0.0))))
(false (waterDetectedObs__o0′
(true (0.0))
(false (1.0)))))
waterDetectedObs__o1
(waterDetected__o1′
(true (waterDetectedObs__o1′
(true (1.0))
(false (0.0))))
(false (waterDetectedObs__o1′
(true (0.0))
(false (1.0)))))
waterDetectedObs__o2
(waterDetected__o2′
(true (waterDetectedObs__o2′
(true (1.0))
(false (0.0))))
(false (waterDetectedObs__o2′
(true (0.0))
(false (1.0)))))
waterDetectedObs__o3
(waterDetected__o3′
(true (waterDetectedObs__o3′
(true (1.0))
(false (0.0))))
(false (waterDetectedObs__o3′
(true (0.0))
(false (1.0)))))
damagedObs__l1
(damaged__l1′
(true (damagedObs__l1′
(true (0.9048146903514862))
(false (0.0951853096485138))))
(false (damagedObs__l1′
(true (0.06824952))
(false (0.93175048)))))
damagedObs__w1
(damaged__w1′
(true (damagedObs__w1′
(true (0.906268373131752))
(false (0.09373162686824799))))
(false (damagedObs__w1′
(true (0.068904884))
(false (0.9310951160000001)))))
damagedObs__p1
(damaged__p1′
(true (damagedObs__p1′
(true (0.8))
(false (0.2))))
(false (damagedObs__p1′
(true (0.2))
(false (0.8)))))
endobserve
endaction

action noop
damaged__l1
(damaged__l1
(true (damaged__l1′
(true (1.0))
(false (0.0))))
(false (agentAt__a1_x1_y1
(true (damaged__l1′
(true (0.33066183))
(false (0.6693381700000001))))
(false (damaged__l1′
(true (0.0))
(false (1.0)))))))
damaged__w1
(damaged__w1
(true (damaged__w1′
(true (1.0))
(false (0.0))))
(false (agentAt__a1_x1_y1
(true (damaged__w1′
(true (0.29469067))
(false (0.70530933))))
(false (damaged__w1′
(true (0.0))
(false (1.0)))))))
damaged__p1
(damaged__p1
(true (damaged__p1′
(true (1.0))
(false (0.0))))
(false (damaged__p1′
(true (0.0))
(false (1.0)))))
oneStep
(oneStep’
(true (1.0))
(false (0.0)))
agentAt__a1_x0_y0
(agentAt__a1_x0_y0
(true (agentAt__a1_x0_y0′
(true (1.0))
(false (0.0))))
(false (agentAt__a1_x0_y0′
(true (0.0))
(false (1.0)))))
agentAt__a1_x0_y1
(agentAt__a1_x0_y1
(true (agentAt__a1_x0_y1′
(true (1.0))
(false (0.0))))
(false (agentAt__a1_x0_y1′
(true (0.0))
(false (1.0)))))
agentAt__a1_x1_y0
(agentAt__a1_x1_y0
(true (agentAt__a1_x1_y0′
(true (1.0))
(false (0.0))))
(false (agentAt__a1_x1_y0′
(true (0.0))
(false (1.0)))))
agentAt__a1_x1_y1
(agentAt__a1_x1_y1
(true (agentAt__a1_x1_y1′
(true (1.0))
(false (0.0))))
(false (agentAt__a1_x1_y1′
(true (0.0))
(false (1.0)))))
lifeDetected__o0
(lifeDetected__o0
(true (lifeDetected__o0′
(true (1.0))
(false (0.0))))
(false (lifeDetected__o0′
(true (0.0))
(false (1.0)))))
lifeDetected__o1
(lifeDetected__o1
(true (lifeDetected__o1′
(true (1.0))
(false (0.0))))
(false (lifeDetected__o1′
(true (0.0))
(false (1.0)))))
lifeDetected__o2
(lifeDetected__o2
(true (lifeDetected__o2′
(true (1.0))
(false (0.0))))
(false (lifeDetected__o2′
(true (0.0))
(false (1.0)))))
lifeDetected__o3
(lifeDetected__o3
(true (lifeDetected__o3′
(true (1.0))
(false (0.0))))
(false (lifeDetected__o3′
(true (0.0))
(false (1.0)))))
HAS_LIFE__o0
(HAS_LIFE__o0
(true (HAS_LIFE__o0′
(true (1.0))
(false (0.0))))
(false (twoStep
(true (HAS_LIFE__o0′
(true (0.0))
(false (1.0))))
(false (HAS_WATER__o0
(true (HAS_LIFE__o0′
(true (0.7))
(false (0.30000000000000004))))
(false (HAS_LIFE__o0′
(true (0.0))
(false (1.0)))))))))
HAS_LIFE__o1
(HAS_LIFE__o1
(true (HAS_LIFE__o1′
(true (1.0))
(false (0.0))))
(false (twoStep
(true (HAS_LIFE__o1′
(true (0.0))
(false (1.0))))
(false (HAS_WATER__o1
(true (HAS_LIFE__o1′
(true (0.7))
(false (0.30000000000000004))))
(false (HAS_LIFE__o1′
(true (0.0))
(false (1.0)))))))))
HAS_LIFE__o2
(HAS_LIFE__o2
(true (HAS_LIFE__o2′
(true (1.0))
(false (0.0))))
(false (twoStep
(true (HAS_LIFE__o2′
(true (0.0))
(false (1.0))))
(false (HAS_WATER__o2
(true (HAS_LIFE__o2′
(true (0.7))
(false (0.30000000000000004))))
(false (HAS_LIFE__o2′
(true (0.0))
(false (1.0)))))))))
HAS_LIFE__o3
(HAS_LIFE__o3
(true (HAS_LIFE__o3′
(true (1.0))
(false (0.0))))
(false (twoStep
(true (HAS_LIFE__o3′
(true (0.0))
(false (1.0))))
(false (HAS_WATER__o3
(true (HAS_LIFE__o3′
(true (0.7))
(false (0.30000000000000004))))
(false (HAS_LIFE__o3′
(true (0.0))
(false (1.0)))))))))
pictureTaken__o0
(pictureTaken__o0′
(true (0.0))
(false (1.0)))
pictureTaken__o1
(pictureTaken__o1′
(true (0.0))
(false (1.0)))
pictureTaken__o2
(pictureTaken__o2′
(true (0.0))
(false (1.0)))
pictureTaken__o3
(pictureTaken__o3′
(true (0.0))
(false (1.0)))
twoStep
(oneStep
(true (twoStep’
(true (1.0))
(false (0.0))))
(false (twoStep’
(true (0.0))
(false (1.0)))))
waterDetected__o0
(waterDetected__o0
(true (waterDetected__o0′
(true (1.0))
(false (0.0))))
(false (waterDetected__o0′
(true (0.0))
(false (1.0)))))
waterDetected__o1
(waterDetected__o1
(true (waterDetected__o1′
(true (1.0))
(false (0.0))))
(false (waterDetected__o1′
(true (0.0))
(false (1.0)))))
waterDetected__o2
(waterDetected__o2
(true (waterDetected__o2′
(true (1.0))
(false (0.0))))
(false (waterDetected__o2′
(true (0.0))
(false (1.0)))))
waterDetected__o3
(waterDetected__o3
(true (waterDetected__o3′
(true (1.0))
(false (0.0))))
(false (waterDetected__o3′
(true (0.0))
(false (1.0)))))
HAS_WATER__o0
(oneStep
(true (HAS_WATER__o0
(true (HAS_WATER__o0′
(true (1.0))
(false (0.0))))
(false (HAS_WATER__o0′
(true (0.0))
(false (1.0))))))
(false (HAS_WATER__o0
(true (HAS_WATER__o0′
(true (1.0))
(false (0.0))))
(false (HAS_WATER__o0′
(true (0.8))
(false (0.2)))))))
HAS_WATER__o1
(oneStep
(true (HAS_WATER__o1
(true (HAS_WATER__o1′
(true (1.0))
(false (0.0))))
(false (HAS_WATER__o1′
(true (0.0))
(false (1.0))))))
(false (HAS_WATER__o1
(true (HAS_WATER__o1′
(true (1.0))
(false (0.0))))
(false (HAS_WATER__o1′
(true (0.8))
(false (0.2)))))))
HAS_WATER__o2
(oneStep
(true (HAS_WATER__o2
(true (HAS_WATER__o2′
(true (1.0))
(false (0.0))))
(false (HAS_WATER__o2′
(true (0.0))
(false (1.0))))))
(false (HAS_WATER__o2
(true (HAS_WATER__o2′
(true (1.0))
(false (0.0))))
(false (HAS_WATER__o2′
(true (0.8))
(false (0.2)))))))
HAS_WATER__o3
(oneStep
(true (HAS_WATER__o3
(true (HAS_WATER__o3′
(true (1.0))
(false (0.0))))
(false (HAS_WATER__o3′
(true (0.0))
(false (1.0))))))
(false (HAS_WATER__o3
(true (HAS_WATER__o3′
(true (1.0))
(false (0.0))))
(false (HAS_WATER__o3′
(true (0.8))
(false (0.2)))))))
observe
lifeDetectedObs__o0
(lifeDetected__o0′
(true (lifeDetectedObs__o0′
(true (1.0))
(false (0.0))))
(false (lifeDetectedObs__o0′
(true (0.0))
(false (1.0)))))
lifeDetectedObs__o1
(lifeDetected__o1′
(true (lifeDetectedObs__o1′
(true (1.0))
(false (0.0))))
(false (lifeDetectedObs__o1′
(true (0.0))
(false (1.0)))))
lifeDetectedObs__o2
(lifeDetected__o2′
(true (lifeDetectedObs__o2′
(true (1.0))
(false (0.0))))
(false (lifeDetectedObs__o2′
(true (0.0))
(false (1.0)))))
lifeDetectedObs__o3
(lifeDetected__o3′
(true (lifeDetectedObs__o3′
(true (1.0))
(false (0.0))))
(false (lifeDetectedObs__o3′
(true (0.0))
(false (1.0)))))
waterDetectedObs__o0
(waterDetected__o0′
(true (waterDetectedObs__o0′
(true (1.0))
(false (0.0))))
(false (waterDetectedObs__o0′
(true (0.0))
(false (1.0)))))
waterDetectedObs__o1
(waterDetected__o1′
(true (waterDetectedObs__o1′
(true (1.0))
(false (0.0))))
(false (waterDetectedObs__o1′
(true (0.0))
(false (1.0)))))
waterDetectedObs__o2
(waterDetected__o2′
(true (waterDetectedObs__o2′
(true (1.0))
(false (0.0))))
(false (waterDetectedObs__o2′
(true (0.0))
(false (1.0)))))
waterDetectedObs__o3
(waterDetected__o3′
(true (waterDetectedObs__o3′
(true (1.0))
(false (0.0))))
(false (waterDetectedObs__o3′
(true (0.0))
(false (1.0)))))
damagedObs__l1
(damaged__l1′
(true (damagedObs__l1′
(true (0.9048146903514862))
(false (0.0951853096485138))))
(false (damagedObs__l1′
(true (0.06824952))
(false (0.93175048)))))
damagedObs__w1
(damaged__w1′
(true (damagedObs__w1′
(true (0.906268373131752))
(false (0.09373162686824799))))
(false (damagedObs__w1′
(true (0.068904884))
(false (0.9310951160000001)))))
damagedObs__p1
(damaged__p1′
(true (damagedObs__p1′
(true (0.8))
(false (0.2))))
(false (damagedObs__p1′
(true (0.2))
(false (0.8)))))
endobserve
endaction

action repair__a1_l1
damaged__l1
(damaged__l1
(true (agentAt__a1_x0_y1
(true (damaged__l1′
(true (0.0))
(false (1.0))))
(false (damaged__l1′
(true (1.0))
(false (0.0))))))
(false (agentAt__a1_x0_y1
(true (damaged__l1′
(true (0.0))
(false (1.0))))
(false (agentAt__a1_x1_y1
(true (damaged__l1′
(true (0.33066183))
(false (0.6693381700000001))))
(false (damaged__l1′
(true (0.0))
(false (1.0)))))))))
damaged__w1
(damaged__w1
(true (damaged__w1′
(true (1.0))
(false (0.0))))
(false (agentAt__a1_x1_y1
(true (damaged__w1′
(true (0.29469067))
(false (0.70530933))))
(false (damaged__w1′
(true (0.0))
(false (1.0)))))))
damaged__p1
(damaged__p1
(true (damaged__p1′
(true (1.0))
(false (0.0))))
(false (damaged__p1′
(true (0.0))
(false (1.0)))))
oneStep
(oneStep’
(true (1.0))
(false (0.0)))
agentAt__a1_x0_y0
(agentAt__a1_x0_y0
(true (agentAt__a1_x0_y0′
(true (1.0))
(false (0.0))))
(false (agentAt__a1_x0_y0′
(true (0.0))
(false (1.0)))))
agentAt__a1_x0_y1
(agentAt__a1_x0_y1
(true (agentAt__a1_x0_y1′
(true (1.0))
(false (0.0))))
(false (agentAt__a1_x0_y1′
(true (0.0))
(false (1.0)))))
agentAt__a1_x1_y0
(agentAt__a1_x1_y0
(true (agentAt__a1_x1_y0′
(true (1.0))
(false (0.0))))
(false (agentAt__a1_x1_y0′
(true (0.0))
(false (1.0)))))
agentAt__a1_x1_y1
(agentAt__a1_x1_y1
(true (agentAt__a1_x1_y1′
(true (1.0))
(false (0.0))))
(false (agentAt__a1_x1_y1′
(true (0.0))
(false (1.0)))))
lifeDetected__o0
(lifeDetected__o0
(true (lifeDetected__o0′
(true (1.0))
(false (0.0))))
(false (lifeDetected__o0′
(true (0.0))
(false (1.0)))))
lifeDetected__o1
(lifeDetected__o1
(true (lifeDetected__o1′
(true (1.0))
(false (0.0))))
(false (lifeDetected__o1′
(true (0.0))
(false (1.0)))))
lifeDetected__o2
(lifeDetected__o2
(true (lifeDetected__o2′
(true (1.0))
(false (0.0))))
(false (lifeDetected__o2′
(true (0.0))
(false (1.0)))))
lifeDetected__o3
(lifeDetected__o3
(true (lifeDetected__o3′
(true (1.0))
(false (0.0))))
(false (lifeDetected__o3′
(true (0.0))
(false (1.0)))))
HAS_LIFE__o0
(HAS_LIFE__o0
(true (HAS_LIFE__o0′
(true (1.0))
(false (0.0))))
(false (twoStep
(true (HAS_LIFE__o0′
(true (0.0))
(false (1.0))))
(false (HAS_WATER__o0
(true (HAS_LIFE__o0′
(true (0.7))
(false (0.30000000000000004))))
(false (HAS_LIFE__o0′
(true (0.0))
(false (1.0)))))))))
HAS_LIFE__o1
(HAS_LIFE__o1
(true (HAS_LIFE__o1′
(true (1.0))
(false (0.0))))
(false (twoStep
(true (HAS_LIFE__o1′
(true (0.0))
(false (1.0))))
(false (HAS_WATER__o1
(true (HAS_LIFE__o1′
(true (0.7))
(false (0.30000000000000004))))
(false (HAS_LIFE__o1′
(true (0.0))
(false (1.0)))))))))
HAS_LIFE__o2
(HAS_LIFE__o2
(true (HAS_LIFE__o2′
(true (1.0))
(false (0.0))))
(false (twoStep
(true (HAS_LIFE__o2′
(true (0.0))
(false (1.0))))
(false (HAS_WATER__o2
(true (HAS_LIFE__o2′
(true (0.7))
(false (0.30000000000000004))))
(false (HAS_LIFE__o2′
(true (0.0))
(false (1.0)))))))))
HAS_LIFE__o3
(HAS_LIFE__o3
(true (HAS_LIFE__o3′
(true (1.0))
(false (0.0))))
(false (twoStep
(true (HAS_LIFE__o3′
(true (0.0))
(false (1.0))))
(false (HAS_WATER__o3
(true (HAS_LIFE__o3′
(true (0.7))
(false (0.30000000000000004))))
(false (HAS_LIFE__o3′
(true (0.0))
(false (1.0)))))))))
pictureTaken__o0
(pictureTaken__o0′
(true (0.0))
(false (1.0)))
pictureTaken__o1
(pictureTaken__o1′
(true (0.0))
(false (1.0)))
pictureTaken__o2
(pictureTaken__o2′
(true (0.0))
(false (1.0)))
pictureTaken__o3
(pictureTaken__o3′
(true (0.0))
(false (1.0)))
twoStep
(oneStep
(true (twoStep’
(true (1.0))
(false (0.0))))
(false (twoStep’
(true (0.0))
(false (1.0)))))
waterDetected__o0
(waterDetected__o0
(true (waterDetected__o0′
(true (1.0))
(false (0.0))))
(false (waterDetected__o0′
(true (0.0))
(false (1.0)))))
waterDetected__o1
(waterDetected__o1
(true (waterDetected__o1′
(true (1.0))
(false (0.0))))
(false (waterDetected__o1′
(true (0.0))
(false (1.0)))))
waterDetected__o2
(waterDetected__o2
(true (waterDetected__o2′
(true (1.0))
(false (0.0))))
(false (waterDetected__o2′
(true (0.0))
(false (1.0)))))
waterDetected__o3
(waterDetected__o3
(true (waterDetected__o3′
(true (1.0))
(false (0.0))))
(false (waterDetected__o3′
(true (0.0))
(false (1.0)))))
HAS_WATER__o0
(oneStep
(true (HAS_WATER__o0
(true (HAS_WATER__o0′
(true (1.0))
(false (0.0))))
(false (HAS_WATER__o0′
(true (0.0))
(false (1.0))))))
(false (HAS_WATER__o0
(true (HAS_WATER__o0′
(true (1.0))
(false (0.0))))
(false (HAS_WATER__o0′
(true (0.8))
(false (0.2)))))))
HAS_WATER__o1
(oneStep
(true (HAS_WATER__o1
(true (HAS_WATER__o1′
(true (1.0))
(false (0.0))))
(false (HAS_WATER__o1′
(true (0.0))
(false (1.0))))))
(false (HAS_WATER__o1
(true (HAS_WATER__o1′
(true (1.0))
(false (0.0))))
(false (HAS_WATER__o1′
(true (0.8))
(false (0.2)))))))
HAS_WATER__o2
(oneStep
(true (HAS_WATER__o2
(true (HAS_WATER__o2′
(true (1.0))
(false (0.0))))
(false (HAS_WATER__o2′
(true (0.0))
(false (1.0))))))
(false (HAS_WATER__o2
(true (HAS_WATER__o2′
(true (1.0))
(false (0.0))))
(false (HAS_WATER__o2′
(true (0.8))
(false (0.2)))))))
HAS_WATER__o3
(oneStep
(true (HAS_WATER__o3
(true (HAS_WATER__o3′
(true (1.0))
(false (0.0))))
(false (HAS_WATER__o3′
(true (0.0))
(false (1.0))))))
(false (HAS_WATER__o3
(true (HAS_WATER__o3′
(true (1.0))
(false (0.0))))
(false (HAS_WATER__o3′
(true (0.8))
(false (0.2)))))))
observe
lifeDetectedObs__o0
(lifeDetected__o0′
(true (lifeDetectedObs__o0′
(true (1.0))
(false (0.0))))
(false (lifeDetectedObs__o0′
(true (0.0))
(false (1.0)))))
lifeDetectedObs__o1
(lifeDetected__o1′
(true (lifeDetectedObs__o1′
(true (1.0))
(false (0.0))))
(false (lifeDetectedObs__o1′
(true (0.0))
(false (1.0)))))
lifeDetectedObs__o2
(lifeDetected__o2′
(true (lifeDetectedObs__o2′
(true (1.0))
(false (0.0))))
(false (lifeDetectedObs__o2′
(true (0.0))
(false (1.0)))))
lifeDetectedObs__o3
(lifeDetected__o3′
(true (lifeDetectedObs__o3′
(true (1.0))
(false (0.0))))
(false (lifeDetectedObs__o3′
(true (0.0))
(false (1.0)))))
waterDetectedObs__o0
(waterDetected__o0′
(true (waterDetectedObs__o0′
(true (1.0))
(false (0.0))))
(false (waterDetectedObs__o0′
(true (0.0))
(false (1.0)))))
waterDetectedObs__o1
(waterDetected__o1′
(true (waterDetectedObs__o1′
(true (1.0))
(false (0.0))))
(false (waterDetectedObs__o1′
(true (0.0))
(false (1.0)))))
waterDetectedObs__o2
(waterDetected__o2′
(true (waterDetectedObs__o2′
(true (1.0))
(false (0.0))))
(false (waterDetectedObs__o2′
(true (0.0))
(false (1.0)))))
waterDetectedObs__o3
(waterDetected__o3′
(true (waterDetectedObs__o3′
(true (1.0))
(false (0.0))))
(false (waterDetectedObs__o3′
(true (0.0))
(false (1.0)))))
damagedObs__l1
(damaged__l1′
(true (damagedObs__l1′
(true (0.9048146903514862))
(false (0.0951853096485138))))
(false (damagedObs__l1′
(true (0.06824952))
(false (0.93175048)))))
damagedObs__w1
(damaged__w1′
(true (damagedObs__w1′
(true (0.906268373131752))
(false (0.09373162686824799))))
(false (damagedObs__w1′
(true (0.068904884))
(false (0.9310951160000001)))))
damagedObs__p1
(damaged__p1′
(true (damagedObs__p1′
(true (0.8))
(false (0.2))))
(false (damagedObs__p1′
(true (0.2))
(false (0.8)))))
endobserve
endaction

action repair__a1_p1
damaged__l1
(damaged__l1
(true (damaged__l1′
(true (1.0))
(false (0.0))))
(false (agentAt__a1_x1_y1
(true (damaged__l1′
(true (0.33066183))
(false (0.6693381700000001))))
(false (damaged__l1′
(true (0.0))
(false (1.0)))))))
damaged__w1
(damaged__w1
(true (damaged__w1′
(true (1.0))
(false (0.0))))
(false (agentAt__a1_x1_y1
(true (damaged__w1′
(true (0.29469067))
(false (0.70530933))))
(false (damaged__w1′
(true (0.0))
(false (1.0)))))))
damaged__p1
(damaged__p1
(true (agentAt__a1_x0_y1
(true (damaged__p1′
(true (0.0))
(false (1.0))))
(false (damaged__p1′
(true (1.0))
(false (0.0))))))
(false (damaged__p1′
(true (0.0))
(false (1.0)))))
oneStep
(oneStep’
(true (1.0))
(false (0.0)))
agentAt__a1_x0_y0
(agentAt__a1_x0_y0
(true (agentAt__a1_x0_y0′
(true (1.0))
(false (0.0))))
(false (agentAt__a1_x0_y0′
(true (0.0))
(false (1.0)))))
agentAt__a1_x0_y1
(agentAt__a1_x0_y1
(true (agentAt__a1_x0_y1′
(true (1.0))
(false (0.0))))
(false (agentAt__a1_x0_y1′
(true (0.0))
(false (1.0)))))
agentAt__a1_x1_y0
(agentAt__a1_x1_y0
(true (agentAt__a1_x1_y0′
(true (1.0))
(false (0.0))))
(false (agentAt__a1_x1_y0′
(true (0.0))
(false (1.0)))))
agentAt__a1_x1_y1
(agentAt__a1_x1_y1
(true (agentAt__a1_x1_y1′
(true (1.0))
(false (0.0))))
(false (agentAt__a1_x1_y1′
(true (0.0))
(false (1.0)))))
lifeDetected__o0
(lifeDetected__o0
(true (lifeDetected__o0′
(true (1.0))
(false (0.0))))
(false (lifeDetected__o0′
(true (0.0))
(false (1.0)))))
lifeDetected__o1
(lifeDetected__o1
(true (lifeDetected__o1′
(true (1.0))
(false (0.0))))
(false (lifeDetected__o1′
(true (0.0))
(false (1.0)))))
lifeDetected__o2
(lifeDetected__o2
(true (lifeDetected__o2′
(true (1.0))
(false (0.0))))
(false (lifeDetected__o2′
(true (0.0))
(false (1.0)))))
lifeDetected__o3
(lifeDetected__o3
(true (lifeDetected__o3′
(true (1.0))
(false (0.0))))
(false (lifeDetected__o3′
(true (0.0))
(false (1.0)))))
HAS_LIFE__o0
(HAS_LIFE__o0
(true (HAS_LIFE__o0′
(true (1.0))
(false (0.0))))
(false (twoStep
(true (HAS_LIFE__o0′
(true (0.0))
(false (1.0))))
(false (HAS_WATER__o0
(true (HAS_LIFE__o0′
(true (0.7))
(false (0.30000000000000004))))
(false (HAS_LIFE__o0′
(true (0.0))
(false (1.0)))))))))
HAS_LIFE__o1
(HAS_LIFE__o1
(true (HAS_LIFE__o1′
(true (1.0))
(false (0.0))))
(false (twoStep
(true (HAS_LIFE__o1′
(true (0.0))
(false (1.0))))
(false (HAS_WATER__o1
(true (HAS_LIFE__o1′
(true (0.7))
(false (0.30000000000000004))))
(false (HAS_LIFE__o1′
(true (0.0))
(false (1.0)))))))))
HAS_LIFE__o2
(HAS_LIFE__o2
(true (HAS_LIFE__o2′
(true (1.0))
(false (0.0))))
(false (twoStep
(true (HAS_LIFE__o2′
(true (0.0))
(false (1.0))))
(false (HAS_WATER__o2
(true (HAS_LIFE__o2′
(true (0.7))
(false (0.30000000000000004))))
(false (HAS_LIFE__o2′
(true (0.0))
(false (1.0)))))))))
HAS_LIFE__o3
(HAS_LIFE__o3
(true (HAS_LIFE__o3′
(true (1.0))
(false (0.0))))
(false (twoStep
(true (HAS_LIFE__o3′
(true (0.0))
(false (1.0))))
(false (HAS_WATER__o3
(true (HAS_LIFE__o3′
(true (0.7))
(false (0.30000000000000004))))
(false (HAS_LIFE__o3′
(true (0.0))
(false (1.0)))))))))
pictureTaken__o0
(pictureTaken__o0′
(true (0.0))
(false (1.0)))
pictureTaken__o1
(pictureTaken__o1′
(true (0.0))
(false (1.0)))
pictureTaken__o2
(pictureTaken__o2′
(true (0.0))
(false (1.0)))
pictureTaken__o3
(pictureTaken__o3′
(true (0.0))
(false (1.0)))
twoStep
(oneStep
(true (twoStep’
(true (1.0))
(false (0.0))))
(false (twoStep’
(true (0.0))
(false (1.0)))))
waterDetected__o0
(waterDetected__o0
(true (waterDetected__o0′
(true (1.0))
(false (0.0))))
(false (waterDetected__o0′
(true (0.0))
(false (1.0)))))
waterDetected__o1
(waterDetected__o1
(true (waterDetected__o1′
(true (1.0))
(false (0.0))))
(false (waterDetected__o1′
(true (0.0))
(false (1.0)))))
waterDetected__o2
(waterDetected__o2
(true (waterDetected__o2′
(true (1.0))
(false (0.0))))
(false (waterDetected__o2′
(true (0.0))
(false (1.0)))))
waterDetected__o3
(waterDetected__o3
(true (waterDetected__o3′
(true (1.0))
(false (0.0))))
(false (waterDetected__o3′
(true (0.0))
(false (1.0)))))
HAS_WATER__o0
(oneStep
(true (HAS_WATER__o0
(true (HAS_WATER__o0′
(true (1.0))
(false (0.0))))
(false (HAS_WATER__o0′
(true (0.0))
(false (1.0))))))
(false (HAS_WATER__o0
(true (HAS_WATER__o0′
(true (1.0))
(false (0.0))))
(false (HAS_WATER__o0′
(true (0.8))
(false (0.2)))))))
HAS_WATER__o1
(oneStep
(true (HAS_WATER__o1
(true (HAS_WATER__o1′
(true (1.0))
(false (0.0))))
(false (HAS_WATER__o1′
(true (0.0))
(false (1.0))))))
(false (HAS_WATER__o1
(true (HAS_WATER__o1′
(true (1.0))
(false (0.0))))
(false (HAS_WATER__o1′
(true (0.8))
(false (0.2)))))))
HAS_WATER__o2
(oneStep
(true (HAS_WATER__o2
(true (HAS_WATER__o2′
(true (1.0))
(false (0.0))))
(false (HAS_WATER__o2′
(true (0.0))
(false (1.0))))))
(false (HAS_WATER__o2
(true (HAS_WATER__o2′
(true (1.0))
(false (0.0))))
(false (HAS_WATER__o2′
(true (0.8))
(false (0.2)))))))
HAS_WATER__o3
(oneStep
(true (HAS_WATER__o3
(true (HAS_WATER__o3′
(true (1.0))
(false (0.0))))
(false (HAS_WATER__o3′
(true (0.0))
(false (1.0))))))
(false (HAS_WATER__o3
(true (HAS_WATER__o3′
(true (1.0))
(false (0.0))))
(false (HAS_WATER__o3′
(true (0.8))
(false (0.2)))))))
observe
lifeDetectedObs__o0
(lifeDetected__o0′
(true (lifeDetectedObs__o0′
(true (1.0))
(false (0.0))))
(false (lifeDetectedObs__o0′
(true (0.0))
(false (1.0)))))
lifeDetectedObs__o1
(lifeDetected__o1′
(true (lifeDetectedObs__o1′
(true (1.0))
(false (0.0))))
(false (lifeDetectedObs__o1′
(true (0.0))
(false (1.0)))))
lifeDetectedObs__o2
(lifeDetected__o2′
(true (lifeDetectedObs__o2′
(true (1.0))
(false (0.0))))
(false (lifeDetectedObs__o2′
(true (0.0))
(false (1.0)))))
lifeDetectedObs__o3
(lifeDetected__o3′
(true (lifeDetectedObs__o3′
(true (1.0))
(false (0.0))))
(false (lifeDetectedObs__o3′
(true (0.0))
(false (1.0)))))
waterDetectedObs__o0
(waterDetected__o0′
(true (waterDetectedObs__o0′
(true (1.0))
(false (0.0))))
(false (waterDetectedObs__o0′
(true (0.0))
(false (1.0)))))
waterDetectedObs__o1
(waterDetected__o1′
(true (waterDetectedObs__o1′
(true (1.0))
(false (0.0))))
(false (waterDetectedObs__o1′
(true (0.0))
(false (1.0)))))
waterDetectedObs__o2
(waterDetected__o2′
(true (waterDetectedObs__o2′
(true (1.0))
(false (0.0))))
(false (waterDetectedObs__o2′
(true (0.0))
(false (1.0)))))
waterDetectedObs__o3
(waterDetected__o3′
(true (waterDetectedObs__o3′
(true (1.0))
(false (0.0))))
(false (waterDetectedObs__o3′
(true (0.0))
(false (1.0)))))
damagedObs__l1
(damaged__l1′
(true (damagedObs__l1′
(true (0.9048146903514862))
(false (0.0951853096485138))))
(false (damagedObs__l1′
(true (0.06824952))
(false (0.93175048)))))
damagedObs__w1
(damaged__w1′
(true (damagedObs__w1′
(true (0.906268373131752))
(false (0.09373162686824799))))
(false (damagedObs__w1′
(true (0.068904884))
(false (0.9310951160000001)))))
damagedObs__p1
(damaged__p1′
(true (damagedObs__p1′
(true (0.8))
(false (0.2))))
(false (damagedObs__p1′
(true (0.2))
(false (0.8)))))
endobserve
endaction

action repair__a1_w1
damaged__l1
(damaged__l1
(true (damaged__l1′
(true (1.0))
(false (0.0))))
(false (agentAt__a1_x1_y1
(true (damaged__l1′
(true (0.33066183))
(false (0.6693381700000001))))
(false (damaged__l1′
(true (0.0))
(false (1.0)))))))
damaged__w1
(damaged__w1
(true (agentAt__a1_x0_y1
(true (damaged__w1′
(true (0.0))
(false (1.0))))
(false (damaged__w1′
(true (1.0))
(false (0.0))))))
(false (agentAt__a1_x0_y1
(true (damaged__w1′
(true (0.0))
(false (1.0))))
(false (agentAt__a1_x1_y1
(true (damaged__w1′
(true (0.29469067))
(false (0.70530933))))
(false (damaged__w1′
(true (0.0))
(false (1.0)))))))))
damaged__p1
(damaged__p1
(true (damaged__p1′
(true (1.0))
(false (0.0))))
(false (damaged__p1′
(true (0.0))
(false (1.0)))))
oneStep
(oneStep’
(true (1.0))
(false (0.0)))
agentAt__a1_x0_y0
(agentAt__a1_x0_y0
(true (agentAt__a1_x0_y0′
(true (1.0))
(false (0.0))))
(false (agentAt__a1_x0_y0′
(true (0.0))
(false (1.0)))))
agentAt__a1_x0_y1
(agentAt__a1_x0_y1
(true (agentAt__a1_x0_y1′
(true (1.0))
(false (0.0))))
(false (agentAt__a1_x0_y1′
(true (0.0))
(false (1.0)))))
agentAt__a1_x1_y0
(agentAt__a1_x1_y0
(true (agentAt__a1_x1_y0′
(true (1.0))
(false (0.0))))
(false (agentAt__a1_x1_y0′
(true (0.0))
(false (1.0)))))
agentAt__a1_x1_y1
(agentAt__a1_x1_y1
(true (agentAt__a1_x1_y1′
(true (1.0))
(false (0.0))))
(false (agentAt__a1_x1_y1′
(true (0.0))
(false (1.0)))))
lifeDetected__o0
(lifeDetected__o0
(true (lifeDetected__o0′
(true (1.0))
(false (0.0))))
(false (lifeDetected__o0′
(true (0.0))
(false (1.0)))))
lifeDetected__o1
(lifeDetected__o1
(true (lifeDetected__o1′
(true (1.0))
(false (0.0))))
(false (lifeDetected__o1′
(true (0.0))
(false (1.0)))))
lifeDetected__o2
(lifeDetected__o2
(true (lifeDetected__o2′
(true (1.0))
(false (0.0))))
(false (lifeDetected__o2′
(true (0.0))
(false (1.0)))))
lifeDetected__o3
(lifeDetected__o3
(true (lifeDetected__o3′
(true (1.0))
(false (0.0))))
(false (lifeDetected__o3′
(true (0.0))
(false (1.0)))))
HAS_LIFE__o0
(HAS_LIFE__o0
(true (HAS_LIFE__o0′
(true (1.0))
(false (0.0))))
(false (twoStep
(true (HAS_LIFE__o0′
(true (0.0))
(false (1.0))))
(false (HAS_WATER__o0
(true (HAS_LIFE__o0′
(true (0.7))
(false (0.30000000000000004))))
(false (HAS_LIFE__o0′
(true (0.0))
(false (1.0)))))))))
HAS_LIFE__o1
(HAS_LIFE__o1
(true (HAS_LIFE__o1′
(true (1.0))
(false (0.0))))
(false (twoStep
(true (HAS_LIFE__o1′
(true (0.0))
(false (1.0))))
(false (HAS_WATER__o1
(true (HAS_LIFE__o1′
(true (0.7))
(false (0.30000000000000004))))
(false (HAS_LIFE__o1′
(true (0.0))
(false (1.0)))))))))
HAS_LIFE__o2
(HAS_LIFE__o2
(true (HAS_LIFE__o2′
(true (1.0))
(false (0.0))))
(false (twoStep
(true (HAS_LIFE__o2′
(true (0.0))
(false (1.0))))
(false (HAS_WATER__o2
(true (HAS_LIFE__o2′
(true (0.7))
(false (0.30000000000000004))))
(false (HAS_LIFE__o2′
(true (0.0))
(false (1.0)))))))))
HAS_LIFE__o3
(HAS_LIFE__o3
(true (HAS_LIFE__o3′
(true (1.0))
(false (0.0))))
(false (twoStep
(true (HAS_LIFE__o3′
(true (0.0))
(false (1.0))))
(false (HAS_WATER__o3
(true (HAS_LIFE__o3′
(true (0.7))
(false (0.30000000000000004))))
(false (HAS_LIFE__o3′
(true (0.0))
(false (1.0)))))))))
pictureTaken__o0
(pictureTaken__o0′
(true (0.0))
(false (1.0)))
pictureTaken__o1
(pictureTaken__o1′
(true (0.0))
(false (1.0)))
pictureTaken__o2
(pictureTaken__o2′
(true (0.0))
(false (1.0)))
pictureTaken__o3
(pictureTaken__o3′
(true (0.0))
(false (1.0)))
twoStep
(oneStep
(true (twoStep’
(true (1.0))
(false (0.0))))
(false (twoStep’
(true (0.0))
(false (1.0)))))
waterDetected__o0
(waterDetected__o0
(true (waterDetected__o0′
(true (1.0))
(false (0.0))))
(false (waterDetected__o0′
(true (0.0))
(false (1.0)))))
waterDetected__o1
(waterDetected__o1
(true (waterDetected__o1′
(true (1.0))
(false (0.0))))
(false (waterDetected__o1′
(true (0.0))
(false (1.0)))))
waterDetected__o2
(waterDetected__o2
(true (waterDetected__o2′
(true (1.0))
(false (0.0))))
(false (waterDetected__o2′
(true (0.0))
(false (1.0)))))
waterDetected__o3
(waterDetected__o3
(true (waterDetected__o3′
(true (1.0))
(false (0.0))))
(false (waterDetected__o3′
(true (0.0))
(false (1.0)))))
HAS_WATER__o0
(oneStep
(true (HAS_WATER__o0
(true (HAS_WATER__o0′
(true (1.0))
(false (0.0))))
(false (HAS_WATER__o0′
(true (0.0))
(false (1.0))))))
(false (HAS_WATER__o0
(true (HAS_WATER__o0′
(true (1.0))
(false (0.0))))
(false (HAS_WATER__o0′
(true (0.8))
(false (0.2)))))))
HAS_WATER__o1
(oneStep
(true (HAS_WATER__o1
(true (HAS_WATER__o1′
(true (1.0))
(false (0.0))))
(false (HAS_WATER__o1′
(true (0.0))
(false (1.0))))))
(false (HAS_WATER__o1
(true (HAS_WATER__o1′
(true (1.0))
(false (0.0))))
(false (HAS_WATER__o1′
(true (0.8))
(false (0.2)))))))
HAS_WATER__o2
(oneStep
(true (HAS_WATER__o2
(true (HAS_WATER__o2′
(true (1.0))
(false (0.0))))
(false (HAS_WATER__o2′
(true (0.0))
(false (1.0))))))
(false (HAS_WATER__o2
(true (HAS_WATER__o2′
(true (1.0))
(false (0.0))))
(false (HAS_WATER__o2′
(true (0.8))
(false (0.2)))))))
HAS_WATER__o3
(oneStep
(true (HAS_WATER__o3
(true (HAS_WATER__o3′
(true (1.0))
(false (0.0))))
(false (HAS_WATER__o3′
(true (0.0))
(false (1.0))))))
(false (HAS_WATER__o3
(true (HAS_WATER__o3′
(true (1.0))
(false (0.0))))
(false (HAS_WATER__o3′
(true (0.8))
(false (0.2)))))))
observe
lifeDetectedObs__o0
(lifeDetected__o0′
(true (lifeDetectedObs__o0′
(true (1.0))
(false (0.0))))
(false (lifeDetectedObs__o0′
(true (0.0))
(false (1.0)))))
lifeDetectedObs__o1
(lifeDetected__o1′
(true (lifeDetectedObs__o1′
(true (1.0))
(false (0.0))))
(false (lifeDetectedObs__o1′
(true (0.0))
(false (1.0)))))
lifeDetectedObs__o2
(lifeDetected__o2′
(true (lifeDetectedObs__o2′
(true (1.0))
(false (0.0))))
(false (lifeDetectedObs__o2′
(true (0.0))
(false (1.0)))))
lifeDetectedObs__o3
(lifeDetected__o3′
(true (lifeDetectedObs__o3′
(true (1.0))
(false (0.0))))
(false (lifeDetectedObs__o3′
(true (0.0))
(false (1.0)))))
waterDetectedObs__o0
(waterDetected__o0′
(true (waterDetectedObs__o0′
(true (1.0))
(false (0.0))))
(false (waterDetectedObs__o0′
(true (0.0))
(false (1.0)))))
waterDetectedObs__o1
(waterDetected__o1′
(true (waterDetectedObs__o1′
(true (1.0))
(false (0.0))))
(false (waterDetectedObs__o1′
(true (0.0))
(false (1.0)))))
waterDetectedObs__o2
(waterDetected__o2′
(true (waterDetectedObs__o2′
(true (1.0))
(false (0.0))))
(false (waterDetectedObs__o2′
(true (0.0))
(false (1.0)))))
waterDetectedObs__o3
(waterDetected__o3′
(true (waterDetectedObs__o3′
(true (1.0))
(false (0.0))))
(false (waterDetectedObs__o3′
(true (0.0))
(false (1.0)))))
damagedObs__l1
(damaged__l1′
(true (damagedObs__l1′
(true (0.9048146903514862))
(false (0.0951853096485138))))
(false (damagedObs__l1′
(true (0.06824952))
(false (0.93175048)))))
damagedObs__w1
(damaged__w1′
(true (damagedObs__w1′
(true (0.906268373131752))
(false (0.09373162686824799))))
(false (damagedObs__w1′
(true (0.068904884))
(false (0.9310951160000001)))))
damagedObs__p1
(damaged__p1′
(true (damagedObs__p1′
(true (0.8))
(false (0.2))))
(false (damagedObs__p1′
(true (0.2))
(false (0.8)))))
endobserve
endaction

action right__a1
damaged__l1
(damaged__l1
(true (damaged__l1′
(true (1.0))
(false (0.0))))
(false (agentAt__a1_x1_y1
(true (damaged__l1′
(true (0.33066183))
(false (0.6693381700000001))))
(false (damaged__l1′
(true (0.0))
(false (1.0)))))))
damaged__w1
(damaged__w1
(true (damaged__w1′
(true (1.0))
(false (0.0))))
(false (agentAt__a1_x1_y1
(true (damaged__w1′
(true (0.29469067))
(false (0.70530933))))
(false (damaged__w1′
(true (0.0))
(false (1.0)))))))
damaged__p1
(damaged__p1
(true (damaged__p1′
(true (1.0))
(false (0.0))))
(false (damaged__p1′
(true (0.0))
(false (1.0)))))
oneStep
(oneStep’
(true (1.0))
(false (0.0)))
agentAt__a1_x0_y0
(agentAt__a1_x0_y0′
(true (0.0))
(false (1.0)))
agentAt__a1_x0_y1
(agentAt__a1_x0_y1′
(true (0.0))
(false (1.0)))
agentAt__a1_x1_y0
(agentAt__a1_x0_y0
(true (agentAt__a1_x1_y0′
(true (1.0))
(false (0.0))))
(false (agentAt__a1_x1_y0
(true (agentAt__a1_x1_y0′
(true (1.0))
(false (0.0))))
(false (agentAt__a1_x1_y0′
(true (0.0))
(false (1.0)))))))
agentAt__a1_x1_y1
(agentAt__a1_x0_y1
(true (agentAt__a1_x1_y1′
(true (1.0))
(false (0.0))))
(false (agentAt__a1_x1_y1
(true (agentAt__a1_x1_y1′
(true (1.0))
(false (0.0))))
(false (agentAt__a1_x1_y1′
(true (0.0))
(false (1.0)))))))
lifeDetected__o0
(lifeDetected__o0
(true (lifeDetected__o0′
(true (1.0))
(false (0.0))))
(false (lifeDetected__o0′
(true (0.0))
(false (1.0)))))
lifeDetected__o1
(lifeDetected__o1
(true (lifeDetected__o1′
(true (1.0))
(false (0.0))))
(false (lifeDetected__o1′
(true (0.0))
(false (1.0)))))
lifeDetected__o2
(lifeDetected__o2
(true (lifeDetected__o2′
(true (1.0))
(false (0.0))))
(false (lifeDetected__o2′
(true (0.0))
(false (1.0)))))
lifeDetected__o3
(lifeDetected__o3
(true (lifeDetected__o3′
(true (1.0))
(false (0.0))))
(false (lifeDetected__o3′
(true (0.0))
(false (1.0)))))
HAS_LIFE__o0
(HAS_LIFE__o0
(true (HAS_LIFE__o0′
(true (1.0))
(false (0.0))))
(false (twoStep
(true (HAS_LIFE__o0′
(true (0.0))
(false (1.0))))
(false (HAS_WATER__o0
(true (HAS_LIFE__o0′
(true (0.7))
(false (0.30000000000000004))))
(false (HAS_LIFE__o0′
(true (0.0))
(false (1.0)))))))))
HAS_LIFE__o1
(HAS_LIFE__o1
(true (HAS_LIFE__o1′
(true (1.0))
(false (0.0))))
(false (twoStep
(true (HAS_LIFE__o1′
(true (0.0))
(false (1.0))))
(false (HAS_WATER__o1
(true (HAS_LIFE__o1′
(true (0.7))
(false (0.30000000000000004))))
(false (HAS_LIFE__o1′
(true (0.0))
(false (1.0)))))))))
HAS_LIFE__o2
(HAS_LIFE__o2
(true (HAS_LIFE__o2′
(true (1.0))
(false (0.0))))
(false (twoStep
(true (HAS_LIFE__o2′
(true (0.0))
(false (1.0))))
(false (HAS_WATER__o2
(true (HAS_LIFE__o2′
(true (0.7))
(false (0.30000000000000004))))
(false (HAS_LIFE__o2′
(true (0.0))
(false (1.0)))))))))
HAS_LIFE__o3
(HAS_LIFE__o3
(true (HAS_LIFE__o3′
(true (1.0))
(false (0.0))))
(false (twoStep
(true (HAS_LIFE__o3′
(true (0.0))
(false (1.0))))
(false (HAS_WATER__o3
(true (HAS_LIFE__o3′
(true (0.7))
(false (0.30000000000000004))))
(false (HAS_LIFE__o3′
(true (0.0))
(false (1.0)))))))))
pictureTaken__o0
(pictureTaken__o0′
(true (0.0))
(false (1.0)))
pictureTaken__o1
(pictureTaken__o1′
(true (0.0))
(false (1.0)))
pictureTaken__o2
(pictureTaken__o2′
(true (0.0))
(false (1.0)))
pictureTaken__o3
(pictureTaken__o3′
(true (0.0))
(false (1.0)))
twoStep
(oneStep
(true (twoStep’
(true (1.0))
(false (0.0))))
(false (twoStep’
(true (0.0))
(false (1.0)))))
waterDetected__o0
(waterDetected__o0
(true (waterDetected__o0′
(true (1.0))
(false (0.0))))
(false (waterDetected__o0′
(true (0.0))
(false (1.0)))))
waterDetected__o1
(waterDetected__o1
(true (waterDetected__o1′
(true (1.0))
(false (0.0))))
(false (waterDetected__o1′
(true (0.0))
(false (1.0)))))
waterDetected__o2
(waterDetected__o2
(true (waterDetected__o2′
(true (1.0))
(false (0.0))))
(false (waterDetected__o2′
(true (0.0))
(false (1.0)))))
waterDetected__o3
(waterDetected__o3
(true (waterDetected__o3′
(true (1.0))
(false (0.0))))
(false (waterDetected__o3′
(true (0.0))
(false (1.0)))))
HAS_WATER__o0
(oneStep
(true (HAS_WATER__o0
(true (HAS_WATER__o0′
(true (1.0))
(false (0.0))))
(false (HAS_WATER__o0′
(true (0.0))
(false (1.0))))))
(false (HAS_WATER__o0
(true (HAS_WATER__o0′
(true (1.0))
(false (0.0))))
(false (HAS_WATER__o0′
(true (0.8))
(false (0.2)))))))
HAS_WATER__o1
(oneStep
(true (HAS_WATER__o1
(true (HAS_WATER__o1′
(true (1.0))
(false (0.0))))
(false (HAS_WATER__o1′
(true (0.0))
(false (1.0))))))
(false (HAS_WATER__o1
(true (HAS_WATER__o1′
(true (1.0))
(false (0.0))))
(false (HAS_WATER__o1′
(true (0.8))
(false (0.2)))))))
HAS_WATER__o2
(oneStep
(true (HAS_WATER__o2
(true (HAS_WATER__o2′
(true (1.0))
(false (0.0))))
(false (HAS_WATER__o2′
(true (0.0))
(false (1.0))))))
(false (HAS_WATER__o2
(true (HAS_WATER__o2′
(true (1.0))
(false (0.0))))
(false (HAS_WATER__o2′
(true (0.8))
(false (0.2)))))))
HAS_WATER__o3
(oneStep
(true (HAS_WATER__o3
(true (HAS_WATER__o3′
(true (1.0))
(false (0.0))))
(false (HAS_WATER__o3′
(true (0.0))
(false (1.0))))))
(false (HAS_WATER__o3
(true (HAS_WATER__o3′
(true (1.0))
(false (0.0))))
(false (HAS_WATER__o3′
(true (0.8))
(false (0.2)))))))
observe
lifeDetectedObs__o0
(lifeDetected__o0′
(true (lifeDetectedObs__o0′
(true (1.0))
(false (0.0))))
(false (lifeDetectedObs__o0′
(true (0.0))
(false (1.0)))))
lifeDetectedObs__o1
(lifeDetected__o1′
(true (lifeDetectedObs__o1′
(true (1.0))
(false (0.0))))
(false (lifeDetectedObs__o1′
(true (0.0))
(false (1.0)))))
lifeDetectedObs__o2
(lifeDetected__o2′
(true (lifeDetectedObs__o2′
(true (1.0))
(false (0.0))))
(false (lifeDetectedObs__o2′
(true (0.0))
(false (1.0)))))
lifeDetectedObs__o3
(lifeDetected__o3′
(true (lifeDetectedObs__o3′
(true (1.0))
(false (0.0))))
(false (lifeDetectedObs__o3′
(true (0.0))
(false (1.0)))))
waterDetectedObs__o0
(waterDetected__o0′
(true (waterDetectedObs__o0′
(true (1.0))
(false (0.0))))
(false (waterDetectedObs__o0′
(true (0.0))
(false (1.0)))))
waterDetectedObs__o1
(waterDetected__o1′
(true (waterDetectedObs__o1′
(true (1.0))
(false (0.0))))
(false (waterDetectedObs__o1′
(true (0.0))
(false (1.0)))))
waterDetectedObs__o2
(waterDetected__o2′
(true (waterDetectedObs__o2′
(true (1.0))
(false (0.0))))
(false (waterDetectedObs__o2′
(true (0.0))
(false (1.0)))))
waterDetectedObs__o3
(waterDetected__o3′
(true (waterDetectedObs__o3′
(true (1.0))
(false (0.0))))
(false (waterDetectedObs__o3′
(true (0.0))
(false (1.0)))))
damagedObs__l1
(damaged__l1′
(true (damagedObs__l1′
(true (0.9048146903514862))
(false (0.0951853096485138))))
(false (damagedObs__l1′
(true (0.06824952))
(false (0.93175048)))))
damagedObs__w1
(damaged__w1′
(true (damagedObs__w1′
(true (0.906268373131752))
(false (0.09373162686824799))))
(false (damagedObs__w1′
(true (0.068904884))
(false (0.9310951160000001)))))
damagedObs__p1
(damaged__p1′
(true (damagedObs__p1′
(true (0.8))
(false (0.2))))
(false (damagedObs__p1′
(true (0.2))
(false (0.8)))))
endobserve
endaction

action up__a1
damaged__l1
(damaged__l1
(true (damaged__l1′
(true (1.0))
(false (0.0))))
(false (agentAt__a1_x1_y1
(true (damaged__l1′
(true (0.33066183))
(false (0.6693381700000001))))
(false (damaged__l1′
(true (0.0))
(false (1.0)))))))
damaged__w1
(damaged__w1
(true (damaged__w1′
(true (1.0))
(false (0.0))))
(false (agentAt__a1_x1_y1
(true (damaged__w1′
(true (0.29469067))
(false (0.70530933))))
(false (damaged__w1′
(true (0.0))
(false (1.0)))))))
damaged__p1
(damaged__p1
(true (damaged__p1′
(true (1.0))
(false (0.0))))
(false (damaged__p1′
(true (0.0))
(false (1.0)))))
oneStep
(oneStep’
(true (1.0))
(false (0.0)))
agentAt__a1_x0_y0
(agentAt__a1_x0_y0′
(true (0.0))
(false (1.0)))
agentAt__a1_x0_y1
(agentAt__a1_x0_y0
(true (agentAt__a1_x0_y1′
(true (1.0))
(false (0.0))))
(false (agentAt__a1_x0_y1
(true (agentAt__a1_x0_y1′
(true (1.0))
(false (0.0))))
(false (agentAt__a1_x0_y1′
(true (0.0))
(false (1.0)))))))
agentAt__a1_x1_y0
(agentAt__a1_x1_y0′
(true (0.0))
(false (1.0)))
agentAt__a1_x1_y1
(agentAt__a1_x1_y0
(true (agentAt__a1_x1_y1′
(true (1.0))
(false (0.0))))
(false (agentAt__a1_x1_y1
(true (agentAt__a1_x1_y1′
(true (1.0))
(false (0.0))))
(false (agentAt__a1_x1_y1′
(true (0.0))
(false (1.0)))))))
lifeDetected__o0
(lifeDetected__o0
(true (lifeDetected__o0′
(true (1.0))
(false (0.0))))
(false (lifeDetected__o0′
(true (0.0))
(false (1.0)))))
lifeDetected__o1
(lifeDetected__o1
(true (lifeDetected__o1′
(true (1.0))
(false (0.0))))
(false (lifeDetected__o1′
(true (0.0))
(false (1.0)))))
lifeDetected__o2
(lifeDetected__o2
(true (lifeDetected__o2′
(true (1.0))
(false (0.0))))
(false (lifeDetected__o2′
(true (0.0))
(false (1.0)))))
lifeDetected__o3
(lifeDetected__o3
(true (lifeDetected__o3′
(true (1.0))
(false (0.0))))
(false (lifeDetected__o3′
(true (0.0))
(false (1.0)))))
HAS_LIFE__o0
(HAS_LIFE__o0
(true (HAS_LIFE__o0′
(true (1.0))
(false (0.0))))
(false (twoStep
(true (HAS_LIFE__o0′
(true (0.0))
(false (1.0))))
(false (HAS_WATER__o0
(true (HAS_LIFE__o0′
(true (0.7))
(false (0.30000000000000004))))
(false (HAS_LIFE__o0′
(true (0.0))
(false (1.0)))))))))
HAS_LIFE__o1
(HAS_LIFE__o1
(true (HAS_LIFE__o1′
(true (1.0))
(false (0.0))))
(false (twoStep
(true (HAS_LIFE__o1′
(true (0.0))
(false (1.0))))
(false (HAS_WATER__o1
(true (HAS_LIFE__o1′
(true (0.7))
(false (0.30000000000000004))))
(false (HAS_LIFE__o1′
(true (0.0))
(false (1.0)))))))))
HAS_LIFE__o2
(HAS_LIFE__o2
(true (HAS_LIFE__o2′
(true (1.0))
(false (0.0))))
(false (twoStep
(true (HAS_LIFE__o2′
(true (0.0))
(false (1.0))))
(false (HAS_WATER__o2
(true (HAS_LIFE__o2′
(true (0.7))
(false (0.30000000000000004))))
(false (HAS_LIFE__o2′
(true (0.0))
(false (1.0)))))))))
HAS_LIFE__o3
(HAS_LIFE__o3
(true (HAS_LIFE__o3′
(true (1.0))
(false (0.0))))
(false (twoStep
(true (HAS_LIFE__o3′
(true (0.0))
(false (1.0))))
(false (HAS_WATER__o3
(true (HAS_LIFE__o3′
(true (0.7))
(false (0.30000000000000004))))
(false (HAS_LIFE__o3′
(true (0.0))
(false (1.0)))))))))
pictureTaken__o0
(pictureTaken__o0′
(true (0.0))
(false (1.0)))
pictureTaken__o1
(pictureTaken__o1′
(true (0.0))
(false (1.0)))
pictureTaken__o2
(pictureTaken__o2′
(true (0.0))
(false (1.0)))
pictureTaken__o3
(pictureTaken__o3′
(true (0.0))
(false (1.0)))
twoStep
(oneStep
(true (twoStep’
(true (1.0))
(false (0.0))))
(false (twoStep’
(true (0.0))
(false (1.0)))))
waterDetected__o0
(waterDetected__o0
(true (waterDetected__o0′
(true (1.0))
(false (0.0))))
(false (waterDetected__o0′
(true (0.0))
(false (1.0)))))
waterDetected__o1
(waterDetected__o1
(true (waterDetected__o1′
(true (1.0))
(false (0.0))))
(false (waterDetected__o1′
(true (0.0))
(false (1.0)))))
waterDetected__o2
(waterDetected__o2
(true (waterDetected__o2′
(true (1.0))
(false (0.0))))
(false (waterDetected__o2′
(true (0.0))
(false (1.0)))))
waterDetected__o3
(waterDetected__o3
(true (waterDetected__o3′
(true (1.0))
(false (0.0))))
(false (waterDetected__o3′
(true (0.0))
(false (1.0)))))
HAS_WATER__o0
(oneStep
(true (HAS_WATER__o0
(true (HAS_WATER__o0′
(true (1.0))
(false (0.0))))
(false (HAS_WATER__o0′
(true (0.0))
(false (1.0))))))
(false (HAS_WATER__o0
(true (HAS_WATER__o0′
(true (1.0))
(false (0.0))))
(false (HAS_WATER__o0′
(true (0.8))
(false (0.2)))))))
HAS_WATER__o1
(oneStep
(true (HAS_WATER__o1
(true (HAS_WATER__o1′
(true (1.0))
(false (0.0))))
(false (HAS_WATER__o1′
(true (0.0))
(false (1.0))))))
(false (HAS_WATER__o1
(true (HAS_WATER__o1′
(true (1.0))
(false (0.0))))
(false (HAS_WATER__o1′
(true (0.8))
(false (0.2)))))))
HAS_WATER__o2
(oneStep
(true (HAS_WATER__o2
(true (HAS_WATER__o2′
(true (1.0))
(false (0.0))))
(false (HAS_WATER__o2′
(true (0.0))
(false (1.0))))))
(false (HAS_WATER__o2
(true (HAS_WATER__o2′
(true (1.0))
(false (0.0))))
(false (HAS_WATER__o2′
(true (0.8))
(false (0.2)))))))
HAS_WATER__o3
(oneStep
(true (HAS_WATER__o3
(true (HAS_WATER__o3′
(true (1.0))
(false (0.0))))
(false (HAS_WATER__o3′
(true (0.0))
(false (1.0))))))
(false (HAS_WATER__o3
(true (HAS_WATER__o3′
(true (1.0))
(false (0.0))))
(false (HAS_WATER__o3′
(true (0.8))
(false (0.2)))))))
observe
lifeDetectedObs__o0
(lifeDetected__o0′
(true (lifeDetectedObs__o0′
(true (1.0))
(false (0.0))))
(false (lifeDetectedObs__o0′
(true (0.0))
(false (1.0)))))
lifeDetectedObs__o1
(lifeDetected__o1′
(true (lifeDetectedObs__o1′
(true (1.0))
(false (0.0))))
(false (lifeDetectedObs__o1′
(true (0.0))
(false (1.0)))))
lifeDetectedObs__o2
(lifeDetected__o2′
(true (lifeDetectedObs__o2′
(true (1.0))
(false (0.0))))
(false (lifeDetectedObs__o2′
(true (0.0))
(false (1.0)))))
lifeDetectedObs__o3
(lifeDetected__o3′
(true (lifeDetectedObs__o3′
(true (1.0))
(false (0.0))))
(false (lifeDetectedObs__o3′
(true (0.0))
(false (1.0)))))
waterDetectedObs__o0
(waterDetected__o0′
(true (waterDetectedObs__o0′
(true (1.0))
(false (0.0))))
(false (waterDetectedObs__o0′
(true (0.0))
(false (1.0)))))
waterDetectedObs__o1
(waterDetected__o1′
(true (waterDetectedObs__o1′
(true (1.0))
(false (0.0))))
(false (waterDetectedObs__o1′
(true (0.0))
(false (1.0)))))
waterDetectedObs__o2
(waterDetected__o2′
(true (waterDetectedObs__o2′
(true (1.0))
(false (0.0))))
(false (waterDetectedObs__o2′
(true (0.0))
(false (1.0)))))
waterDetectedObs__o3
(waterDetected__o3′
(true (waterDetectedObs__o3′
(true (1.0))
(false (0.0))))
(false (waterDetectedObs__o3′
(true (0.0))
(false (1.0)))))
damagedObs__l1
(damaged__l1′
(true (damagedObs__l1′
(true (0.9048146903514862))
(false (0.0951853096485138))))
(false (damagedObs__l1′
(true (0.06824952))
(false (0.93175048)))))
damagedObs__w1
(damaged__w1′
(true (damagedObs__w1′
(true (0.906268373131752))
(false (0.09373162686824799))))
(false (damagedObs__w1′
(true (0.068904884))
(false (0.9310951160000001)))))
damagedObs__p1
(damaged__p1′
(true (damagedObs__p1′
(true (0.8))
(false (0.2))))
(false (damagedObs__p1′
(true (0.2))
(false (0.8)))))
endobserve
endaction

action useToolOn__a1_l1_o0
damaged__l1
(damaged__l1
(true (damaged__l1′
(true (1.0))
(false (0.0))))
(false (agentAt__a1_x1_y1
(true (damaged__l1′
(true (0.33066183))
(false (0.6693381700000001))))
(false (damaged__l1′
(true (0.0))
(false (1.0)))))))
damaged__w1
(damaged__w1
(true (damaged__w1′
(true (1.0))
(false (0.0))))
(false (agentAt__a1_x1_y1
(true (damaged__w1′
(true (0.29469067))
(false (0.70530933))))
(false (damaged__w1′
(true (0.0))
(false (1.0)))))))
damaged__p1
(damaged__p1
(true (damaged__p1′
(true (1.0))
(false (0.0))))
(false (damaged__p1′
(true (0.0))
(false (1.0)))))
oneStep
(oneStep’
(true (1.0))
(false (0.0)))
agentAt__a1_x0_y0
(agentAt__a1_x0_y0
(true (agentAt__a1_x0_y0′
(true (1.0))
(false (0.0))))
(false (agentAt__a1_x0_y0′
(true (0.0))
(false (1.0)))))
agentAt__a1_x0_y1
(agentAt__a1_x0_y1
(true (agentAt__a1_x0_y1′
(true (1.0))
(false (0.0))))
(false (agentAt__a1_x0_y1′
(true (0.0))
(false (1.0)))))
agentAt__a1_x1_y0
(agentAt__a1_x1_y0
(true (agentAt__a1_x1_y0′
(true (1.0))
(false (0.0))))
(false (agentAt__a1_x1_y0′
(true (0.0))
(false (1.0)))))
agentAt__a1_x1_y1
(agentAt__a1_x1_y1
(true (agentAt__a1_x1_y1′
(true (1.0))
(false (0.0))))
(false (agentAt__a1_x1_y1′
(true (0.0))
(false (1.0)))))
lifeDetected__o0
(damaged__l1
(true (agentAt__a1_x0_y0
(true (lifeDetected__o0
(true (lifeDetected__o0′
(true (1.0))
(false (0.0))))
(false (HAS_LIFE__o0
(true (waterDetected__o0
(true (lifeDetected__o0′
(true (0.4))
(false (0.6))))
(false (lifeDetected__o0′
(true (0.0))
(false (1.0))))))
(false (lifeDetected__o0′
(true (0.0))
(false (1.0))))))))
(false (lifeDetected__o0
(true (lifeDetected__o0′
(true (1.0))
(false (0.0))))
(false (lifeDetected__o0′
(true (0.0))
(false (1.0))))))))
(false (agentAt__a1_x0_y0
(true (lifeDetected__o0
(true (lifeDetected__o0′
(true (1.0))
(false (0.0))))
(false (HAS_LIFE__o0
(true (waterDetected__o0
(true (lifeDetected__o0′
(true (0.8))
(false (0.2))))
(false (lifeDetected__o0′
(true (0.0))
(false (1.0))))))
(false (lifeDetected__o0′
(true (0.0))
(false (1.0))))))))
(false (lifeDetected__o0
(true (lifeDetected__o0′
(true (1.0))
(false (0.0))))
(false (lifeDetected__o0′
(true (0.0))
(false (1.0)))))))))
lifeDetected__o1
(lifeDetected__o1
(true (lifeDetected__o1′
(true (1.0))
(false (0.0))))
(false (lifeDetected__o1′
(true (0.0))
(false (1.0)))))
lifeDetected__o2
(lifeDetected__o2
(true (lifeDetected__o2′
(true (1.0))
(false (0.0))))
(false (lifeDetected__o2′
(true (0.0))
(false (1.0)))))
lifeDetected__o3
(lifeDetected__o3
(true (lifeDetected__o3′
(true (1.0))
(false (0.0))))
(false (lifeDetected__o3′
(true (0.0))
(false (1.0)))))
HAS_LIFE__o0
(HAS_LIFE__o0
(true (HAS_LIFE__o0′
(true (1.0))
(false (0.0))))
(false (twoStep
(true (HAS_LIFE__o0′
(true (0.0))
(false (1.0))))
(false (HAS_WATER__o0
(true (HAS_LIFE__o0′
(true (0.7))
(false (0.30000000000000004))))
(false (HAS_LIFE__o0′
(true (0.0))
(false (1.0)))))))))
HAS_LIFE__o1
(HAS_LIFE__o1
(true (HAS_LIFE__o1′
(true (1.0))
(false (0.0))))
(false (twoStep
(true (HAS_LIFE__o1′
(true (0.0))
(false (1.0))))
(false (HAS_WATER__o1
(true (HAS_LIFE__o1′
(true (0.7))
(false (0.30000000000000004))))
(false (HAS_LIFE__o1′
(true (0.0))
(false (1.0)))))))))
HAS_LIFE__o2
(HAS_LIFE__o2
(true (HAS_LIFE__o2′
(true (1.0))
(false (0.0))))
(false (twoStep
(true (HAS_LIFE__o2′
(true (0.0))
(false (1.0))))
(false (HAS_WATER__o2
(true (HAS_LIFE__o2′
(true (0.7))
(false (0.30000000000000004))))
(false (HAS_LIFE__o2′
(true (0.0))
(false (1.0)))))))))
HAS_LIFE__o3
(HAS_LIFE__o3
(true (HAS_LIFE__o3′
(true (1.0))
(false (0.0))))
(false (twoStep
(true (HAS_LIFE__o3′
(true (0.0))
(false (1.0))))
(false (HAS_WATER__o3
(true (HAS_LIFE__o3′
(true (0.7))
(false (0.30000000000000004))))
(false (HAS_LIFE__o3′
(true (0.0))
(false (1.0)))))))))
pictureTaken__o0
(pictureTaken__o0′
(true (0.0))
(false (1.0)))
pictureTaken__o1
(pictureTaken__o1′
(true (0.0))
(false (1.0)))
pictureTaken__o2
(pictureTaken__o2′
(true (0.0))
(false (1.0)))
pictureTaken__o3
(pictureTaken__o3′
(true (0.0))
(false (1.0)))
twoStep
(oneStep
(true (twoStep’
(true (1.0))
(false (0.0))))
(false (twoStep’
(true (0.0))
(false (1.0)))))
waterDetected__o0
(waterDetected__o0
(true (waterDetected__o0′
(true (1.0))
(false (0.0))))
(false (waterDetected__o0′
(true (0.0))
(false (1.0)))))
waterDetected__o1
(waterDetected__o1
(true (waterDetected__o1′
(true (1.0))
(false (0.0))))
(false (waterDetected__o1′
(true (0.0))
(false (1.0)))))
waterDetected__o2
(waterDetected__o2
(true (waterDetected__o2′
(true (1.0))
(false (0.0))))
(false (waterDetected__o2′
(true (0.0))
(false (1.0)))))
waterDetected__o3
(waterDetected__o3
(true (waterDetected__o3′
(true (1.0))
(false (0.0))))
(false (waterDetected__o3′
(true (0.0))
(false (1.0)))))
HAS_WATER__o0
(oneStep
(true (HAS_WATER__o0
(true (HAS_WATER__o0′
(true (1.0))
(false (0.0))))
(false (HAS_WATER__o0′
(true (0.0))
(false (1.0))))))
(false (HAS_WATER__o0
(true (HAS_WATER__o0′
(true (1.0))
(false (0.0))))
(false (HAS_WATER__o0′
(true (0.8))
(false (0.2)))))))
HAS_WATER__o1
(oneStep
(true (HAS_WATER__o1
(true (HAS_WATER__o1′
(true (1.0))
(false (0.0))))
(false (HAS_WATER__o1′
(true (0.0))
(false (1.0))))))
(false (HAS_WATER__o1
(true (HAS_WATER__o1′
(true (1.0))
(false (0.0))))
(false (HAS_WATER__o1′
(true (0.8))
(false (0.2)))))))
HAS_WATER__o2
(oneStep
(true (HAS_WATER__o2
(true (HAS_WATER__o2′
(true (1.0))
(false (0.0))))
(false (HAS_WATER__o2′
(true (0.0))
(false (1.0))))))
(false (HAS_WATER__o2
(true (HAS_WATER__o2′
(true (1.0))
(false (0.0))))
(false (HAS_WATER__o2′
(true (0.8))
(false (0.2)))))))
HAS_WATER__o3
(oneStep
(true (HAS_WATER__o3
(true (HAS_WATER__o3′
(true (1.0))
(false (0.0))))
(false (HAS_WATER__o3′
(true (0.0))
(false (1.0))))))
(false (HAS_WATER__o3
(true (HAS_WATER__o3′
(true (1.0))
(false (0.0))))
(false (HAS_WATER__o3′
(true (0.8))
(false (0.2)))))))
observe
lifeDetectedObs__o0
(lifeDetected__o0′
(true (lifeDetectedObs__o0′
(true (1.0))
(false (0.0))))
(false (lifeDetectedObs__o0′
(true (0.0))
(false (1.0)))))
lifeDetectedObs__o1
(lifeDetected__o1′
(true (lifeDetectedObs__o1′
(true (1.0))
(false (0.0))))
(false (lifeDetectedObs__o1′
(true (0.0))
(false (1.0)))))
lifeDetectedObs__o2
(lifeDetected__o2′
(true (lifeDetectedObs__o2′
(true (1.0))
(false (0.0))))
(false (lifeDetectedObs__o2′
(true (0.0))
(false (1.0)))))
lifeDetectedObs__o3
(lifeDetected__o3′
(true (lifeDetectedObs__o3′
(true (1.0))
(false (0.0))))
(false (lifeDetectedObs__o3′
(true (0.0))
(false (1.0)))))
waterDetectedObs__o0
(waterDetected__o0′
(true (waterDetectedObs__o0′
(true (1.0))
(false (0.0))))
(false (waterDetectedObs__o0′
(true (0.0))
(false (1.0)))))
waterDetectedObs__o1
(waterDetected__o1′
(true (waterDetectedObs__o1′
(true (1.0))
(false (0.0))))
(false (waterDetectedObs__o1′
(true (0.0))
(false (1.0)))))
waterDetectedObs__o2
(waterDetected__o2′
(true (waterDetectedObs__o2′
(true (1.0))
(false (0.0))))
(false (waterDetectedObs__o2′
(true (0.0))
(false (1.0)))))
waterDetectedObs__o3
(waterDetected__o3′
(true (waterDetectedObs__o3′
(true (1.0))
(false (0.0))))
(false (waterDetectedObs__o3′
(true (0.0))
(false (1.0)))))
damagedObs__l1
(damaged__l1′
(true (damagedObs__l1′
(true (0.9048146903514862))
(false (0.0951853096485138))))
(false (damagedObs__l1′
(true (0.06824952))
(false (0.93175048)))))
damagedObs__w1
(damaged__w1′
(true (damagedObs__w1′
(true (0.906268373131752))
(false (0.09373162686824799))))
(false (damagedObs__w1′
(true (0.068904884))
(false (0.9310951160000001)))))
damagedObs__p1
(damaged__p1′
(true (damagedObs__p1′
(true (0.8))
(false (0.2))))
(false (damagedObs__p1′
(true (0.2))
(false (0.8)))))
endobserve
endaction

action useToolOn__a1_l1_o1
damaged__l1
(damaged__l1
(true (damaged__l1′
(true (1.0))
(false (0.0))))
(false (agentAt__a1_x1_y1
(true (damaged__l1′
(true (0.33066183))
(false (0.6693381700000001))))
(false (damaged__l1′
(true (0.0))
(false (1.0)))))))
damaged__w1
(damaged__w1
(true (damaged__w1′
(true (1.0))
(false (0.0))))
(false (agentAt__a1_x1_y1
(true (damaged__w1′
(true (0.29469067))
(false (0.70530933))))
(false (damaged__w1′
(true (0.0))
(false (1.0)))))))
damaged__p1
(damaged__p1
(true (damaged__p1′
(true (1.0))
(false (0.0))))
(false (damaged__p1′
(true (0.0))
(false (1.0)))))
oneStep
(oneStep’
(true (1.0))
(false (0.0)))
agentAt__a1_x0_y0
(agentAt__a1_x0_y0
(true (agentAt__a1_x0_y0′
(true (1.0))
(false (0.0))))
(false (agentAt__a1_x0_y0′
(true (0.0))
(false (1.0)))))
agentAt__a1_x0_y1
(agentAt__a1_x0_y1
(true (agentAt__a1_x0_y1′
(true (1.0))
(false (0.0))))
(false (agentAt__a1_x0_y1′
(true (0.0))
(false (1.0)))))
agentAt__a1_x1_y0
(agentAt__a1_x1_y0
(true (agentAt__a1_x1_y0′
(true (1.0))
(false (0.0))))
(false (agentAt__a1_x1_y0′
(true (0.0))
(false (1.0)))))
agentAt__a1_x1_y1
(agentAt__a1_x1_y1
(true (agentAt__a1_x1_y1′
(true (1.0))
(false (0.0))))
(false (agentAt__a1_x1_y1′
(true (0.0))
(false (1.0)))))
lifeDetected__o0
(lifeDetected__o0
(true (lifeDetected__o0′
(true (1.0))
(false (0.0))))
(false (lifeDetected__o0′
(true (0.0))
(false (1.0)))))
lifeDetected__o1
(damaged__l1
(true (agentAt__a1_x1_y0
(true (lifeDetected__o1
(true (lifeDetected__o1′
(true (1.0))
(false (0.0))))
(false (HAS_LIFE__o1
(true (waterDetected__o1
(true (lifeDetected__o1′
(true (0.4))
(false (0.6))))
(false (lifeDetected__o1′
(true (0.0))
(false (1.0))))))
(false (lifeDetected__o1′
(true (0.0))
(false (1.0))))))))
(false (lifeDetected__o1
(true (lifeDetected__o1′
(true (1.0))
(false (0.0))))
(false (lifeDetected__o1′
(true (0.0))
(false (1.0))))))))
(false (agentAt__a1_x1_y0
(true (lifeDetected__o1
(true (lifeDetected__o1′
(true (1.0))
(false (0.0))))
(false (HAS_LIFE__o1
(true (waterDetected__o1
(true (lifeDetected__o1′
(true (0.8))
(false (0.2))))
(false (lifeDetected__o1′
(true (0.0))
(false (1.0))))))
(false (lifeDetected__o1′
(true (0.0))
(false (1.0))))))))
(false (lifeDetected__o1
(true (lifeDetected__o1′
(true (1.0))
(false (0.0))))
(false (lifeDetected__o1′
(true (0.0))
(false (1.0)))))))))
lifeDetected__o2
(lifeDetected__o2
(true (lifeDetected__o2′
(true (1.0))
(false (0.0))))
(false (lifeDetected__o2′
(true (0.0))
(false (1.0)))))
lifeDetected__o3
(lifeDetected__o3
(true (lifeDetected__o3′
(true (1.0))
(false (0.0))))
(false (lifeDetected__o3′
(true (0.0))
(false (1.0)))))
HAS_LIFE__o0
(HAS_LIFE__o0
(true (HAS_LIFE__o0′
(true (1.0))
(false (0.0))))
(false (twoStep
(true (HAS_LIFE__o0′
(true (0.0))
(false (1.0))))
(false (HAS_WATER__o0
(true (HAS_LIFE__o0′
(true (0.7))
(false (0.30000000000000004))))
(false (HAS_LIFE__o0′
(true (0.0))
(false (1.0)))))))))
HAS_LIFE__o1
(HAS_LIFE__o1
(true (HAS_LIFE__o1′
(true (1.0))
(false (0.0))))
(false (twoStep
(true (HAS_LIFE__o1′
(true (0.0))
(false (1.0))))
(false (HAS_WATER__o1
(true (HAS_LIFE__o1′
(true (0.7))
(false (0.30000000000000004))))
(false (HAS_LIFE__o1′
(true (0.0))
(false (1.0)))))))))
HAS_LIFE__o2
(HAS_LIFE__o2
(true (HAS_LIFE__o2′
(true (1.0))
(false (0.0))))
(false (twoStep
(true (HAS_LIFE__o2′
(true (0.0))
(false (1.0))))
(false (HAS_WATER__o2
(true (HAS_LIFE__o2′
(true (0.7))
(false (0.30000000000000004))))
(false (HAS_LIFE__o2′
(true (0.0))
(false (1.0)))))))))
HAS_LIFE__o3
(HAS_LIFE__o3
(true (HAS_LIFE__o3′
(true (1.0))
(false (0.0))))
(false (twoStep
(true (HAS_LIFE__o3′
(true (0.0))
(false (1.0))))
(false (HAS_WATER__o3
(true (HAS_LIFE__o3′
(true (0.7))
(false (0.30000000000000004))))
(false (HAS_LIFE__o3′
(true (0.0))
(false (1.0)))))))))
pictureTaken__o0
(pictureTaken__o0′
(true (0.0))
(false (1.0)))
pictureTaken__o1
(pictureTaken__o1′
(true (0.0))
(false (1.0)))
pictureTaken__o2
(pictureTaken__o2′
(true (0.0))
(false (1.0)))
pictureTaken__o3
(pictureTaken__o3′
(true (0.0))
(false (1.0)))
twoStep
(oneStep
(true (twoStep’
(true (1.0))
(false (0.0))))
(false (twoStep’
(true (0.0))
(false (1.0)))))
waterDetected__o0
(waterDetected__o0
(true (waterDetected__o0′
(true (1.0))
(false (0.0))))
(false (waterDetected__o0′
(true (0.0))
(false (1.0)))))
waterDetected__o1
(waterDetected__o1
(true (waterDetected__o1′
(true (1.0))
(false (0.0))))
(false (waterDetected__o1′
(true (0.0))
(false (1.0)))))
waterDetected__o2
(waterDetected__o2
(true (waterDetected__o2′
(true (1.0))
(false (0.0))))
(false (waterDetected__o2′
(true (0.0))
(false (1.0)))))
waterDetected__o3
(waterDetected__o3
(true (waterDetected__o3′
(true (1.0))
(false (0.0))))
(false (waterDetected__o3′
(true (0.0))
(false (1.0)))))
HAS_WATER__o0
(oneStep
(true (HAS_WATER__o0
(true (HAS_WATER__o0′
(true (1.0))
(false (0.0))))
(false (HAS_WATER__o0′
(true (0.0))
(false (1.0))))))
(false (HAS_WATER__o0
(true (HAS_WATER__o0′
(true (1.0))
(false (0.0))))
(false (HAS_WATER__o0′
(true (0.8))
(false (0.2)))))))
HAS_WATER__o1
(oneStep
(true (HAS_WATER__o1
(true (HAS_WATER__o1′
(true (1.0))
(false (0.0))))
(false (HAS_WATER__o1′
(true (0.0))
(false (1.0))))))
(false (HAS_WATER__o1
(true (HAS_WATER__o1′
(true (1.0))
(false (0.0))))
(false (HAS_WATER__o1′
(true (0.8))
(false (0.2)))))))
HAS_WATER__o2
(oneStep
(true (HAS_WATER__o2
(true (HAS_WATER__o2′
(true (1.0))
(false (0.0))))
(false (HAS_WATER__o2′
(true (0.0))
(false (1.0))))))
(false (HAS_WATER__o2
(true (HAS_WATER__o2′
(true (1.0))
(false (0.0))))
(false (HAS_WATER__o2′
(true (0.8))
(false (0.2)))))))
HAS_WATER__o3
(oneStep
(true (HAS_WATER__o3
(true (HAS_WATER__o3′
(true (1.0))
(false (0.0))))
(false (HAS_WATER__o3′
(true (0.0))
(false (1.0))))))
(false (HAS_WATER__o3
(true (HAS_WATER__o3′
(true (1.0))
(false (0.0))))
(false (HAS_WATER__o3′
(true (0.8))
(false (0.2)))))))
observe
lifeDetectedObs__o0
(lifeDetected__o0′
(true (lifeDetectedObs__o0′
(true (1.0))
(false (0.0))))
(false (lifeDetectedObs__o0′
(true (0.0))
(false (1.0)))))
lifeDetectedObs__o1
(lifeDetected__o1′
(true (lifeDetectedObs__o1′
(true (1.0))
(false (0.0))))
(false (lifeDetectedObs__o1′
(true (0.0))
(false (1.0)))))
lifeDetectedObs__o2
(lifeDetected__o2′
(true (lifeDetectedObs__o2′
(true (1.0))
(false (0.0))))
(false (lifeDetectedObs__o2′
(true (0.0))
(false (1.0)))))
lifeDetectedObs__o3
(lifeDetected__o3′
(true (lifeDetectedObs__o3′
(true (1.0))
(false (0.0))))
(false (lifeDetectedObs__o3′
(true (0.0))
(false (1.0)))))
waterDetectedObs__o0
(waterDetected__o0′
(true (waterDetectedObs__o0′
(true (1.0))
(false (0.0))))
(false (waterDetectedObs__o0′
(true (0.0))
(false (1.0)))))
waterDetectedObs__o1
(waterDetected__o1′
(true (waterDetectedObs__o1′
(true (1.0))
(false (0.0))))
(false (waterDetectedObs__o1′
(true (0.0))
(false (1.0)))))
waterDetectedObs__o2
(waterDetected__o2′
(true (waterDetectedObs__o2′
(true (1.0))
(false (0.0))))
(false (waterDetectedObs__o2′
(true (0.0))
(false (1.0)))))
waterDetectedObs__o3
(waterDetected__o3′
(true (waterDetectedObs__o3′
(true (1.0))
(false (0.0))))
(false (waterDetectedObs__o3′
(true (0.0))
(false (1.0)))))
damagedObs__l1
(damaged__l1′
(true (damagedObs__l1′
(true (0.9048146903514862))
(false (0.0951853096485138))))
(false (damagedObs__l1′
(true (0.06824952))
(false (0.93175048)))))
damagedObs__w1
(damaged__w1′
(true (damagedObs__w1′
(true (0.906268373131752))
(false (0.09373162686824799))))
(false (damagedObs__w1′
(true (0.068904884))
(false (0.9310951160000001)))))
damagedObs__p1
(damaged__p1′
(true (damagedObs__p1′
(true (0.8))
(false (0.2))))
(false (damagedObs__p1′
(true (0.2))
(false (0.8)))))
endobserve
endaction

action useToolOn__a1_l1_o2
damaged__l1
(damaged__l1
(true (damaged__l1′
(true (1.0))
(false (0.0))))
(false (agentAt__a1_x1_y1
(true (damaged__l1′
(true (0.33066183))
(false (0.6693381700000001))))
(false (damaged__l1′
(true (0.0))
(false (1.0)))))))
damaged__w1
(damaged__w1
(true (damaged__w1′
(true (1.0))
(false (0.0))))
(false (agentAt__a1_x1_y1
(true (damaged__w1′
(true (0.29469067))
(false (0.70530933))))
(false (damaged__w1′
(true (0.0))
(false (1.0)))))))
damaged__p1
(damaged__p1
(true (damaged__p1′
(true (1.0))
(false (0.0))))
(false (damaged__p1′
(true (0.0))
(false (1.0)))))
oneStep
(oneStep’
(true (1.0))
(false (0.0)))
agentAt__a1_x0_y0
(agentAt__a1_x0_y0
(true (agentAt__a1_x0_y0′
(true (1.0))
(false (0.0))))
(false (agentAt__a1_x0_y0′
(true (0.0))
(false (1.0)))))
agentAt__a1_x0_y1
(agentAt__a1_x0_y1
(true (agentAt__a1_x0_y1′
(true (1.0))
(false (0.0))))
(false (agentAt__a1_x0_y1′
(true (0.0))
(false (1.0)))))
agentAt__a1_x1_y0
(agentAt__a1_x1_y0
(true (agentAt__a1_x1_y0′
(true (1.0))
(false (0.0))))
(false (agentAt__a1_x1_y0′
(true (0.0))
(false (1.0)))))
agentAt__a1_x1_y1
(agentAt__a1_x1_y1
(true (agentAt__a1_x1_y1′
(true (1.0))
(false (0.0))))
(false (agentAt__a1_x1_y1′
(true (0.0))
(false (1.0)))))
lifeDetected__o0
(lifeDetected__o0
(true (lifeDetected__o0′
(true (1.0))
(false (0.0))))
(false (lifeDetected__o0′
(true (0.0))
(false (1.0)))))
lifeDetected__o1
(lifeDetected__o1
(true (lifeDetected__o1′
(true (1.0))
(false (0.0))))
(false (lifeDetected__o1′
(true (0.0))
(false (1.0)))))
lifeDetected__o2
(damaged__l1
(true (agentAt__a1_x1_y1
(true (lifeDetected__o2
(true (lifeDetected__o2′
(true (1.0))
(false (0.0))))
(false (HAS_LIFE__o2
(true (waterDetected__o2
(true (lifeDetected__o2′
(true (0.4))
(false (0.6))))
(false (lifeDetected__o2′
(true (0.0))
(false (1.0))))))
(false (lifeDetected__o2′
(true (0.0))
(false (1.0))))))))
(false (lifeDetected__o2
(true (lifeDetected__o2′
(true (1.0))
(false (0.0))))
(false (lifeDetected__o2′
(true (0.0))
(false (1.0))))))))
(false (agentAt__a1_x1_y1
(true (lifeDetected__o2
(true (lifeDetected__o2′
(true (1.0))
(false (0.0))))
(false (HAS_LIFE__o2
(true (waterDetected__o2
(true (lifeDetected__o2′
(true (0.8))
(false (0.2))))
(false (lifeDetected__o2′
(true (0.0))
(false (1.0))))))
(false (lifeDetected__o2′
(true (0.0))
(false (1.0))))))))
(false (lifeDetected__o2
(true (lifeDetected__o2′
(true (1.0))
(false (0.0))))
(false (lifeDetected__o2′
(true (0.0))
(false (1.0)))))))))
lifeDetected__o3
(lifeDetected__o3
(true (lifeDetected__o3′
(true (1.0))
(false (0.0))))
(false (lifeDetected__o3′
(true (0.0))
(false (1.0)))))
HAS_LIFE__o0
(HAS_LIFE__o0
(true (HAS_LIFE__o0′
(true (1.0))
(false (0.0))))
(false (twoStep
(true (HAS_LIFE__o0′
(true (0.0))
(false (1.0))))
(false (HAS_WATER__o0
(true (HAS_LIFE__o0′
(true (0.7))
(false (0.30000000000000004))))
(false (HAS_LIFE__o0′
(true (0.0))
(false (1.0)))))))))
HAS_LIFE__o1
(HAS_LIFE__o1
(true (HAS_LIFE__o1′
(true (1.0))
(false (0.0))))
(false (twoStep
(true (HAS_LIFE__o1′
(true (0.0))
(false (1.0))))
(false (HAS_WATER__o1
(true (HAS_LIFE__o1′
(true (0.7))
(false (0.30000000000000004))))
(false (HAS_LIFE__o1′
(true (0.0))
(false (1.0)))))))))
HAS_LIFE__o2
(HAS_LIFE__o2
(true (HAS_LIFE__o2′
(true (1.0))
(false (0.0))))
(false (twoStep
(true (HAS_LIFE__o2′
(true (0.0))
(false (1.0))))
(false (HAS_WATER__o2
(true (HAS_LIFE__o2′
(true (0.7))
(false (0.30000000000000004))))
(false (HAS_LIFE__o2′
(true (0.0))
(false (1.0)))))))))
HAS_LIFE__o3
(HAS_LIFE__o3
(true (HAS_LIFE__o3′
(true (1.0))
(false (0.0))))
(false (twoStep
(true (HAS_LIFE__o3′
(true (0.0))
(false (1.0))))
(false (HAS_WATER__o3
(true (HAS_LIFE__o3′
(true (0.7))
(false (0.30000000000000004))))
(false (HAS_LIFE__o3′
(true (0.0))
(false (1.0)))))))))
pictureTaken__o0
(pictureTaken__o0′
(true (0.0))
(false (1.0)))
pictureTaken__o1
(pictureTaken__o1′
(true (0.0))
(false (1.0)))
pictureTaken__o2
(pictureTaken__o2′
(true (0.0))
(false (1.0)))
pictureTaken__o3
(pictureTaken__o3′
(true (0.0))
(false (1.0)))
twoStep
(oneStep
(true (twoStep’
(true (1.0))
(false (0.0))))
(false (twoStep’
(true (0.0))
(false (1.0)))))
waterDetected__o0
(waterDetected__o0
(true (waterDetected__o0′
(true (1.0))
(false (0.0))))
(false (waterDetected__o0′
(true (0.0))
(false (1.0)))))
waterDetected__o1
(waterDetected__o1
(true (waterDetected__o1′
(true (1.0))
(false (0.0))))
(false (waterDetected__o1′
(true (0.0))
(false (1.0)))))
waterDetected__o2
(waterDetected__o2
(true (waterDetected__o2′
(true (1.0))
(false (0.0))))
(false (waterDetected__o2′
(true (0.0))
(false (1.0)))))
waterDetected__o3
(waterDetected__o3
(true (waterDetected__o3′
(true (1.0))
(false (0.0))))
(false (waterDetected__o3′
(true (0.0))
(false (1.0)))))
HAS_WATER__o0
(oneStep
(true (HAS_WATER__o0
(true (HAS_WATER__o0′
(true (1.0))
(false (0.0))))
(false (HAS_WATER__o0′
(true (0.0))
(false (1.0))))))
(false (HAS_WATER__o0
(true (HAS_WATER__o0′
(true (1.0))
(false (0.0))))
(false (HAS_WATER__o0′
(true (0.8))
(false (0.2)))))))
HAS_WATER__o1
(oneStep
(true (HAS_WATER__o1
(true (HAS_WATER__o1′
(true (1.0))
(false (0.0))))
(false (HAS_WATER__o1′
(true (0.0))
(false (1.0))))))
(false (HAS_WATER__o1
(true (HAS_WATER__o1′
(true (1.0))
(false (0.0))))
(false (HAS_WATER__o1′
(true (0.8))
(false (0.2)))))))
HAS_WATER__o2
(oneStep
(true (HAS_WATER__o2
(true (HAS_WATER__o2′
(true (1.0))
(false (0.0))))
(false (HAS_WATER__o2′
(true (0.0))
(false (1.0))))))
(false (HAS_WATER__o2
(true (HAS_WATER__o2′
(true (1.0))
(false (0.0))))
(false (HAS_WATER__o2′
(true (0.8))
(false (0.2)))))))
HAS_WATER__o3
(oneStep
(true (HAS_WATER__o3
(true (HAS_WATER__o3′
(true (1.0))
(false (0.0))))
(false (HAS_WATER__o3′
(true (0.0))
(false (1.0))))))
(false (HAS_WATER__o3
(true (HAS_WATER__o3′
(true (1.0))
(false (0.0))))
(false (HAS_WATER__o3′
(true (0.8))
(false (0.2)))))))
observe
lifeDetectedObs__o0
(lifeDetected__o0′
(true (lifeDetectedObs__o0′
(true (1.0))
(false (0.0))))
(false (lifeDetectedObs__o0′
(true (0.0))
(false (1.0)))))
lifeDetectedObs__o1
(lifeDetected__o1′
(true (lifeDetectedObs__o1′
(true (1.0))
(false (0.0))))
(false (lifeDetectedObs__o1′
(true (0.0))
(false (1.0)))))
lifeDetectedObs__o2
(lifeDetected__o2′
(true (lifeDetectedObs__o2′
(true (1.0))
(false (0.0))))
(false (lifeDetectedObs__o2′
(true (0.0))
(false (1.0)))))
lifeDetectedObs__o3
(lifeDetected__o3′
(true (lifeDetectedObs__o3′
(true (1.0))
(false (0.0))))
(false (lifeDetectedObs__o3′
(true (0.0))
(false (1.0)))))
waterDetectedObs__o0
(waterDetected__o0′
(true (waterDetectedObs__o0′
(true (1.0))
(false (0.0))))
(false (waterDetectedObs__o0′
(true (0.0))
(false (1.0)))))
waterDetectedObs__o1
(waterDetected__o1′
(true (waterDetectedObs__o1′
(true (1.0))
(false (0.0))))
(false (waterDetectedObs__o1′
(true (0.0))
(false (1.0)))))
waterDetectedObs__o2
(waterDetected__o2′
(true (waterDetectedObs__o2′
(true (1.0))
(false (0.0))))
(false (waterDetectedObs__o2′
(true (0.0))
(false (1.0)))))
waterDetectedObs__o3
(waterDetected__o3′
(true (waterDetectedObs__o3′
(true (1.0))
(false (0.0))))
(false (waterDetectedObs__o3′
(true (0.0))
(false (1.0)))))
damagedObs__l1
(damaged__l1′
(true (damagedObs__l1′
(true (0.9048146903514862))
(false (0.0951853096485138))))
(false (damagedObs__l1′
(true (0.06824952))
(false (0.93175048)))))
damagedObs__w1
(damaged__w1′
(true (damagedObs__w1′
(true (0.906268373131752))
(false (0.09373162686824799))))
(false (damagedObs__w1′
(true (0.068904884))
(false (0.9310951160000001)))))
damagedObs__p1
(damaged__p1′
(true (damagedObs__p1′
(true (0.8))
(false (0.2))))
(false (damagedObs__p1′
(true (0.2))
(false (0.8)))))
endobserve
endaction

action useToolOn__a1_l1_o3
damaged__l1
(damaged__l1
(true (damaged__l1′
(true (1.0))
(false (0.0))))
(false (agentAt__a1_x1_y1
(true (damaged__l1′
(true (0.33066183))
(false (0.6693381700000001))))
(false (damaged__l1′
(true (0.0))
(false (1.0)))))))
damaged__w1
(damaged__w1
(true (damaged__w1′
(true (1.0))
(false (0.0))))
(false (agentAt__a1_x1_y1
(true (damaged__w1′
(true (0.29469067))
(false (0.70530933))))
(false (damaged__w1′
(true (0.0))
(false (1.0)))))))
damaged__p1
(damaged__p1
(true (damaged__p1′
(true (1.0))
(false (0.0))))
(false (damaged__p1′
(true (0.0))
(false (1.0)))))
oneStep
(oneStep’
(true (1.0))
(false (0.0)))
agentAt__a1_x0_y0
(agentAt__a1_x0_y0
(true (agentAt__a1_x0_y0′
(true (1.0))
(false (0.0))))
(false (agentAt__a1_x0_y0′
(true (0.0))
(false (1.0)))))
agentAt__a1_x0_y1
(agentAt__a1_x0_y1
(true (agentAt__a1_x0_y1′
(true (1.0))
(false (0.0))))
(false (agentAt__a1_x0_y1′
(true (0.0))
(false (1.0)))))
agentAt__a1_x1_y0
(agentAt__a1_x1_y0
(true (agentAt__a1_x1_y0′
(true (1.0))
(false (0.0))))
(false (agentAt__a1_x1_y0′
(true (0.0))
(false (1.0)))))
agentAt__a1_x1_y1
(agentAt__a1_x1_y1
(true (agentAt__a1_x1_y1′
(true (1.0))
(false (0.0))))
(false (agentAt__a1_x1_y1′
(true (0.0))
(false (1.0)))))
lifeDetected__o0
(lifeDetected__o0
(true (lifeDetected__o0′
(true (1.0))
(false (0.0))))
(false (lifeDetected__o0′
(true (0.0))
(false (1.0)))))
lifeDetected__o1
(lifeDetected__o1
(true (lifeDetected__o1′
(true (1.0))
(false (0.0))))
(false (lifeDetected__o1′
(true (0.0))
(false (1.0)))))
lifeDetected__o2
(lifeDetected__o2
(true (lifeDetected__o2′
(true (1.0))
(false (0.0))))
(false (lifeDetected__o2′
(true (0.0))
(false (1.0)))))
lifeDetected__o3
(damaged__l1
(true (agentAt__a1_x0_y0
(true (lifeDetected__o3
(true (lifeDetected__o3′
(true (1.0))
(false (0.0))))
(false (HAS_LIFE__o3
(true (waterDetected__o3
(true (lifeDetected__o3′
(true (0.4))
(false (0.6))))
(false (lifeDetected__o3′
(true (0.0))
(false (1.0))))))
(false (lifeDetected__o3′
(true (0.0))
(false (1.0))))))))
(false (lifeDetected__o3
(true (lifeDetected__o3′
(true (1.0))
(false (0.0))))
(false (lifeDetected__o3′
(true (0.0))
(false (1.0))))))))
(false (agentAt__a1_x0_y0
(true (lifeDetected__o3
(true (lifeDetected__o3′
(true (1.0))
(false (0.0))))
(false (HAS_LIFE__o3
(true (waterDetected__o3
(true (lifeDetected__o3′
(true (0.8))
(false (0.2))))
(false (lifeDetected__o3′
(true (0.0))
(false (1.0))))))
(false (lifeDetected__o3′
(true (0.0))
(false (1.0))))))))
(false (lifeDetected__o3
(true (lifeDetected__o3′
(true (1.0))
(false (0.0))))
(false (lifeDetected__o3′
(true (0.0))
(false (1.0)))))))))
HAS_LIFE__o0
(HAS_LIFE__o0
(true (HAS_LIFE__o0′
(true (1.0))
(false (0.0))))
(false (twoStep
(true (HAS_LIFE__o0′
(true (0.0))
(false (1.0))))
(false (HAS_WATER__o0
(true (HAS_LIFE__o0′
(true (0.7))
(false (0.30000000000000004))))
(false (HAS_LIFE__o0′
(true (0.0))
(false (1.0)))))))))
HAS_LIFE__o1
(HAS_LIFE__o1
(true (HAS_LIFE__o1′
(true (1.0))
(false (0.0))))
(false (twoStep
(true (HAS_LIFE__o1′
(true (0.0))
(false (1.0))))
(false (HAS_WATER__o1
(true (HAS_LIFE__o1′
(true (0.7))
(false (0.30000000000000004))))
(false (HAS_LIFE__o1′
(true (0.0))
(false (1.0)))))))))
HAS_LIFE__o2
(HAS_LIFE__o2
(true (HAS_LIFE__o2′
(true (1.0))
(false (0.0))))
(false (twoStep
(true (HAS_LIFE__o2′
(true (0.0))
(false (1.0))))
(false (HAS_WATER__o2
(true (HAS_LIFE__o2′
(true (0.7))
(false (0.30000000000000004))))
(false (HAS_LIFE__o2′
(true (0.0))
(false (1.0)))))))))
HAS_LIFE__o3
(HAS_LIFE__o3
(true (HAS_LIFE__o3′
(true (1.0))
(false (0.0))))
(false (twoStep
(true (HAS_LIFE__o3′
(true (0.0))
(false (1.0))))
(false (HAS_WATER__o3
(true (HAS_LIFE__o3′
(true (0.7))
(false (0.30000000000000004))))
(false (HAS_LIFE__o3′
(true (0.0))
(false (1.0)))))))))
pictureTaken__o0
(pictureTaken__o0′
(true (0.0))
(false (1.0)))
pictureTaken__o1
(pictureTaken__o1′
(true (0.0))
(false (1.0)))
pictureTaken__o2
(pictureTaken__o2′
(true (0.0))
(false (1.0)))
pictureTaken__o3
(pictureTaken__o3′
(true (0.0))
(false (1.0)))
twoStep
(oneStep
(true (twoStep’
(true (1.0))
(false (0.0))))
(false (twoStep’
(true (0.0))
(false (1.0)))))
waterDetected__o0
(waterDetected__o0
(true (waterDetected__o0′
(true (1.0))
(false (0.0))))
(false (waterDetected__o0′
(true (0.0))
(false (1.0)))))
waterDetected__o1
(waterDetected__o1
(true (waterDetected__o1′
(true (1.0))
(false (0.0))))
(false (waterDetected__o1′
(true (0.0))
(false (1.0)))))
waterDetected__o2
(waterDetected__o2
(true (waterDetected__o2′
(true (1.0))
(false (0.0))))
(false (waterDetected__o2′
(true (0.0))
(false (1.0)))))
waterDetected__o3
(waterDetected__o3
(true (waterDetected__o3′
(true (1.0))
(false (0.0))))
(false (waterDetected__o3′
(true (0.0))
(false (1.0)))))
HAS_WATER__o0
(oneStep
(true (HAS_WATER__o0
(true (HAS_WATER__o0′
(true (1.0))
(false (0.0))))
(false (HAS_WATER__o0′
(true (0.0))
(false (1.0))))))
(false (HAS_WATER__o0
(true (HAS_WATER__o0′
(true (1.0))
(false (0.0))))
(false (HAS_WATER__o0′
(true (0.8))
(false (0.2)))))))
HAS_WATER__o1
(oneStep
(true (HAS_WATER__o1
(true (HAS_WATER__o1′
(true (1.0))
(false (0.0))))
(false (HAS_WATER__o1′
(true (0.0))
(false (1.0))))))
(false (HAS_WATER__o1
(true (HAS_WATER__o1′
(true (1.0))
(false (0.0))))
(false (HAS_WATER__o1′
(true (0.8))
(false (0.2)))))))
HAS_WATER__o2
(oneStep
(true (HAS_WATER__o2
(true (HAS_WATER__o2′
(true (1.0))
(false (0.0))))
(false (HAS_WATER__o2′
(true (0.0))
(false (1.0))))))
(false (HAS_WATER__o2
(true (HAS_WATER__o2′
(true (1.0))
(false (0.0))))
(false (HAS_WATER__o2′
(true (0.8))
(false (0.2)))))))
HAS_WATER__o3
(oneStep
(true (HAS_WATER__o3
(true (HAS_WATER__o3′
(true (1.0))
(false (0.0))))
(false (HAS_WATER__o3′
(true (0.0))
(false (1.0))))))
(false (HAS_WATER__o3
(true (HAS_WATER__o3′
(true (1.0))
(false (0.0))))
(false (HAS_WATER__o3′
(true (0.8))
(false (0.2)))))))
observe
lifeDetectedObs__o0
(lifeDetected__o0′
(true (lifeDetectedObs__o0′
(true (1.0))
(false (0.0))))
(false (lifeDetectedObs__o0′
(true (0.0))
(false (1.0)))))
lifeDetectedObs__o1
(lifeDetected__o1′
(true (lifeDetectedObs__o1′
(true (1.0))
(false (0.0))))
(false (lifeDetectedObs__o1′
(true (0.0))
(false (1.0)))))
lifeDetectedObs__o2
(lifeDetected__o2′
(true (lifeDetectedObs__o2′
(true (1.0))
(false (0.0))))
(false (lifeDetectedObs__o2′
(true (0.0))
(false (1.0)))))
lifeDetectedObs__o3
(lifeDetected__o3′
(true (lifeDetectedObs__o3′
(true (1.0))
(false (0.0))))
(false (lifeDetectedObs__o3′
(true (0.0))
(false (1.0)))))
waterDetectedObs__o0
(waterDetected__o0′
(true (waterDetectedObs__o0′
(true (1.0))
(false (0.0))))
(false (waterDetectedObs__o0′
(true (0.0))
(false (1.0)))))
waterDetectedObs__o1
(waterDetected__o1′
(true (waterDetectedObs__o1′
(true (1.0))
(false (0.0))))
(false (waterDetectedObs__o1′
(true (0.0))
(false (1.0)))))
waterDetectedObs__o2
(waterDetected__o2′
(true (waterDetectedObs__o2′
(true (1.0))
(false (0.0))))
(false (waterDetectedObs__o2′
(true (0.0))
(false (1.0)))))
waterDetectedObs__o3
(waterDetected__o3′
(true (waterDetectedObs__o3′
(true (1.0))
(false (0.0))))
(false (waterDetectedObs__o3′
(true (0.0))
(false (1.0)))))
damagedObs__l1
(damaged__l1′
(true (damagedObs__l1′
(true (0.9048146903514862))
(false (0.0951853096485138))))
(false (damagedObs__l1′
(true (0.06824952))
(false (0.93175048)))))
damagedObs__w1
(damaged__w1′
(true (damagedObs__w1′
(true (0.906268373131752))
(false (0.09373162686824799))))
(false (damagedObs__w1′
(true (0.068904884))
(false (0.9310951160000001)))))
damagedObs__p1
(damaged__p1′
(true (damagedObs__p1′
(true (0.8))
(false (0.2))))
(false (damagedObs__p1′
(true (0.2))
(false (0.8)))))
endobserve
endaction

action useToolOn__a1_p1_o0
damaged__l1
(damaged__l1
(true (damaged__l1′
(true (1.0))
(false (0.0))))
(false (agentAt__a1_x1_y1
(true (damaged__l1′
(true (0.33066183))
(false (0.6693381700000001))))
(false (damaged__l1′
(true (0.0))
(false (1.0)))))))
damaged__w1
(damaged__w1
(true (damaged__w1′
(true (1.0))
(false (0.0))))
(false (agentAt__a1_x1_y1
(true (damaged__w1′
(true (0.29469067))
(false (0.70530933))))
(false (damaged__w1′
(true (0.0))
(false (1.0)))))))
damaged__p1
(damaged__p1
(true (damaged__p1′
(true (1.0))
(false (0.0))))
(false (damaged__p1′
(true (0.0))
(false (1.0)))))
oneStep
(oneStep’
(true (1.0))
(false (0.0)))
agentAt__a1_x0_y0
(agentAt__a1_x0_y0
(true (agentAt__a1_x0_y0′
(true (1.0))
(false (0.0))))
(false (agentAt__a1_x0_y0′
(true (0.0))
(false (1.0)))))
agentAt__a1_x0_y1
(agentAt__a1_x0_y1
(true (agentAt__a1_x0_y1′
(true (1.0))
(false (0.0))))
(false (agentAt__a1_x0_y1′
(true (0.0))
(false (1.0)))))
agentAt__a1_x1_y0
(agentAt__a1_x1_y0
(true (agentAt__a1_x1_y0′
(true (1.0))
(false (0.0))))
(false (agentAt__a1_x1_y0′
(true (0.0))
(false (1.0)))))
agentAt__a1_x1_y1
(agentAt__a1_x1_y1
(true (agentAt__a1_x1_y1′
(true (1.0))
(false (0.0))))
(false (agentAt__a1_x1_y1′
(true (0.0))
(false (1.0)))))
lifeDetected__o0
(lifeDetected__o0
(true (lifeDetected__o0′
(true (1.0))
(false (0.0))))
(false (lifeDetected__o0′
(true (0.0))
(false (1.0)))))
lifeDetected__o1
(lifeDetected__o1
(true (lifeDetected__o1′
(true (1.0))
(false (0.0))))
(false (lifeDetected__o1′
(true (0.0))
(false (1.0)))))
lifeDetected__o2
(lifeDetected__o2
(true (lifeDetected__o2′
(true (1.0))
(false (0.0))))
(false (lifeDetected__o2′
(true (0.0))
(false (1.0)))))
lifeDetected__o3
(lifeDetected__o3
(true (lifeDetected__o3′
(true (1.0))
(false (0.0))))
(false (lifeDetected__o3′
(true (0.0))
(false (1.0)))))
HAS_LIFE__o0
(HAS_LIFE__o0
(true (HAS_LIFE__o0′
(true (1.0))
(false (0.0))))
(false (twoStep
(true (HAS_LIFE__o0′
(true (0.0))
(false (1.0))))
(false (HAS_WATER__o0
(true (HAS_LIFE__o0′
(true (0.7))
(false (0.30000000000000004))))
(false (HAS_LIFE__o0′
(true (0.0))
(false (1.0)))))))))
HAS_LIFE__o1
(HAS_LIFE__o1
(true (HAS_LIFE__o1′
(true (1.0))
(false (0.0))))
(false (twoStep
(true (HAS_LIFE__o1′
(true (0.0))
(false (1.0))))
(false (HAS_WATER__o1
(true (HAS_LIFE__o1′
(true (0.7))
(false (0.30000000000000004))))
(false (HAS_LIFE__o1′
(true (0.0))
(false (1.0)))))))))
HAS_LIFE__o2
(HAS_LIFE__o2
(true (HAS_LIFE__o2′
(true (1.0))
(false (0.0))))
(false (twoStep
(true (HAS_LIFE__o2′
(true (0.0))
(false (1.0))))
(false (HAS_WATER__o2
(true (HAS_LIFE__o2′
(true (0.7))
(false (0.30000000000000004))))
(false (HAS_LIFE__o2′
(true (0.0))
(false (1.0)))))))))
HAS_LIFE__o3
(HAS_LIFE__o3
(true (HAS_LIFE__o3′
(true (1.0))
(false (0.0))))
(false (twoStep
(true (HAS_LIFE__o3′
(true (0.0))
(false (1.0))))
(false (HAS_WATER__o3
(true (HAS_LIFE__o3′
(true (0.7))
(false (0.30000000000000004))))
(false (HAS_LIFE__o3′
(true (0.0))
(false (1.0)))))))))
pictureTaken__o0
(damaged__p1
(true (pictureTaken__o0′
(true (0.0))
(false (1.0))))
(false (agentAt__a1_x0_y0
(true (pictureTaken__o0′
(true (1.0))
(false (0.0))))
(false (pictureTaken__o0′
(true (0.0))
(false (1.0)))))))
pictureTaken__o1
(pictureTaken__o1′
(true (0.0))
(false (1.0)))
pictureTaken__o2
(pictureTaken__o2′
(true (0.0))
(false (1.0)))
pictureTaken__o3
(pictureTaken__o3′
(true (0.0))
(false (1.0)))
twoStep
(oneStep
(true (twoStep’
(true (1.0))
(false (0.0))))
(false (twoStep’
(true (0.0))
(false (1.0)))))
waterDetected__o0
(waterDetected__o0
(true (waterDetected__o0′
(true (1.0))
(false (0.0))))
(false (waterDetected__o0′
(true (0.0))
(false (1.0)))))
waterDetected__o1
(waterDetected__o1
(true (waterDetected__o1′
(true (1.0))
(false (0.0))))
(false (waterDetected__o1′
(true (0.0))
(false (1.0)))))
waterDetected__o2
(waterDetected__o2
(true (waterDetected__o2′
(true (1.0))
(false (0.0))))
(false (waterDetected__o2′
(true (0.0))
(false (1.0)))))
waterDetected__o3
(waterDetected__o3
(true (waterDetected__o3′
(true (1.0))
(false (0.0))))
(false (waterDetected__o3′
(true (0.0))
(false (1.0)))))
HAS_WATER__o0
(oneStep
(true (HAS_WATER__o0
(true (HAS_WATER__o0′
(true (1.0))
(false (0.0))))
(false (HAS_WATER__o0′
(true (0.0))
(false (1.0))))))
(false (HAS_WATER__o0
(true (HAS_WATER__o0′
(true (1.0))
(false (0.0))))
(false (HAS_WATER__o0′
(true (0.8))
(false (0.2)))))))
HAS_WATER__o1
(oneStep
(true (HAS_WATER__o1
(true (HAS_WATER__o1′
(true (1.0))
(false (0.0))))
(false (HAS_WATER__o1′
(true (0.0))
(false (1.0))))))
(false (HAS_WATER__o1
(true (HAS_WATER__o1′
(true (1.0))
(false (0.0))))
(false (HAS_WATER__o1′
(true (0.8))
(false (0.2)))))))
HAS_WATER__o2
(oneStep
(true (HAS_WATER__o2
(true (HAS_WATER__o2′
(true (1.0))
(false (0.0))))
(false (HAS_WATER__o2′
(true (0.0))
(false (1.0))))))
(false (HAS_WATER__o2
(true (HAS_WATER__o2′
(true (1.0))
(false (0.0))))
(false (HAS_WATER__o2′
(true (0.8))
(false (0.2)))))))
HAS_WATER__o3
(oneStep
(true (HAS_WATER__o3
(true (HAS_WATER__o3′
(true (1.0))
(false (0.0))))
(false (HAS_WATER__o3′
(true (0.0))
(false (1.0))))))
(false (HAS_WATER__o3
(true (HAS_WATER__o3′
(true (1.0))
(false (0.0))))
(false (HAS_WATER__o3′
(true (0.8))
(false (0.2)))))))
observe
lifeDetectedObs__o0
(lifeDetected__o0′
(true (lifeDetectedObs__o0′
(true (1.0))
(false (0.0))))
(false (lifeDetectedObs__o0′
(true (0.0))
(false (1.0)))))
lifeDetectedObs__o1
(lifeDetected__o1′
(true (lifeDetectedObs__o1′
(true (1.0))
(false (0.0))))
(false (lifeDetectedObs__o1′
(true (0.0))
(false (1.0)))))
lifeDetectedObs__o2
(lifeDetected__o2′
(true (lifeDetectedObs__o2′
(true (1.0))
(false (0.0))))
(false (lifeDetectedObs__o2′
(true (0.0))
(false (1.0)))))
lifeDetectedObs__o3
(lifeDetected__o3′
(true (lifeDetectedObs__o3′
(true (1.0))
(false (0.0))))
(false (lifeDetectedObs__o3′
(true (0.0))
(false (1.0)))))
waterDetectedObs__o0
(waterDetected__o0′
(true (waterDetectedObs__o0′
(true (1.0))
(false (0.0))))
(false (waterDetectedObs__o0′
(true (0.0))
(false (1.0)))))
waterDetectedObs__o1
(waterDetected__o1′
(true (waterDetectedObs__o1′
(true (1.0))
(false (0.0))))
(false (waterDetectedObs__o1′
(true (0.0))
(false (1.0)))))
waterDetectedObs__o2
(waterDetected__o2′
(true (waterDetectedObs__o2′
(true (1.0))
(false (0.0))))
(false (waterDetectedObs__o2′
(true (0.0))
(false (1.0)))))
waterDetectedObs__o3
(waterDetected__o3′
(true (waterDetectedObs__o3′
(true (1.0))
(false (0.0))))
(false (waterDetectedObs__o3′
(true (0.0))
(false (1.0)))))
damagedObs__l1
(damaged__l1′
(true (damagedObs__l1′
(true (0.9048146903514862))
(false (0.0951853096485138))))
(false (damagedObs__l1′
(true (0.06824952))
(false (0.93175048)))))
damagedObs__w1
(damaged__w1′
(true (damagedObs__w1′
(true (0.906268373131752))
(false (0.09373162686824799))))
(false (damagedObs__w1′
(true (0.068904884))
(false (0.9310951160000001)))))
damagedObs__p1
(damaged__p1′
(true (damagedObs__p1′
(true (0.8))
(false (0.2))))
(false (damagedObs__p1′
(true (0.2))
(false (0.8)))))
endobserve
cost [+
(damaged__p1
(true (0.0))
(false (agentAt__a1_x0_y0
(true (lifeDetected__o0
(true (pictureTaken__o0
(true (0.0))
(false (-0.19773391))))
(false (0.0))))
(false (0.0)))))
(agentAt__a1_x0_y0
(true (lifeDetected__o0
(true (0.0))
(false (0.9231342))))
(false (0.0)))
]
endaction

action useToolOn__a1_p1_o1
damaged__l1
(damaged__l1
(true (damaged__l1′
(true (1.0))
(false (0.0))))
(false (agentAt__a1_x1_y1
(true (damaged__l1′
(true (0.33066183))
(false (0.6693381700000001))))
(false (damaged__l1′
(true (0.0))
(false (1.0)))))))
damaged__w1
(damaged__w1
(true (damaged__w1′
(true (1.0))
(false (0.0))))
(false (agentAt__a1_x1_y1
(true (damaged__w1′
(true (0.29469067))
(false (0.70530933))))
(false (damaged__w1′
(true (0.0))
(false (1.0)))))))
damaged__p1
(damaged__p1
(true (damaged__p1′
(true (1.0))
(false (0.0))))
(false (damaged__p1′
(true (0.0))
(false (1.0)))))
oneStep
(oneStep’
(true (1.0))
(false (0.0)))
agentAt__a1_x0_y0
(agentAt__a1_x0_y0
(true (agentAt__a1_x0_y0′
(true (1.0))
(false (0.0))))
(false (agentAt__a1_x0_y0′
(true (0.0))
(false (1.0)))))
agentAt__a1_x0_y1
(agentAt__a1_x0_y1
(true (agentAt__a1_x0_y1′
(true (1.0))
(false (0.0))))
(false (agentAt__a1_x0_y1′
(true (0.0))
(false (1.0)))))
agentAt__a1_x1_y0
(agentAt__a1_x1_y0
(true (agentAt__a1_x1_y0′
(true (1.0))
(false (0.0))))
(false (agentAt__a1_x1_y0′
(true (0.0))
(false (1.0)))))
agentAt__a1_x1_y1
(agentAt__a1_x1_y1
(true (agentAt__a1_x1_y1′
(true (1.0))
(false (0.0))))
(false (agentAt__a1_x1_y1′
(true (0.0))
(false (1.0)))))
lifeDetected__o0
(lifeDetected__o0
(true (lifeDetected__o0′
(true (1.0))
(false (0.0))))
(false (lifeDetected__o0′
(true (0.0))
(false (1.0)))))
lifeDetected__o1
(lifeDetected__o1
(true (lifeDetected__o1′
(true (1.0))
(false (0.0))))
(false (lifeDetected__o1′
(true (0.0))
(false (1.0)))))
lifeDetected__o2
(lifeDetected__o2
(true (lifeDetected__o2′
(true (1.0))
(false (0.0))))
(false (lifeDetected__o2′
(true (0.0))
(false (1.0)))))
lifeDetected__o3
(lifeDetected__o3
(true (lifeDetected__o3′
(true (1.0))
(false (0.0))))
(false (lifeDetected__o3′
(true (0.0))
(false (1.0)))))
HAS_LIFE__o0
(HAS_LIFE__o0
(true (HAS_LIFE__o0′
(true (1.0))
(false (0.0))))
(false (twoStep
(true (HAS_LIFE__o0′
(true (0.0))
(false (1.0))))
(false (HAS_WATER__o0
(true (HAS_LIFE__o0′
(true (0.7))
(false (0.30000000000000004))))
(false (HAS_LIFE__o0′
(true (0.0))
(false (1.0)))))))))
HAS_LIFE__o1
(HAS_LIFE__o1
(true (HAS_LIFE__o1′
(true (1.0))
(false (0.0))))
(false (twoStep
(true (HAS_LIFE__o1′
(true (0.0))
(false (1.0))))
(false (HAS_WATER__o1
(true (HAS_LIFE__o1′
(true (0.7))
(false (0.30000000000000004))))
(false (HAS_LIFE__o1′
(true (0.0))
(false (1.0)))))))))
HAS_LIFE__o2
(HAS_LIFE__o2
(true (HAS_LIFE__o2′
(true (1.0))
(false (0.0))))
(false (twoStep
(true (HAS_LIFE__o2′
(true (0.0))
(false (1.0))))
(false (HAS_WATER__o2
(true (HAS_LIFE__o2′
(true (0.7))
(false (0.30000000000000004))))
(false (HAS_LIFE__o2′
(true (0.0))
(false (1.0)))))))))
HAS_LIFE__o3
(HAS_LIFE__o3
(true (HAS_LIFE__o3′
(true (1.0))
(false (0.0))))
(false (twoStep
(true (HAS_LIFE__o3′
(true (0.0))
(false (1.0))))
(false (HAS_WATER__o3
(true (HAS_LIFE__o3′
(true (0.7))
(false (0.30000000000000004))))
(false (HAS_LIFE__o3′
(true (0.0))
(false (1.0)))))))))
pictureTaken__o0
(pictureTaken__o0′
(true (0.0))
(false (1.0)))
pictureTaken__o1
(damaged__p1
(true (pictureTaken__o1′
(true (0.0))
(false (1.0))))
(false (agentAt__a1_x1_y0
(true (pictureTaken__o1′
(true (1.0))
(false (0.0))))
(false (pictureTaken__o1′
(true (0.0))
(false (1.0)))))))
pictureTaken__o2
(pictureTaken__o2′
(true (0.0))
(false (1.0)))
pictureTaken__o3
(pictureTaken__o3′
(true (0.0))
(false (1.0)))
twoStep
(oneStep
(true (twoStep’
(true (1.0))
(false (0.0))))
(false (twoStep’
(true (0.0))
(false (1.0)))))
waterDetected__o0
(waterDetected__o0
(true (waterDetected__o0′
(true (1.0))
(false (0.0))))
(false (waterDetected__o0′
(true (0.0))
(false (1.0)))))
waterDetected__o1
(waterDetected__o1
(true (waterDetected__o1′
(true (1.0))
(false (0.0))))
(false (waterDetected__o1′
(true (0.0))
(false (1.0)))))
waterDetected__o2
(waterDetected__o2
(true (waterDetected__o2′
(true (1.0))
(false (0.0))))
(false (waterDetected__o2′
(true (0.0))
(false (1.0)))))
waterDetected__o3
(waterDetected__o3
(true (waterDetected__o3′
(true (1.0))
(false (0.0))))
(false (waterDetected__o3′
(true (0.0))
(false (1.0)))))
HAS_WATER__o0
(oneStep
(true (HAS_WATER__o0
(true (HAS_WATER__o0′
(true (1.0))
(false (0.0))))
(false (HAS_WATER__o0′
(true (0.0))
(false (1.0))))))
(false (HAS_WATER__o0
(true (HAS_WATER__o0′
(true (1.0))
(false (0.0))))
(false (HAS_WATER__o0′
(true (0.8))
(false (0.2)))))))
HAS_WATER__o1
(oneStep
(true (HAS_WATER__o1
(true (HAS_WATER__o1′
(true (1.0))
(false (0.0))))
(false (HAS_WATER__o1′
(true (0.0))
(false (1.0))))))
(false (HAS_WATER__o1
(true (HAS_WATER__o1′
(true (1.0))
(false (0.0))))
(false (HAS_WATER__o1′
(true (0.8))
(false (0.2)))))))
HAS_WATER__o2
(oneStep
(true (HAS_WATER__o2
(true (HAS_WATER__o2′
(true (1.0))
(false (0.0))))
(false (HAS_WATER__o2′
(true (0.0))
(false (1.0))))))
(false (HAS_WATER__o2
(true (HAS_WATER__o2′
(true (1.0))
(false (0.0))))
(false (HAS_WATER__o2′
(true (0.8))
(false (0.2)))))))
HAS_WATER__o3
(oneStep
(true (HAS_WATER__o3
(true (HAS_WATER__o3′
(true (1.0))
(false (0.0))))
(false (HAS_WATER__o3′
(true (0.0))
(false (1.0))))))
(false (HAS_WATER__o3
(true (HAS_WATER__o3′
(true (1.0))
(false (0.0))))
(false (HAS_WATER__o3′
(true (0.8))
(false (0.2)))))))
observe
lifeDetectedObs__o0
(lifeDetected__o0′
(true (lifeDetectedObs__o0′
(true (1.0))
(false (0.0))))
(false (lifeDetectedObs__o0′
(true (0.0))
(false (1.0)))))
lifeDetectedObs__o1
(lifeDetected__o1′
(true (lifeDetectedObs__o1′
(true (1.0))
(false (0.0))))
(false (lifeDetectedObs__o1′
(true (0.0))
(false (1.0)))))
lifeDetectedObs__o2
(lifeDetected__o2′
(true (lifeDetectedObs__o2′
(true (1.0))
(false (0.0))))
(false (lifeDetectedObs__o2′
(true (0.0))
(false (1.0)))))
lifeDetectedObs__o3
(lifeDetected__o3′
(true (lifeDetectedObs__o3′
(true (1.0))
(false (0.0))))
(false (lifeDetectedObs__o3′
(true (0.0))
(false (1.0)))))
waterDetectedObs__o0
(waterDetected__o0′
(true (waterDetectedObs__o0′
(true (1.0))
(false (0.0))))
(false (waterDetectedObs__o0′
(true (0.0))
(false (1.0)))))
waterDetectedObs__o1
(waterDetected__o1′
(true (waterDetectedObs__o1′
(true (1.0))
(false (0.0))))
(false (waterDetectedObs__o1′
(true (0.0))
(false (1.0)))))
waterDetectedObs__o2
(waterDetected__o2′
(true (waterDetectedObs__o2′
(true (1.0))
(false (0.0))))
(false (waterDetectedObs__o2′
(true (0.0))
(false (1.0)))))
waterDetectedObs__o3
(waterDetected__o3′
(true (waterDetectedObs__o3′
(true (1.0))
(false (0.0))))
(false (waterDetectedObs__o3′
(true (0.0))
(false (1.0)))))
damagedObs__l1
(damaged__l1′
(true (damagedObs__l1′
(true (0.9048146903514862))
(false (0.0951853096485138))))
(false (damagedObs__l1′
(true (0.06824952))
(false (0.93175048)))))
damagedObs__w1
(damaged__w1′
(true (damagedObs__w1′
(true (0.906268373131752))
(false (0.09373162686824799))))
(false (damagedObs__w1′
(true (0.068904884))
(false (0.9310951160000001)))))
damagedObs__p1
(damaged__p1′
(true (damagedObs__p1′
(true (0.8))
(false (0.2))))
(false (damagedObs__p1′
(true (0.2))
(false (0.8)))))
endobserve
cost [+
(damaged__p1
(true (0.0))
(false (agentAt__a1_x1_y0
(true (lifeDetected__o1
(true (pictureTaken__o1
(true (0.0))
(false (-0.19773391))))
(false (0.0))))
(false (0.0)))))
(agentAt__a1_x1_y0
(true (lifeDetected__o1
(true (0.0))
(false (0.9231342))))
(false (0.0)))
]
endaction

action useToolOn__a1_p1_o2
damaged__l1
(damaged__l1
(true (damaged__l1′
(true (1.0))
(false (0.0))))
(false (agentAt__a1_x1_y1
(true (damaged__l1′
(true (0.33066183))
(false (0.6693381700000001))))
(false (damaged__l1′
(true (0.0))
(false (1.0)))))))
damaged__w1
(damaged__w1
(true (damaged__w1′
(true (1.0))
(false (0.0))))
(false (agentAt__a1_x1_y1
(true (damaged__w1′
(true (0.29469067))
(false (0.70530933))))
(false (damaged__w1′
(true (0.0))
(false (1.0)))))))
damaged__p1
(damaged__p1
(true (damaged__p1′
(true (1.0))
(false (0.0))))
(false (damaged__p1′
(true (0.0))
(false (1.0)))))
oneStep
(oneStep’
(true (1.0))
(false (0.0)))
agentAt__a1_x0_y0
(agentAt__a1_x0_y0
(true (agentAt__a1_x0_y0′
(true (1.0))
(false (0.0))))
(false (agentAt__a1_x0_y0′
(true (0.0))
(false (1.0)))))
agentAt__a1_x0_y1
(agentAt__a1_x0_y1
(true (agentAt__a1_x0_y1′
(true (1.0))
(false (0.0))))
(false (agentAt__a1_x0_y1′
(true (0.0))
(false (1.0)))))
agentAt__a1_x1_y0
(agentAt__a1_x1_y0
(true (agentAt__a1_x1_y0′
(true (1.0))
(false (0.0))))
(false (agentAt__a1_x1_y0′
(true (0.0))
(false (1.0)))))
agentAt__a1_x1_y1
(agentAt__a1_x1_y1
(true (agentAt__a1_x1_y1′
(true (1.0))
(false (0.0))))
(false (agentAt__a1_x1_y1′
(true (0.0))
(false (1.0)))))
lifeDetected__o0
(lifeDetected__o0
(true (lifeDetected__o0′
(true (1.0))
(false (0.0))))
(false (lifeDetected__o0′
(true (0.0))
(false (1.0)))))
lifeDetected__o1
(lifeDetected__o1
(true (lifeDetected__o1′
(true (1.0))
(false (0.0))))
(false (lifeDetected__o1′
(true (0.0))
(false (1.0)))))
lifeDetected__o2
(lifeDetected__o2
(true (lifeDetected__o2′
(true (1.0))
(false (0.0))))
(false (lifeDetected__o2′
(true (0.0))
(false (1.0)))))
lifeDetected__o3
(lifeDetected__o3
(true (lifeDetected__o3′
(true (1.0))
(false (0.0))))
(false (lifeDetected__o3′
(true (0.0))
(false (1.0)))))
HAS_LIFE__o0
(HAS_LIFE__o0
(true (HAS_LIFE__o0′
(true (1.0))
(false (0.0))))
(false (twoStep
(true (HAS_LIFE__o0′
(true (0.0))
(false (1.0))))
(false (HAS_WATER__o0
(true (HAS_LIFE__o0′
(true (0.7))
(false (0.30000000000000004))))
(false (HAS_LIFE__o0′
(true (0.0))
(false (1.0)))))))))
HAS_LIFE__o1
(HAS_LIFE__o1
(true (HAS_LIFE__o1′
(true (1.0))
(false (0.0))))
(false (twoStep
(true (HAS_LIFE__o1′
(true (0.0))
(false (1.0))))
(false (HAS_WATER__o1
(true (HAS_LIFE__o1′
(true (0.7))
(false (0.30000000000000004))))
(false (HAS_LIFE__o1′
(true (0.0))
(false (1.0)))))))))
HAS_LIFE__o2
(HAS_LIFE__o2
(true (HAS_LIFE__o2′
(true (1.0))
(false (0.0))))
(false (twoStep
(true (HAS_LIFE__o2′
(true (0.0))
(false (1.0))))
(false (HAS_WATER__o2
(true (HAS_LIFE__o2′
(true (0.7))
(false (0.30000000000000004))))
(false (HAS_LIFE__o2′
(true (0.0))
(false (1.0)))))))))
HAS_LIFE__o3
(HAS_LIFE__o3
(true (HAS_LIFE__o3′
(true (1.0))
(false (0.0))))
(false (twoStep
(true (HAS_LIFE__o3′
(true (0.0))
(false (1.0))))
(false (HAS_WATER__o3
(true (HAS_LIFE__o3′
(true (0.7))
(false (0.30000000000000004))))
(false (HAS_LIFE__o3′
(true (0.0))
(false (1.0)))))))))
pictureTaken__o0
(pictureTaken__o0′
(true (0.0))
(false (1.0)))
pictureTaken__o1
(pictureTaken__o1′
(true (0.0))
(false (1.0)))
pictureTaken__o2
(damaged__p1
(true (pictureTaken__o2′
(true (0.0))
(false (1.0))))
(false (agentAt__a1_x1_y1
(true (pictureTaken__o2′
(true (1.0))
(false (0.0))))
(false (pictureTaken__o2′
(true (0.0))
(false (1.0)))))))
pictureTaken__o3
(pictureTaken__o3′
(true (0.0))
(false (1.0)))
twoStep
(oneStep
(true (twoStep’
(true (1.0))
(false (0.0))))
(false (twoStep’
(true (0.0))
(false (1.0)))))
waterDetected__o0
(waterDetected__o0
(true (waterDetected__o0′
(true (1.0))
(false (0.0))))
(false (waterDetected__o0′
(true (0.0))
(false (1.0)))))
waterDetected__o1
(waterDetected__o1
(true (waterDetected__o1′
(true (1.0))
(false (0.0))))
(false (waterDetected__o1′
(true (0.0))
(false (1.0)))))
waterDetected__o2
(waterDetected__o2
(true (waterDetected__o2′
(true (1.0))
(false (0.0))))
(false (waterDetected__o2′
(true (0.0))
(false (1.0)))))
waterDetected__o3
(waterDetected__o3
(true (waterDetected__o3′
(true (1.0))
(false (0.0))))
(false (waterDetected__o3′
(true (0.0))
(false (1.0)))))
HAS_WATER__o0
(oneStep
(true (HAS_WATER__o0
(true (HAS_WATER__o0′
(true (1.0))
(false (0.0))))
(false (HAS_WATER__o0′
(true (0.0))
(false (1.0))))))
(false (HAS_WATER__o0
(true (HAS_WATER__o0′
(true (1.0))
(false (0.0))))
(false (HAS_WATER__o0′
(true (0.8))
(false (0.2)))))))
HAS_WATER__o1
(oneStep
(true (HAS_WATER__o1
(true (HAS_WATER__o1′
(true (1.0))
(false (0.0))))
(false (HAS_WATER__o1′
(true (0.0))
(false (1.0))))))
(false (HAS_WATER__o1
(true (HAS_WATER__o1′
(true (1.0))
(false (0.0))))
(false (HAS_WATER__o1′
(true (0.8))
(false (0.2)))))))
HAS_WATER__o2
(oneStep
(true (HAS_WATER__o2
(true (HAS_WATER__o2′
(true (1.0))
(false (0.0))))
(false (HAS_WATER__o2′
(true (0.0))
(false (1.0))))))
(false (HAS_WATER__o2
(true (HAS_WATER__o2′
(true (1.0))
(false (0.0))))
(false (HAS_WATER__o2′
(true (0.8))
(false (0.2)))))))
HAS_WATER__o3
(oneStep
(true (HAS_WATER__o3
(true (HAS_WATER__o3′
(true (1.0))
(false (0.0))))
(false (HAS_WATER__o3′
(true (0.0))
(false (1.0))))))
(false (HAS_WATER__o3
(true (HAS_WATER__o3′
(true (1.0))
(false (0.0))))
(false (HAS_WATER__o3′
(true (0.8))
(false (0.2)))))))
observe
lifeDetectedObs__o0
(lifeDetected__o0′
(true (lifeDetectedObs__o0′
(true (1.0))
(false (0.0))))
(false (lifeDetectedObs__o0′
(true (0.0))
(false (1.0)))))
lifeDetectedObs__o1
(lifeDetected__o1′
(true (lifeDetectedObs__o1′
(true (1.0))
(false (0.0))))
(false (lifeDetectedObs__o1′
(true (0.0))
(false (1.0)))))
lifeDetectedObs__o2
(lifeDetected__o2′
(true (lifeDetectedObs__o2′
(true (1.0))
(false (0.0))))
(false (lifeDetectedObs__o2′
(true (0.0))
(false (1.0)))))
lifeDetectedObs__o3
(lifeDetected__o3′
(true (lifeDetectedObs__o3′
(true (1.0))
(false (0.0))))
(false (lifeDetectedObs__o3′
(true (0.0))
(false (1.0)))))
waterDetectedObs__o0
(waterDetected__o0′
(true (waterDetectedObs__o0′
(true (1.0))
(false (0.0))))
(false (waterDetectedObs__o0′
(true (0.0))
(false (1.0)))))
waterDetectedObs__o1
(waterDetected__o1′
(true (waterDetectedObs__o1′
(true (1.0))
(false (0.0))))
(false (waterDetectedObs__o1′
(true (0.0))
(false (1.0)))))
waterDetectedObs__o2
(waterDetected__o2′
(true (waterDetectedObs__o2′
(true (1.0))
(false (0.0))))
(false (waterDetectedObs__o2′
(true (0.0))
(false (1.0)))))
waterDetectedObs__o3
(waterDetected__o3′
(true (waterDetectedObs__o3′
(true (1.0))
(false (0.0))))
(false (waterDetectedObs__o3′
(true (0.0))
(false (1.0)))))
damagedObs__l1
(damaged__l1′
(true (damagedObs__l1′
(true (0.9048146903514862))
(false (0.0951853096485138))))
(false (damagedObs__l1′
(true (0.06824952))
(false (0.93175048)))))
damagedObs__w1
(damaged__w1′
(true (damagedObs__w1′
(true (0.906268373131752))
(false (0.09373162686824799))))
(false (damagedObs__w1′
(true (0.068904884))
(false (0.9310951160000001)))))
damagedObs__p1
(damaged__p1′
(true (damagedObs__p1′
(true (0.8))
(false (0.2))))
(false (damagedObs__p1′
(true (0.2))
(false (0.8)))))
endobserve
cost [+
(damaged__p1
(true (0.0))
(false (agentAt__a1_x1_y1
(true (lifeDetected__o2
(true (pictureTaken__o2
(true (0.0))
(false (-0.19773391))))
(false (0.0))))
(false (0.0)))))
(agentAt__a1_x1_y1
(true (lifeDetected__o2
(true (0.0))
(false (0.9231342))))
(false (0.0)))
]
endaction

action useToolOn__a1_p1_o3
damaged__l1
(damaged__l1
(true (damaged__l1′
(true (1.0))
(false (0.0))))
(false (agentAt__a1_x1_y1
(true (damaged__l1′
(true (0.33066183))
(false (0.6693381700000001))))
(false (damaged__l1′
(true (0.0))
(false (1.0)))))))
damaged__w1
(damaged__w1
(true (damaged__w1′
(true (1.0))
(false (0.0))))
(false (agentAt__a1_x1_y1
(true (damaged__w1′
(true (0.29469067))
(false (0.70530933))))
(false (damaged__w1′
(true (0.0))
(false (1.0)))))))
damaged__p1
(damaged__p1
(true (damaged__p1′
(true (1.0))
(false (0.0))))
(false (damaged__p1′
(true (0.0))
(false (1.0)))))
oneStep
(oneStep’
(true (1.0))
(false (0.0)))
agentAt__a1_x0_y0
(agentAt__a1_x0_y0
(true (agentAt__a1_x0_y0′
(true (1.0))
(false (0.0))))
(false (agentAt__a1_x0_y0′
(true (0.0))
(false (1.0)))))
agentAt__a1_x0_y1
(agentAt__a1_x0_y1
(true (agentAt__a1_x0_y1′
(true (1.0))
(false (0.0))))
(false (agentAt__a1_x0_y1′
(true (0.0))
(false (1.0)))))
agentAt__a1_x1_y0
(agentAt__a1_x1_y0
(true (agentAt__a1_x1_y0′
(true (1.0))
(false (0.0))))
(false (agentAt__a1_x1_y0′
(true (0.0))
(false (1.0)))))
agentAt__a1_x1_y1
(agentAt__a1_x1_y1
(true (agentAt__a1_x1_y1′
(true (1.0))
(false (0.0))))
(false (agentAt__a1_x1_y1′
(true (0.0))
(false (1.0)))))
lifeDetected__o0
(lifeDetected__o0
(true (lifeDetected__o0′
(true (1.0))
(false (0.0))))
(false (lifeDetected__o0′
(true (0.0))
(false (1.0)))))
lifeDetected__o1
(lifeDetected__o1
(true (lifeDetected__o1′
(true (1.0))
(false (0.0))))
(false (lifeDetected__o1′
(true (0.0))
(false (1.0)))))
lifeDetected__o2
(lifeDetected__o2
(true (lifeDetected__o2′
(true (1.0))
(false (0.0))))
(false (lifeDetected__o2′
(true (0.0))
(false (1.0)))))
lifeDetected__o3
(lifeDetected__o3
(true (lifeDetected__o3′
(true (1.0))
(false (0.0))))
(false (lifeDetected__o3′
(true (0.0))
(false (1.0)))))
HAS_LIFE__o0
(HAS_LIFE__o0
(true (HAS_LIFE__o0′
(true (1.0))
(false (0.0))))
(false (twoStep
(true (HAS_LIFE__o0′
(true (0.0))
(false (1.0))))
(false (HAS_WATER__o0
(true (HAS_LIFE__o0′
(true (0.7))
(false (0.30000000000000004))))
(false (HAS_LIFE__o0′
(true (0.0))
(false (1.0)))))))))
HAS_LIFE__o1
(HAS_LIFE__o1
(true (HAS_LIFE__o1′
(true (1.0))
(false (0.0))))
(false (twoStep
(true (HAS_LIFE__o1′
(true (0.0))
(false (1.0))))
(false (HAS_WATER__o1
(true (HAS_LIFE__o1′
(true (0.7))
(false (0.30000000000000004))))
(false (HAS_LIFE__o1′
(true (0.0))
(false (1.0)))))))))
HAS_LIFE__o2
(HAS_LIFE__o2
(true (HAS_LIFE__o2′
(true (1.0))
(false (0.0))))
(false (twoStep
(true (HAS_LIFE__o2′
(true (0.0))
(false (1.0))))
(false (HAS_WATER__o2
(true (HAS_LIFE__o2′
(true (0.7))
(false (0.30000000000000004))))
(false (HAS_LIFE__o2′
(true (0.0))
(false (1.0)))))))))
HAS_LIFE__o3
(HAS_LIFE__o3
(true (HAS_LIFE__o3′
(true (1.0))
(false (0.0))))
(false (twoStep
(true (HAS_LIFE__o3′
(true (0.0))
(false (1.0))))
(false (HAS_WATER__o3
(true (HAS_LIFE__o3′
(true (0.7))
(false (0.30000000000000004))))
(false (HAS_LIFE__o3′
(true (0.0))
(false (1.0)))))))))
pictureTaken__o0
(pictureTaken__o0′
(true (0.0))
(false (1.0)))
pictureTaken__o1
(pictureTaken__o1′
(true (0.0))
(false (1.0)))
pictureTaken__o2
(pictureTaken__o2′
(true (0.0))
(false (1.0)))
pictureTaken__o3
(damaged__p1
(true (pictureTaken__o3′
(true (0.0))
(false (1.0))))
(false (agentAt__a1_x0_y0
(true (pictureTaken__o3′
(true (1.0))
(false (0.0))))
(false (pictureTaken__o3′
(true (0.0))
(false (1.0)))))))
twoStep
(oneStep
(true (twoStep’
(true (1.0))
(false (0.0))))
(false (twoStep’
(true (0.0))
(false (1.0)))))
waterDetected__o0
(waterDetected__o0
(true (waterDetected__o0′
(true (1.0))
(false (0.0))))
(false (waterDetected__o0′
(true (0.0))
(false (1.0)))))
waterDetected__o1
(waterDetected__o1
(true (waterDetected__o1′
(true (1.0))
(false (0.0))))
(false (waterDetected__o1′
(true (0.0))
(false (1.0)))))
waterDetected__o2
(waterDetected__o2
(true (waterDetected__o2′
(true (1.0))
(false (0.0))))
(false (waterDetected__o2′
(true (0.0))
(false (1.0)))))
waterDetected__o3
(waterDetected__o3
(true (waterDetected__o3′
(true (1.0))
(false (0.0))))
(false (waterDetected__o3′
(true (0.0))
(false (1.0)))))
HAS_WATER__o0
(oneStep
(true (HAS_WATER__o0
(true (HAS_WATER__o0′
(true (1.0))
(false (0.0))))
(false (HAS_WATER__o0′
(true (0.0))
(false (1.0))))))
(false (HAS_WATER__o0
(true (HAS_WATER__o0′
(true (1.0))
(false (0.0))))
(false (HAS_WATER__o0′
(true (0.8))
(false (0.2)))))))
HAS_WATER__o1
(oneStep
(true (HAS_WATER__o1
(true (HAS_WATER__o1′
(true (1.0))
(false (0.0))))
(false (HAS_WATER__o1′
(true (0.0))
(false (1.0))))))
(false (HAS_WATER__o1
(true (HAS_WATER__o1′
(true (1.0))
(false (0.0))))
(false (HAS_WATER__o1′
(true (0.8))
(false (0.2)))))))
HAS_WATER__o2
(oneStep
(true (HAS_WATER__o2
(true (HAS_WATER__o2′
(true (1.0))
(false (0.0))))
(false (HAS_WATER__o2′
(true (0.0))
(false (1.0))))))
(false (HAS_WATER__o2
(true (HAS_WATER__o2′
(true (1.0))
(false (0.0))))
(false (HAS_WATER__o2′
(true (0.8))
(false (0.2)))))))
HAS_WATER__o3
(oneStep
(true (HAS_WATER__o3
(true (HAS_WATER__o3′
(true (1.0))
(false (0.0))))
(false (HAS_WATER__o3′
(true (0.0))
(false (1.0))))))
(false (HAS_WATER__o3
(true (HAS_WATER__o3′
(true (1.0))
(false (0.0))))
(false (HAS_WATER__o3′
(true (0.8))
(false (0.2)))))))
observe
lifeDetectedObs__o0
(lifeDetected__o0′
(true (lifeDetectedObs__o0′
(true (1.0))
(false (0.0))))
(false (lifeDetectedObs__o0′
(true (0.0))
(false (1.0)))))
lifeDetectedObs__o1
(lifeDetected__o1′
(true (lifeDetectedObs__o1′
(true (1.0))
(false (0.0))))
(false (lifeDetectedObs__o1′
(true (0.0))
(false (1.0)))))
lifeDetectedObs__o2
(lifeDetected__o2′
(true (lifeDetectedObs__o2′
(true (1.0))
(false (0.0))))
(false (lifeDetectedObs__o2′
(true (0.0))
(false (1.0)))))
lifeDetectedObs__o3
(lifeDetected__o3′
(true (lifeDetectedObs__o3′
(true (1.0))
(false (0.0))))
(false (lifeDetectedObs__o3′
(true (0.0))
(false (1.0)))))
waterDetectedObs__o0
(waterDetected__o0′
(true (waterDetectedObs__o0′
(true (1.0))
(false (0.0))))
(false (waterDetectedObs__o0′
(true (0.0))
(false (1.0)))))
waterDetectedObs__o1
(waterDetected__o1′
(true (waterDetectedObs__o1′
(true (1.0))
(false (0.0))))
(false (waterDetectedObs__o1′
(true (0.0))
(false (1.0)))))
waterDetectedObs__o2
(waterDetected__o2′
(true (waterDetectedObs__o2′
(true (1.0))
(false (0.0))))
(false (waterDetectedObs__o2′
(true (0.0))
(false (1.0)))))
waterDetectedObs__o3
(waterDetected__o3′
(true (waterDetectedObs__o3′
(true (1.0))
(false (0.0))))
(false (waterDetectedObs__o3′
(true (0.0))
(false (1.0)))))
damagedObs__l1
(damaged__l1′
(true (damagedObs__l1′
(true (0.9048146903514862))
(false (0.0951853096485138))))
(false (damagedObs__l1′
(true (0.06824952))
(false (0.93175048)))))
damagedObs__w1
(damaged__w1′
(true (damagedObs__w1′
(true (0.906268373131752))
(false (0.09373162686824799))))
(false (damagedObs__w1′
(true (0.068904884))
(false (0.9310951160000001)))))
damagedObs__p1
(damaged__p1′
(true (damagedObs__p1′
(true (0.8))
(false (0.2))))
(false (damagedObs__p1′
(true (0.2))
(false (0.8)))))
endobserve
cost [+
(damaged__p1
(true (0.0))
(false (agentAt__a1_x0_y0
(true (lifeDetected__o3
(true (pictureTaken__o3
(true (0.0))
(false (-0.19773391))))
(false (0.0))))
(false (0.0)))))
(agentAt__a1_x0_y0
(true (lifeDetected__o3
(true (0.0))
(false (0.9231342))))
(false (0.0)))
]
endaction

action useToolOn__a1_w1_o0
damaged__l1
(damaged__l1
(true (damaged__l1′
(true (1.0))
(false (0.0))))
(false (agentAt__a1_x1_y1
(true (damaged__l1′
(true (0.33066183))
(false (0.6693381700000001))))
(false (damaged__l1′
(true (0.0))
(false (1.0)))))))
damaged__w1
(damaged__w1
(true (damaged__w1′
(true (1.0))
(false (0.0))))
(false (agentAt__a1_x1_y1
(true (damaged__w1′
(true (0.29469067))
(false (0.70530933))))
(false (damaged__w1′
(true (0.0))
(false (1.0)))))))
damaged__p1
(damaged__p1
(true (damaged__p1′
(true (1.0))
(false (0.0))))
(false (damaged__p1′
(true (0.0))
(false (1.0)))))
oneStep
(oneStep’
(true (1.0))
(false (0.0)))
agentAt__a1_x0_y0
(agentAt__a1_x0_y0
(true (agentAt__a1_x0_y0′
(true (1.0))
(false (0.0))))
(false (agentAt__a1_x0_y0′
(true (0.0))
(false (1.0)))))
agentAt__a1_x0_y1
(agentAt__a1_x0_y1
(true (agentAt__a1_x0_y1′
(true (1.0))
(false (0.0))))
(false (agentAt__a1_x0_y1′
(true (0.0))
(false (1.0)))))
agentAt__a1_x1_y0
(agentAt__a1_x1_y0
(true (agentAt__a1_x1_y0′
(true (1.0))
(false (0.0))))
(false (agentAt__a1_x1_y0′
(true (0.0))
(false (1.0)))))
agentAt__a1_x1_y1
(agentAt__a1_x1_y1
(true (agentAt__a1_x1_y1′
(true (1.0))
(false (0.0))))
(false (agentAt__a1_x1_y1′
(true (0.0))
(false (1.0)))))
lifeDetected__o0
(lifeDetected__o0
(true (lifeDetected__o0′
(true (1.0))
(false (0.0))))
(false (lifeDetected__o0′
(true (0.0))
(false (1.0)))))
lifeDetected__o1
(lifeDetected__o1
(true (lifeDetected__o1′
(true (1.0))
(false (0.0))))
(false (lifeDetected__o1′
(true (0.0))
(false (1.0)))))
lifeDetected__o2
(lifeDetected__o2
(true (lifeDetected__o2′
(true (1.0))
(false (0.0))))
(false (lifeDetected__o2′
(true (0.0))
(false (1.0)))))
lifeDetected__o3
(lifeDetected__o3
(true (lifeDetected__o3′
(true (1.0))
(false (0.0))))
(false (lifeDetected__o3′
(true (0.0))
(false (1.0)))))
HAS_LIFE__o0
(HAS_LIFE__o0
(true (HAS_LIFE__o0′
(true (1.0))
(false (0.0))))
(false (twoStep
(true (HAS_LIFE__o0′
(true (0.0))
(false (1.0))))
(false (HAS_WATER__o0
(true (HAS_LIFE__o0′
(true (0.7))
(false (0.30000000000000004))))
(false (HAS_LIFE__o0′
(true (0.0))
(false (1.0)))))))))
HAS_LIFE__o1
(HAS_LIFE__o1
(true (HAS_LIFE__o1′
(true (1.0))
(false (0.0))))
(false (twoStep
(true (HAS_LIFE__o1′
(true (0.0))
(false (1.0))))
(false (HAS_WATER__o1
(true (HAS_LIFE__o1′
(true (0.7))
(false (0.30000000000000004))))
(false (HAS_LIFE__o1′
(true (0.0))
(false (1.0)))))))))
HAS_LIFE__o2
(HAS_LIFE__o2
(true (HAS_LIFE__o2′
(true (1.0))
(false (0.0))))
(false (twoStep
(true (HAS_LIFE__o2′
(true (0.0))
(false (1.0))))
(false (HAS_WATER__o2
(true (HAS_LIFE__o2′
(true (0.7))
(false (0.30000000000000004))))
(false (HAS_LIFE__o2′
(true (0.0))
(false (1.0)))))))))
HAS_LIFE__o3
(HAS_LIFE__o3
(true (HAS_LIFE__o3′
(true (1.0))
(false (0.0))))
(false (twoStep
(true (HAS_LIFE__o3′
(true (0.0))
(false (1.0))))
(false (HAS_WATER__o3
(true (HAS_LIFE__o3′
(true (0.7))
(false (0.30000000000000004))))
(false (HAS_LIFE__o3′
(true (0.0))
(false (1.0)))))))))
pictureTaken__o0
(pictureTaken__o0′
(true (0.0))
(false (1.0)))
pictureTaken__o1
(pictureTaken__o1′
(true (0.0))
(false (1.0)))
pictureTaken__o2
(pictureTaken__o2′
(true (0.0))
(false (1.0)))
pictureTaken__o3
(pictureTaken__o3′
(true (0.0))
(false (1.0)))
twoStep
(oneStep
(true (twoStep’
(true (1.0))
(false (0.0))))
(false (twoStep’
(true (0.0))
(false (1.0)))))
waterDetected__o0
(damaged__w1
(true (agentAt__a1_x0_y0
(true (waterDetected__o0
(true (waterDetected__o0′
(true (1.0))
(false (0.0))))
(false (HAS_WATER__o0
(true (waterDetected__o0′
(true (0.4))
(false (0.6))))
(false (waterDetected__o0′
(true (0.0))
(false (1.0))))))))
(false (waterDetected__o0
(true (waterDetected__o0′
(true (1.0))
(false (0.0))))
(false (waterDetected__o0′
(true (0.0))
(false (1.0))))))))
(false (agentAt__a1_x0_y0
(true (waterDetected__o0
(true (waterDetected__o0′
(true (1.0))
(false (0.0))))
(false (HAS_WATER__o0
(true (waterDetected__o0′
(true (0.8))
(false (0.2))))
(false (waterDetected__o0′
(true (0.0))
(false (1.0))))))))
(false (waterDetected__o0
(true (waterDetected__o0′
(true (1.0))
(false (0.0))))
(false (waterDetected__o0′
(true (0.0))
(false (1.0)))))))))
waterDetected__o1
(waterDetected__o1
(true (waterDetected__o1′
(true (1.0))
(false (0.0))))
(false (waterDetected__o1′
(true (0.0))
(false (1.0)))))
waterDetected__o2
(waterDetected__o2
(true (waterDetected__o2′
(true (1.0))
(false (0.0))))
(false (waterDetected__o2′
(true (0.0))
(false (1.0)))))
waterDetected__o3
(waterDetected__o3
(true (waterDetected__o3′
(true (1.0))
(false (0.0))))
(false (waterDetected__o3′
(true (0.0))
(false (1.0)))))
HAS_WATER__o0
(oneStep
(true (HAS_WATER__o0
(true (HAS_WATER__o0′
(true (1.0))
(false (0.0))))
(false (HAS_WATER__o0′
(true (0.0))
(false (1.0))))))
(false (HAS_WATER__o0
(true (HAS_WATER__o0′
(true (1.0))
(false (0.0))))
(false (HAS_WATER__o0′
(true (0.8))
(false (0.2)))))))
HAS_WATER__o1
(oneStep
(true (HAS_WATER__o1
(true (HAS_WATER__o1′
(true (1.0))
(false (0.0))))
(false (HAS_WATER__o1′
(true (0.0))
(false (1.0))))))
(false (HAS_WATER__o1
(true (HAS_WATER__o1′
(true (1.0))
(false (0.0))))
(false (HAS_WATER__o1′
(true (0.8))
(false (0.2)))))))
HAS_WATER__o2
(oneStep
(true (HAS_WATER__o2
(true (HAS_WATER__o2′
(true (1.0))
(false (0.0))))
(false (HAS_WATER__o2′
(true (0.0))
(false (1.0))))))
(false (HAS_WATER__o2
(true (HAS_WATER__o2′
(true (1.0))
(false (0.0))))
(false (HAS_WATER__o2′
(true (0.8))
(false (0.2)))))))
HAS_WATER__o3
(oneStep
(true (HAS_WATER__o3
(true (HAS_WATER__o3′
(true (1.0))
(false (0.0))))
(false (HAS_WATER__o3′
(true (0.0))
(false (1.0))))))
(false (HAS_WATER__o3
(true (HAS_WATER__o3′
(true (1.0))
(false (0.0))))
(false (HAS_WATER__o3′
(true (0.8))
(false (0.2)))))))
observe
lifeDetectedObs__o0
(lifeDetected__o0′
(true (lifeDetectedObs__o0′
(true (1.0))
(false (0.0))))
(false (lifeDetectedObs__o0′
(true (0.0))
(false (1.0)))))
lifeDetectedObs__o1
(lifeDetected__o1′
(true (lifeDetectedObs__o1′
(true (1.0))
(false (0.0))))
(false (lifeDetectedObs__o1′
(true (0.0))
(false (1.0)))))
lifeDetectedObs__o2
(lifeDetected__o2′
(true (lifeDetectedObs__o2′
(true (1.0))
(false (0.0))))
(false (lifeDetectedObs__o2′
(true (0.0))
(false (1.0)))))
lifeDetectedObs__o3
(lifeDetected__o3′
(true (lifeDetectedObs__o3′
(true (1.0))
(false (0.0))))
(false (lifeDetectedObs__o3′
(true (0.0))
(false (1.0)))))
waterDetectedObs__o0
(waterDetected__o0′
(true (waterDetectedObs__o0′
(true (1.0))
(false (0.0))))
(false (waterDetectedObs__o0′
(true (0.0))
(false (1.0)))))
waterDetectedObs__o1
(waterDetected__o1′
(true (waterDetectedObs__o1′
(true (1.0))
(false (0.0))))
(false (waterDetectedObs__o1′
(true (0.0))
(false (1.0)))))
waterDetectedObs__o2
(waterDetected__o2′
(true (waterDetectedObs__o2′
(true (1.0))
(false (0.0))))
(false (waterDetectedObs__o2′
(true (0.0))
(false (1.0)))))
waterDetectedObs__o3
(waterDetected__o3′
(true (waterDetectedObs__o3′
(true (1.0))
(false (0.0))))
(false (waterDetectedObs__o3′
(true (0.0))
(false (1.0)))))
damagedObs__l1
(damaged__l1′
(true (damagedObs__l1′
(true (0.9048146903514862))
(false (0.0951853096485138))))
(false (damagedObs__l1′
(true (0.06824952))
(false (0.93175048)))))
damagedObs__w1
(damaged__w1′
(true (damagedObs__w1′
(true (0.906268373131752))
(false (0.09373162686824799))))
(false (damagedObs__w1′
(true (0.068904884))
(false (0.9310951160000001)))))
damagedObs__p1
(damaged__p1′
(true (damagedObs__p1′
(true (0.8))
(false (0.2))))
(false (damagedObs__p1′
(true (0.2))
(false (0.8)))))
endobserve
endaction

action useToolOn__a1_w1_o1
damaged__l1
(damaged__l1
(true (damaged__l1′
(true (1.0))
(false (0.0))))
(false (agentAt__a1_x1_y1
(true (damaged__l1′
(true (0.33066183))
(false (0.6693381700000001))))
(false (damaged__l1′
(true (0.0))
(false (1.0)))))))
damaged__w1
(damaged__w1
(true (damaged__w1′
(true (1.0))
(false (0.0))))
(false (agentAt__a1_x1_y1
(true (damaged__w1′
(true (0.29469067))
(false (0.70530933))))
(false (damaged__w1′
(true (0.0))
(false (1.0)))))))
damaged__p1
(damaged__p1
(true (damaged__p1′
(true (1.0))
(false (0.0))))
(false (damaged__p1′
(true (0.0))
(false (1.0)))))
oneStep
(oneStep’
(true (1.0))
(false (0.0)))
agentAt__a1_x0_y0
(agentAt__a1_x0_y0
(true (agentAt__a1_x0_y0′
(true (1.0))
(false (0.0))))
(false (agentAt__a1_x0_y0′
(true (0.0))
(false (1.0)))))
agentAt__a1_x0_y1
(agentAt__a1_x0_y1
(true (agentAt__a1_x0_y1′
(true (1.0))
(false (0.0))))
(false (agentAt__a1_x0_y1′
(true (0.0))
(false (1.0)))))
agentAt__a1_x1_y0
(agentAt__a1_x1_y0
(true (agentAt__a1_x1_y0′
(true (1.0))
(false (0.0))))
(false (agentAt__a1_x1_y0′
(true (0.0))
(false (1.0)))))
agentAt__a1_x1_y1
(agentAt__a1_x1_y1
(true (agentAt__a1_x1_y1′
(true (1.0))
(false (0.0))))
(false (agentAt__a1_x1_y1′
(true (0.0))
(false (1.0)))))
lifeDetected__o0
(lifeDetected__o0
(true (lifeDetected__o0′
(true (1.0))
(false (0.0))))
(false (lifeDetected__o0′
(true (0.0))
(false (1.0)))))
lifeDetected__o1
(lifeDetected__o1
(true (lifeDetected__o1′
(true (1.0))
(false (0.0))))
(false (lifeDetected__o1′
(true (0.0))
(false (1.0)))))
lifeDetected__o2
(lifeDetected__o2
(true (lifeDetected__o2′
(true (1.0))
(false (0.0))))
(false (lifeDetected__o2′
(true (0.0))
(false (1.0)))))
lifeDetected__o3
(lifeDetected__o3
(true (lifeDetected__o3′
(true (1.0))
(false (0.0))))
(false (lifeDetected__o3′
(true (0.0))
(false (1.0)))))
HAS_LIFE__o0
(HAS_LIFE__o0
(true (HAS_LIFE__o0′
(true (1.0))
(false (0.0))))
(false (twoStep
(true (HAS_LIFE__o0′
(true (0.0))
(false (1.0))))
(false (HAS_WATER__o0
(true (HAS_LIFE__o0′
(true (0.7))
(false (0.30000000000000004))))
(false (HAS_LIFE__o0′
(true (0.0))
(false (1.0)))))))))
HAS_LIFE__o1
(HAS_LIFE__o1
(true (HAS_LIFE__o1′
(true (1.0))
(false (0.0))))
(false (twoStep
(true (HAS_LIFE__o1′
(true (0.0))
(false (1.0))))
(false (HAS_WATER__o1
(true (HAS_LIFE__o1′
(true (0.7))
(false (0.30000000000000004))))
(false (HAS_LIFE__o1′
(true (0.0))
(false (1.0)))))))))
HAS_LIFE__o2
(HAS_LIFE__o2
(true (HAS_LIFE__o2′
(true (1.0))
(false (0.0))))
(false (twoStep
(true (HAS_LIFE__o2′
(true (0.0))
(false (1.0))))
(false (HAS_WATER__o2
(true (HAS_LIFE__o2′
(true (0.7))
(false (0.30000000000000004))))
(false (HAS_LIFE__o2′
(true (0.0))
(false (1.0)))))))))
HAS_LIFE__o3
(HAS_LIFE__o3
(true (HAS_LIFE__o3′
(true (1.0))
(false (0.0))))
(false (twoStep
(true (HAS_LIFE__o3′
(true (0.0))
(false (1.0))))
(false (HAS_WATER__o3
(true (HAS_LIFE__o3′
(true (0.7))
(false (0.30000000000000004))))
(false (HAS_LIFE__o3′
(true (0.0))
(false (1.0)))))))))
pictureTaken__o0
(pictureTaken__o0′
(true (0.0))
(false (1.0)))
pictureTaken__o1
(pictureTaken__o1′
(true (0.0))
(false (1.0)))
pictureTaken__o2
(pictureTaken__o2′
(true (0.0))
(false (1.0)))
pictureTaken__o3
(pictureTaken__o3′
(true (0.0))
(false (1.0)))
twoStep
(oneStep
(true (twoStep’
(true (1.0))
(false (0.0))))
(false (twoStep’
(true (0.0))
(false (1.0)))))
waterDetected__o0
(waterDetected__o0
(true (waterDetected__o0′
(true (1.0))
(false (0.0))))
(false (waterDetected__o0′
(true (0.0))
(false (1.0)))))
waterDetected__o1
(damaged__w1
(true (agentAt__a1_x1_y0
(true (waterDetected__o1
(true (waterDetected__o1′
(true (1.0))
(false (0.0))))
(false (HAS_WATER__o1
(true (waterDetected__o1′
(true (0.4))
(false (0.6))))
(false (waterDetected__o1′
(true (0.0))
(false (1.0))))))))
(false (waterDetected__o1
(true (waterDetected__o1′
(true (1.0))
(false (0.0))))
(false (waterDetected__o1′
(true (0.0))
(false (1.0))))))))
(false (agentAt__a1_x1_y0
(true (waterDetected__o1
(true (waterDetected__o1′
(true (1.0))
(false (0.0))))
(false (HAS_WATER__o1
(true (waterDetected__o1′
(true (0.8))
(false (0.2))))
(false (waterDetected__o1′
(true (0.0))
(false (1.0))))))))
(false (waterDetected__o1
(true (waterDetected__o1′
(true (1.0))
(false (0.0))))
(false (waterDetected__o1′
(true (0.0))
(false (1.0)))))))))
waterDetected__o2
(waterDetected__o2
(true (waterDetected__o2′
(true (1.0))
(false (0.0))))
(false (waterDetected__o2′
(true (0.0))
(false (1.0)))))
waterDetected__o3
(waterDetected__o3
(true (waterDetected__o3′
(true (1.0))
(false (0.0))))
(false (waterDetected__o3′
(true (0.0))
(false (1.0)))))
HAS_WATER__o0
(oneStep
(true (HAS_WATER__o0
(true (HAS_WATER__o0′
(true (1.0))
(false (0.0))))
(false (HAS_WATER__o0′
(true (0.0))
(false (1.0))))))
(false (HAS_WATER__o0
(true (HAS_WATER__o0′
(true (1.0))
(false (0.0))))
(false (HAS_WATER__o0′
(true (0.8))
(false (0.2)))))))
HAS_WATER__o1
(oneStep
(true (HAS_WATER__o1
(true (HAS_WATER__o1′
(true (1.0))
(false (0.0))))
(false (HAS_WATER__o1′
(true (0.0))
(false (1.0))))))
(false (HAS_WATER__o1
(true (HAS_WATER__o1′
(true (1.0))
(false (0.0))))
(false (HAS_WATER__o1′
(true (0.8))
(false (0.2)))))))
HAS_WATER__o2
(oneStep
(true (HAS_WATER__o2
(true (HAS_WATER__o2′
(true (1.0))
(false (0.0))))
(false (HAS_WATER__o2′
(true (0.0))
(false (1.0))))))
(false (HAS_WATER__o2
(true (HAS_WATER__o2′
(true (1.0))
(false (0.0))))
(false (HAS_WATER__o2′
(true (0.8))
(false (0.2)))))))
HAS_WATER__o3
(oneStep
(true (HAS_WATER__o3
(true (HAS_WATER__o3′
(true (1.0))
(false (0.0))))
(false (HAS_WATER__o3′
(true (0.0))
(false (1.0))))))
(false (HAS_WATER__o3
(true (HAS_WATER__o3′
(true (1.0))
(false (0.0))))
(false (HAS_WATER__o3′
(true (0.8))
(false (0.2)))))))
observe
lifeDetectedObs__o0
(lifeDetected__o0′
(true (lifeDetectedObs__o0′
(true (1.0))
(false (0.0))))
(false (lifeDetectedObs__o0′
(true (0.0))
(false (1.0)))))
lifeDetectedObs__o1
(lifeDetected__o1′
(true (lifeDetectedObs__o1′
(true (1.0))
(false (0.0))))
(false (lifeDetectedObs__o1′
(true (0.0))
(false (1.0)))))
lifeDetectedObs__o2
(lifeDetected__o2′
(true (lifeDetectedObs__o2′
(true (1.0))
(false (0.0))))
(false (lifeDetectedObs__o2′
(true (0.0))
(false (1.0)))))
lifeDetectedObs__o3
(lifeDetected__o3′
(true (lifeDetectedObs__o3′
(true (1.0))
(false (0.0))))
(false (lifeDetectedObs__o3′
(true (0.0))
(false (1.0)))))
waterDetectedObs__o0
(waterDetected__o0′
(true (waterDetectedObs__o0′
(true (1.0))
(false (0.0))))
(false (waterDetectedObs__o0′
(true (0.0))
(false (1.0)))))
waterDetectedObs__o1
(waterDetected__o1′
(true (waterDetectedObs__o1′
(true (1.0))
(false (0.0))))
(false (waterDetectedObs__o1′
(true (0.0))
(false (1.0)))))
waterDetectedObs__o2
(waterDetected__o2′
(true (waterDetectedObs__o2′
(true (1.0))
(false (0.0))))
(false (waterDetectedObs__o2′
(true (0.0))
(false (1.0)))))
waterDetectedObs__o3
(waterDetected__o3′
(true (waterDetectedObs__o3′
(true (1.0))
(false (0.0))))
(false (waterDetectedObs__o3′
(true (0.0))
(false (1.0)))))
damagedObs__l1
(damaged__l1′
(true (damagedObs__l1′
(true (0.9048146903514862))
(false (0.0951853096485138))))
(false (damagedObs__l1′
(true (0.06824952))
(false (0.93175048)))))
damagedObs__w1
(damaged__w1′
(true (damagedObs__w1′
(true (0.906268373131752))
(false (0.09373162686824799))))
(false (damagedObs__w1′
(true (0.068904884))
(false (0.9310951160000001)))))
damagedObs__p1
(damaged__p1′
(true (damagedObs__p1′
(true (0.8))
(false (0.2))))
(false (damagedObs__p1′
(true (0.2))
(false (0.8)))))
endobserve
endaction

action useToolOn__a1_w1_o2
damaged__l1
(damaged__l1
(true (damaged__l1′
(true (1.0))
(false (0.0))))
(false (agentAt__a1_x1_y1
(true (damaged__l1′
(true (0.33066183))
(false (0.6693381700000001))))
(false (damaged__l1′
(true (0.0))
(false (1.0)))))))
damaged__w1
(damaged__w1
(true (damaged__w1′
(true (1.0))
(false (0.0))))
(false (agentAt__a1_x1_y1
(true (damaged__w1′
(true (0.29469067))
(false (0.70530933))))
(false (damaged__w1′
(true (0.0))
(false (1.0)))))))
damaged__p1
(damaged__p1
(true (damaged__p1′
(true (1.0))
(false (0.0))))
(false (damaged__p1′
(true (0.0))
(false (1.0)))))
oneStep
(oneStep’
(true (1.0))
(false (0.0)))
agentAt__a1_x0_y0
(agentAt__a1_x0_y0
(true (agentAt__a1_x0_y0′
(true (1.0))
(false (0.0))))
(false (agentAt__a1_x0_y0′
(true (0.0))
(false (1.0)))))
agentAt__a1_x0_y1
(agentAt__a1_x0_y1
(true (agentAt__a1_x0_y1′
(true (1.0))
(false (0.0))))
(false (agentAt__a1_x0_y1′
(true (0.0))
(false (1.0)))))
agentAt__a1_x1_y0
(agentAt__a1_x1_y0
(true (agentAt__a1_x1_y0′
(true (1.0))
(false (0.0))))
(false (agentAt__a1_x1_y0′
(true (0.0))
(false (1.0)))))
agentAt__a1_x1_y1
(agentAt__a1_x1_y1
(true (agentAt__a1_x1_y1′
(true (1.0))
(false (0.0))))
(false (agentAt__a1_x1_y1′
(true (0.0))
(false (1.0)))))
lifeDetected__o0
(lifeDetected__o0
(true (lifeDetected__o0′
(true (1.0))
(false (0.0))))
(false (lifeDetected__o0′
(true (0.0))
(false (1.0)))))
lifeDetected__o1
(lifeDetected__o1
(true (lifeDetected__o1′
(true (1.0))
(false (0.0))))
(false (lifeDetected__o1′
(true (0.0))
(false (1.0)))))
lifeDetected__o2
(lifeDetected__o2
(true (lifeDetected__o2′
(true (1.0))
(false (0.0))))
(false (lifeDetected__o2′
(true (0.0))
(false (1.0)))))
lifeDetected__o3
(lifeDetected__o3
(true (lifeDetected__o3′
(true (1.0))
(false (0.0))))
(false (lifeDetected__o3′
(true (0.0))
(false (1.0)))))
HAS_LIFE__o0
(HAS_LIFE__o0
(true (HAS_LIFE__o0′
(true (1.0))
(false (0.0))))
(false (twoStep
(true (HAS_LIFE__o0′
(true (0.0))
(false (1.0))))
(false (HAS_WATER__o0
(true (HAS_LIFE__o0′
(true (0.7))
(false (0.30000000000000004))))
(false (HAS_LIFE__o0′
(true (0.0))
(false (1.0)))))))))
HAS_LIFE__o1
(HAS_LIFE__o1
(true (HAS_LIFE__o1′
(true (1.0))
(false (0.0))))
(false (twoStep
(true (HAS_LIFE__o1′
(true (0.0))
(false (1.0))))
(false (HAS_WATER__o1
(true (HAS_LIFE__o1′
(true (0.7))
(false (0.30000000000000004))))
(false (HAS_LIFE__o1′
(true (0.0))
(false (1.0)))))))))
HAS_LIFE__o2
(HAS_LIFE__o2
(true (HAS_LIFE__o2′
(true (1.0))
(false (0.0))))
(false (twoStep
(true (HAS_LIFE__o2′
(true (0.0))
(false (1.0))))
(false (HAS_WATER__o2
(true (HAS_LIFE__o2′
(true (0.7))
(false (0.30000000000000004))))
(false (HAS_LIFE__o2′
(true (0.0))
(false (1.0)))))))))
HAS_LIFE__o3
(HAS_LIFE__o3
(true (HAS_LIFE__o3′
(true (1.0))
(false (0.0))))
(false (twoStep
(true (HAS_LIFE__o3′
(true (0.0))
(false (1.0))))
(false (HAS_WATER__o3
(true (HAS_LIFE__o3′
(true (0.7))
(false (0.30000000000000004))))
(false (HAS_LIFE__o3′
(true (0.0))
(false (1.0)))))))))
pictureTaken__o0
(pictureTaken__o0′
(true (0.0))
(false (1.0)))
pictureTaken__o1
(pictureTaken__o1′
(true (0.0))
(false (1.0)))
pictureTaken__o2
(pictureTaken__o2′
(true (0.0))
(false (1.0)))
pictureTaken__o3
(pictureTaken__o3′
(true (0.0))
(false (1.0)))
twoStep
(oneStep
(true (twoStep’
(true (1.0))
(false (0.0))))
(false (twoStep’
(true (0.0))
(false (1.0)))))
waterDetected__o0
(waterDetected__o0
(true (waterDetected__o0′
(true (1.0))
(false (0.0))))
(false (waterDetected__o0′
(true (0.0))
(false (1.0)))))
waterDetected__o1
(waterDetected__o1
(true (waterDetected__o1′
(true (1.0))
(false (0.0))))
(false (waterDetected__o1′
(true (0.0))
(false (1.0)))))
waterDetected__o2
(damaged__w1
(true (agentAt__a1_x1_y1
(true (waterDetected__o2
(true (waterDetected__o2′
(true (1.0))
(false (0.0))))
(false (HAS_WATER__o2
(true (waterDetected__o2′
(true (0.4))
(false (0.6))))
(false (waterDetected__o2′
(true (0.0))
(false (1.0))))))))
(false (waterDetected__o2
(true (waterDetected__o2′
(true (1.0))
(false (0.0))))
(false (waterDetected__o2′
(true (0.0))
(false (1.0))))))))
(false (agentAt__a1_x1_y1
(true (waterDetected__o2
(true (waterDetected__o2′
(true (1.0))
(false (0.0))))
(false (HAS_WATER__o2
(true (waterDetected__o2′
(true (0.8))
(false (0.2))))
(false (waterDetected__o2′
(true (0.0))
(false (1.0))))))))
(false (waterDetected__o2
(true (waterDetected__o2′
(true (1.0))
(false (0.0))))
(false (waterDetected__o2′
(true (0.0))
(false (1.0)))))))))
waterDetected__o3
(waterDetected__o3
(true (waterDetected__o3′
(true (1.0))
(false (0.0))))
(false (waterDetected__o3′
(true (0.0))
(false (1.0)))))
HAS_WATER__o0
(oneStep
(true (HAS_WATER__o0
(true (HAS_WATER__o0′
(true (1.0))
(false (0.0))))
(false (HAS_WATER__o0′
(true (0.0))
(false (1.0))))))
(false (HAS_WATER__o0
(true (HAS_WATER__o0′
(true (1.0))
(false (0.0))))
(false (HAS_WATER__o0′
(true (0.8))
(false (0.2)))))))
HAS_WATER__o1
(oneStep
(true (HAS_WATER__o1
(true (HAS_WATER__o1′
(true (1.0))
(false (0.0))))
(false (HAS_WATER__o1′
(true (0.0))
(false (1.0))))))
(false (HAS_WATER__o1
(true (HAS_WATER__o1′
(true (1.0))
(false (0.0))))
(false (HAS_WATER__o1′
(true (0.8))
(false (0.2)))))))
HAS_WATER__o2
(oneStep
(true (HAS_WATER__o2
(true (HAS_WATER__o2′
(true (1.0))
(false (0.0))))
(false (HAS_WATER__o2′
(true (0.0))
(false (1.0))))))
(false (HAS_WATER__o2
(true (HAS_WATER__o2′
(true (1.0))
(false (0.0))))
(false (HAS_WATER__o2′
(true (0.8))
(false (0.2)))))))
HAS_WATER__o3
(oneStep
(true (HAS_WATER__o3
(true (HAS_WATER__o3′
(true (1.0))
(false (0.0))))
(false (HAS_WATER__o3′
(true (0.0))
(false (1.0))))))
(false (HAS_WATER__o3
(true (HAS_WATER__o3′
(true (1.0))
(false (0.0))))
(false (HAS_WATER__o3′
(true (0.8))
(false (0.2)))))))
observe
lifeDetectedObs__o0
(lifeDetected__o0′
(true (lifeDetectedObs__o0′
(true (1.0))
(false (0.0))))
(false (lifeDetectedObs__o0′
(true (0.0))
(false (1.0)))))
lifeDetectedObs__o1
(lifeDetected__o1′
(true (lifeDetectedObs__o1′
(true (1.0))
(false (0.0))))
(false (lifeDetectedObs__o1′
(true (0.0))
(false (1.0)))))
lifeDetectedObs__o2
(lifeDetected__o2′
(true (lifeDetectedObs__o2′
(true (1.0))
(false (0.0))))
(false (lifeDetectedObs__o2′
(true (0.0))
(false (1.0)))))
lifeDetectedObs__o3
(lifeDetected__o3′
(true (lifeDetectedObs__o3′
(true (1.0))
(false (0.0))))
(false (lifeDetectedObs__o3′
(true (0.0))
(false (1.0)))))
waterDetectedObs__o0
(waterDetected__o0′
(true (waterDetectedObs__o0′
(true (1.0))
(false (0.0))))
(false (waterDetectedObs__o0′
(true (0.0))
(false (1.0)))))
waterDetectedObs__o1
(waterDetected__o1′
(true (waterDetectedObs__o1′
(true (1.0))
(false (0.0))))
(false (waterDetectedObs__o1′
(true (0.0))
(false (1.0)))))
waterDetectedObs__o2
(waterDetected__o2′
(true (waterDetectedObs__o2′
(true (1.0))
(false (0.0))))
(false (waterDetectedObs__o2′
(true (0.0))
(false (1.0)))))
waterDetectedObs__o3
(waterDetected__o3′
(true (waterDetectedObs__o3′
(true (1.0))
(false (0.0))))
(false (waterDetectedObs__o3′
(true (0.0))
(false (1.0)))))
damagedObs__l1
(damaged__l1′
(true (damagedObs__l1′
(true (0.9048146903514862))
(false (0.0951853096485138))))
(false (damagedObs__l1′
(true (0.06824952))
(false (0.93175048)))))
damagedObs__w1
(damaged__w1′
(true (damagedObs__w1′
(true (0.906268373131752))
(false (0.09373162686824799))))
(false (damagedObs__w1′
(true (0.068904884))
(false (0.9310951160000001)))))
damagedObs__p1
(damaged__p1′
(true (damagedObs__p1′
(true (0.8))
(false (0.2))))
(false (damagedObs__p1′
(true (0.2))
(false (0.8)))))
endobserve
endaction

action useToolOn__a1_w1_o3
damaged__l1
(damaged__l1
(true (damaged__l1′
(true (1.0))
(false (0.0))))
(false (agentAt__a1_x1_y1
(true (damaged__l1′
(true (0.33066183))
(false (0.6693381700000001))))
(false (damaged__l1′
(true (0.0))
(false (1.0)))))))
damaged__w1
(damaged__w1
(true (damaged__w1′
(true (1.0))
(false (0.0))))
(false (agentAt__a1_x1_y1
(true (damaged__w1′
(true (0.29469067))
(false (0.70530933))))
(false (damaged__w1′
(true (0.0))
(false (1.0)))))))
damaged__p1
(damaged__p1
(true (damaged__p1′
(true (1.0))
(false (0.0))))
(false (damaged__p1′
(true (0.0))
(false (1.0)))))
oneStep
(oneStep’
(true (1.0))
(false (0.0)))
agentAt__a1_x0_y0
(agentAt__a1_x0_y0
(true (agentAt__a1_x0_y0′
(true (1.0))
(false (0.0))))
(false (agentAt__a1_x0_y0′
(true (0.0))
(false (1.0)))))
agentAt__a1_x0_y1
(agentAt__a1_x0_y1
(true (agentAt__a1_x0_y1′
(true (1.0))
(false (0.0))))
(false (agentAt__a1_x0_y1′
(true (0.0))
(false (1.0)))))
agentAt__a1_x1_y0
(agentAt__a1_x1_y0
(true (agentAt__a1_x1_y0′
(true (1.0))
(false (0.0))))
(false (agentAt__a1_x1_y0′
(true (0.0))
(false (1.0)))))
agentAt__a1_x1_y1
(agentAt__a1_x1_y1
(true (agentAt__a1_x1_y1′
(true (1.0))
(false (0.0))))
(false (agentAt__a1_x1_y1′
(true (0.0))
(false (1.0)))))
lifeDetected__o0
(lifeDetected__o0
(true (lifeDetected__o0′
(true (1.0))
(false (0.0))))
(false (lifeDetected__o0′
(true (0.0))
(false (1.0)))))
lifeDetected__o1
(lifeDetected__o1
(true (lifeDetected__o1′
(true (1.0))
(false (0.0))))
(false (lifeDetected__o1′
(true (0.0))
(false (1.0)))))
lifeDetected__o2
(lifeDetected__o2
(true (lifeDetected__o2′
(true (1.0))
(false (0.0))))
(false (lifeDetected__o2′
(true (0.0))
(false (1.0)))))
lifeDetected__o3
(lifeDetected__o3
(true (lifeDetected__o3′
(true (1.0))
(false (0.0))))
(false (lifeDetected__o3′
(true (0.0))
(false (1.0)))))
HAS_LIFE__o0
(HAS_LIFE__o0
(true (HAS_LIFE__o0′
(true (1.0))
(false (0.0))))
(false (twoStep
(true (HAS_LIFE__o0′
(true (0.0))
(false (1.0))))
(false (HAS_WATER__o0
(true (HAS_LIFE__o0′
(true (0.7))
(false (0.30000000000000004))))
(false (HAS_LIFE__o0′
(true (0.0))
(false (1.0)))))))))
HAS_LIFE__o1
(HAS_LIFE__o1
(true (HAS_LIFE__o1′
(true (1.0))
(false (0.0))))
(false (twoStep
(true (HAS_LIFE__o1′
(true (0.0))
(false (1.0))))
(false (HAS_WATER__o1
(true (HAS_LIFE__o1′
(true (0.7))
(false (0.30000000000000004))))
(false (HAS_LIFE__o1′
(true (0.0))
(false (1.0)))))))))
HAS_LIFE__o2
(HAS_LIFE__o2
(true (HAS_LIFE__o2′
(true (1.0))
(false (0.0))))
(false (twoStep
(true (HAS_LIFE__o2′
(true (0.0))
(false (1.0))))
(false (HAS_WATER__o2
(true (HAS_LIFE__o2′
(true (0.7))
(false (0.30000000000000004))))
(false (HAS_LIFE__o2′
(true (0.0))
(false (1.0)))))))))
HAS_LIFE__o3
(HAS_LIFE__o3
(true (HAS_LIFE__o3′
(true (1.0))
(false (0.0))))
(false (twoStep
(true (HAS_LIFE__o3′
(true (0.0))
(false (1.0))))
(false (HAS_WATER__o3
(true (HAS_LIFE__o3′
(true (0.7))
(false (0.30000000000000004))))
(false (HAS_LIFE__o3′
(true (0.0))
(false (1.0)))))))))
pictureTaken__o0
(pictureTaken__o0′
(true (0.0))
(false (1.0)))
pictureTaken__o1
(pictureTaken__o1′
(true (0.0))
(false (1.0)))
pictureTaken__o2
(pictureTaken__o2′
(true (0.0))
(false (1.0)))
pictureTaken__o3
(pictureTaken__o3′
(true (0.0))
(false (1.0)))
twoStep
(oneStep
(true (twoStep’
(true (1.0))
(false (0.0))))
(false (twoStep’
(true (0.0))
(false (1.0)))))
waterDetected__o0
(waterDetected__o0
(true (waterDetected__o0′
(true (1.0))
(false (0.0))))
(false (waterDetected__o0′
(true (0.0))
(false (1.0)))))
waterDetected__o1
(waterDetected__o1
(true (waterDetected__o1′
(true (1.0))
(false (0.0))))
(false (waterDetected__o1′
(true (0.0))
(false (1.0)))))
waterDetected__o2
(waterDetected__o2
(true (waterDetected__o2′
(true (1.0))
(false (0.0))))
(false (waterDetected__o2′
(true (0.0))
(false (1.0)))))
waterDetected__o3
(damaged__w1
(true (agentAt__a1_x0_y0
(true (waterDetected__o3
(true (waterDetected__o3′
(true (1.0))
(false (0.0))))
(false (HAS_WATER__o3
(true (waterDetected__o3′
(true (0.4))
(false (0.6))))
(false (waterDetected__o3′
(true (0.0))
(false (1.0))))))))
(false (waterDetected__o3
(true (waterDetected__o3′
(true (1.0))
(false (0.0))))
(false (waterDetected__o3′
(true (0.0))
(false (1.0))))))))
(false (agentAt__a1_x0_y0
(true (waterDetected__o3
(true (waterDetected__o3′
(true (1.0))
(false (0.0))))
(false (HAS_WATER__o3
(true (waterDetected__o3′
(true (0.8))
(false (0.2))))
(false (waterDetected__o3′
(true (0.0))
(false (1.0))))))))
(false (waterDetected__o3
(true (waterDetected__o3′
(true (1.0))
(false (0.0))))
(false (waterDetected__o3′
(true (0.0))
(false (1.0)))))))))
HAS_WATER__o0
(oneStep
(true (HAS_WATER__o0
(true (HAS_WATER__o0′
(true (1.0))
(false (0.0))))
(false (HAS_WATER__o0′
(true (0.0))
(false (1.0))))))
(false (HAS_WATER__o0
(true (HAS_WATER__o0′
(true (1.0))
(false (0.0))))
(false (HAS_WATER__o0′
(true (0.8))
(false (0.2)))))))
HAS_WATER__o1
(oneStep
(true (HAS_WATER__o1
(true (HAS_WATER__o1′
(true (1.0))
(false (0.0))))
(false (HAS_WATER__o1′
(true (0.0))
(false (1.0))))))
(false (HAS_WATER__o1
(true (HAS_WATER__o1′
(true (1.0))
(false (0.0))))
(false (HAS_WATER__o1′
(true (0.8))
(false (0.2)))))))
HAS_WATER__o2
(oneStep
(true (HAS_WATER__o2
(true (HAS_WATER__o2′
(true (1.0))
(false (0.0))))
(false (HAS_WATER__o2′
(true (0.0))
(false (1.0))))))
(false (HAS_WATER__o2
(true (HAS_WATER__o2′
(true (1.0))
(false (0.0))))
(false (HAS_WATER__o2′
(true (0.8))
(false (0.2)))))))
HAS_WATER__o3
(oneStep
(true (HAS_WATER__o3
(true (HAS_WATER__o3′
(true (1.0))
(false (0.0))))
(false (HAS_WATER__o3′
(true (0.0))
(false (1.0))))))
(false (HAS_WATER__o3
(true (HAS_WATER__o3′
(true (1.0))
(false (0.0))))
(false (HAS_WATER__o3′
(true (0.8))
(false (0.2)))))))
observe
lifeDetectedObs__o0
(lifeDetected__o0′
(true (lifeDetectedObs__o0′
(true (1.0))
(false (0.0))))
(false (lifeDetectedObs__o0′
(true (0.0))
(false (1.0)))))
lifeDetectedObs__o1
(lifeDetected__o1′
(true (lifeDetectedObs__o1′
(true (1.0))
(false (0.0))))
(false (lifeDetectedObs__o1′
(true (0.0))
(false (1.0)))))
lifeDetectedObs__o2
(lifeDetected__o2′
(true (lifeDetectedObs__o2′
(true (1.0))
(false (0.0))))
(false (lifeDetectedObs__o2′
(true (0.0))
(false (1.0)))))
lifeDetectedObs__o3
(lifeDetected__o3′
(true (lifeDetectedObs__o3′
(true (1.0))
(false (0.0))))
(false (lifeDetectedObs__o3′
(true (0.0))
(false (1.0)))))
waterDetectedObs__o0
(waterDetected__o0′
(true (waterDetectedObs__o0′
(true (1.0))
(false (0.0))))
(false (waterDetectedObs__o0′
(true (0.0))
(false (1.0)))))
waterDetectedObs__o1
(waterDetected__o1′
(true (waterDetectedObs__o1′
(true (1.0))
(false (0.0))))
(false (waterDetectedObs__o1′
(true (0.0))
(false (1.0)))))
waterDetectedObs__o2
(waterDetected__o2′
(true (waterDetectedObs__o2′
(true (1.0))
(false (0.0))))
(false (waterDetectedObs__o2′
(true (0.0))
(false (1.0)))))
waterDetectedObs__o3
(waterDetected__o3′
(true (waterDetectedObs__o3′
(true (1.0))
(false (0.0))))
(false (waterDetectedObs__o3′
(true (0.0))
(false (1.0)))))
damagedObs__l1
(damaged__l1′
(true (damagedObs__l1′
(true (0.9048146903514862))
(false (0.0951853096485138))))
(false (damagedObs__l1′
(true (0.06824952))
(false (0.93175048)))))
damagedObs__w1
(damaged__w1′
(true (damagedObs__w1′
(true (0.906268373131752))
(false (0.09373162686824799))))
(false (damagedObs__w1′
(true (0.068904884))
(false (0.9310951160000001)))))
damagedObs__p1
(damaged__p1′
(true (damagedObs__p1′
(true (0.8))
(false (0.2))))
(false (damagedObs__p1′
(true (0.2))
(false (0.8)))))
endobserve
endaction

reward
(0.0)

discount 1.0
horizon 40