tidying_bathroom-0

Synsets

Transition Paths By Task Scope Objects

Scenes

• Matched:
  • Scene(name='Beechwood_0_garden')
  • Scene(name='Beechwood_0_int')
  • Scene(name='Beechwood_1_int')
  • Scene(name='Benevolence_0_int')
  • Scene(name='Benevolence_2_int')
  • Scene(name='Ihlen_0_int')
  • Scene(name='Ihlen_1_int')
  • Scene(name='Merom_0_garden')
  • Scene(name='Merom_0_int')
  • Scene(name='Merom_1_int')
  • Scene(name='Pomaria_0_garden')
  • Scene(name='Pomaria_0_int')
  • Scene(name='Pomaria_1_int')
  • Scene(name='Pomaria_2_int')
  • Scene(name='Rs_garden')
  • Scene(name='Rs_int')
  • Scene(name='Wainscott_0_garden')
  • Scene(name='Wainscott_0_int')
  • Scene(name='Wainscott_1_int')
  • Scene(name='grocery_store_asian')
  • Scene(name='grocery_store_cafe')
  • Scene(name='grocery_store_convenience')
  • Scene(name='grocery_store_half_stocked')
  • Scene(name='hall_arch_wood')
  • Scene(name='hall_conference_large')
  • Scene(name='hall_glass_ceiling')
  • Scene(name='hall_train_station')
  • Scene(name='hotel_gym_spa')
  • Scene(name='hotel_suite_large')
  • Scene(name='hotel_suite_small')
  • Scene(name='house_double_floor_lower')
  • Scene(name='house_double_floor_upper')
  • Scene(name='house_single_floor')
  • Scene(name='office_cubicles_left')
  • Scene(name='office_cubicles_right')
  • Scene(name='office_large')
  • Scene(name='office_vendor_machine')
  • Scene(name='restaurant_asian')
  • Scene(name='restaurant_brunch')
  • Scene(name='restaurant_cafeteria')
  • Scene(name='restaurant_diner')
  • Scene(name='restaurant_hotel')
  • Scene(name='restaurant_urban')
  • Scene(name='school_biology')
  • Scene(name='school_chemistry')
  • Scene(name='school_computer_lab_and_infirmary')
  • Scene(name='school_geography')
  • Scene(name='school_gym')
• Planned:
• Unmatched:
  • Scene(name='Benevolence_1_int'): Cannot find suitable bathroom.
  • Scene(name='gates_bedroom'): Cannot find suitable bathroom.
  • Scene(name='office_bike'): Cannot find suitable bathroom.

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