wash_a_leotard-0


Required Synsets

Name State Definition
bed.n.01 Matched a piece of furniture that provides a place to sleep
detergent.n.02 Substance a cleansing agent that differs from soap but can also emulsify oils and hold dirt in suspension
detergent__bottle.n.01 Matched
floor.n.01 Matched the inside lower horizontal surface (as of a room, hallway, tent, or other structure)
hanger.n.02 Matched anything from which something can be hung
leotard.n.01 Matched a tight-fitting garment of stretchy material that covers the body from the shoulders to the thighs (and may have long sleeves or legs reaching down to the ankles); worn by ballet dancers and acrobats for practice or performance
scrub_brush.n.01 Matched a brush with short stiff bristles for heavy cleaning
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
tights.n.01 Matched skintight knit hose covering the body from the waist to the feet worn by acrobats and dancers and as stockings by women and girls
wardrobe.n.01 Matched a tall piece of furniture that provides storage space for clothes; has a door and rails or hooks for hanging clothes
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 closet.Cannot find suitable bedroom.Cannot find suitable bathroom: bathroom_0 is missing 1 sink.n.01.
Beechwood_0_int Unmatched Cannot find suitable closet.Cannot find suitable bedroom.Cannot find suitable bathroom: bathroom_0 is missing 1 sink.n.01.
Beechwood_1_int Unmatched Cannot find suitable closet: closet_0 is missing 1 wardrobe.n.01; closet_1 is missing 1 wardrobe.n.01; closet_2 is missing 1 wardrobe.n.01.Cannot find suitable bedroom: bedroom_0 is missing 1 bed.n.01.Cannot find suitable bathroom: bathroom_1 is missing 1 sink.n.01; bathroom_0 is missing 1 sink.n.01.
Benevolence_0_int Unmatched Cannot find suitable closet.Cannot find suitable bedroom.Cannot find suitable bathroom: bathroom_0 is missing 1 sink.n.01.
Benevolence_1_int Unmatched Cannot find suitable closet.Cannot find suitable bedroom.Cannot find suitable bathroom.
Benevolence_2_int Unmatched Cannot find suitable closet: closet_0 is missing 1 wardrobe.n.01; closet_1 is missing 1 wardrobe.n.01.Cannot find suitable bedroom: bedroom_0 is missing 1 bed.n.01; bedroom_1 is missing 1 bed.n.01.Cannot find suitable bathroom: bathroom_0 is missing 1 sink.n.01; bathroom_1 is missing 1 sink.n.01.
Ihlen_0_int Unmatched Cannot find suitable closet.Cannot find suitable bedroom.Cannot find suitable bathroom: bathroom_0 is missing 1 sink.n.01.
Ihlen_1_int Unmatched Cannot find suitable closet.Cannot find suitable bedroom: bedroom_1 is missing 1 bed.n.01; bedroom_2 is missing 1 bed.n.01; bedroom_0 is missing 1 bed.n.01.Cannot find suitable bathroom: bathroom_0 is missing 1 sink.n.01.
Merom_0_garden Unmatched Cannot find suitable closet: closet_0 is missing 1 wardrobe.n.01.Cannot find suitable bedroom.Cannot find suitable bathroom: bathroom_0 is missing 1 sink.n.01.
Merom_0_int Unmatched Cannot find suitable closet: closet_0 is missing 1 wardrobe.n.01.Cannot find suitable bedroom.Cannot find suitable bathroom: bathroom_0 is missing 1 sink.n.01.
Merom_1_int Unmatched Cannot find suitable closet: closet_1 is missing 1 wardrobe.n.01; closet_0 is missing 1 wardrobe.n.01.Cannot find suitable bedroom: bedroom_0 is missing 1 bed.n.01.Cannot find suitable bathroom: bathroom_0 is missing 1 sink.n.01.
Pomaria_0_garden Unmatched Cannot find suitable closet: closet_0 is missing 1 wardrobe.n.01; closet_1 is missing 1 wardrobe.n.01.Cannot find suitable bedroom: bedroom_0 is missing 1 bed.n.01; bedroom_1 is missing 1 bed.n.01.Cannot find suitable bathroom: bathroom_0 is missing 1 sink.n.01.
Pomaria_0_int Unmatched Cannot find suitable closet: closet_0 is missing 1 wardrobe.n.01; closet_1 is missing 1 wardrobe.n.01.Cannot find suitable bedroom: bedroom_0 is missing 1 bed.n.01; bedroom_1 is missing 1 bed.n.01.Cannot find suitable bathroom: bathroom_0 is missing 1 sink.n.01.
Pomaria_1_int Unmatched Cannot find suitable closet.Cannot find suitable bedroom.Cannot find suitable bathroom: bathroom_0 is missing 1 sink.n.01.
Pomaria_2_int Unmatched Cannot find suitable closet: closet_0 is missing 1 wardrobe.n.01; closet_1 is missing 1 wardrobe.n.01.Cannot find suitable bedroom: bedroom_0 is missing 1 bed.n.01.Cannot find suitable bathroom: bathroom_1 is missing 1 sink.n.01; bathroom_0 is missing 1 sink.n.01.
Rs_garden Unmatched Cannot find suitable closet.Cannot find suitable bedroom: bedroom_0 is missing 1 bed.n.01.Cannot find suitable bathroom: bathroom_0 is missing 1 sink.n.01.
Rs_int Unmatched Cannot find suitable closet.Cannot find suitable bedroom: bedroom_0 is missing 1 bed.n.01.Cannot find suitable bathroom: bathroom_0 is missing 1 sink.n.01.
Wainscott_0_garden Unmatched Cannot find suitable closet.Cannot find suitable bedroom: bedroom_0 is missing 1 bed.n.01.Cannot find suitable bathroom: bathroom_0 is missing 1 sink.n.01; bathroom_1 is missing 1 sink.n.01.
Wainscott_0_int Unmatched Cannot find suitable closet.Cannot find suitable bedroom: bedroom_0 is missing 1 bed.n.01.Cannot find suitable bathroom: bathroom_0 is missing 1 sink.n.01; bathroom_1 is missing 1 sink.n.01.
Wainscott_1_int Unmatched Cannot find suitable closet: closet_1 is missing 1 wardrobe.n.01; closet_0 is missing 1 wardrobe.n.01.Cannot find suitable bedroom: bedroom_2 is missing 1 bed.n.01; bedroom_0 is missing 1 bed.n.01; bedroom_1 is missing 1 bed.n.01.Cannot find suitable bathroom: bathroom_1 is missing 1 sink.n.01; bathroom_0 is missing 1 sink.n.01.
gates_bedroom Unmatched Cannot find suitable closet.Cannot find suitable bathroom.
grocery_store_asian Unmatched Cannot find suitable closet.Cannot find suitable bedroom.
grocery_store_cafe Unmatched Cannot find suitable closet.Cannot find suitable bedroom.
grocery_store_convenience Unmatched Cannot find suitable closet.Cannot find suitable bedroom.
grocery_store_half_stocked Unmatched Cannot find suitable closet.Cannot find suitable bedroom.
hall_arch_wood Unmatched Cannot find suitable closet.Cannot find suitable bedroom.
hall_conference_large Unmatched Cannot find suitable closet.Cannot find suitable bedroom.
hall_glass_ceiling Unmatched Cannot find suitable closet.Cannot find suitable bedroom.
hall_train_station Unmatched Cannot find suitable closet.Cannot find suitable bedroom.
hotel_gym_spa Unmatched Cannot find suitable closet.Cannot find suitable bedroom.
hotel_suite_large Unmatched Cannot find suitable closet.
hotel_suite_small Unmatched Cannot find suitable closet.
house_double_floor_lower Unmatched Cannot find suitable closet.Cannot find suitable bedroom.
house_double_floor_upper Unmatched Cannot find suitable closet.
house_single_floor Ready
office_bike Unmatched Cannot find suitable closet.Cannot find suitable bedroom.Cannot find suitable bathroom.
office_cubicles_left Unmatched Cannot find suitable closet.Cannot find suitable bedroom.
office_cubicles_right Unmatched Cannot find suitable closet.Cannot find suitable bedroom.
office_large Unmatched Cannot find suitable closet.Cannot find suitable bedroom.
office_vendor_machine Unmatched Cannot find suitable closet.Cannot find suitable bedroom.
restaurant_asian Unmatched Cannot find suitable closet.Cannot find suitable bedroom.
restaurant_brunch Unmatched Cannot find suitable closet.Cannot find suitable bedroom.
restaurant_cafeteria Unmatched Cannot find suitable closet.Cannot find suitable bedroom.
restaurant_diner Unmatched Cannot find suitable closet.Cannot find suitable bedroom.
restaurant_hotel Unmatched Cannot find suitable closet.Cannot find suitable bedroom.
restaurant_urban Unmatched Cannot find suitable closet.Cannot find suitable bedroom.
school_biology Unmatched Cannot find suitable closet.Cannot find suitable bedroom.
school_chemistry Unmatched Cannot find suitable closet.Cannot find suitable bedroom.
school_computer_lab_and_infirmary Unmatched Cannot find suitable closet.Cannot find suitable bedroom.
school_geography Unmatched Cannot find suitable closet.Cannot find suitable bedroom.
school_gym Unmatched Cannot find suitable closet.Cannot find suitable bedroom.

