cleaning_skis-0

Required Synsets

Name	State	Definition
bathtub.n.01	Matched	a relatively large open container that you fill with water and use to wash the body
floor.n.01	Matched	the inside lower horizontal surface (as of a room, hallway, tent, or other structure)
rag.n.01	Matched	a small piece of cloth or paper
rubbing_alcohol.n.01	Substance	lotion consisting of a poisonous solution of isopropyl alcohol or denatured ethanol alcohol for external use
rubbing_alcohol__atomizer.n.01	Matched
scraper.n.01	Matched	any of various hand tools for scraping
sink.n.01	Matched	plumbing fixture consisting of a water basin fixed to a wall or floor and having a drainpipe
ski.n.01	Matched	narrow wood or metal or plastic runners used in pairs for gliding over snow
snow.n.01	Substance	precipitation falling from clouds in the form of ice crystals
stain.n.01	Substance	a soiled or discolored appearance
water.n.06	Substance	a liquid necessary for the life of most animals and plants

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 bathtub.n.01.Cannot find suitable utility_room: utility_room_0 is missing 1 sink.n.01.
Beechwood_0_int	Unmatched	Cannot find suitable bathroom: bathroom_0 is missing 1 bathtub.n.01.Cannot find suitable utility_room: utility_room_0 is missing 1 sink.n.01.
Beechwood_1_int	Unmatched	Cannot find suitable bathroom: bathroom_1 is missing 1 bathtub.n.01; bathroom_0 is missing 1 bathtub.n.01.Cannot find suitable utility_room.
Benevolence_0_int	Unmatched	Cannot find suitable bathroom: bathroom_0 is missing 1 bathtub.n.01.Cannot find suitable utility_room.
Benevolence_1_int	Unmatched	Cannot find suitable bathroom.Cannot find suitable utility_room.
Benevolence_2_int	Unmatched	Cannot find suitable bathroom: bathroom_0 is missing 1 bathtub.n.01; bathroom_1 is missing 1 bathtub.n.01.Cannot find suitable utility_room.
Ihlen_0_int	Unmatched	Cannot find suitable bathroom: bathroom_0 is missing 1 bathtub.n.01.Cannot find suitable utility_room.
Ihlen_1_int	Unmatched	Cannot find suitable bathroom: bathroom_0 is missing 1 bathtub.n.01.Cannot find suitable utility_room.
Merom_0_garden	Unmatched	Cannot find suitable bathroom: bathroom_0 is missing 1 bathtub.n.01.Cannot find suitable utility_room: utility_room_0 is missing 1 sink.n.01.
Merom_0_int	Unmatched	Cannot find suitable bathroom: bathroom_0 is missing 1 bathtub.n.01.Cannot find suitable utility_room: utility_room_0 is missing 1 sink.n.01.
Merom_1_int	Unmatched	Cannot find suitable bathroom: bathroom_0 is missing 1 bathtub.n.01.Cannot find suitable utility_room.
Pomaria_0_garden	Unmatched	Cannot find suitable bathroom: bathroom_0 is missing 1 bathtub.n.01.Cannot find suitable utility_room.
Pomaria_0_int	Unmatched	Cannot find suitable bathroom: bathroom_0 is missing 1 bathtub.n.01.Cannot find suitable utility_room.
Pomaria_1_int	Unmatched	Cannot find suitable bathroom: bathroom_0 is missing 1 bathtub.n.01.Cannot find suitable utility_room: utility_room_0 is missing 1 sink.n.01.
Pomaria_2_int	Unmatched	Cannot find suitable bathroom: bathroom_1 is missing 1 bathtub.n.01; bathroom_0 is missing 1 bathtub.n.01.Cannot find suitable utility_room.
Rs_garden	Unmatched	Cannot find suitable bathroom: bathroom_0 is missing 1 bathtub.n.01.Cannot find suitable utility_room.
Rs_int	Unmatched	Cannot find suitable bathroom: bathroom_0 is missing 1 bathtub.n.01.Cannot find suitable utility_room.
Wainscott_0_garden	Unmatched	Cannot find suitable bathroom: bathroom_0 is missing 1 bathtub.n.01; bathroom_1 is missing 1 bathtub.n.01.Cannot find suitable utility_room.
Wainscott_0_int	Unmatched	Cannot find suitable bathroom: bathroom_0 is missing 1 bathtub.n.01; bathroom_1 is missing 1 bathtub.n.01.Cannot find suitable utility_room.
Wainscott_1_int	Unmatched	Cannot find suitable bathroom: bathroom_1 is missing 1 bathtub.n.01; bathroom_0 is missing 1 bathtub.n.01.Cannot find suitable utility_room: utility_room_0 is missing 1 sink.n.01.
gates_bedroom	Unmatched	Cannot find suitable bathroom.Cannot find suitable utility_room.
grocery_store_asian	Unmatched	Cannot find suitable bathroom: bathroom_0 is missing 1 bathtub.n.01.Cannot find suitable utility_room.
grocery_store_cafe	Unmatched	Cannot find suitable bathroom: bathroom_0 is missing 1 bathtub.n.01.Cannot find suitable utility_room.
grocery_store_convenience	Unmatched	Cannot find suitable bathroom: bathroom_0 is missing 1 bathtub.n.01.Cannot find suitable utility_room.
grocery_store_half_stocked	Unmatched	Cannot find suitable bathroom: bathroom_0 is missing 1 bathtub.n.01.Cannot find suitable utility_room.
hall_arch_wood	Unmatched	Cannot find suitable bathroom: bathroom_0 is missing 1 bathtub.n.01.Cannot find suitable utility_room.
hall_conference_large	Unmatched	Cannot find suitable bathroom: bathroom_0 is missing 1 bathtub.n.01.Cannot find suitable utility_room.
hall_glass_ceiling	Unmatched	Cannot find suitable bathroom: bathroom_0 is missing 1 bathtub.n.01.Cannot find suitable utility_room.
hall_train_station	Unmatched	Cannot find suitable bathroom: bathroom_0 is missing 1 bathtub.n.01.Cannot find suitable utility_room.
hotel_gym_spa	Unmatched	Cannot find suitable bathroom: bathroom_1 is missing 1 bathtub.n.01; bathroom_0 is missing 1 bathtub.n.01.Cannot find suitable utility_room.
hotel_suite_large	Unmatched	Cannot find suitable bathroom: bathroom_0 is missing 1 bathtub.n.01.Cannot find suitable utility_room.
hotel_suite_small	Unmatched	Cannot find suitable bathroom: bathroom_0 is missing 1 bathtub.n.01.Cannot find suitable utility_room.
house_double_floor_lower	Unmatched	Cannot find suitable bathroom: bathroom_0 is missing 1 bathtub.n.01.Cannot find suitable utility_room.
house_double_floor_upper	Unmatched	Cannot find suitable utility_room.
house_single_floor	Ready
office_bike	Unmatched	Cannot find suitable bathroom.Cannot find suitable utility_room.
office_cubicles_left	Unmatched	Cannot find suitable bathroom: bathroom_0 is missing 1 bathtub.n.01.Cannot find suitable utility_room.
office_cubicles_right	Unmatched	Cannot find suitable bathroom: bathroom_0 is missing 1 bathtub.n.01.Cannot find suitable utility_room.
office_large	Unmatched	Cannot find suitable bathroom: bathroom_0 is missing 1 bathtub.n.01.Cannot find suitable utility_room.
office_vendor_machine	Unmatched	Cannot find suitable bathroom: bathroom_0 is missing 1 bathtub.n.01.Cannot find suitable utility_room.
restaurant_asian	Unmatched	Cannot find suitable bathroom: bathroom_0 is missing 1 bathtub.n.01.Cannot find suitable utility_room.
restaurant_brunch	Unmatched	Cannot find suitable bathroom: bathroom_0 is missing 1 bathtub.n.01.Cannot find suitable utility_room.
restaurant_cafeteria	Unmatched	Cannot find suitable bathroom: bathroom_0 is missing 1 bathtub.n.01.Cannot find suitable utility_room.
restaurant_diner	Unmatched	Cannot find suitable bathroom: bathroom_0 is missing 1 bathtub.n.01.Cannot find suitable utility_room.
restaurant_hotel	Unmatched	Cannot find suitable bathroom: bathroom_0 is missing 1 bathtub.n.01.Cannot find suitable utility_room.
restaurant_urban	Unmatched	Cannot find suitable bathroom: bathroom_0 is missing 1 bathtub.n.01.Cannot find suitable utility_room.
school_biology	Unmatched	Cannot find suitable bathroom: bathroom_0 is missing 1 bathtub.n.01.Cannot find suitable utility_room.
school_chemistry	Unmatched	Cannot find suitable bathroom: bathroom_0 is missing 1 bathtub.n.01.Cannot find suitable utility_room.
school_computer_lab_and_infirmary	Unmatched	Cannot find suitable bathroom: bathroom_0 is missing 1 bathtub.n.01.Cannot find suitable utility_room.
school_geography	Unmatched	Cannot find suitable bathroom: bathroom_0 is missing 1 bathtub.n.01.Cannot find suitable utility_room.
school_gym	Unmatched	Cannot find suitable bathroom: bathroom_0 is missing 1 bathtub.n.01.Cannot find suitable utility_room.

