washing_floor-0

Required Synsets

Name	State	Definition
bar_soap.n.01	Matched	soap in the form of a bar
bed.n.01	Matched	a piece of furniture that provides a place to sleep
bucket.n.01	Matched	a roughly cylindrical vessel that is open at the top
dust.n.01	Substance	fine powdery material such as dry earth or pollen that can be blown about in the air
floor.n.01	Matched	the inside lower horizontal surface (as of a room, hallway, tent, or other structure)
shower.n.01	Matched	a plumbing fixture that sprays water over you
sink.n.01	Matched	plumbing fixture consisting of a water basin fixed to a wall or floor and having a drainpipe
stain.n.01	Substance	a soiled or discolored appearance
toilet.n.02	Matched	a plumbing fixture for defecation and urination
towel.n.01	Matched	a rectangular piece of absorbent cloth (or paper) for drying or wiping

Transition Paths By Task Scope Objects

graph TD;

Scene Matching Status

Scene	Status	Reason
Beechwood_0_garden	Unmatched	Cannot find suitable bathroom: bathroom_0 is missing 1 shower.n.01.Cannot find suitable bedroom.
Beechwood_0_int	Unmatched	Cannot find suitable bathroom: bathroom_0 is missing 1 shower.n.01.Cannot find suitable bedroom.
Beechwood_1_int	Unmatched	Cannot find suitable bathroom: bathroom_1 is missing 1 shower.n.01; bathroom_0 is missing 1 shower.n.01.
Benevolence_0_int	Unmatched	Cannot find suitable bathroom: bathroom_0 is missing 1 shower.n.01.Cannot find suitable bedroom.
Benevolence_1_int	Unmatched	Cannot find suitable bathroom.Cannot find suitable bedroom.
Benevolence_2_int	Unmatched	Cannot find suitable bathroom: bathroom_0 is missing 1 shower.n.01; bathroom_1 is missing 1 shower.n.01.
Ihlen_0_int	Unmatched	Cannot find suitable bathroom: bathroom_0 is missing 1 shower.n.01.Cannot find suitable bedroom.
Ihlen_1_int	Unmatched	Cannot find suitable bathroom: bathroom_0 is missing 1 shower.n.01.
Merom_0_garden	Unmatched	Cannot find suitable bathroom: bathroom_0 is missing 1 shower.n.01.Cannot find suitable bedroom.
Merom_0_int	Unmatched	Cannot find suitable bathroom: bathroom_0 is missing 1 shower.n.01.Cannot find suitable bedroom.
Merom_1_int	Unmatched	Cannot find suitable bathroom: bathroom_0 is missing 1 shower.n.01.
Pomaria_0_garden	Unmatched	Cannot find suitable bathroom: bathroom_0 is missing 1 shower.n.01.
Pomaria_0_int	Unmatched	Cannot find suitable bathroom: bathroom_0 is missing 1 shower.n.01.
Pomaria_1_int	Unmatched	Cannot find suitable bathroom: bathroom_0 is missing 1 shower.n.01.Cannot find suitable bedroom.
Pomaria_2_int	Unmatched	Cannot find suitable bathroom: bathroom_1 is missing 1 shower.n.01, 1 sink.n.01; bathroom_0 is missing 1 shower.n.01, 1 toilet.n.02.
Rs_garden	Unmatched	Cannot find suitable bathroom: bathroom_0 is missing 1 shower.n.01.
Rs_int	Unmatched	Cannot find suitable bathroom: bathroom_0 is missing 1 shower.n.01.
Wainscott_0_garden	Unmatched	Cannot find suitable bathroom: bathroom_0 is missing 1 shower.n.01; bathroom_1 is missing 1 shower.n.01.
Wainscott_0_int	Unmatched	Cannot find suitable bathroom: bathroom_0 is missing 1 shower.n.01; bathroom_1 is missing 1 shower.n.01.
Wainscott_1_int	Unmatched	Cannot find suitable bathroom: bathroom_1 is missing 1 shower.n.01; bathroom_0 is missing 1 shower.n.01, 1 toilet.n.02.
gates_bedroom	Unmatched	Cannot find suitable bathroom.
grocery_store_asian	Unmatched	Cannot find suitable bathroom: bathroom_0 is missing 1 shower.n.01.Cannot find suitable bedroom.
grocery_store_cafe	Unmatched	Cannot find suitable bathroom: bathroom_0 is missing 1 shower.n.01.Cannot find suitable bedroom.
grocery_store_convenience	Unmatched	Cannot find suitable bathroom: bathroom_0 is missing 1 shower.n.01.Cannot find suitable bedroom.
grocery_store_half_stocked	Unmatched	Cannot find suitable bathroom: bathroom_0 is missing 1 shower.n.01.Cannot find suitable bedroom.
hall_arch_wood	Unmatched	Cannot find suitable bathroom: bathroom_0 is missing 1 shower.n.01.Cannot find suitable bedroom.
hall_conference_large	Unmatched	Cannot find suitable bathroom: bathroom_0 is missing 1 shower.n.01.Cannot find suitable bedroom.
hall_glass_ceiling	Unmatched	Cannot find suitable bathroom: bathroom_0 is missing 1 shower.n.01.Cannot find suitable bedroom.
hall_train_station	Unmatched	Cannot find suitable bathroom: bathroom_0 is missing 1 shower.n.01.Cannot find suitable bedroom.
hotel_gym_spa	Unmatched	Cannot find suitable bathroom: bathroom_1 is missing 1 shower.n.01, 1 toilet.n.02, 1 sink.n.01; bathroom_0 is missing 1 shower.n.01.Cannot find suitable bedroom.
hotel_suite_large	Unmatched	Cannot find suitable bathroom: bathroom_0 is missing 1 shower.n.01.
hotel_suite_small	Unmatched	Cannot find suitable bathroom: bathroom_0 is missing 1 shower.n.01.
house_double_floor_lower	Unmatched	Cannot find suitable bathroom: bathroom_0 is missing 1 shower.n.01.Cannot find suitable bedroom.
house_double_floor_upper	Ready
house_single_floor	Unmatched	Cannot find suitable bathroom: bathroom_1 is missing 1 shower.n.01; bathroom_0 is missing 1 shower.n.01.
office_bike	Unmatched	Cannot find suitable bathroom.Cannot find suitable bedroom.
office_cubicles_left	Unmatched	Cannot find suitable bathroom: bathroom_0 is missing 1 shower.n.01.Cannot find suitable bedroom.
office_cubicles_right	Unmatched	Cannot find suitable bathroom: bathroom_0 is missing 1 shower.n.01.Cannot find suitable bedroom.
office_large	Unmatched	Cannot find suitable bathroom: bathroom_0 is missing 1 shower.n.01.Cannot find suitable bedroom.
office_vendor_machine	Unmatched	Cannot find suitable bathroom: bathroom_0 is missing 1 shower.n.01.Cannot find suitable bedroom.
restaurant_asian	Unmatched	Cannot find suitable bathroom: bathroom_0 is missing 1 shower.n.01.Cannot find suitable bedroom.
restaurant_brunch	Unmatched	Cannot find suitable bathroom: bathroom_0 is missing 1 shower.n.01.Cannot find suitable bedroom.
restaurant_cafeteria	Unmatched	Cannot find suitable bathroom: bathroom_0 is missing 1 shower.n.01.Cannot find suitable bedroom.
restaurant_diner	Unmatched	Cannot find suitable bathroom: bathroom_0 is missing 1 shower.n.01.Cannot find suitable bedroom.
restaurant_hotel	Unmatched	Cannot find suitable bathroom: bathroom_0 is missing 1 shower.n.01.Cannot find suitable bedroom.
restaurant_urban	Unmatched	Cannot find suitable bathroom: bathroom_0 is missing 1 shower.n.01.Cannot find suitable bedroom.
school_biology	Unmatched	Cannot find suitable bathroom: bathroom_0 is missing 1 shower.n.01.Cannot find suitable bedroom.
school_chemistry	Unmatched	Cannot find suitable bathroom: bathroom_0 is missing 1 shower.n.01.Cannot find suitable bedroom.
school_computer_lab_and_infirmary	Unmatched	Cannot find suitable bathroom: bathroom_0 is missing 1 shower.n.01.Cannot find suitable bedroom.
school_geography	Unmatched	Cannot find suitable bathroom: bathroom_0 is missing 1 shower.n.01.Cannot find suitable bedroom.
school_gym	Unmatched	Cannot find suitable bathroom: bathroom_0 is missing 1 shower.n.01.Cannot find suitable bedroom.

