| Name | State | Definition |
|---|---|---|
| floor.n.01 | Matched | the inside lower horizontal surface (as of a room, hallway, tent, or other structure) |
| liquid_soap.n.01 | Substance | soap in liquid form |
| liquid_soap__bottle.n.01 | Matched | |
| sandal.n.01 | Matched | a shoe consisting of a sole fastened by straps to the foot |
| sink.n.01 | Matched | plumbing fixture consisting of a water basin fixed to a wall or floor and having a drainpipe |
| sponge.n.01 | Matched | a porous mass of interlacing fibers that forms the internal skeleton of various marine animals and usable to absorb water or any porous rubber or cellulose product similarly used |
| stain.n.01 | Substance | a soiled or discolored appearance |
| water.n.06 | Substance | a liquid necessary for the life of most animals and plants |
(define (problem clean_flip_flops-0)
(:domain omnigibson)
(:objects
sandal.n.01_1 sandal.n.01_2 - sandal.n.01
floor.n.01_1 - floor.n.01
water.n.06_1 - water.n.06
sink.n.01_1 - sink.n.01
sponge.n.01_1 - sponge.n.01
liquid_soap.n.01_1 - liquid_soap.n.01
liquid_soap__bottle.n.01_1 - liquid_soap__bottle.n.01
stain.n.01_1 - stain.n.01
agent.n.01_1 - agent.n.01
)
(:init
(ontop sandal.n.01_1 floor.n.01_1)
(ontop sandal.n.01_2 floor.n.01_1)
(ontop sponge.n.01_1 floor.n.01_1)
(covered sandal.n.01_1 stain.n.01_1)
(covered sandal.n.01_2 stain.n.01_1)
(filled liquid_soap__bottle.n.01_1 liquid_soap.n.01_1)
(ontop liquid_soap__bottle.n.01_1 floor.n.01_1)
(insource sink.n.01_1 water.n.06_1)
(inroom floor.n.01_1 bathroom)
(inroom sink.n.01_1 bathroom)
(ontop agent.n.01_1 floor.n.01_1)
)
(:goal
(and
(forall
(?sandal.n.01 - sandal.n.01)
(not
(covered ?sandal.n.01 ?stain.n.01_1)
)
)
)
)
)