| Name | State | Definition |
|---|---|---|
| baseball.n.02 | Matched | a ball used in playing baseball |
| disinfectant.n.01 | Substance | an agent (as heat or radiation or a chemical) that destroys microorganisms that might carry disease |
| disinfectant__bottle.n.01 | Matched | |
| floor.n.01 | Matched | the inside lower horizontal surface (as of a room, hallway, tent, or other structure) |
| mud.n.03 | Substance | |
| rag.n.01 | Matched | a small piece of cloth or paper |
| sink.n.01 | Matched | plumbing fixture consisting of a water basin fixed to a wall or floor and having a drainpipe |
| water.n.06 | Substance | a liquid necessary for the life of most animals and plants |
(define (problem clean_a_dirty_baseball-0)
(:domain omnigibson)
(:objects
baseball.n.02_1 - baseball.n.02
sink.n.01_1 - sink.n.01
rag.n.01_1 - rag.n.01
mud.n.03_1 - mud.n.03
disinfectant.n.01_1 - disinfectant.n.01
disinfectant__bottle.n.01_1 - disinfectant__bottle.n.01
water.n.06_1 - water.n.06
floor.n.01_1 - floor.n.01
agent.n.01_1 - agent.n.01
)
(:init
(ontop baseball.n.02_1 floor.n.01_1)
(ontop rag.n.01_1 floor.n.01_1)
(covered baseball.n.02_1 mud.n.03_1)
(not
(covered baseball.n.02_1 disinfectant.n.01_1)
)
(insource sink.n.01_1 water.n.06_1)
(inroom sink.n.01_1 bathroom)
(inroom floor.n.01_1 bathroom)
(ontop agent.n.01_1 floor.n.01_1)
(filled disinfectant__bottle.n.01_1 disinfectant.n.01_1)
(ontop disinfectant__bottle.n.01_1 floor.n.01_1)
)
(:goal
(and
(not
(covered ?baseball.n.02_1 ?mud.n.03_1)
)
(covered ?baseball.n.02_1 ?disinfectant.n.01_1)
)
)
)