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

程序代写 CS代考

// Automatically produced by rddl.translate.RDDL2Format
// SPUDD / Symbolic Perseus Format for ‘recon_mdp.recon_inst_mdp__1′

(variables
(waterChecked__o0 true false)
(waterChecked__o1 true false)
(waterChecked__o2 true false)
(waterChecked__o3 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)
(damaged__l1 true false)
(damaged__w1 true false)
(damaged__p1 true false)
(lifeDetected__o0 true false)
(lifeDetected__o1 true false)
(lifeDetected__o2 true false)
(lifeDetected__o3 true false)
(lifeChecked__o0 true false)
(lifeChecked__o1 true false)
(lifeChecked__o2 true false)
(lifeChecked__o3 true false)
(pictureTaken__o0 true false)
(pictureTaken__o1 true false)
(pictureTaken__o2 true false)
(pictureTaken__o3 true false)
(lifeChecked2__o0 true false)
(lifeChecked2__o1 true false)
(lifeChecked2__o2 true false)
(lifeChecked2__o3 true false)
(waterDetected__o0 true false)
(waterDetected__o1 true false)
(waterDetected__o2 true false)
(waterDetected__o3 true false)
)

init [*
(waterChecked__o0 (true (0.0)) (false (1.0)))
(waterChecked__o1 (true (0.0)) (false (1.0)))
(waterChecked__o2 (true (0.0)) (false (1.0)))
(waterChecked__o3 (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)))
(damaged__l1 (true (0.0)) (false (1.0)))
(damaged__w1 (true (0.0)) (false (1.0)))
(damaged__p1 (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)))
(lifeChecked__o0 (true (0.0)) (false (1.0)))
(lifeChecked__o1 (true (0.0)) (false (1.0)))
(lifeChecked__o2 (true (0.0)) (false (1.0)))
(lifeChecked__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)))
(lifeChecked2__o0 (true (0.0)) (false (1.0)))
(lifeChecked2__o1 (true (0.0)) (false (1.0)))
(lifeChecked2__o2 (true (0.0)) (false (1.0)))
(lifeChecked2__o3 (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)))
]

action down__a1
waterChecked__o0
(waterChecked__o0
(true (waterChecked__o0′
(true (1.0))
(false (0.0))))
(false (waterChecked__o0′
(true (0.0))
(false (1.0)))))
waterChecked__o1
(waterChecked__o1
(true (waterChecked__o1′
(true (1.0))
(false (0.0))))
(false (waterChecked__o1′
(true (0.0))
(false (1.0)))))
waterChecked__o2
(waterChecked__o2
(true (waterChecked__o2′
(true (1.0))
(false (0.0))))
(false (waterChecked__o2′
(true (0.0))
(false (1.0)))))
waterChecked__o3
(waterChecked__o3
(true (waterChecked__o3′
(true (1.0))
(false (0.0))))
(false (waterChecked__o3′
(true (0.0))
(false (1.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)))
damaged__l1
(agentAt__a1_x0_y0
(true (agentAt__a1_x1_y0
(true (damaged__l1
(true (damaged__l1′
(true (1.0))
(false (0.0))))
(false (damaged__l1′
(true (0.3058349))
(false (0.6941651))))))
(false (damaged__l1
(true (damaged__l1′
(true (1.0))
(false (0.0))))
(false (damaged__l1′
(true (0.15291745))
(false (0.84708255))))))))
(false (agentAt__a1_x1_y0
(true (damaged__l1
(true (damaged__l1′
(true (1.0))
(false (0.0))))
(false (damaged__l1′
(true (0.3058349))
(false (0.6941651))))))
(false (agentAt__a1_x1_y1
(true (damaged__l1
(true (damaged__l1′
(true (1.0))
(false (0.0))))
(false (damaged__l1′
(true (0.15291745))
(false (0.84708255))))))
(false (damaged__l1
(true (damaged__l1′
(true (1.0))
(false (0.0))))
(false (damaged__l1′
(true (0.0))
(false (1.0)))))))))))
damaged__w1
(agentAt__a1_x0_y0
(true (agentAt__a1_x1_y0
(true (damaged__w1
(true (damaged__w1′
(true (1.0))
(false (0.0))))
(false (damaged__w1′
(true (0.29898286))
(false (0.70101714))))))
(false (damaged__w1
(true (damaged__w1′
(true (1.0))
(false (0.0))))
(false (damaged__w1′
(true (0.14949143))
(false (0.85050857))))))))
(false (agentAt__a1_x1_y0
(true (damaged__w1
(true (damaged__w1′
(true (1.0))
(false (0.0))))
(false (damaged__w1′
(true (0.29898286))
(false (0.70101714))))))
(false (agentAt__a1_x1_y1
(true (damaged__w1
(true (damaged__w1′
(true (1.0))
(false (0.0))))
(false (damaged__w1′
(true (0.14949143))
(false (0.85050857))))))
(false (damaged__w1
(true (damaged__w1′
(true (1.0))
(false (0.0))))
(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)))))
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)))))
lifeChecked__o0
(lifeChecked__o0
(true (lifeChecked__o0′
(true (1.0))
(false (0.0))))
(false (lifeChecked__o0′
(true (0.0))
(false (1.0)))))
lifeChecked__o1
(lifeChecked__o1
(true (lifeChecked__o1′
(true (1.0))
(false (0.0))))
(false (lifeChecked__o1′
(true (0.0))
(false (1.0)))))
lifeChecked__o2
(lifeChecked__o2
(true (lifeChecked__o2′
(true (1.0))
(false (0.0))))
(false (lifeChecked__o2′
(true (0.0))
(false (1.0)))))
lifeChecked__o3
(lifeChecked__o3
(true (lifeChecked__o3′
(true (1.0))
(false (0.0))))
(false (lifeChecked__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)))
lifeChecked2__o0
(lifeChecked2__o0
(true (lifeChecked2__o0′
(true (1.0))
(false (0.0))))
(false (lifeChecked2__o0′
(true (0.0))
(false (1.0)))))
lifeChecked2__o1
(lifeChecked2__o1
(true (lifeChecked2__o1′
(true (1.0))
(false (0.0))))
(false (lifeChecked2__o1′
(true (0.0))
(false (1.0)))))
lifeChecked2__o2
(lifeChecked2__o2
(true (lifeChecked2__o2′
(true (1.0))
(false (0.0))))
(false (lifeChecked2__o2′
(true (0.0))
(false (1.0)))))
lifeChecked2__o3
(lifeChecked2__o3
(true (lifeChecked2__o3′
(true (1.0))
(false (0.0))))
(false (lifeChecked2__o3′
(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)))))
endaction

action left__a1
waterChecked__o0
(waterChecked__o0
(true (waterChecked__o0′
(true (1.0))
(false (0.0))))
(false (waterChecked__o0′
(true (0.0))
(false (1.0)))))
waterChecked__o1
(waterChecked__o1
(true (waterChecked__o1′
(true (1.0))
(false (0.0))))
(false (waterChecked__o1′
(true (0.0))
(false (1.0)))))
waterChecked__o2
(waterChecked__o2
(true (waterChecked__o2′
(true (1.0))
(false (0.0))))
(false (waterChecked__o2′
(true (0.0))
(false (1.0)))))
waterChecked__o3
(waterChecked__o3
(true (waterChecked__o3′
(true (1.0))
(false (0.0))))
(false (waterChecked__o3′
(true (0.0))
(false (1.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)))
damaged__l1
(agentAt__a1_x0_y0
(true (agentAt__a1_x1_y0
(true (damaged__l1
(true (damaged__l1′
(true (1.0))
(false (0.0))))
(false (damaged__l1′
(true (0.3058349))
(false (0.6941651))))))
(false (damaged__l1
(true (damaged__l1′
(true (1.0))
(false (0.0))))
(false (damaged__l1′
(true (0.15291745))
(false (0.84708255))))))))
(false (agentAt__a1_x1_y0
(true (damaged__l1
(true (damaged__l1′
(true (1.0))
(false (0.0))))
(false (damaged__l1′
(true (0.3058349))
(false (0.6941651))))))
(false (agentAt__a1_x1_y1
(true (damaged__l1
(true (damaged__l1′
(true (1.0))
(false (0.0))))
(false (damaged__l1′
(true (0.15291745))
(false (0.84708255))))))
(false (damaged__l1
(true (damaged__l1′
(true (1.0))
(false (0.0))))
(false (damaged__l1′
(true (0.0))
(false (1.0)))))))))))
damaged__w1
(agentAt__a1_x0_y0
(true (agentAt__a1_x1_y0
(true (damaged__w1
(true (damaged__w1′
(true (1.0))
(false (0.0))))
(false (damaged__w1′
(true (0.29898286))
(false (0.70101714))))))
(false (damaged__w1
(true (damaged__w1′
(true (1.0))
(false (0.0))))
(false (damaged__w1′
(true (0.14949143))
(false (0.85050857))))))))
(false (agentAt__a1_x1_y0
(true (damaged__w1
(true (damaged__w1′
(true (1.0))
(false (0.0))))
(false (damaged__w1′
(true (0.29898286))
(false (0.70101714))))))
(false (agentAt__a1_x1_y1
(true (damaged__w1
(true (damaged__w1′
(true (1.0))
(false (0.0))))
(false (damaged__w1′
(true (0.14949143))
(false (0.85050857))))))
(false (damaged__w1
(true (damaged__w1′
(true (1.0))
(false (0.0))))
(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)))))
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)))))
lifeChecked__o0
(lifeChecked__o0
(true (lifeChecked__o0′
(true (1.0))
(false (0.0))))
(false (lifeChecked__o0′
(true (0.0))
(false (1.0)))))
lifeChecked__o1
(lifeChecked__o1
(true (lifeChecked__o1′
(true (1.0))
(false (0.0))))
(false (lifeChecked__o1′
(true (0.0))
(false (1.0)))))
lifeChecked__o2
(lifeChecked__o2
(true (lifeChecked__o2′
(true (1.0))
(false (0.0))))
(false (lifeChecked__o2′
(true (0.0))
(false (1.0)))))
lifeChecked__o3
(lifeChecked__o3
(true (lifeChecked__o3′
(true (1.0))
(false (0.0))))
(false (lifeChecked__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)))
lifeChecked2__o0
(lifeChecked2__o0
(true (lifeChecked2__o0′
(true (1.0))
(false (0.0))))
(false (lifeChecked2__o0′
(true (0.0))
(false (1.0)))))
lifeChecked2__o1
(lifeChecked2__o1
(true (lifeChecked2__o1′
(true (1.0))
(false (0.0))))
(false (lifeChecked2__o1′
(true (0.0))
(false (1.0)))))
lifeChecked2__o2
(lifeChecked2__o2
(true (lifeChecked2__o2′
(true (1.0))
(false (0.0))))
(false (lifeChecked2__o2′
(true (0.0))
(false (1.0)))))
lifeChecked2__o3
(lifeChecked2__o3
(true (lifeChecked2__o3′
(true (1.0))
(false (0.0))))
(false (lifeChecked2__o3′
(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)))))
endaction