Full Definition

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

    (:objects
        leotard.n.01_1 - leotard.n.01
        sink.n.01_1 - sink.n.01
        stain.n.01_1 - stain.n.01
        tights.n.01_1 - tights.n.01
        hanger.n.02_1 hanger.n.02_2 - hanger.n.02
        bed.n.01_1 - bed.n.01
        detergent.n.02_1 - detergent.n.02
        detergent__bottle.n.01_1 - detergent__bottle.n.01
        wardrobe.n.01_1 - wardrobe.n.01
        scrub_brush.n.01_1 - scrub_brush.n.01
        water.n.06_1 - water.n.06
        floor.n.01_1 floor.n.01_2 - floor.n.01
        agent.n.01_1 - agent.n.01
    )
    
    (:init 
        (ontop leotard.n.01_1 bed.n.01_1)
        (covered leotard.n.01_1 stain.n.01_1) 
        (ontop tights.n.01_1 bed.n.01_1)
        (covered tights.n.01_1 stain.n.01_1) 
        (attached hanger.n.02_1 wardrobe.n.01_1) 
        (attached hanger.n.02_2 wardrobe.n.01_1) 
        (filled detergent__bottle.n.01_1 detergent.n.02_1) 
        (ontop detergent__bottle.n.01_1 floor.n.01_2) 
        (insource sink.n.01_1 water.n.06_1) 
        (inroom wardrobe.n.01_1 closet)
        (ontop scrub_brush.n.01_1 floor.n.01_2)
        (inroom bed.n.01_1 bedroom)
        (inroom floor.n.01_1 bedroom) 
        (inroom floor.n.01_2 bathroom) 
        (inroom sink.n.01_1 bathroom) 
        (ontop agent.n.01_1 floor.n.01_1)
    )
    
    (:goal 
        (and 
            (not 
                (covered ?leotard.n.01_1 ?stain.n.01_1)
            ) 
            (not 
                (covered ?tights.n.01_1 ?stain.n.01_1)
            ) 
            (exists 
                (?hanger.n.02 - hanger.n.02)
                (and
                    (draped ?leotard.n.01_1 ?hanger.n.02)
                    (attached ?hanger.n.02 ?wardrobe.n.01_1)
                )
            )
            (exists 
                (?hanger.n.02 - hanger.n.02)
                (and
                    (draped ?tights.n.01_1 ?hanger.n.02)
                    (attached ?hanger.n.02 ?wardrobe.n.01_1)
                )
            )
        )
    )
)
  

Debugging: All Possible Recipes Resulting in Future Synsets

graph TD;