clean_mirrors-0

---

Required Synsets

Name	State	Definition
baby_oil.n.01	Substance	an ointment for babies
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)
liquid_soap.n.01	Substance	soap in liquid form
liquid_soap__bottle.n.01	Matched
mirror.n.01	Matched	polished surface that forms images by reflecting light
paper_towel.n.01	Matched	a disposable towel made of absorbent paper
sink.n.01	Matched	plumbing fixture consisting of a water basin fixed to a wall or floor and having a drainpipe
toothpaste.n.01	Substance	a dentifrice in the form of a paste
vinegar.n.01	Substance	sour-tasting liquid produced usually by oxidation of the alcohol in wine or cider and used as a condiment or food preservative
vinegar__atomizer.n.01	Matched
water.n.06	Substance	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	Ready
Beechwood_0_int	Ready
Beechwood_1_int	Ready
Benevolence_0_int	Unmatched	Cannot find suitable bathroom: bathroom_0 is missing 1 mirror.n.01.
Benevolence_1_int	Unmatched	Cannot find suitable bathroom.
Benevolence_2_int	Ready
Ihlen_0_int	Ready
Ihlen_1_int	Ready
Merom_0_garden	Ready
Merom_0_int	Ready
Merom_1_int	Ready
Pomaria_0_garden	Unmatched	Cannot find suitable bathroom: bathroom_0 is missing 1 mirror.n.01.
Pomaria_0_int	Unmatched	Cannot find suitable bathroom: bathroom_0 is missing 1 mirror.n.01.
Pomaria_1_int	Ready
Pomaria_2_int	Ready
Rs_garden	Ready
Rs_int	Ready
Wainscott_0_garden	Ready
Wainscott_0_int	Ready
Wainscott_1_int	Ready
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	Ready
hotel_suite_large	Ready
hotel_suite_small	Ready
house_double_floor_lower	Ready
house_double_floor_upper	Ready
house_single_floor	Ready
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 clean_mirrors-0)
    (:domain omnigibson)

    (:objects
        vinegar.n.01_1 - vinegar.n.01
        vinegar__atomizer.n.01_1 - vinegar__atomizer.n.01
        liquid_soap.n.01_1 - liquid_soap.n.01
        liquid_soap__bottle.n.01_1 - liquid_soap__bottle.n.01
        sink.n.01_1 - sink.n.01
        paper_towel.n.01_1 - paper_towel.n.01
        dust.n.01_1 - dust.n.01
        baby_oil.n.01_1 - baby_oil.n.01
        toothpaste.n.01_1 - toothpaste.n.01
        mirror.n.01_1 - mirror.n.01
        water.n.06_1 - water.n.06
        floor.n.01_1 - floor.n.01
        agent.n.01_1 - agent.n.01
    )

    (:init
        (insource vinegar__atomizer.n.01_1 vinegar.n.01_1)
        (filled liquid_soap__bottle.n.01_1 liquid_soap.n.01_1)
        (ontop vinegar__atomizer.n.01_1 floor.n.01_1)
        (ontop liquid_soap__bottle.n.01_1 floor.n.01_1)
        (ontop paper_towel.n.01_1 floor.n.01_1)
        (covered mirror.n.01_1 dust.n.01_1)
        (covered mirror.n.01_1 baby_oil.n.01_1)
        (covered mirror.n.01_1 toothpaste.n.01_1)
        (insource sink.n.01_1 water.n.06_1)
        (ontop agent.n.01_1 floor.n.01_1)
        (inroom sink.n.01_1 bathroom)
        (inroom mirror.n.01_1 bathroom)
        (inroom floor.n.01_1 bathroom)
    )

    (:goal
        (and
            (not
                (covered ?mirror.n.01_1 ?dust.n.01_1)
            )
            (not
                (covered ?mirror.n.01_1 ?baby_oil.n.01_1)
            )
            (not
                (covered ?mirror.n.01_1 ?toothpaste.n.01_1)
            )
        )
    )
)
  

Debugging: All Possible Recipes Resulting in Future Synsets