action noop
waterChecked__o0
(waterChecked__o0
(true (waterChecked__o0′
(true (1.0))
(false (0.0))))
(false (waterChecked__o0′
(true (0.0))
(false (1.0)))))
waterChecked__o1
(waterChecked__o1
(true (waterChecked__o1′
(true (1.0))
(false (0.0))))
(false (waterChecked__o1′
(true (0.0))
(false (1.0)))))
waterChecked__o2
(waterChecked__o2
(true (waterChecked__o2′
(true (1.0))
(false (0.0))))
(false (waterChecked__o2′
(true (0.0))
(false (1.0)))))
waterChecked__o3
(waterChecked__o3
(true (waterChecked__o3′
(true (1.0))
(false (0.0))))
(false (waterChecked__o3′
(true (0.0))
(false (1.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)))))
damaged__l1
(agentAt__a1_x0_y0
(true (agentAt__a1_x1_y0
(true (damaged__l1
(true (damaged__l1′
(true (1.0))
(false (0.0))))
(false (damaged__l1′
(true (0.3058349))
(false (0.6941651))))))
(false (damaged__l1
(true (damaged__l1′
(true (1.0))
(false (0.0))))
(false (damaged__l1′
(true (0.15291745))
(false (0.84708255))))))))
(false (agentAt__a1_x1_y0
(true (damaged__l1
(true (damaged__l1′
(true (1.0))
(false (0.0))))
(false (damaged__l1′
(true (0.3058349))
(false (0.6941651))))))
(false (agentAt__a1_x1_y1
(true (damaged__l1
(true (damaged__l1′
(true (1.0))
(false (0.0))))
(false (damaged__l1′
(true (0.15291745))
(false (0.84708255))))))
(false (damaged__l1
(true (damaged__l1′
(true (1.0))
(false (0.0))))
(false (damaged__l1′
(true (0.0))
(false (1.0)))))))))))
damaged__w1
(agentAt__a1_x0_y0
(true (agentAt__a1_x1_y0
(true (damaged__w1
(true (damaged__w1′
(true (1.0))
(false (0.0))))
(false (damaged__w1′
(true (0.29898286))
(false (0.70101714))))))
(false (damaged__w1
(true (damaged__w1′
(true (1.0))
(false (0.0))))
(false (damaged__w1′
(true (0.14949143))
(false (0.85050857))))))))
(false (agentAt__a1_x1_y0
(true (damaged__w1
(true (damaged__w1′
(true (1.0))
(false (0.0))))
(false (damaged__w1′
(true (0.29898286))
(false (0.70101714))))))
(false (agentAt__a1_x1_y1
(true (damaged__w1
(true (damaged__w1′
(true (1.0))
(false (0.0))))
(false (damaged__w1′
(true (0.14949143))
(false (0.85050857))))))
(false (damaged__w1
(true (damaged__w1′
(true (1.0))
(false (0.0))))
(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)))))
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)))))
lifeChecked__o0
(lifeChecked__o0
(true (lifeChecked__o0′
(true (1.0))
(false (0.0))))
(false (lifeChecked__o0′
(true (0.0))
(false (1.0)))))
lifeChecked__o1
(lifeChecked__o1
(true (lifeChecked__o1′
(true (1.0))
(false (0.0))))
(false (lifeChecked__o1′
(true (0.0))
(false (1.0)))))
lifeChecked__o2
(lifeChecked__o2
(true (lifeChecked__o2′
(true (1.0))
(false (0.0))))
(false (lifeChecked__o2′
(true (0.0))
(false (1.0)))))
lifeChecked__o3
(lifeChecked__o3
(true (lifeChecked__o3′
(true (1.0))
(false (0.0))))
(false (lifeChecked__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)))
lifeChecked2__o0
(lifeChecked2__o0
(true (lifeChecked2__o0′
(true (1.0))
(false (0.0))))
(false (lifeChecked2__o0′
(true (0.0))
(false (1.0)))))
lifeChecked2__o1
(lifeChecked2__o1
(true (lifeChecked2__o1′
(true (1.0))
(false (0.0))))
(false (lifeChecked2__o1′
(true (0.0))
(false (1.0)))))
lifeChecked2__o2
(lifeChecked2__o2
(true (lifeChecked2__o2′
(true (1.0))
(false (0.0))))
(false (lifeChecked2__o2′
(true (0.0))
(false (1.0)))))
lifeChecked2__o3
(lifeChecked2__o3
(true (lifeChecked2__o3′
(true (1.0))
(false (0.0))))
(false (lifeChecked2__o3′
(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)))))
endaction

action repair__a1_l1
waterChecked__o0
(waterChecked__o0
(true (waterChecked__o0′
(true (1.0))
(false (0.0))))
(false (waterChecked__o0′
(true (0.0))
(false (1.0)))))
waterChecked__o1
(waterChecked__o1
(true (waterChecked__o1′
(true (1.0))
(false (0.0))))
(false (waterChecked__o1′
(true (0.0))
(false (1.0)))))
waterChecked__o2
(waterChecked__o2
(true (waterChecked__o2′
(true (1.0))
(false (0.0))))
(false (waterChecked__o2′
(true (0.0))
(false (1.0)))))
waterChecked__o3
(waterChecked__o3
(true (waterChecked__o3′
(true (1.0))
(false (0.0))))
(false (waterChecked__o3′
(true (0.0))
(false (1.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)))))
damaged__l1
(agentAt__a1_x0_y0
(true (agentAt__a1_x0_y1
(true (agentAt__a1_x1_y0
(true (damaged__l1′
(true (0.3058349))
(false (0.6941651))))
(false (damaged__l1′
(true (0.15291745))
(false (0.84708255))))))
(false (agentAt__a1_x1_y0
(true (damaged__l1
(true (damaged__l1′
(true (1.0))
(false (0.0))))
(false (damaged__l1′
(true (0.3058349))
(false (0.6941651))))))
(false (damaged__l1
(true (damaged__l1′
(true (1.0))
(false (0.0))))
(false (damaged__l1′
(true (0.15291745))
(false (0.84708255))))))))))
(false (agentAt__a1_x0_y1
(true (agentAt__a1_x1_y0
(true (damaged__l1′
(true (0.3058349))
(false (0.6941651))))
(false (agentAt__a1_x1_y1
(true (damaged__l1′
(true (0.15291745))
(false (0.84708255))))
(false (damaged__l1′
(true (0.0))
(false (1.0))))))))
(false (agentAt__a1_x1_y0
(true (damaged__l1
(true (damaged__l1′
(true (1.0))
(false (0.0))))
(false (damaged__l1′
(true (0.3058349))
(false (0.6941651))))))
(false (agentAt__a1_x1_y1
(true (damaged__l1
(true (damaged__l1′
(true (1.0))
(false (0.0))))
(false (damaged__l1′
(true (0.15291745))
(false (0.84708255))))))
(false (damaged__l1
(true (damaged__l1′
(true (1.0))
(false (0.0))))
(false (damaged__l1′
(true (0.0))
(false (1.0)))))))))))))
damaged__w1
(agentAt__a1_x0_y0
(true (agentAt__a1_x1_y0
(true (damaged__w1
(true (damaged__w1′
(true (1.0))
(false (0.0))))
(false (damaged__w1′
(true (0.29898286))
(false (0.70101714))))))
(false (damaged__w1
(true (damaged__w1′
(true (1.0))
(false (0.0))))
(false (damaged__w1′
(true (0.14949143))
(false (0.85050857))))))))
(false (agentAt__a1_x1_y0
(true (damaged__w1
(true (damaged__w1′
(true (1.0))
(false (0.0))))
(false (damaged__w1′
(true (0.29898286))
(false (0.70101714))))))
(false (agentAt__a1_x1_y1
(true (damaged__w1
(true (damaged__w1′
(true (1.0))
(false (0.0))))
(false (damaged__w1′
(true (0.14949143))
(false (0.85050857))))))
(false (damaged__w1
(true (damaged__w1′
(true (1.0))
(false (0.0))))
(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)))))
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)))))
lifeChecked__o0
(lifeChecked__o0
(true (lifeChecked__o0′
(true (1.0))
(false (0.0))))
(false (lifeChecked__o0′
(true (0.0))
(false (1.0)))))
lifeChecked__o1
(lifeChecked__o1
(true (lifeChecked__o1′
(true (1.0))
(false (0.0))))
(false (lifeChecked__o1′
(true (0.0))
(false (1.0)))))
lifeChecked__o2
(lifeChecked__o2
(true (lifeChecked__o2′
(true (1.0))
(false (0.0))))
(false (lifeChecked__o2′
(true (0.0))
(false (1.0)))))
lifeChecked__o3
(lifeChecked__o3
(true (lifeChecked__o3′
(true (1.0))
(false (0.0))))
(false (lifeChecked__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)))
lifeChecked2__o0
(lifeChecked2__o0
(true (lifeChecked2__o0′
(true (1.0))
(false (0.0))))
(false (lifeChecked2__o0′
(true (0.0))
(false (1.0)))))
lifeChecked2__o1
(lifeChecked2__o1
(true (lifeChecked2__o1′
(true (1.0))
(false (0.0))))
(false (lifeChecked2__o1′
(true (0.0))
(false (1.0)))))
lifeChecked2__o2
(lifeChecked2__o2
(true (lifeChecked2__o2′
(true (1.0))
(false (0.0))))
(false (lifeChecked2__o2′
(true (0.0))
(false (1.0)))))
lifeChecked2__o3
(lifeChecked2__o3
(true (lifeChecked2__o3′
(true (1.0))
(false (0.0))))
(false (lifeChecked2__o3′
(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)))))
endaction

action repair__a1_p1
waterChecked__o0
(waterChecked__o0
(true (waterChecked__o0′
(true (1.0))
(false (0.0))))
(false (waterChecked__o0′
(true (0.0))
(false (1.0)))))
waterChecked__o1
(waterChecked__o1
(true (waterChecked__o1′
(true (1.0))
(false (0.0))))
(false (waterChecked__o1′
(true (0.0))
(false (1.0)))))
waterChecked__o2
(waterChecked__o2
(true (waterChecked__o2′
(true (1.0))
(false (0.0))))
(false (waterChecked__o2′
(true (0.0))
(false (1.0)))))
waterChecked__o3
(waterChecked__o3
(true (waterChecked__o3′
(true (1.0))
(false (0.0))))
(false (waterChecked__o3′
(true (0.0))
(false (1.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)))))
damaged__l1
(agentAt__a1_x0_y0
(true (agentAt__a1_x1_y0
(true (damaged__l1
(true (damaged__l1′
(true (1.0))
(false (0.0))))
(false (damaged__l1′
(true (0.3058349))
(false (0.6941651))))))
(false (damaged__l1
(true (damaged__l1′
(true (1.0))
(false (0.0))))
(false (damaged__l1′
(true (0.15291745))
(false (0.84708255))))))))
(false (agentAt__a1_x1_y0
(true (damaged__l1
(true (damaged__l1′
(true (1.0))
(false (0.0))))
(false (damaged__l1′
(true (0.3058349))
(false (0.6941651))))))
(false (agentAt__a1_x1_y1
(true (damaged__l1
(true (damaged__l1′
(true (1.0))
(false (0.0))))
(false (damaged__l1′
(true (0.15291745))
(false (0.84708255))))))
(false (damaged__l1
(true (damaged__l1′
(true (1.0))
(false (0.0))))
(false (damaged__l1′
(true (0.0))
(false (1.0)))))))))))
damaged__w1
(agentAt__a1_x0_y0
(true (agentAt__a1_x1_y0
(true (damaged__w1
(true (damaged__w1′
(true (1.0))
(false (0.0))))
(false (damaged__w1′
(true (0.29898286))
(false (0.70101714))))))
(false (damaged__w1
(true (damaged__w1′
(true (1.0))
(false (0.0))))
(false (damaged__w1′
(true (0.14949143))
(false (0.85050857))))))))
(false (agentAt__a1_x1_y0
(true (damaged__w1
(true (damaged__w1′
(true (1.0))
(false (0.0))))
(false (damaged__w1′
(true (0.29898286))
(false (0.70101714))))))
(false (agentAt__a1_x1_y1
(true (damaged__w1
(true (damaged__w1′
(true (1.0))
(false (0.0))))
(false (damaged__w1′
(true (0.14949143))
(false (0.85050857))))))
(false (damaged__w1
(true (damaged__w1′
(true (1.0))
(false (0.0))))
(false (damaged__w1′
(true (0.0))
(false (1.0)))))))))))
damaged__p1
(agentAt__a1_x0_y1
(true (damaged__p1′
(true (0.0))
(false (1.0))))
(false (damaged__p1
(true (damaged__p1′
(true (1.0))
(false (0.0))))
(false (damaged__p1′
(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)))))
lifeChecked__o0
(lifeChecked__o0
(true (lifeChecked__o0′
(true (1.0))
(false (0.0))))
(false (lifeChecked__o0′
(true (0.0))
(false (1.0)))))
lifeChecked__o1
(lifeChecked__o1
(true (lifeChecked__o1′
(true (1.0))
(false (0.0))))
(false (lifeChecked__o1′
(true (0.0))
(false (1.0)))))
lifeChecked__o2
(lifeChecked__o2
(true (lifeChecked__o2′
(true (1.0))
(false (0.0))))
(false (lifeChecked__o2′
(true (0.0))
(false (1.0)))))
lifeChecked__o3
(lifeChecked__o3
(true (lifeChecked__o3′
(true (1.0))
(false (0.0))))
(false (lifeChecked__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)))
lifeChecked2__o0
(lifeChecked2__o0
(true (lifeChecked2__o0′
(true (1.0))
(false (0.0))))
(false (lifeChecked2__o0′
(true (0.0))
(false (1.0)))))
lifeChecked2__o1
(lifeChecked2__o1
(true (lifeChecked2__o1′
(true (1.0))
(false (0.0))))
(false (lifeChecked2__o1′
(true (0.0))
(false (1.0)))))
lifeChecked2__o2
(lifeChecked2__o2
(true (lifeChecked2__o2′
(true (1.0))
(false (0.0))))
(false (lifeChecked2__o2′
(true (0.0))
(false (1.0)))))
lifeChecked2__o3
(lifeChecked2__o3
(true (lifeChecked2__o3′
(true (1.0))
(false (0.0))))
(false (lifeChecked2__o3′
(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)))))
endaction

