clean_mirrors-0

---

Required Synsets

Name	State	Definition
baby_oil.n.01	Matched	an ointment for babies
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)
liquid_soap.n.01	Matched	soap in liquid form
liquid_soap__bottle.n.01	Matched
mirror.n.01	Planned	polished surface that forms images by reflecting light
paper_towel.n.01	Planned	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	Matched	a dentifrice in the form of a paste
vinegar.n.01	Matched	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	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	Unmatched	Cannot find suitable bathroom: bathroom_0 is missing 1 mirror.n.01.
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	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	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_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