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

graph TD;

Scene Matching Status

Scene Status Reason
Beechwood_0_garden Unmatched Cannot find suitable bathroom: bathroom_0 is missing 1 sink.n.01, 1 mirror.n.01.
Beechwood_0_int Unmatched Cannot find suitable bathroom: bathroom_0 is missing 1 sink.n.01, 1 mirror.n.01.
Beechwood_1_int Unmatched Cannot find suitable bathroom: bathroom_1 is missing 1 sink.n.01, 1 mirror.n.01; bathroom_0 is missing 1 sink.n.01, 1 mirror.n.01.
Benevolence_0_int Unmatched Cannot find suitable bathroom: bathroom_0 is missing 1 sink.n.01, 1 mirror.n.01.
Benevolence_1_int Unmatched Cannot find suitable bathroom.
Benevolence_2_int Unmatched Cannot find suitable bathroom: bathroom_0 is missing 1 sink.n.01, 1 mirror.n.01; bathroom_1 is missing 1 sink.n.01, 1 mirror.n.01.
Ihlen_0_int Unmatched Cannot find suitable bathroom: bathroom_0 is missing 1 sink.n.01, 1 mirror.n.01.
Ihlen_1_int Unmatched Cannot find suitable bathroom: bathroom_0 is missing 1 sink.n.01, 1 mirror.n.01.
Merom_0_garden Unmatched Cannot find suitable bathroom: bathroom_0 is missing 1 sink.n.01, 1 mirror.n.01.
Merom_0_int Unmatched Cannot find suitable bathroom: bathroom_0 is missing 1 sink.n.01, 1 mirror.n.01.
Merom_1_int Unmatched Cannot find suitable bathroom: bathroom_0 is missing 1 sink.n.01, 1 mirror.n.01.
Pomaria_0_garden Unmatched Cannot find suitable bathroom: bathroom_0 is missing 1 sink.n.01, 1 mirror.n.01.
Pomaria_0_int Unmatched Cannot find suitable bathroom: bathroom_0 is missing 1 sink.n.01, 1 mirror.n.01.
Pomaria_1_int Unmatched Cannot find suitable bathroom: bathroom_0 is missing 1 sink.n.01, 1 mirror.n.01.
Pomaria_2_int Unmatched Cannot find suitable bathroom: bathroom_1 is missing 1 sink.n.01, 1 mirror.n.01; bathroom_0 is missing 1 sink.n.01, 1 mirror.n.01.
Rs_garden Unmatched Cannot find suitable bathroom: bathroom_0 is missing 1 sink.n.01, 1 mirror.n.01.
Rs_int Unmatched Cannot find suitable bathroom: bathroom_0 is missing 1 sink.n.01, 1 mirror.n.01.
Wainscott_0_garden Unmatched Cannot find suitable bathroom: bathroom_0 is missing 1 sink.n.01, 1 mirror.n.01; bathroom_1 is missing 1 sink.n.01, 1 mirror.n.01.
Wainscott_0_int Unmatched Cannot find suitable bathroom: bathroom_0 is missing 1 sink.n.01, 1 mirror.n.01; bathroom_1 is missing 1 sink.n.01, 1 mirror.n.01.
Wainscott_1_int Unmatched Cannot find suitable bathroom: bathroom_1 is missing 1 sink.n.01, 1 mirror.n.01; bathroom_0 is missing 1 sink.n.01, 1 mirror.n.01.
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

graph TD;