action repair__a1_w1
waterChecked__o0
(waterChecked__o0
(true (waterChecked__o0′
(true (1.0))
(false (0.0))))
(false (waterChecked__o0′
(true (0.0))
(false (1.0)))))
waterChecked__o1
(waterChecked__o1
(true (waterChecked__o1′
(true (1.0))
(false (0.0))))
(false (waterChecked__o1′
(true (0.0))
(false (1.0)))))
waterChecked__o2
(waterChecked__o2
(true (waterChecked__o2′
(true (1.0))
(false (0.0))))
(false (waterChecked__o2′
(true (0.0))
(false (1.0)))))
waterChecked__o3
(waterChecked__o3
(true (waterChecked__o3′
(true (1.0))
(false (0.0))))
(false (waterChecked__o3′
(true (0.0))
(false (1.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)))))
damaged__l1
(agentAt__a1_x0_y0
(true (agentAt__a1_x1_y0
(true (damaged__l1
(true (damaged__l1′
(true (1.0))
(false (0.0))))
(false (damaged__l1′
(true (0.3058349))
(false (0.6941651))))))
(false (damaged__l1
(true (damaged__l1′
(true (1.0))
(false (0.0))))
(false (damaged__l1′
(true (0.15291745))
(false (0.84708255))))))))
(false (agentAt__a1_x1_y0
(true (damaged__l1
(true (damaged__l1′
(true (1.0))
(false (0.0))))
(false (damaged__l1′
(true (0.3058349))
(false (0.6941651))))))
(false (agentAt__a1_x1_y1
(true (damaged__l1
(true (damaged__l1′
(true (1.0))
(false (0.0))))
(false (damaged__l1′
(true (0.15291745))
(false (0.84708255))))))
(false (damaged__l1
(true (damaged__l1′
(true (1.0))
(false (0.0))))
(false (damaged__l1′
(true (0.0))
(false (1.0)))))))))))
damaged__w1
(agentAt__a1_x0_y0
(true (agentAt__a1_x0_y1
(true (agentAt__a1_x1_y0
(true (damaged__w1′
(true (0.29898286))
(false (0.70101714))))
(false (damaged__w1′
(true (0.14949143))
(false (0.85050857))))))
(false (agentAt__a1_x1_y0
(true (damaged__w1
(true (damaged__w1′
(true (1.0))
(false (0.0))))
(false (damaged__w1′
(true (0.29898286))
(false (0.70101714))))))
(false (damaged__w1
(true (damaged__w1′
(true (1.0))
(false (0.0))))
(false (damaged__w1′
(true (0.14949143))
(false (0.85050857))))))))))
(false (agentAt__a1_x0_y1
(true (agentAt__a1_x1_y0
(true (damaged__w1′
(true (0.29898286))
(false (0.70101714))))
(false (agentAt__a1_x1_y1
(true (damaged__w1′
(true (0.14949143))
(false (0.85050857))))
(false (damaged__w1′
(true (0.0))
(false (1.0))))))))
(false (agentAt__a1_x1_y0
(true (damaged__w1
(true (damaged__w1′
(true (1.0))
(false (0.0))))
(false (damaged__w1′
(true (0.29898286))
(false (0.70101714))))))
(false (agentAt__a1_x1_y1
(true (damaged__w1
(true (damaged__w1′
(true (1.0))
(false (0.0))))
(false (damaged__w1′
(true (0.14949143))
(false (0.85050857))))))
(false (damaged__w1
(true (damaged__w1′
(true (1.0))
(false (0.0))))
(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)))))
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)))))
lifeChecked__o0
(lifeChecked__o0
(true (lifeChecked__o0′
(true (1.0))
(false (0.0))))
(false (lifeChecked__o0′
(true (0.0))
(false (1.0)))))
lifeChecked__o1
(lifeChecked__o1
(true (lifeChecked__o1′
(true (1.0))
(false (0.0))))
(false (lifeChecked__o1′
(true (0.0))
(false (1.0)))))
lifeChecked__o2
(lifeChecked__o2
(true (lifeChecked__o2′
(true (1.0))
(false (0.0))))
(false (lifeChecked__o2′
(true (0.0))
(false (1.0)))))
lifeChecked__o3
(lifeChecked__o3
(true (lifeChecked__o3′
(true (1.0))
(false (0.0))))
(false (lifeChecked__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)))
lifeChecked2__o0
(lifeChecked2__o0
(true (lifeChecked2__o0′
(true (1.0))
(false (0.0))))
(false (lifeChecked2__o0′
(true (0.0))
(false (1.0)))))
lifeChecked2__o1
(lifeChecked2__o1
(true (lifeChecked2__o1′
(true (1.0))
(false (0.0))))
(false (lifeChecked2__o1′
(true (0.0))
(false (1.0)))))
lifeChecked2__o2
(lifeChecked2__o2
(true (lifeChecked2__o2′
(true (1.0))
(false (0.0))))
(false (lifeChecked2__o2′
(true (0.0))
(false (1.0)))))
lifeChecked2__o3
(lifeChecked2__o3
(true (lifeChecked2__o3′
(true (1.0))
(false (0.0))))
(false (lifeChecked2__o3′
(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)))))
endaction

action right__a1
waterChecked__o0
(waterChecked__o0
(true (waterChecked__o0′
(true (1.0))
(false (0.0))))
(false (waterChecked__o0′
(true (0.0))
(false (1.0)))))
waterChecked__o1
(waterChecked__o1
(true (waterChecked__o1′
(true (1.0))
(false (0.0))))
(false (waterChecked__o1′
(true (0.0))
(false (1.0)))))
waterChecked__o2
(waterChecked__o2
(true (waterChecked__o2′
(true (1.0))
(false (0.0))))
(false (waterChecked__o2′
(true (0.0))
(false (1.0)))))
waterChecked__o3
(waterChecked__o3
(true (waterChecked__o3′
(true (1.0))
(false (0.0))))
(false (waterChecked__o3′
(true (0.0))
(false (1.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)))))))
damaged__l1
(agentAt__a1_x0_y0
(true (agentAt__a1_x1_y0
(true (damaged__l1
(true (damaged__l1′
(true (1.0))
(false (0.0))))
(false (damaged__l1′
(true (0.3058349))
(false (0.6941651))))))
(false (damaged__l1
(true (damaged__l1′
(true (1.0))
(false (0.0))))
(false (damaged__l1′
(true (0.15291745))
(false (0.84708255))))))))
(false (agentAt__a1_x1_y0
(true (damaged__l1
(true (damaged__l1′
(true (1.0))
(false (0.0))))
(false (damaged__l1′
(true (0.3058349))
(false (0.6941651))))))
(false (agentAt__a1_x1_y1
(true (damaged__l1
(true (damaged__l1′
(true (1.0))
(false (0.0))))
(false (damaged__l1′
(true (0.15291745))
(false (0.84708255))))))
(false (damaged__l1
(true (damaged__l1′
(true (1.0))
(false (0.0))))
(false (damaged__l1′
(true (0.0))
(false (1.0)))))))))))
damaged__w1
(agentAt__a1_x0_y0
(true (agentAt__a1_x1_y0
(true (damaged__w1
(true (damaged__w1′
(true (1.0))
(false (0.0))))
(false (damaged__w1′
(true (0.29898286))
(false (0.70101714))))))
(false (damaged__w1
(true (damaged__w1′
(true (1.0))
(false (0.0))))
(false (damaged__w1′
(true (0.14949143))
(false (0.85050857))))))))
(false (agentAt__a1_x1_y0
(true (damaged__w1
(true (damaged__w1′
(true (1.0))
(false (0.0))))
(false (damaged__w1′
(true (0.29898286))
(false (0.70101714))))))
(false (agentAt__a1_x1_y1
(true (damaged__w1
(true (damaged__w1′
(true (1.0))
(false (0.0))))
(false (damaged__w1′
(true (0.14949143))
(false (0.85050857))))))
(false (damaged__w1
(true (damaged__w1′
(true (1.0))
(false (0.0))))
(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)))))
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)))))
lifeChecked__o0
(lifeChecked__o0
(true (lifeChecked__o0′
(true (1.0))
(false (0.0))))
(false (lifeChecked__o0′
(true (0.0))
(false (1.0)))))
lifeChecked__o1
(lifeChecked__o1
(true (lifeChecked__o1′
(true (1.0))
(false (0.0))))
(false (lifeChecked__o1′
(true (0.0))
(false (1.0)))))
lifeChecked__o2
(lifeChecked__o2
(true (lifeChecked__o2′
(true (1.0))
(false (0.0))))
(false (lifeChecked__o2′
(true (0.0))
(false (1.0)))))
lifeChecked__o3
(lifeChecked__o3
(true (lifeChecked__o3′
(true (1.0))
(false (0.0))))
(false (lifeChecked__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)))
lifeChecked2__o0
(lifeChecked2__o0
(true (lifeChecked2__o0′
(true (1.0))
(false (0.0))))
(false (lifeChecked2__o0′
(true (0.0))
(false (1.0)))))
lifeChecked2__o1
(lifeChecked2__o1
(true (lifeChecked2__o1′
(true (1.0))
(false (0.0))))
(false (lifeChecked2__o1′
(true (0.0))
(false (1.0)))))
lifeChecked2__o2
(lifeChecked2__o2
(true (lifeChecked2__o2′
(true (1.0))
(false (0.0))))
(false (lifeChecked2__o2′
(true (0.0))
(false (1.0)))))
lifeChecked2__o3
(lifeChecked2__o3
(true (lifeChecked2__o3′
(true (1.0))
(false (0.0))))
(false (lifeChecked2__o3′
(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)))))
endaction

action up__a1
waterChecked__o0
(waterChecked__o0
(true (waterChecked__o0′
(true (1.0))
(false (0.0))))
(false (waterChecked__o0′
(true (0.0))
(false (1.0)))))
waterChecked__o1
(waterChecked__o1
(true (waterChecked__o1′
(true (1.0))
(false (0.0))))
(false (waterChecked__o1′
(true (0.0))
(false (1.0)))))
waterChecked__o2
(waterChecked__o2
(true (waterChecked__o2′
(true (1.0))
(false (0.0))))
(false (waterChecked__o2′
(true (0.0))
(false (1.0)))))
waterChecked__o3
(waterChecked__o3
(true (waterChecked__o3′
(true (1.0))
(false (0.0))))
(false (waterChecked__o3′
(true (0.0))
(false (1.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)))))))
damaged__l1
(agentAt__a1_x0_y0
(true (agentAt__a1_x1_y0
(true (damaged__l1
(true (damaged__l1′
(true (1.0))
(false (0.0))))
(false (damaged__l1′
(true (0.3058349))
(false (0.6941651))))))
(false (damaged__l1
(true (damaged__l1′
(true (1.0))
(false (0.0))))
(false (damaged__l1′
(true (0.15291745))
(false (0.84708255))))))))
(false (agentAt__a1_x1_y0
(true (damaged__l1
(true (damaged__l1′
(true (1.0))
(false (0.0))))
(false (damaged__l1′
(true (0.3058349))
(false (0.6941651))))))
(false (agentAt__a1_x1_y1
(true (damaged__l1
(true (damaged__l1′
(true (1.0))
(false (0.0))))
(false (damaged__l1′
(true (0.15291745))
(false (0.84708255))))))
(false (damaged__l1
(true (damaged__l1′
(true (1.0))
(false (0.0))))
(false (damaged__l1′
(true (0.0))
(false (1.0)))))))))))
damaged__w1
(agentAt__a1_x0_y0
(true (agentAt__a1_x1_y0
(true (damaged__w1
(true (damaged__w1′
(true (1.0))
(false (0.0))))
(false (damaged__w1′
(true (0.29898286))
(false (0.70101714))))))
(false (damaged__w1
(true (damaged__w1′
(true (1.0))
(false (0.0))))
(false (damaged__w1′
(true (0.14949143))
(false (0.85050857))))))))
(false (agentAt__a1_x1_y0
(true (damaged__w1
(true (damaged__w1′
(true (1.0))
(false (0.0))))
(false (damaged__w1′
(true (0.29898286))
(false (0.70101714))))))
(false (agentAt__a1_x1_y1
(true (damaged__w1
(true (damaged__w1′
(true (1.0))
(false (0.0))))
(false (damaged__w1′
(true (0.14949143))
(false (0.85050857))))))
(false (damaged__w1
(true (damaged__w1′
(true (1.0))
(false (0.0))))
(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)))))
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)))))
lifeChecked__o0
(lifeChecked__o0
(true (lifeChecked__o0′
(true (1.0))
(false (0.0))))
(false (lifeChecked__o0′
(true (0.0))
(false (1.0)))))
lifeChecked__o1
(lifeChecked__o1
(true (lifeChecked__o1′
(true (1.0))
(false (0.0))))
(false (lifeChecked__o1′
(true (0.0))
(false (1.0)))))
lifeChecked__o2
(lifeChecked__o2
(true (lifeChecked__o2′
(true (1.0))
(false (0.0))))
(false (lifeChecked__o2′
(true (0.0))
(false (1.0)))))
lifeChecked__o3
(lifeChecked__o3
(true (lifeChecked__o3′
(true (1.0))
(false (0.0))))
(false (lifeChecked__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)))
lifeChecked2__o0
(lifeChecked2__o0
(true (lifeChecked2__o0′
(true (1.0))
(false (0.0))))
(false (lifeChecked2__o0′
(true (0.0))
(false (1.0)))))
lifeChecked2__o1
(lifeChecked2__o1
(true (lifeChecked2__o1′
(true (1.0))
(false (0.0))))
(false (lifeChecked2__o1′
(true (0.0))
(false (1.0)))))
lifeChecked2__o2
(lifeChecked2__o2
(true (lifeChecked2__o2′
(true (1.0))
(false (0.0))))
(false (lifeChecked2__o2′
(true (0.0))
(false (1.0)))))
lifeChecked2__o3
(lifeChecked2__o3
(true (lifeChecked2__o3′
(true (1.0))
(false (0.0))))
(false (lifeChecked2__o3′
(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)))))
endaction