Full Definition

(define (problem washing_floor-0)
    (:domain omnigibson)

    (:objects
        stain.n.01_1 - stain.n.01
        dust.n.01_1 - dust.n.01
     	bucket.n.01_1 - bucket.n.01
    	floor.n.01_1 - floor.n.01
    	bar_soap.n.01_1 - bar_soap.n.01
    	towel.n.01_1 - towel.n.01
    	shower.n.01_1 - shower.n.01
    	toilet.n.02_1 - toilet.n.02
    	bed.n.01_1 - bed.n.01
    	sink.n.01_1 - sink.n.01
    	agent.n.01_1 - agent.n.01
    )
    
    (:init 
        (ontop bucket.n.01_1 floor.n.01_1) 
        (ontop bar_soap.n.01_1 floor.n.01_1) 
        (ontop towel.n.01_1 floor.n.01_1) 
        (not 
            (covered towel.n.01_1 stain.n.01_1)
        ) 
        (covered floor.n.01_1 dust.n.01_1) 
        (covered floor.n.01_1 stain.n.01_1) 
        (inroom floor.n.01_1 bathroom) 
        (inroom shower.n.01_1 bathroom) 
        (inroom toilet.n.02_1 bathroom) 
        (inroom bed.n.01_1 bedroom) 
        (inroom sink.n.01_1 bathroom) 
        (ontop agent.n.01_1 floor.n.01_1)
    )
    
    (:goal 
        (and 
            (not 
                (or 
                    (covered ?floor.n.01_1 ?dust.n.01_1) 
                    (covered ?floor.n.01_1 ?stain.n.01_1)
                )
            )
        )
    )
)

Debugging: All Possible Recipes Resulting in Future Synsets

graph TD;