brushing_lint_off_clothing-0

---

Required Synsets

Name	State	Definition
bed.n.01	Matched	a piece of furniture that provides a place to sleep
dust.n.01	Substance	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)
scrub_brush.n.01	Matched	a brush with short stiff bristles for heavy cleaning
sweater.n.01	Matched	a crocheted or knitted garment covering the upper part of the body

Transition Paths By Task Scope Objects

Scene Matching Status

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

Full Definition

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

    (:objects
        dust.n.01_1 - dust.n.01
     	sweater.n.01_1 sweater.n.01_2 sweater.n.01_3 sweater.n.01_4 - sweater.n.01
    	floor.n.01_1 - floor.n.01
    	bed.n.01_1 - bed.n.01
    	scrub_brush.n.01_1 - scrub_brush.n.01
    	agent.n.01_1 - agent.n.01
    )
    
    (:init 
        (ontop sweater.n.01_1 floor.n.01_1) 
        (ontop sweater.n.01_2 floor.n.01_1) 
        (ontop sweater.n.01_3 bed.n.01_1) 
        (ontop sweater.n.01_4 bed.n.01_1) 
        (covered sweater.n.01_1 dust.n.01_1) 
        (covered sweater.n.01_2 dust.n.01_1) 
        (covered sweater.n.01_3 dust.n.01_1) 
        (covered sweater.n.01_4 dust.n.01_1) 
        (ontop scrub_brush.n.01_1 floor.n.01_1) 
        (not 
            (covered scrub_brush.n.01_1 dust.n.01_1)
        ) 
        (inroom floor.n.01_1 bedroom) 
        (inroom bed.n.01_1 bedroom) 
        (ontop agent.n.01_1 floor.n.01_1)
    )
    
    (:goal 
        (and 
            (forall 
                (?sweater.n.01 - sweater.n.01) 
                (not 
                    (covered ?sweater.n.01 ?dust.n.01_1)
                )
            ) 
            (forall 
                (?sweater.n.01 - sweater.n.01) 
                (ontop ?sweater.n.01 ?bed.n.01_1)
            )
        )
    )
)

  

Debugging: All Possible Recipes Resulting in Future Synsets