action useToolOn__a1_l1_o0
waterChecked__o0
(waterChecked__o0
(true (waterChecked__o0′
(true (1.0))
(false (0.0))))
(false (waterChecked__o0′
(true (0.0))
(false (1.0)))))
waterChecked__o1
(waterChecked__o1
(true (waterChecked__o1′
(true (1.0))
(false (0.0))))
(false (waterChecked__o1′
(true (0.0))
(false (1.0)))))
waterChecked__o2
(waterChecked__o2
(true (waterChecked__o2′
(true (1.0))
(false (0.0))))
(false (waterChecked__o2′
(true (0.0))
(false (1.0)))))
waterChecked__o3
(waterChecked__o3
(true (waterChecked__o3′
(true (1.0))
(false (0.0))))
(false (waterChecked__o3′
(true (0.0))
(false (1.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)))))
damaged__l1
(agentAt__a1_x0_y0
(true (agentAt__a1_x1_y0
(true (damaged__l1
(true (damaged__l1′
(true (1.0))
(false (0.0))))
(false (damaged__l1′
(true (0.3058349))
(false (0.6941651))))))
(false (damaged__l1
(true (damaged__l1′
(true (1.0))
(false (0.0))))
(false (damaged__l1′
(true (0.15291745))
(false (0.84708255))))))))
(false (agentAt__a1_x1_y0
(true (damaged__l1
(true (damaged__l1′
(true (1.0))
(false (0.0))))
(false (damaged__l1′
(true (0.3058349))
(false (0.6941651))))))
(false (agentAt__a1_x1_y1
(true (damaged__l1
(true (damaged__l1′
(true (1.0))
(false (0.0))))
(false (damaged__l1′
(true (0.15291745))
(false (0.84708255))))))
(false (damaged__l1
(true (damaged__l1′
(true (1.0))
(false (0.0))))
(false (damaged__l1′
(true (0.0))
(false (1.0)))))))))))
damaged__w1
(agentAt__a1_x0_y0
(true (agentAt__a1_x1_y0
(true (damaged__w1
(true (damaged__w1′
(true (1.0))
(false (0.0))))
(false (damaged__w1′
(true (0.29898286))
(false (0.70101714))))))
(false (damaged__w1
(true (damaged__w1′
(true (1.0))
(false (0.0))))
(false (damaged__w1′
(true (0.14949143))
(false (0.85050857))))))))
(false (agentAt__a1_x1_y0
(true (damaged__w1
(true (damaged__w1′
(true (1.0))
(false (0.0))))
(false (damaged__w1′
(true (0.29898286))
(false (0.70101714))))))
(false (agentAt__a1_x1_y1
(true (damaged__w1
(true (damaged__w1′
(true (1.0))
(false (0.0))))
(false (damaged__w1′
(true (0.14949143))
(false (0.85050857))))))
(false (damaged__w1
(true (damaged__w1′
(true (1.0))
(false (0.0))))
(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)))))
lifeDetected__o0
(agentAt__a1_x1_y1
(true (damaged__l1
(true (lifeDetected__o0
(true (lifeDetected__o0′
(true (1.0))
(false (0.0))))
(false (lifeChecked2__o0
(true (lifeDetected__o0′
(true (0.0))
(false (1.0))))
(false (waterDetected__o0
(true (lifeDetected__o0′
(true (0.4))
(false (0.6))))
(false (lifeDetected__o0′
(true (0.0))
(false (1.0))))))))))
(false (lifeDetected__o0
(true (lifeDetected__o0′
(true (1.0))
(false (0.0))))
(false (lifeChecked2__o0
(true (lifeDetected__o0′
(true (0.0))
(false (1.0))))
(false (waterDetected__o0
(true (lifeDetected__o0′
(true (0.8))
(false (0.19999999999999996))))
(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)))))
lifeChecked__o0
(agentAt__a1_x1_y1
(true (lifeChecked__o0′
(true (1.0))
(false (0.0))))
(false (lifeChecked__o0
(true (lifeChecked__o0′
(true (1.0))
(false (0.0))))
(false (lifeChecked__o0′
(true (0.0))
(false (1.0)))))))
lifeChecked__o1
(lifeChecked__o1
(true (lifeChecked__o1′
(true (1.0))
(false (0.0))))
(false (lifeChecked__o1′
(true (0.0))
(false (1.0)))))
lifeChecked__o2
(lifeChecked__o2
(true (lifeChecked__o2′
(true (1.0))
(false (0.0))))
(false (lifeChecked__o2′
(true (0.0))
(false (1.0)))))
lifeChecked__o3
(lifeChecked__o3
(true (lifeChecked__o3′
(true (1.0))
(false (0.0))))
(false (lifeChecked__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)))
lifeChecked2__o0
(agentAt__a1_x1_y1
(true (lifeChecked__o0
(true (lifeChecked2__o0′
(true (1.0))
(false (0.0))))
(false (lifeChecked2__o0
(true (lifeChecked2__o0′
(true (1.0))
(false (0.0))))
(false (lifeChecked2__o0′
(true (0.0))
(false (1.0))))))))
(false (lifeChecked2__o0
(true (lifeChecked2__o0′
(true (1.0))
(false (0.0))))
(false (lifeChecked2__o0′
(true (0.0))
(false (1.0)))))))
lifeChecked2__o1
(lifeChecked2__o1
(true (lifeChecked2__o1′
(true (1.0))
(false (0.0))))
(false (lifeChecked2__o1′
(true (0.0))
(false (1.0)))))
lifeChecked2__o2
(lifeChecked2__o2
(true (lifeChecked2__o2′
(true (1.0))
(false (0.0))))
(false (lifeChecked2__o2′
(true (0.0))
(false (1.0)))))
lifeChecked2__o3
(lifeChecked2__o3
(true (lifeChecked2__o3′
(true (1.0))
(false (0.0))))
(false (lifeChecked2__o3′
(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)))))
endaction

action useToolOn__a1_l1_o1
waterChecked__o0
(waterChecked__o0
(true (waterChecked__o0′
(true (1.0))
(false (0.0))))
(false (waterChecked__o0′
(true (0.0))
(false (1.0)))))
waterChecked__o1
(waterChecked__o1
(true (waterChecked__o1′
(true (1.0))
(false (0.0))))
(false (waterChecked__o1′
(true (0.0))
(false (1.0)))))
waterChecked__o2
(waterChecked__o2
(true (waterChecked__o2′
(true (1.0))
(false (0.0))))
(false (waterChecked__o2′
(true (0.0))
(false (1.0)))))
waterChecked__o3
(waterChecked__o3
(true (waterChecked__o3′
(true (1.0))
(false (0.0))))
(false (waterChecked__o3′
(true (0.0))
(false (1.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)))))
damaged__l1
(agentAt__a1_x0_y0
(true (agentAt__a1_x1_y0
(true (damaged__l1
(true (damaged__l1′
(true (1.0))
(false (0.0))))
(false (damaged__l1′
(true (0.3058349))
(false (0.6941651))))))
(false (damaged__l1
(true (damaged__l1′
(true (1.0))
(false (0.0))))
(false (damaged__l1′
(true (0.15291745))
(false (0.84708255))))))))
(false (agentAt__a1_x1_y0
(true (damaged__l1
(true (damaged__l1′
(true (1.0))
(false (0.0))))
(false (damaged__l1′
(true (0.3058349))
(false (0.6941651))))))
(false (agentAt__a1_x1_y1
(true (damaged__l1
(true (damaged__l1′
(true (1.0))
(false (0.0))))
(false (damaged__l1′
(true (0.15291745))
(false (0.84708255))))))
(false (damaged__l1
(true (damaged__l1′
(true (1.0))
(false (0.0))))
(false (damaged__l1′
(true (0.0))
(false (1.0)))))))))))
damaged__w1
(agentAt__a1_x0_y0
(true (agentAt__a1_x1_y0
(true (damaged__w1
(true (damaged__w1′
(true (1.0))
(false (0.0))))
(false (damaged__w1′
(true (0.29898286))
(false (0.70101714))))))
(false (damaged__w1
(true (damaged__w1′
(true (1.0))
(false (0.0))))
(false (damaged__w1′
(true (0.14949143))
(false (0.85050857))))))))
(false (agentAt__a1_x1_y0
(true (damaged__w1
(true (damaged__w1′
(true (1.0))
(false (0.0))))
(false (damaged__w1′
(true (0.29898286))
(false (0.70101714))))))
(false (agentAt__a1_x1_y1
(true (damaged__w1
(true (damaged__w1′
(true (1.0))
(false (0.0))))
(false (damaged__w1′
(true (0.14949143))
(false (0.85050857))))))
(false (damaged__w1
(true (damaged__w1′
(true (1.0))
(false (0.0))))
(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)))))
lifeDetected__o0
(lifeDetected__o0
(true (lifeDetected__o0′
(true (1.0))
(false (0.0))))
(false (lifeDetected__o0′
(true (0.0))
(false (1.0)))))
lifeDetected__o1
(agentAt__a1_x1_y0
(true (damaged__l1
(true (lifeDetected__o1
(true (lifeDetected__o1′
(true (1.0))
(false (0.0))))
(false (lifeChecked2__o1
(true (lifeDetected__o1′
(true (0.0))
(false (1.0))))
(false (waterDetected__o1
(true (lifeDetected__o1′
(true (0.4))
(false (0.6))))
(false (lifeDetected__o1′
(true (0.0))
(false (1.0))))))))))
(false (lifeDetected__o1
(true (lifeDetected__o1′
(true (1.0))
(false (0.0))))
(false (lifeChecked2__o1
(true (lifeDetected__o1′
(true (0.0))
(false (1.0))))
(false (waterDetected__o1
(true (lifeDetected__o1′
(true (0.8))
(false (0.19999999999999996))))
(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)))))
lifeChecked__o0
(lifeChecked__o0
(true (lifeChecked__o0′
(true (1.0))
(false (0.0))))
(false (lifeChecked__o0′
(true (0.0))
(false (1.0)))))
lifeChecked__o1
(agentAt__a1_x1_y0
(true (lifeChecked__o1′
(true (1.0))
(false (0.0))))
(false (lifeChecked__o1
(true (lifeChecked__o1′
(true (1.0))
(false (0.0))))
(false (lifeChecked__o1′
(true (0.0))
(false (1.0)))))))
lifeChecked__o2
(lifeChecked__o2
(true (lifeChecked__o2′
(true (1.0))
(false (0.0))))
(false (lifeChecked__o2′
(true (0.0))
(false (1.0)))))
lifeChecked__o3
(lifeChecked__o3
(true (lifeChecked__o3′
(true (1.0))
(false (0.0))))
(false (lifeChecked__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)))
lifeChecked2__o0
(lifeChecked2__o0
(true (lifeChecked2__o0′
(true (1.0))
(false (0.0))))
(false (lifeChecked2__o0′
(true (0.0))
(false (1.0)))))
lifeChecked2__o1
(agentAt__a1_x1_y0
(true (lifeChecked__o1
(true (lifeChecked2__o1′
(true (1.0))
(false (0.0))))
(false (lifeChecked2__o1
(true (lifeChecked2__o1′
(true (1.0))
(false (0.0))))
(false (lifeChecked2__o1′
(true (0.0))
(false (1.0))))))))
(false (lifeChecked2__o1
(true (lifeChecked2__o1′
(true (1.0))
(false (0.0))))
(false (lifeChecked2__o1′
(true (0.0))
(false (1.0)))))))
lifeChecked2__o2
(lifeChecked2__o2
(true (lifeChecked2__o2′
(true (1.0))
(false (0.0))))
(false (lifeChecked2__o2′
(true (0.0))
(false (1.0)))))
lifeChecked2__o3
(lifeChecked2__o3
(true (lifeChecked2__o3′
(true (1.0))
(false (0.0))))
(false (lifeChecked2__o3′
(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)))))
endaction

action useToolOn__a1_l1_o2
waterChecked__o0
(waterChecked__o0
(true (waterChecked__o0′
(true (1.0))
(false (0.0))))
(false (waterChecked__o0′
(true (0.0))
(false (1.0)))))
waterChecked__o1
(waterChecked__o1
(true (waterChecked__o1′
(true (1.0))
(false (0.0))))
(false (waterChecked__o1′
(true (0.0))
(false (1.0)))))
waterChecked__o2
(waterChecked__o2
(true (waterChecked__o2′
(true (1.0))
(false (0.0))))
(false (waterChecked__o2′
(true (0.0))
(false (1.0)))))
waterChecked__o3
(waterChecked__o3
(true (waterChecked__o3′
(true (1.0))
(false (0.0))))
(false (waterChecked__o3′
(true (0.0))
(false (1.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)))))
damaged__l1
(agentAt__a1_x0_y0
(true (agentAt__a1_x1_y0
(true (damaged__l1
(true (damaged__l1′
(true (1.0))
(false (0.0))))
(false (damaged__l1′
(true (0.3058349))
(false (0.6941651))))))
(false (damaged__l1
(true (damaged__l1′
(true (1.0))
(false (0.0))))
(false (damaged__l1′
(true (0.15291745))
(false (0.84708255))))))))
(false (agentAt__a1_x1_y0
(true (damaged__l1
(true (damaged__l1′
(true (1.0))
(false (0.0))))
(false (damaged__l1′
(true (0.3058349))
(false (0.6941651))))))
(false (agentAt__a1_x1_y1
(true (damaged__l1
(true (damaged__l1′
(true (1.0))
(false (0.0))))
(false (damaged__l1′
(true (0.15291745))
(false (0.84708255))))))
(false (damaged__l1
(true (damaged__l1′
(true (1.0))
(false (0.0))))
(false (damaged__l1′
(true (0.0))
(false (1.0)))))))))))
damaged__w1
(agentAt__a1_x0_y0
(true (agentAt__a1_x1_y0
(true (damaged__w1
(true (damaged__w1′
(true (1.0))
(false (0.0))))
(false (damaged__w1′
(true (0.29898286))
(false (0.70101714))))))
(false (damaged__w1
(true (damaged__w1′
(true (1.0))
(false (0.0))))
(false (damaged__w1′
(true (0.14949143))
(false (0.85050857))))))))
(false (agentAt__a1_x1_y0
(true (damaged__w1
(true (damaged__w1′
(true (1.0))
(false (0.0))))
(false (damaged__w1′
(true (0.29898286))
(false (0.70101714))))))
(false (agentAt__a1_x1_y1
(true (damaged__w1
(true (damaged__w1′
(true (1.0))
(false (0.0))))
(false (damaged__w1′
(true (0.14949143))
(false (0.85050857))))))
(false (damaged__w1
(true (damaged__w1′
(true (1.0))
(false (0.0))))
(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)))))
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
(agentAt__a1_x0_y0
(true (damaged__l1
(true (lifeDetected__o2
(true (lifeDetected__o2′
(true (1.0))
(false (0.0))))
(false (lifeChecked2__o2
(true (lifeDetected__o2′
(true (0.0))
(false (1.0))))
(false (waterDetected__o2
(true (lifeDetected__o2′
(true (0.4))
(false (0.6))))
(false (lifeDetected__o2′
(true (0.0))
(false (1.0))))))))))
(false (lifeDetected__o2
(true (lifeDetected__o2′
(true (1.0))
(false (0.0))))
(false (lifeChecked2__o2
(true (lifeDetected__o2′
(true (0.0))
(false (1.0))))
(false (waterDetected__o2
(true (lifeDetected__o2′
(true (0.8))
(false (0.19999999999999996))))
(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)))))
lifeChecked__o0
(lifeChecked__o0
(true (lifeChecked__o0′
(true (1.0))
(false (0.0))))
(false (lifeChecked__o0′
(true (0.0))
(false (1.0)))))
lifeChecked__o1
(lifeChecked__o1
(true (lifeChecked__o1′
(true (1.0))
(false (0.0))))
(false (lifeChecked__o1′
(true (0.0))
(false (1.0)))))
lifeChecked__o2
(agentAt__a1_x0_y0
(true (lifeChecked__o2′
(true (1.0))
(false (0.0))))
(false (lifeChecked__o2
(true (lifeChecked__o2′
(true (1.0))
(false (0.0))))
(false (lifeChecked__o2′
(true (0.0))
(false (1.0)))))))
lifeChecked__o3
(lifeChecked__o3
(true (lifeChecked__o3′
(true (1.0))
(false (0.0))))
(false (lifeChecked__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)))
lifeChecked2__o0
(lifeChecked2__o0
(true (lifeChecked2__o0′
(true (1.0))
(false (0.0))))
(false (lifeChecked2__o0′
(true (0.0))
(false (1.0)))))
lifeChecked2__o1
(lifeChecked2__o1
(true (lifeChecked2__o1′
(true (1.0))
(false (0.0))))
(false (lifeChecked2__o1′
(true (0.0))
(false (1.0)))))
lifeChecked2__o2
(agentAt__a1_x0_y0
(true (lifeChecked__o2
(true (lifeChecked2__o2′
(true (1.0))
(false (0.0))))
(false (lifeChecked2__o2
(true (lifeChecked2__o2′
(true (1.0))
(false (0.0))))
(false (lifeChecked2__o2′
(true (0.0))
(false (1.0))))))))
(false (lifeChecked2__o2
(true (lifeChecked2__o2′
(true (1.0))
(false (0.0))))
(false (lifeChecked2__o2′
(true (0.0))
(false (1.0)))))))
lifeChecked2__o3
(lifeChecked2__o3
(true (lifeChecked2__o3′
(true (1.0))
(false (0.0))))
(false (lifeChecked2__o3′
(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)))))
endaction

action useToolOn__a1_l1_o3
waterChecked__o0
(waterChecked__o0
(true (waterChecked__o0′
(true (1.0))
(false (0.0))))
(false (waterChecked__o0′
(true (0.0))
(false (1.0)))))
waterChecked__o1
(waterChecked__o1
(true (waterChecked__o1′
(true (1.0))
(false (0.0))))
(false (waterChecked__o1′
(true (0.0))
(false (1.0)))))
waterChecked__o2
(waterChecked__o2
(true (waterChecked__o2′
(true (1.0))
(false (0.0))))
(false (waterChecked__o2′
(true (0.0))
(false (1.0)))))
waterChecked__o3
(waterChecked__o3
(true (waterChecked__o3′
(true (1.0))
(false (0.0))))
(false (waterChecked__o3′
(true (0.0))
(false (1.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)))))
damaged__l1
(agentAt__a1_x0_y0
(true (agentAt__a1_x1_y0
(true (damaged__l1
(true (damaged__l1′
(true (1.0))
(false (0.0))))
(false (damaged__l1′
(true (0.3058349))
(false (0.6941651))))))
(false (damaged__l1
(true (damaged__l1′
(true (1.0))
(false (0.0))))
(false (damaged__l1′
(true (0.15291745))
(false (0.84708255))))))))
(false (agentAt__a1_x1_y0
(true (damaged__l1
(true (damaged__l1′
(true (1.0))
(false (0.0))))
(false (damaged__l1′
(true (0.3058349))
(false (0.6941651))))))
(false (agentAt__a1_x1_y1
(true (damaged__l1
(true (damaged__l1′
(true (1.0))
(false (0.0))))
(false (damaged__l1′
(true (0.15291745))
(false (0.84708255))))))
(false (damaged__l1
(true (damaged__l1′
(true (1.0))
(false (0.0))))
(false (damaged__l1′
(true (0.0))
(false (1.0)))))))))))
damaged__w1
(agentAt__a1_x0_y0
(true (agentAt__a1_x1_y0
(true (damaged__w1
(true (damaged__w1′
(true (1.0))
(false (0.0))))
(false (damaged__w1′
(true (0.29898286))
(false (0.70101714))))))
(false (damaged__w1
(true (damaged__w1′
(true (1.0))
(false (0.0))))
(false (damaged__w1′
(true (0.14949143))
(false (0.85050857))))))))
(false (agentAt__a1_x1_y0
(true (damaged__w1
(true (damaged__w1′
(true (1.0))
(false (0.0))))
(false (damaged__w1′
(true (0.29898286))
(false (0.70101714))))))
(false (agentAt__a1_x1_y1
(true (damaged__w1
(true (damaged__w1′
(true (1.0))
(false (0.0))))
(false (damaged__w1′
(true (0.14949143))
(false (0.85050857))))))
(false (damaged__w1
(true (damaged__w1′
(true (1.0))
(false (0.0))))
(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)))))
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
(agentAt__a1_x1_y0
(true (damaged__l1
(true (lifeDetected__o3
(true (lifeDetected__o3′
(true (1.0))
(false (0.0))))
(false (lifeChecked2__o3
(true (lifeDetected__o3′
(true (0.0))
(false (1.0))))
(false (waterDetected__o3
(true (lifeDetected__o3′
(true (0.4))
(false (0.6))))
(false (lifeDetected__o3′
(true (0.0))
(false (1.0))))))))))
(false (lifeDetected__o3
(true (lifeDetected__o3′
(true (1.0))
(false (0.0))))
(false (lifeChecked2__o3
(true (lifeDetected__o3′
(true (0.0))
(false (1.0))))
(false (waterDetected__o3
(true (lifeDetected__o3′
(true (0.8))
(false (0.19999999999999996))))
(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)))))))
lifeChecked__o0
(lifeChecked__o0
(true (lifeChecked__o0′
(true (1.0))
(false (0.0))))
(false (lifeChecked__o0′
(true (0.0))
(false (1.0)))))
lifeChecked__o1
(lifeChecked__o1
(true (lifeChecked__o1′
(true (1.0))
(false (0.0))))
(false (lifeChecked__o1′
(true (0.0))
(false (1.0)))))
lifeChecked__o2
(lifeChecked__o2
(true (lifeChecked__o2′
(true (1.0))
(false (0.0))))
(false (lifeChecked__o2′
(true (0.0))
(false (1.0)))))
lifeChecked__o3
(agentAt__a1_x1_y0
(true (lifeChecked__o3′
(true (1.0))
(false (0.0))))
(false (lifeChecked__o3
(true (lifeChecked__o3′
(true (1.0))
(false (0.0))))
(false (lifeChecked__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)))
lifeChecked2__o0
(lifeChecked2__o0
(true (lifeChecked2__o0′
(true (1.0))
(false (0.0))))
(false (lifeChecked2__o0′
(true (0.0))
(false (1.0)))))
lifeChecked2__o1
(lifeChecked2__o1
(true (lifeChecked2__o1′
(true (1.0))
(false (0.0))))
(false (lifeChecked2__o1′
(true (0.0))
(false (1.0)))))
lifeChecked2__o2
(lifeChecked2__o2
(true (lifeChecked2__o2′
(true (1.0))
(false (0.0))))
(false (lifeChecked2__o2′
(true (0.0))
(false (1.0)))))
lifeChecked2__o3
(agentAt__a1_x1_y0
(true (lifeChecked__o3
(true (lifeChecked2__o3′
(true (1.0))
(false (0.0))))
(false (lifeChecked2__o3
(true (lifeChecked2__o3′
(true (1.0))
(false (0.0))))
(false (lifeChecked2__o3′
(true (0.0))
(false (1.0))))))))
(false (lifeChecked2__o3
(true (lifeChecked2__o3′
(true (1.0))
(false (0.0))))
(false (lifeChecked2__o3′
(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)))))
endaction

action useToolOn__a1_p1_o0
waterChecked__o0
(waterChecked__o0
(true (waterChecked__o0′
(true (1.0))
(false (0.0))))
(false (waterChecked__o0′
(true (0.0))
(false (1.0)))))
waterChecked__o1
(waterChecked__o1
(true (waterChecked__o1′
(true (1.0))
(false (0.0))))
(false (waterChecked__o1′
(true (0.0))
(false (1.0)))))
waterChecked__o2
(waterChecked__o2
(true (waterChecked__o2′
(true (1.0))
(false (0.0))))
(false (waterChecked__o2′
(true (0.0))
(false (1.0)))))
waterChecked__o3
(waterChecked__o3
(true (waterChecked__o3′
(true (1.0))
(false (0.0))))
(false (waterChecked__o3′
(true (0.0))
(false (1.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)))))
damaged__l1
(agentAt__a1_x0_y0
(true (agentAt__a1_x1_y0
(true (damaged__l1
(true (damaged__l1′
(true (1.0))
(false (0.0))))
(false (damaged__l1′
(true (0.3058349))
(false (0.6941651))))))
(false (damaged__l1
(true (damaged__l1′
(true (1.0))
(false (0.0))))
(false (damaged__l1′
(true (0.15291745))
(false (0.84708255))))))))
(false (agentAt__a1_x1_y0
(true (damaged__l1
(true (damaged__l1′
(true (1.0))
(false (0.0))))
(false (damaged__l1′
(true (0.3058349))
(false (0.6941651))))))
(false (agentAt__a1_x1_y1
(true (damaged__l1
(true (damaged__l1′
(true (1.0))
(false (0.0))))
(false (damaged__l1′
(true (0.15291745))
(false (0.84708255))))))
(false (damaged__l1
(true (damaged__l1′
(true (1.0))
(false (0.0))))
(false (damaged__l1′
(true (0.0))
(false (1.0)))))))))))
damaged__w1
(agentAt__a1_x0_y0
(true (agentAt__a1_x1_y0
(true (damaged__w1
(true (damaged__w1′
(true (1.0))
(false (0.0))))
(false (damaged__w1′
(true (0.29898286))
(false (0.70101714))))))
(false (damaged__w1
(true (damaged__w1′
(true (1.0))
(false (0.0))))
(false (damaged__w1′
(true (0.14949143))
(false (0.85050857))))))))
(false (agentAt__a1_x1_y0
(true (damaged__w1
(true (damaged__w1′
(true (1.0))
(false (0.0))))
(false (damaged__w1′
(true (0.29898286))
(false (0.70101714))))))
(false (agentAt__a1_x1_y1
(true (damaged__w1
(true (damaged__w1′
(true (1.0))
(false (0.0))))
(false (damaged__w1′
(true (0.14949143))
(false (0.85050857))))))
(false (damaged__w1
(true (damaged__w1′
(true (1.0))
(false (0.0))))
(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)))))
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)))))
lifeChecked__o0
(lifeChecked__o0
(true (lifeChecked__o0′
(true (1.0))
(false (0.0))))
(false (lifeChecked__o0′
(true (0.0))
(false (1.0)))))
lifeChecked__o1
(lifeChecked__o1
(true (lifeChecked__o1′
(true (1.0))
(false (0.0))))
(false (lifeChecked__o1′
(true (0.0))
(false (1.0)))))
lifeChecked__o2
(lifeChecked__o2
(true (lifeChecked__o2′
(true (1.0))
(false (0.0))))
(false (lifeChecked__o2′
(true (0.0))
(false (1.0)))))
lifeChecked__o3
(lifeChecked__o3
(true (lifeChecked__o3′
(true (1.0))
(false (0.0))))
(false (lifeChecked__o3′
(true (0.0))
(false (1.0)))))
pictureTaken__o0
(agentAt__a1_x1_y1
(true (damaged__p1
(true (pictureTaken__o0′
(true (0.0))
(false (1.0))))
(false (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)))
lifeChecked2__o0
(lifeChecked2__o0
(true (lifeChecked2__o0′
(true (1.0))
(false (0.0))))
(false (lifeChecked2__o0′
(true (0.0))
(false (1.0)))))
lifeChecked2__o1
(lifeChecked2__o1
(true (lifeChecked2__o1′
(true (1.0))
(false (0.0))))
(false (lifeChecked2__o1′
(true (0.0))
(false (1.0)))))
lifeChecked2__o2
(lifeChecked2__o2
(true (lifeChecked2__o2′
(true (1.0))
(false (0.0))))
(false (lifeChecked2__o2′
(true (0.0))
(false (1.0)))))
lifeChecked2__o3
(lifeChecked2__o3
(true (lifeChecked2__o3′
(true (1.0))
(false (0.0))))
(false (lifeChecked2__o3′
(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)))))
cost [+
(agentAt__a1_x1_y1
(true (damaged__p1
(true (0.0))
(false (lifeDetected__o0
(true (pictureTaken__o0
(true (0.0))
(false (-0.18377236))))
(false (0.0))))))
(false (0.0)))
(agentAt__a1_x1_y1
(true (lifeDetected__o0
(true (0.0))
(false (0.7311116))))
(false (0.0)))
]
endaction

action useToolOn__a1_p1_o1
waterChecked__o0
(waterChecked__o0
(true (waterChecked__o0′
(true (1.0))
(false (0.0))))
(false (waterChecked__o0′
(true (0.0))
(false (1.0)))))
waterChecked__o1
(waterChecked__o1
(true (waterChecked__o1′
(true (1.0))
(false (0.0))))
(false (waterChecked__o1′
(true (0.0))
(false (1.0)))))
waterChecked__o2
(waterChecked__o2
(true (waterChecked__o2′
(true (1.0))
(false (0.0))))
(false (waterChecked__o2′
(true (0.0))
(false (1.0)))))
waterChecked__o3
(waterChecked__o3
(true (waterChecked__o3′
(true (1.0))
(false (0.0))))
(false (waterChecked__o3′
(true (0.0))
(false (1.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)))))
damaged__l1
(agentAt__a1_x0_y0
(true (agentAt__a1_x1_y0
(true (damaged__l1
(true (damaged__l1′
(true (1.0))
(false (0.0))))
(false (damaged__l1′
(true (0.3058349))
(false (0.6941651))))))
(false (damaged__l1
(true (damaged__l1′
(true (1.0))
(false (0.0))))
(false (damaged__l1′
(true (0.15291745))
(false (0.84708255))))))))
(false (agentAt__a1_x1_y0
(true (damaged__l1
(true (damaged__l1′
(true (1.0))
(false (0.0))))
(false (damaged__l1′
(true (0.3058349))
(false (0.6941651))))))
(false (agentAt__a1_x1_y1
(true (damaged__l1
(true (damaged__l1′
(true (1.0))
(false (0.0))))
(false (damaged__l1′
(true (0.15291745))
(false (0.84708255))))))
(false (damaged__l1
(true (damaged__l1′
(true (1.0))
(false (0.0))))
(false (damaged__l1′
(true (0.0))
(false (1.0)))))))))))
damaged__w1
(agentAt__a1_x0_y0
(true (agentAt__a1_x1_y0
(true (damaged__w1
(true (damaged__w1′
(true (1.0))
(false (0.0))))
(false (damaged__w1′
(true (0.29898286))
(false (0.70101714))))))
(false (damaged__w1
(true (damaged__w1′
(true (1.0))
(false (0.0))))
(false (damaged__w1′
(true (0.14949143))
(false (0.85050857))))))))
(false (agentAt__a1_x1_y0
(true (damaged__w1
(true (damaged__w1′
(true (1.0))
(false (0.0))))
(false (damaged__w1′
(true (0.29898286))
(false (0.70101714))))))
(false (agentAt__a1_x1_y1
(true (damaged__w1
(true (damaged__w1′
(true (1.0))
(false (0.0))))
(false (damaged__w1′
(true (0.14949143))
(false (0.85050857))))))
(false (damaged__w1
(true (damaged__w1′
(true (1.0))
(false (0.0))))
(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)))))
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)))))
lifeChecked__o0
(lifeChecked__o0
(true (lifeChecked__o0′
(true (1.0))
(false (0.0))))
(false (lifeChecked__o0′
(true (0.0))
(false (1.0)))))
lifeChecked__o1
(lifeChecked__o1
(true (lifeChecked__o1′
(true (1.0))
(false (0.0))))
(false (lifeChecked__o1′
(true (0.0))
(false (1.0)))))
lifeChecked__o2
(lifeChecked__o2
(true (lifeChecked__o2′
(true (1.0))
(false (0.0))))
(false (lifeChecked__o2′
(true (0.0))
(false (1.0)))))
lifeChecked__o3
(lifeChecked__o3
(true (lifeChecked__o3′
(true (1.0))
(false (0.0))))
(false (lifeChecked__o3′
(true (0.0))
(false (1.0)))))
pictureTaken__o0
(pictureTaken__o0′
(true (0.0))
(false (1.0)))
pictureTaken__o1
(agentAt__a1_x1_y0
(true (damaged__p1
(true (pictureTaken__o1′
(true (0.0))
(false (1.0))))
(false (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)))
lifeChecked2__o0
(lifeChecked2__o0
(true (lifeChecked2__o0′
(true (1.0))
(false (0.0))))
(false (lifeChecked2__o0′
(true (0.0))
(false (1.0)))))
lifeChecked2__o1
(lifeChecked2__o1
(true (lifeChecked2__o1′
(true (1.0))
(false (0.0))))
(false (lifeChecked2__o1′
(true (0.0))
(false (1.0)))))
lifeChecked2__o2
(lifeChecked2__o2
(true (lifeChecked2__o2′
(true (1.0))
(false (0.0))))
(false (lifeChecked2__o2′
(true (0.0))
(false (1.0)))))
lifeChecked2__o3
(lifeChecked2__o3
(true (lifeChecked2__o3′
(true (1.0))
(false (0.0))))
(false (lifeChecked2__o3′
(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)))))
cost [+
(agentAt__a1_x1_y0
(true (damaged__p1
(true (0.0))
(false (lifeDetected__o1
(true (pictureTaken__o1
(true (0.0))
(false (-0.18377236))))
(false (0.0))))))
(false (0.0)))
(agentAt__a1_x1_y0
(true (lifeDetected__o1
(true (0.0))
(false (0.7311116))))
(false (0.0)))
]
endaction

action useToolOn__a1_p1_o2
waterChecked__o0
(waterChecked__o0
(true (waterChecked__o0′
(true (1.0))
(false (0.0))))
(false (waterChecked__o0′
(true (0.0))
(false (1.0)))))
waterChecked__o1
(waterChecked__o1
(true (waterChecked__o1′
(true (1.0))
(false (0.0))))
(false (waterChecked__o1′
(true (0.0))
(false (1.0)))))
waterChecked__o2
(waterChecked__o2
(true (waterChecked__o2′
(true (1.0))
(false (0.0))))
(false (waterChecked__o2′
(true (0.0))
(false (1.0)))))
waterChecked__o3
(waterChecked__o3
(true (waterChecked__o3′
(true (1.0))
(false (0.0))))
(false (waterChecked__o3′
(true (0.0))
(false (1.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)))))
damaged__l1
(agentAt__a1_x0_y0
(true (agentAt__a1_x1_y0
(true (damaged__l1
(true (damaged__l1′
(true (1.0))
(false (0.0))))
(false (damaged__l1′
(true (0.3058349))
(false (0.6941651))))))
(false (damaged__l1
(true (damaged__l1′
(true (1.0))
(false (0.0))))
(false (damaged__l1′
(true (0.15291745))
(false (0.84708255))))))))
(false (agentAt__a1_x1_y0
(true (damaged__l1
(true (damaged__l1′
(true (1.0))
(false (0.0))))
(false (damaged__l1′
(true (0.3058349))
(false (0.6941651))))))
(false (agentAt__a1_x1_y1
(true (damaged__l1
(true (damaged__l1′
(true (1.0))
(false (0.0))))
(false (damaged__l1′
(true (0.15291745))
(false (0.84708255))))))
(false (damaged__l1
(true (damaged__l1′
(true (1.0))
(false (0.0))))
(false (damaged__l1′
(true (0.0))
(false (1.0)))))))))))
damaged__w1
(agentAt__a1_x0_y0
(true (agentAt__a1_x1_y0
(true (damaged__w1
(true (damaged__w1′
(true (1.0))
(false (0.0))))
(false (damaged__w1′
(true (0.29898286))
(false (0.70101714))))))
(false (damaged__w1
(true (damaged__w1′
(true (1.0))
(false (0.0))))
(false (damaged__w1′
(true (0.14949143))
(false (0.85050857))))))))
(false (agentAt__a1_x1_y0
(true (damaged__w1
(true (damaged__w1′
(true (1.0))
(false (0.0))))
(false (damaged__w1′
(true (0.29898286))
(false (0.70101714))))))
(false (agentAt__a1_x1_y1
(true (damaged__w1
(true (damaged__w1′
(true (1.0))
(false (0.0))))
(false (damaged__w1′
(true (0.14949143))
(false (0.85050857))))))
(false (damaged__w1
(true (damaged__w1′
(true (1.0))
(false (0.0))))
(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)))))
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)))))
lifeChecked__o0
(lifeChecked__o0
(true (lifeChecked__o0′
(true (1.0))
(false (0.0))))
(false (lifeChecked__o0′
(true (0.0))
(false (1.0)))))
lifeChecked__o1
(lifeChecked__o1
(true (lifeChecked__o1′
(true (1.0))
(false (0.0))))
(false (lifeChecked__o1′
(true (0.0))
(false (1.0)))))
lifeChecked__o2
(lifeChecked__o2
(true (lifeChecked__o2′
(true (1.0))
(false (0.0))))
(false (lifeChecked__o2′
(true (0.0))
(false (1.0)))))
lifeChecked__o3
(lifeChecked__o3
(true (lifeChecked__o3′
(true (1.0))
(false (0.0))))
(false (lifeChecked__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
(agentAt__a1_x0_y0
(true (damaged__p1
(true (pictureTaken__o2′
(true (0.0))
(false (1.0))))
(false (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)))
lifeChecked2__o0
(lifeChecked2__o0
(true (lifeChecked2__o0′
(true (1.0))
(false (0.0))))
(false (lifeChecked2__o0′
(true (0.0))
(false (1.0)))))
lifeChecked2__o1
(lifeChecked2__o1
(true (lifeChecked2__o1′
(true (1.0))
(false (0.0))))
(false (lifeChecked2__o1′
(true (0.0))
(false (1.0)))))
lifeChecked2__o2
(lifeChecked2__o2
(true (lifeChecked2__o2′
(true (1.0))
(false (0.0))))
(false (lifeChecked2__o2′
(true (0.0))
(false (1.0)))))
lifeChecked2__o3
(lifeChecked2__o3
(true (lifeChecked2__o3′
(true (1.0))
(false (0.0))))
(false (lifeChecked2__o3′
(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)))))
cost [+
(agentAt__a1_x0_y0
(true (damaged__p1
(true (0.0))
(false (lifeDetected__o2
(true (pictureTaken__o2
(true (0.0))
(false (-0.18377236))))
(false (0.0))))))
(false (0.0)))
(agentAt__a1_x0_y0
(true (lifeDetected__o2
(true (0.0))
(false (0.7311116))))
(false (0.0)))
]
endaction

action useToolOn__a1_p1_o3
waterChecked__o0
(waterChecked__o0
(true (waterChecked__o0′
(true (1.0))
(false (0.0))))
(false (waterChecked__o0′
(true (0.0))
(false (1.0)))))
waterChecked__o1
(waterChecked__o1
(true (waterChecked__o1′
(true (1.0))
(false (0.0))))
(false (waterChecked__o1′
(true (0.0))
(false (1.0)))))
waterChecked__o2
(waterChecked__o2
(true (waterChecked__o2′
(true (1.0))
(false (0.0))))
(false (waterChecked__o2′
(true (0.0))
(false (1.0)))))
waterChecked__o3
(waterChecked__o3
(true (waterChecked__o3′
(true (1.0))
(false (0.0))))
(false (waterChecked__o3′
(true (0.0))
(false (1.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)))))
damaged__l1
(agentAt__a1_x0_y0
(true (agentAt__a1_x1_y0
(true (damaged__l1
(true (damaged__l1′
(true (1.0))
(false (0.0))))
(false (damaged__l1′
(true (0.3058349))
(false (0.6941651))))))
(false (damaged__l1
(true (damaged__l1′
(true (1.0))
(false (0.0))))
(false (damaged__l1′
(true (0.15291745))
(false (0.84708255))))))))
(false (agentAt__a1_x1_y0
(true (damaged__l1
(true (damaged__l1′
(true (1.0))
(false (0.0))))
(false (damaged__l1′
(true (0.3058349))
(false (0.6941651))))))
(false (agentAt__a1_x1_y1
(true (damaged__l1
(true (damaged__l1′
(true (1.0))
(false (0.0))))
(false (damaged__l1′
(true (0.15291745))
(false (0.84708255))))))
(false (damaged__l1
(true (damaged__l1′
(true (1.0))
(false (0.0))))
(false (damaged__l1′
(true (0.0))
(false (1.0)))))))))))
damaged__w1
(agentAt__a1_x0_y0
(true (agentAt__a1_x1_y0
(true (damaged__w1
(true (damaged__w1′
(true (1.0))
(false (0.0))))
(false (damaged__w1′
(true (0.29898286))
(false (0.70101714))))))
(false (damaged__w1
(true (damaged__w1′
(true (1.0))
(false (0.0))))
(false (damaged__w1′
(true (0.14949143))
(false (0.85050857))))))))
(false (agentAt__a1_x1_y0
(true (damaged__w1
(true (damaged__w1′
(true (1.0))
(false (0.0))))
(false (damaged__w1′
(true (0.29898286))
(false (0.70101714))))))
(false (agentAt__a1_x1_y1
(true (damaged__w1
(true (damaged__w1′
(true (1.0))
(false (0.0))))
(false (damaged__w1′
(true (0.14949143))
(false (0.85050857))))))
(false (damaged__w1
(true (damaged__w1′
(true (1.0))
(false (0.0))))
(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)))))
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)))))
lifeChecked__o0
(lifeChecked__o0
(true (lifeChecked__o0′
(true (1.0))
(false (0.0))))
(false (lifeChecked__o0′
(true (0.0))
(false (1.0)))))
lifeChecked__o1
(lifeChecked__o1
(true (lifeChecked__o1′
(true (1.0))
(false (0.0))))
(false (lifeChecked__o1′
(true (0.0))
(false (1.0)))))
lifeChecked__o2
(lifeChecked__o2
(true (lifeChecked__o2′
(true (1.0))
(false (0.0))))
(false (lifeChecked__o2′
(true (0.0))
(false (1.0)))))
lifeChecked__o3
(lifeChecked__o3
(true (lifeChecked__o3′
(true (1.0))
(false (0.0))))
(false (lifeChecked__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
(agentAt__a1_x1_y0
(true (damaged__p1
(true (pictureTaken__o3′
(true (0.0))
(false (1.0))))
(false (pictureTaken__o3′
(true (1.0))
(false (0.0))))))
(false (pictureTaken__o3′
(true (0.0))
(false (1.0)))))
lifeChecked2__o0
(lifeChecked2__o0
(true (lifeChecked2__o0′
(true (1.0))
(false (0.0))))
(false (lifeChecked2__o0′
(true (0.0))
(false (1.0)))))
lifeChecked2__o1
(lifeChecked2__o1
(true (lifeChecked2__o1′
(true (1.0))
(false (0.0))))
(false (lifeChecked2__o1′
(true (0.0))
(false (1.0)))))
lifeChecked2__o2
(lifeChecked2__o2
(true (lifeChecked2__o2′
(true (1.0))
(false (0.0))))
(false (lifeChecked2__o2′
(true (0.0))
(false (1.0)))))
lifeChecked2__o3
(lifeChecked2__o3
(true (lifeChecked2__o3′
(true (1.0))
(false (0.0))))
(false (lifeChecked2__o3′
(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)))))
cost [+
(agentAt__a1_x1_y0
(true (damaged__p1
(true (0.0))
(false (lifeDetected__o3
(true (pictureTaken__o3
(true (0.0))
(false (-0.18377236))))
(false (0.0))))))
(false (0.0)))
(agentAt__a1_x1_y0
(true (lifeDetected__o3
(true (0.0))
(false (0.7311116))))
(false (0.0)))
]
endaction

action useToolOn__a1_w1_o0
waterChecked__o0
(waterChecked__o0
(true (waterChecked__o0′
(true (1.0))
(false (0.0))))
(false (agentAt__a1_x1_y1
(true (waterChecked__o0′
(true (1.0))
(false (0.0))))
(false (waterChecked__o0′
(true (0.0))
(false (1.0)))))))
waterChecked__o1
(waterChecked__o1
(true (waterChecked__o1′
(true (1.0))
(false (0.0))))
(false (waterChecked__o1′
(true (0.0))
(false (1.0)))))
waterChecked__o2
(waterChecked__o2
(true (waterChecked__o2′
(true (1.0))
(false (0.0))))
(false (waterChecked__o2′
(true (0.0))
(false (1.0)))))
waterChecked__o3
(waterChecked__o3
(true (waterChecked__o3′
(true (1.0))
(false (0.0))))
(false (waterChecked__o3′
(true (0.0))
(false (1.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)))))
damaged__l1
(agentAt__a1_x0_y0
(true (agentAt__a1_x1_y0
(true (damaged__l1
(true (damaged__l1′
(true (1.0))
(false (0.0))))
(false (damaged__l1′
(true (0.3058349))
(false (0.6941651))))))
(false (damaged__l1
(true (damaged__l1′
(true (1.0))
(false (0.0))))
(false (damaged__l1′
(true (0.15291745))
(false (0.84708255))))))))
(false (agentAt__a1_x1_y0
(true (damaged__l1
(true (damaged__l1′
(true (1.0))
(false (0.0))))
(false (damaged__l1′
(true (0.3058349))
(false (0.6941651))))))
(false (agentAt__a1_x1_y1
(true (damaged__l1
(true (damaged__l1′
(true (1.0))
(false (0.0))))
(false (damaged__l1′
(true (0.15291745))
(false (0.84708255))))))
(false (damaged__l1
(true (damaged__l1′
(true (1.0))
(false (0.0))))
(false (damaged__l1′
(true (0.0))
(false (1.0)))))))))))
damaged__w1
(agentAt__a1_x0_y0
(true (agentAt__a1_x1_y0
(true (damaged__w1
(true (damaged__w1′
(true (1.0))
(false (0.0))))
(false (damaged__w1′
(true (0.29898286))
(false (0.70101714))))))
(false (damaged__w1
(true (damaged__w1′
(true (1.0))
(false (0.0))))
(false (damaged__w1′
(true (0.14949143))
(false (0.85050857))))))))
(false (agentAt__a1_x1_y0
(true (damaged__w1
(true (damaged__w1′
(true (1.0))
(false (0.0))))
(false (damaged__w1′
(true (0.29898286))
(false (0.70101714))))))
(false (agentAt__a1_x1_y1
(true (damaged__w1
(true (damaged__w1′
(true (1.0))
(false (0.0))))
(false (damaged__w1′
(true (0.14949143))
(false (0.85050857))))))
(false (damaged__w1
(true (damaged__w1′
(true (1.0))
(false (0.0))))
(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)))))
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)))))
lifeChecked__o0
(lifeChecked__o0
(true (lifeChecked__o0′
(true (1.0))
(false (0.0))))
(false (lifeChecked__o0′
(true (0.0))
(false (1.0)))))
lifeChecked__o1
(lifeChecked__o1
(true (lifeChecked__o1′
(true (1.0))
(false (0.0))))
(false (lifeChecked__o1′
(true (0.0))
(false (1.0)))))
lifeChecked__o2
(lifeChecked__o2
(true (lifeChecked__o2′
(true (1.0))
(false (0.0))))
(false (lifeChecked__o2′
(true (0.0))
(false (1.0)))))
lifeChecked__o3
(lifeChecked__o3
(true (lifeChecked__o3′
(true (1.0))
(false (0.0))))
(false (lifeChecked__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)))
lifeChecked2__o0
(lifeChecked2__o0
(true (lifeChecked2__o0′
(true (1.0))
(false (0.0))))
(false (lifeChecked2__o0′
(true (0.0))
(false (1.0)))))
lifeChecked2__o1
(lifeChecked2__o1
(true (lifeChecked2__o1′
(true (1.0))
(false (0.0))))
(false (lifeChecked2__o1′
(true (0.0))
(false (1.0)))))
lifeChecked2__o2
(lifeChecked2__o2
(true (lifeChecked2__o2′
(true (1.0))
(false (0.0))))
(false (lifeChecked2__o2′
(true (0.0))
(false (1.0)))))
lifeChecked2__o3
(lifeChecked2__o3
(true (lifeChecked2__o3′
(true (1.0))
(false (0.0))))
(false (lifeChecked2__o3′
(true (0.0))
(false (1.0)))))
waterDetected__o0
(waterChecked__o0
(true (waterDetected__o0
(true (waterDetected__o0′
(true (1.0))
(false (0.0))))
(false (waterDetected__o0′
(true (0.0))
(false (1.0))))))
(false (agentAt__a1_x1_y1
(true (damaged__w1
(true (waterDetected__o0
(true (waterDetected__o0′
(true (1.0))
(false (0.0))))
(false (waterDetected__o0′
(true (0.4))
(false (0.6))))))
(false (waterDetected__o0
(true (waterDetected__o0′
(true (1.0))
(false (0.0))))
(false (waterDetected__o0′
(true (0.8))
(false (0.19999999999999996))))))))
(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)))))
endaction

action useToolOn__a1_w1_o1
waterChecked__o0
(waterChecked__o0
(true (waterChecked__o0′
(true (1.0))
(false (0.0))))
(false (waterChecked__o0′
(true (0.0))
(false (1.0)))))
waterChecked__o1
(waterChecked__o1
(true (waterChecked__o1′
(true (1.0))
(false (0.0))))
(false (agentAt__a1_x1_y0
(true (waterChecked__o1′
(true (1.0))
(false (0.0))))
(false (waterChecked__o1′
(true (0.0))
(false (1.0)))))))
waterChecked__o2
(waterChecked__o2
(true (waterChecked__o2′
(true (1.0))
(false (0.0))))
(false (waterChecked__o2′
(true (0.0))
(false (1.0)))))
waterChecked__o3
(waterChecked__o3
(true (waterChecked__o3′
(true (1.0))
(false (0.0))))
(false (waterChecked__o3′
(true (0.0))
(false (1.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)))))
damaged__l1
(agentAt__a1_x0_y0
(true (agentAt__a1_x1_y0
(true (damaged__l1
(true (damaged__l1′
(true (1.0))
(false (0.0))))
(false (damaged__l1′
(true (0.3058349))
(false (0.6941651))))))
(false (damaged__l1
(true (damaged__l1′
(true (1.0))
(false (0.0))))
(false (damaged__l1′
(true (0.15291745))
(false (0.84708255))))))))
(false (agentAt__a1_x1_y0
(true (damaged__l1
(true (damaged__l1′
(true (1.0))
(false (0.0))))
(false (damaged__l1′
(true (0.3058349))
(false (0.6941651))))))
(false (agentAt__a1_x1_y1
(true (damaged__l1
(true (damaged__l1′
(true (1.0))
(false (0.0))))
(false (damaged__l1′
(true (0.15291745))
(false (0.84708255))))))
(false (damaged__l1
(true (damaged__l1′
(true (1.0))
(false (0.0))))
(false (damaged__l1′
(true (0.0))
(false (1.0)))))))))))
damaged__w1
(agentAt__a1_x0_y0
(true (agentAt__a1_x1_y0
(true (damaged__w1
(true (damaged__w1′
(true (1.0))
(false (0.0))))
(false (damaged__w1′
(true (0.29898286))
(false (0.70101714))))))
(false (damaged__w1
(true (damaged__w1′
(true (1.0))
(false (0.0))))
(false (damaged__w1′
(true (0.14949143))
(false (0.85050857))))))))
(false (agentAt__a1_x1_y0
(true (damaged__w1
(true (damaged__w1′
(true (1.0))
(false (0.0))))
(false (damaged__w1′
(true (0.29898286))
(false (0.70101714))))))
(false (agentAt__a1_x1_y1
(true (damaged__w1
(true (damaged__w1′
(true (1.0))
(false (0.0))))
(false (damaged__w1′
(true (0.14949143))
(false (0.85050857))))))
(false (damaged__w1
(true (damaged__w1′
(true (1.0))
(false (0.0))))
(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)))))
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)))))
lifeChecked__o0
(lifeChecked__o0
(true (lifeChecked__o0′
(true (1.0))
(false (0.0))))
(false (lifeChecked__o0′
(true (0.0))
(false (1.0)))))
lifeChecked__o1
(lifeChecked__o1
(true (lifeChecked__o1′
(true (1.0))
(false (0.0))))
(false (lifeChecked__o1′
(true (0.0))
(false (1.0)))))
lifeChecked__o2
(lifeChecked__o2
(true (lifeChecked__o2′
(true (1.0))
(false (0.0))))
(false (lifeChecked__o2′
(true (0.0))
(false (1.0)))))
lifeChecked__o3
(lifeChecked__o3
(true (lifeChecked__o3′
(true (1.0))
(false (0.0))))
(false (lifeChecked__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)))
lifeChecked2__o0
(lifeChecked2__o0
(true (lifeChecked2__o0′
(true (1.0))
(false (0.0))))
(false (lifeChecked2__o0′
(true (0.0))
(false (1.0)))))
lifeChecked2__o1
(lifeChecked2__o1
(true (lifeChecked2__o1′
(true (1.0))
(false (0.0))))
(false (lifeChecked2__o1′
(true (0.0))
(false (1.0)))))
lifeChecked2__o2
(lifeChecked2__o2
(true (lifeChecked2__o2′
(true (1.0))
(false (0.0))))
(false (lifeChecked2__o2′
(true (0.0))
(false (1.0)))))
lifeChecked2__o3
(lifeChecked2__o3
(true (lifeChecked2__o3′
(true (1.0))
(false (0.0))))
(false (lifeChecked2__o3′
(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
(waterChecked__o1
(true (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 (damaged__w1
(true (waterDetected__o1
(true (waterDetected__o1′
(true (1.0))
(false (0.0))))
(false (waterDetected__o1′
(true (0.4))
(false (0.6))))))
(false (waterDetected__o1
(true (waterDetected__o1′
(true (1.0))
(false (0.0))))
(false (waterDetected__o1′
(true (0.8))
(false (0.19999999999999996))))))))
(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)))))
endaction

action useToolOn__a1_w1_o2
waterChecked__o0
(waterChecked__o0
(true (waterChecked__o0′
(true (1.0))
(false (0.0))))
(false (waterChecked__o0′
(true (0.0))
(false (1.0)))))
waterChecked__o1
(waterChecked__o1
(true (waterChecked__o1′
(true (1.0))
(false (0.0))))
(false (waterChecked__o1′
(true (0.0))
(false (1.0)))))
waterChecked__o2
(waterChecked__o2
(true (waterChecked__o2′
(true (1.0))
(false (0.0))))
(false (agentAt__a1_x0_y0
(true (waterChecked__o2′
(true (1.0))
(false (0.0))))
(false (waterChecked__o2′
(true (0.0))
(false (1.0)))))))
waterChecked__o3
(waterChecked__o3
(true (waterChecked__o3′
(true (1.0))
(false (0.0))))
(false (waterChecked__o3′
(true (0.0))
(false (1.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)))))
damaged__l1
(agentAt__a1_x0_y0
(true (agentAt__a1_x1_y0
(true (damaged__l1
(true (damaged__l1′
(true (1.0))
(false (0.0))))
(false (damaged__l1′
(true (0.3058349))
(false (0.6941651))))))
(false (damaged__l1
(true (damaged__l1′
(true (1.0))
(false (0.0))))
(false (damaged__l1′
(true (0.15291745))
(false (0.84708255))))))))
(false (agentAt__a1_x1_y0
(true (damaged__l1
(true (damaged__l1′
(true (1.0))
(false (0.0))))
(false (damaged__l1′
(true (0.3058349))
(false (0.6941651))))))
(false (agentAt__a1_x1_y1
(true (damaged__l1
(true (damaged__l1′
(true (1.0))
(false (0.0))))
(false (damaged__l1′
(true (0.15291745))
(false (0.84708255))))))
(false (damaged__l1
(true (damaged__l1′
(true (1.0))
(false (0.0))))
(false (damaged__l1′
(true (0.0))
(false (1.0)))))))))))
damaged__w1
(agentAt__a1_x0_y0
(true (agentAt__a1_x1_y0
(true (damaged__w1
(true (damaged__w1′
(true (1.0))
(false (0.0))))
(false (damaged__w1′
(true (0.29898286))
(false (0.70101714))))))
(false (damaged__w1
(true (damaged__w1′
(true (1.0))
(false (0.0))))
(false (damaged__w1′
(true (0.14949143))
(false (0.85050857))))))))
(false (agentAt__a1_x1_y0
(true (damaged__w1
(true (damaged__w1′
(true (1.0))
(false (0.0))))
(false (damaged__w1′
(true (0.29898286))
(false (0.70101714))))))
(false (agentAt__a1_x1_y1
(true (damaged__w1
(true (damaged__w1′
(true (1.0))
(false (0.0))))
(false (damaged__w1′
(true (0.14949143))
(false (0.85050857))))))
(false (damaged__w1
(true (damaged__w1′
(true (1.0))
(false (0.0))))
(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)))))
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)))))
lifeChecked__o0
(lifeChecked__o0
(true (lifeChecked__o0′
(true (1.0))
(false (0.0))))
(false (lifeChecked__o0′
(true (0.0))
(false (1.0)))))
lifeChecked__o1
(lifeChecked__o1
(true (lifeChecked__o1′
(true (1.0))
(false (0.0))))
(false (lifeChecked__o1′
(true (0.0))
(false (1.0)))))
lifeChecked__o2
(lifeChecked__o2
(true (lifeChecked__o2′
(true (1.0))
(false (0.0))))
(false (lifeChecked__o2′
(true (0.0))
(false (1.0)))))
lifeChecked__o3
(lifeChecked__o3
(true (lifeChecked__o3′
(true (1.0))
(false (0.0))))
(false (lifeChecked__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)))
lifeChecked2__o0
(lifeChecked2__o0
(true (lifeChecked2__o0′
(true (1.0))
(false (0.0))))
(false (lifeChecked2__o0′
(true (0.0))
(false (1.0)))))
lifeChecked2__o1
(lifeChecked2__o1
(true (lifeChecked2__o1′
(true (1.0))
(false (0.0))))
(false (lifeChecked2__o1′
(true (0.0))
(false (1.0)))))
lifeChecked2__o2
(lifeChecked2__o2
(true (lifeChecked2__o2′
(true (1.0))
(false (0.0))))
(false (lifeChecked2__o2′
(true (0.0))
(false (1.0)))))
lifeChecked2__o3
(lifeChecked2__o3
(true (lifeChecked2__o3′
(true (1.0))
(false (0.0))))
(false (lifeChecked2__o3′
(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
(waterChecked__o2
(true (waterDetected__o2
(true (waterDetected__o2′
(true (1.0))
(false (0.0))))
(false (waterDetected__o2′
(true (0.0))
(false (1.0))))))
(false (agentAt__a1_x0_y0
(true (damaged__w1
(true (waterDetected__o2
(true (waterDetected__o2′
(true (1.0))
(false (0.0))))
(false (waterDetected__o2′
(true (0.4))
(false (0.6))))))
(false (waterDetected__o2
(true (waterDetected__o2′
(true (1.0))
(false (0.0))))
(false (waterDetected__o2′
(true (0.8))
(false (0.19999999999999996))))))))
(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)))))
endaction

action useToolOn__a1_w1_o3
waterChecked__o0
(waterChecked__o0
(true (waterChecked__o0′
(true (1.0))
(false (0.0))))
(false (waterChecked__o0′
(true (0.0))
(false (1.0)))))
waterChecked__o1
(waterChecked__o1
(true (waterChecked__o1′
(true (1.0))
(false (0.0))))
(false (waterChecked__o1′
(true (0.0))
(false (1.0)))))
waterChecked__o2
(waterChecked__o2
(true (waterChecked__o2′
(true (1.0))
(false (0.0))))
(false (waterChecked__o2′
(true (0.0))
(false (1.0)))))
waterChecked__o3
(waterChecked__o3
(true (waterChecked__o3′
(true (1.0))
(false (0.0))))
(false (agentAt__a1_x1_y0
(true (waterChecked__o3′
(true (1.0))
(false (0.0))))
(false (waterChecked__o3′
(true (0.0))
(false (1.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)))))
damaged__l1
(agentAt__a1_x0_y0
(true (agentAt__a1_x1_y0
(true (damaged__l1
(true (damaged__l1′
(true (1.0))
(false (0.0))))
(false (damaged__l1′
(true (0.3058349))
(false (0.6941651))))))
(false (damaged__l1
(true (damaged__l1′
(true (1.0))
(false (0.0))))
(false (damaged__l1′
(true (0.15291745))
(false (0.84708255))))))))
(false (agentAt__a1_x1_y0
(true (damaged__l1
(true (damaged__l1′
(true (1.0))
(false (0.0))))
(false (damaged__l1′
(true (0.3058349))
(false (0.6941651))))))
(false (agentAt__a1_x1_y1
(true (damaged__l1
(true (damaged__l1′
(true (1.0))
(false (0.0))))
(false (damaged__l1′
(true (0.15291745))
(false (0.84708255))))))
(false (damaged__l1
(true (damaged__l1′
(true (1.0))
(false (0.0))))
(false (damaged__l1′
(true (0.0))
(false (1.0)))))))))))
damaged__w1
(agentAt__a1_x0_y0
(true (agentAt__a1_x1_y0
(true (damaged__w1
(true (damaged__w1′
(true (1.0))
(false (0.0))))
(false (damaged__w1′
(true (0.29898286))
(false (0.70101714))))))
(false (damaged__w1
(true (damaged__w1′
(true (1.0))
(false (0.0))))
(false (damaged__w1′
(true (0.14949143))
(false (0.85050857))))))))
(false (agentAt__a1_x1_y0
(true (damaged__w1
(true (damaged__w1′
(true (1.0))
(false (0.0))))
(false (damaged__w1′
(true (0.29898286))
(false (0.70101714))))))
(false (agentAt__a1_x1_y1
(true (damaged__w1
(true (damaged__w1′
(true (1.0))
(false (0.0))))
(false (damaged__w1′
(true (0.14949143))
(false (0.85050857))))))
(false (damaged__w1
(true (damaged__w1′
(true (1.0))
(false (0.0))))
(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)))))
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)))))
lifeChecked__o0
(lifeChecked__o0
(true (lifeChecked__o0′
(true (1.0))
(false (0.0))))
(false (lifeChecked__o0′
(true (0.0))
(false (1.0)))))
lifeChecked__o1
(lifeChecked__o1
(true (lifeChecked__o1′
(true (1.0))
(false (0.0))))
(false (lifeChecked__o1′
(true (0.0))
(false (1.0)))))
lifeChecked__o2
(lifeChecked__o2
(true (lifeChecked__o2′
(true (1.0))
(false (0.0))))
(false (lifeChecked__o2′
(true (0.0))
(false (1.0)))))
lifeChecked__o3
(lifeChecked__o3
(true (lifeChecked__o3′
(true (1.0))
(false (0.0))))
(false (lifeChecked__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)))
lifeChecked2__o0
(lifeChecked2__o0
(true (lifeChecked2__o0′
(true (1.0))
(false (0.0))))
(false (lifeChecked2__o0′
(true (0.0))
(false (1.0)))))
lifeChecked2__o1
(lifeChecked2__o1
(true (lifeChecked2__o1′
(true (1.0))
(false (0.0))))
(false (lifeChecked2__o1′
(true (0.0))
(false (1.0)))))
lifeChecked2__o2
(lifeChecked2__o2
(true (lifeChecked2__o2′
(true (1.0))
(false (0.0))))
(false (lifeChecked2__o2′
(true (0.0))
(false (1.0)))))
lifeChecked2__o3
(lifeChecked2__o3
(true (lifeChecked2__o3′
(true (1.0))
(false (0.0))))
(false (lifeChecked2__o3′
(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
(waterChecked__o3
(true (waterDetected__o3
(true (waterDetected__o3′
(true (1.0))
(false (0.0))))
(false (waterDetected__o3′
(true (0.0))
(false (1.0))))))
(false (agentAt__a1_x1_y0
(true (damaged__w1
(true (waterDetected__o3
(true (waterDetected__o3′
(true (1.0))
(false (0.0))))
(false (waterDetected__o3′
(true (0.4))
(false (0.6))))))
(false (waterDetected__o3
(true (waterDetected__o3′
(true (1.0))
(false (0.0))))
(false (waterDetected__o3′
(true (0.8))
(false (0.19999999999999996))))))))
(false (waterDetected__o3
(true (waterDetected__o3′
(true (1.0))
(false (0.0))))
(false (waterDetected__o3’
(true (0.0))
(false (1.0)))))))))
endaction

reward
(0.0)

discount 1.0
horizon 40

Related Posts