clean_a_hat-0

---

Required Synsets

Name	State	Definition
dust.n.01	Matched	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)
hat.n.01	Matched	headdress that protects the head from bad weather; has shaped crown and usually a brim
rag.n.01	Planned	a small piece of cloth or paper
sink.n.01	Matched	plumbing fixture consisting of a water basin fixed to a wall or floor and having a drainpipe
water.n.06	Matched	a liquid necessary for the life of most animals and plants

Transition Paths By Task Scope Objects

Scene Matching Status

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

Full Definition

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

    (:objects
        dust.n.01_1 - dust.n.01
        hat.n.01_1 - hat.n.01
        water.n.06_1 - water.n.06
        rag.n.01_1 - rag.n.01
        sink.n.01_1 - sink.n.01
        floor.n.01_1 - floor.n.01
        agent.n.01_1 - agent.n.01
    )
    
    (:init 
        (covered hat.n.01_1 dust.n.01_1) 
        (ontop hat.n.01_1 floor.n.01_1) 
        (ontop rag.n.01_1 floor.n.01_1) 
        (insource sink.n.01_1 water.n.06_1) 
        (inroom sink.n.01_1 bathroom) 
        (inroom floor.n.01_1 bathroom) 
        (ontop agent.n.01_1 floor.n.01_1)
    )
    
    (:goal 
        (and 
            (not 
                (covered ?hat.n.01_1 ?dust.n.01_1)
            ) 
        )
    )
)
  

Debugging: All Possible Recipes Resulting in Future Synsets