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	Matched	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	Matched	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 bedroom.Cannot find suitable bathroom: bathroom_0 is missing 1 shower.n.01.
Beechwood_0_int	Unmatched	Cannot find suitable bedroom.Cannot find suitable bathroom: bathroom_0 is missing 1 shower.n.01.
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 bedroom.Cannot find suitable bathroom: bathroom_0 is missing 1 shower.n.01.
Benevolence_1_int	Unmatched	Cannot find suitable bedroom.Cannot find suitable bathroom.
Benevolence_2_int	Unmatched	Cannot find suitable bathroom: bathroom_1 is missing 1 shower.n.01; bathroom_0 is missing 1 shower.n.01.
Ihlen_0_int	Unmatched	Cannot find suitable bedroom.Cannot find suitable bathroom: bathroom_0 is missing 1 shower.n.01.
Ihlen_1_int	Unmatched	Cannot find suitable bathroom: bathroom_0 is missing 1 shower.n.01.
Merom_0_garden	Unmatched	Cannot find suitable bedroom.Cannot find suitable bathroom: bathroom_0 is missing 1 shower.n.01.
Merom_0_int	Unmatched	Cannot find suitable bedroom.Cannot find suitable bathroom: bathroom_0 is missing 1 shower.n.01.
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 bedroom.Cannot find suitable bathroom: bathroom_0 is missing 1 shower.n.01.
Pomaria_2_int	Unmatched	Cannot find suitable bathroom: bathroom_0 is missing 1 shower.n.01, 1 toilet.n.02; bathroom_1 is missing 1 shower.n.01, 1 sink.n.01.
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_1 is missing 1 shower.n.01; bathroom_0 is missing 1 shower.n.01.
Wainscott_0_int	Unmatched	Cannot find suitable bathroom: bathroom_1 is missing 1 shower.n.01; bathroom_0 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 bedroom.Cannot find suitable bathroom: bathroom_0 is missing 1 shower.n.01.
grocery_store_cafe	Unmatched	Cannot find suitable bedroom.Cannot find suitable bathroom: bathroom_0 is missing 1 shower.n.01.
grocery_store_convenience	Unmatched	Cannot find suitable bedroom.Cannot find suitable bathroom: bathroom_0 is missing 1 shower.n.01.
grocery_store_half_stocked	Unmatched	Cannot find suitable bedroom.Cannot find suitable bathroom: bathroom_0 is missing 1 shower.n.01.
hall_arch_wood	Unmatched	Cannot find suitable bedroom.Cannot find suitable bathroom: bathroom_0 is missing 1 shower.n.01.
hall_conference_large	Unmatched	Cannot find suitable bedroom.Cannot find suitable bathroom: bathroom_0 is missing 1 shower.n.01.
hall_glass_ceiling	Unmatched	Cannot find suitable bedroom.Cannot find suitable bathroom: bathroom_0 is missing 1 shower.n.01.
hall_train_station	Unmatched	Cannot find suitable bedroom.Cannot find suitable bathroom: bathroom_0 is missing 1 shower.n.01.
hotel_gym_spa	Unmatched	Cannot find suitable bedroom.Cannot find suitable bathroom: bathroom_0 is missing 1 shower.n.01; bathroom_1 is missing 1 shower.n.01, 1 toilet.n.02, 1 sink.n.01.
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 bedroom.Cannot find suitable bathroom: bathroom_0 is missing 1 shower.n.01.
house_double_floor_upper	Matched
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 bedroom.Cannot find suitable bathroom.
office_cubicles_left	Unmatched	Cannot find suitable bedroom.Cannot find suitable bathroom: bathroom_0 is missing 1 shower.n.01.
office_cubicles_right	Unmatched	Cannot find suitable bedroom.Cannot find suitable bathroom: bathroom_0 is missing 1 shower.n.01.
office_large	Unmatched	Cannot find suitable bedroom.Cannot find suitable bathroom: bathroom_0 is missing 1 shower.n.01.
office_vendor_machine	Unmatched	Cannot find suitable bedroom.Cannot find suitable bathroom: bathroom_0 is missing 1 shower.n.01.
restaurant_asian	Unmatched	Cannot find suitable bedroom.Cannot find suitable bathroom: bathroom_0 is missing 1 shower.n.01.
restaurant_brunch	Unmatched	Cannot find suitable bedroom.Cannot find suitable bathroom: bathroom_0 is missing 1 shower.n.01.
restaurant_cafeteria	Unmatched	Cannot find suitable bedroom.Cannot find suitable bathroom: bathroom_0 is missing 1 shower.n.01.
restaurant_diner	Unmatched	Cannot find suitable bedroom.Cannot find suitable bathroom: bathroom_0 is missing 1 shower.n.01.
restaurant_hotel	Unmatched	Cannot find suitable bedroom.Cannot find suitable bathroom: bathroom_0 is missing 1 shower.n.01.
restaurant_urban	Unmatched	Cannot find suitable bedroom.Cannot find suitable bathroom: bathroom_0 is missing 1 shower.n.01.
school_biology	Unmatched	Cannot find suitable bedroom.Cannot find suitable bathroom: bathroom_0 is missing 1 shower.n.01.
school_chemistry	Unmatched	Cannot find suitable bedroom.Cannot find suitable bathroom: bathroom_0 is missing 1 shower.n.01.
school_computer_lab_and_infirmary	Unmatched	Cannot find suitable bedroom.Cannot find suitable bathroom: bathroom_0 is missing 1 shower.n.01.
school_geography	Unmatched	Cannot find suitable bedroom.Cannot find suitable bathroom: bathroom_0 is missing 1 shower.n.01.
school_gym	Unmatched	Cannot find suitable bedroom.Cannot find suitable bathroom: bathroom_0 is missing 1 shower.n.01.

Full Definition

(define (problem washing_floor-0)
    (:domain behavior-1k)

    (: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;