tidying_bathroom-0


Required Synsets

Name State Definition
bottle__of__shampoo.n.01 Matched
deodorant__atomizer.n.01 Matched
floor.n.01 Matched the inside lower horizontal surface (as of a room, hallway, tent, or other structure)
hamper.n.02 Matched a basket usually with a cover
hand_towel.n.01 Matched a small towel used to dry the hands or face
legging.n.01 Matched a garment covering the leg (usually extending from the knee to the ankle)
lingerie.n.01 Unmatched women's underwear and nightclothes
packing_box.n.02 Matched a large crate in which goods are packed for shipment or storage
short_pants.n.01 Matched trousers that end at or above the knee
tank_top.n.01 Matched a tight-fitting sleeveless shirt with wide shoulder straps and low neck and no front opening; often worn over a shirt or blouse
toilet.n.02 Matched a plumbing fixture for defecation and urination
toilet_tissue.n.01 Matched a soft thin absorbent paper for use in toilets
toothbrush.n.01 Matched small brush; has long handle; used to clean teeth
wicker_basket.n.01 Matched a basket made of wickerwork

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

Full Definition

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

    (:objects
        hand_towel.n.01_1 hand_towel.n.01_2 - hand_towel.n.01
        wicker_basket.n.01_1 - wicker_basket.n.01
        packing_box.n.02_1 - packing_box.n.02
        toilet_tissue.n.01_1 toilet_tissue.n.01_2 - toilet_tissue.n.01
        floor.n.01_1 - floor.n.01
        toilet.n.02_1 - toilet.n.02
        deodorant__atomizer.n.01_1 - deodorant__atomizer.n.01
        toothbrush.n.01_1 - toothbrush.n.01
        bottle__of__shampoo.n.01_1 - bottle__of__shampoo.n.01
        hamper.n.02_1 - hamper.n.02
        lingerie.n.01_1 - lingerie.n.01
        short_pants.n.01_1 - short_pants.n.01
        tank_top.n.01_1 tank_top.n.01_2 - tank_top.n.01
        legging.n.01_1 - legging.n.01
        agent.n.01_1 - agent.n.01
    )
    
    (:init 
        (inside hand_towel.n.01_1 wicker_basket.n.01_1) 
        (inside hand_towel.n.01_2 wicker_basket.n.01_1) 
        (unfolded hand_towel.n.01_1)
        (unfolded hand_towel.n.01_2)
        (inside toilet_tissue.n.01_1 wicker_basket.n.01_1) 
        (inside toilet_tissue.n.01_2 wicker_basket.n.01_1) 
        (ontop wicker_basket.n.01_1 floor.n.01_1) 
        (ontop packing_box.n.02_1 toilet.n.02_1)
        (ontop deodorant__atomizer.n.01_1 floor.n.01_1)
        (ontop toothbrush.n.01_1 toilet.n.02_1)
        (inside bottle__of__shampoo.n.01_1 wicker_basket.n.01_1) 
        (ontop hamper.n.02_1 floor.n.01_1) 
        (ontop lingerie.n.01_1 floor.n.01_1) 
        (ontop short_pants.n.01_1 toilet.n.02_1)
        (inside tank_top.n.01_1 hamper.n.02_1) 
        (ontop tank_top.n.01_2 floor.n.01_1) 
        (ontop legging.n.01_1 floor.n.01_1) 
        (inroom toilet.n.02_1 bathroom) 
        (inroom floor.n.01_1 bathroom) 
        (ontop agent.n.01_1 floor.n.01_1)
    )
    
    (:goal 
        (and 
            (forall 
                (?toilet_tissue.n.01 - toilet_tissue.n.01) 
                (ontop ?toilet_tissue.n.01 ?toilet.n.02_1)
            ) 
            (ontop ?wicker_basket.n.01_1 ?floor.n.01_1) 
            (forall 
                (?hand_towel.n.01 - hand_towel.n.01) 
                (and 
                    (folded ?hand_towel.n.01)
                    (inside ?hand_towel.n.01 ?wicker_basket.n.01_1)
                )
            ) 
            (forall 
                (?tank_top.n.01 - tank_top.n.01) 
                (inside ?tank_top.n.01 ?hamper.n.02_1)
            ) 
            (inside ?deodorant__atomizer.n.01_1 ?packing_box.n.02_1)
            (inside ?toothbrush.n.01_1 ?packing_box.n.02_1) 
            (inside ?bottle__of__shampoo.n.01_1 ?packing_box.n.02_1) 
            (inside ?lingerie.n.01_1 ?hamper.n.02_1) 
            (inside ?short_pants.n.01_1 ?hamper.n.02_1) 
            (inside ?legging.n.01_1 ?hamper.n.02_1) 
            (nextto ?hamper.n.02_1 ?wicker_basket.n.01_1)
            (nextto ?packing_box.n.02_1 ?wicker_basket.n.01_1)
        )
    )
)
  

Debugging: All Possible Recipes Resulting in Future Synsets

graph TD;