Full Definition

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

    (:objects
     	ski.n.01_1 ski.n.01_2 - ski.n.01
        stain.n.01_1 - stain.n.01
        rubbing_alcohol.n.01_1 - rubbing_alcohol.n.01
        rubbing_alcohol__atomizer.n.01_1 - rubbing_alcohol__atomizer.n.01
    	bathtub.n.01_1 - bathtub.n.01
    	snow.n.01_1 - snow.n.01
    	scraper.n.01_1 - scraper.n.01
        rag.n.01_1 - rag.n.01
        water.n.06_1 - water.n.06
        sink.n.01_1 - sink.n.01
    	floor.n.01_1 - floor.n.01
    	agent.n.01_1 - agent.n.01
    )
    
    (:init 
        (ontop ski.n.01_1 floor.n.01_1) 
        (ontop ski.n.01_2 floor.n.01_1) 
        (covered ski.n.01_1 snow.n.01_1) 
        (covered ski.n.01_2 snow.n.01_1) 
        (covered ski.n.01_1 stain.n.01_1) 
        (covered ski.n.01_2 stain.n.01_1) 
        (insource rubbing_alcohol__atomizer.n.01_1 rubbing_alcohol.n.01_1)
        (ontop rubbing_alcohol__atomizer.n.01_1 floor.n.01_1)
        (ontop rag.n.01_1 floor.n.01_1)
        (ontop scraper.n.01_1 floor.n.01_1) 
        (insource sink.n.01_1 water.n.06_1)
        (inroom bathtub.n.01_1 bathroom) 
        (inroom floor.n.01_1 utility_room) 
        (inroom sink.n.01_1 utility_room)
        (ontop agent.n.01_1 floor.n.01_1)
    )
    
    (:goal 
        (and 
            (forall 
                (?ski.n.01 - ski.n.01) 
                (and 
                    (not 
                        (covered ?ski.n.01 ?stain.n.01_1)
                    )
                    (not 
                        (covered ?ski.n.01 ?snow.n.01_1)
                    )
                )
            ) 
        )
    )
)

Debugging: All Possible Recipes Resulting in Future Synsets

graph TD;