cleaning_glasses_off_bar-0


Required Synsets

Name State Definition
beer.n.01 Substance a general name for alcoholic beverages made by fermenting a cereal (or mixture of cereals) flavored with hops
beer_glass.n.01 Matched a relatively large glass for serving beer
countertop.n.01 Matched the top side of a counter
floor.n.01 Matched the inside lower horizontal surface (as of a room, hallway, tent, or other structure)
gin.n.01 Substance strong liquor flavored with juniper berries
orange_juice.n.01 Substance bottled or freshly squeezed juice of oranges
red_wine.n.01 Substance wine having a red color derived from skins of dark-colored grapes
sink.n.01 Matched plumbing fixture consisting of a water basin fixed to a wall or floor and having a drainpipe
stain.n.01 Substance a soiled or discolored appearance
wineglass.n.01 Matched a glass that has a stem and in which wine is served

Transition Paths By Task Scope Objects

graph TD;

Scene Matching Status

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

Full Definition

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

    (:objects
        stain.n.01_1 - stain.n.01
        wineglass.n.01_1 wineglass.n.01_2 wineglass.n.01_3 - wineglass.n.01
        gin.n.01_1 - gin.n.01
        orange_juice.n.01_1 - orange_juice.n.01
        red_wine.n.01_1 - red_wine.n.01
        beer_glass.n.01_1 beer_glass.n.01_2 - beer_glass.n.01
        beer.n.01_1 - beer.n.01
        countertop.n.01_1 - countertop.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 wineglass.n.01_1 stain.n.01_1) 
        (covered wineglass.n.01_1 gin.n.01_1)
        (covered wineglass.n.01_1 orange_juice.n.01_1)
        (covered wineglass.n.01_2 stain.n.01_1) 
        (covered wineglass.n.01_2 gin.n.01_1)
        (covered wineglass.n.01_2 orange_juice.n.01_1)
        (covered wineglass.n.01_3 stain.n.01_1)
        (covered wineglass.n.01_3 red_wine.n.01_1)
        (covered beer_glass.n.01_1 stain.n.01_1)
        (covered beer_glass.n.01_2 stain.n.01_1)
        (covered beer_glass.n.01_1 beer.n.01_1)
        (covered beer_glass.n.01_2 beer.n.01_1)
        (ontop wineglass.n.01_1 countertop.n.01_1)
        (ontop wineglass.n.01_2 countertop.n.01_1) 
        (ontop wineglass.n.01_3 countertop.n.01_1)
        (ontop beer_glass.n.01_1 countertop.n.01_1)
        (ontop beer_glass.n.01_2 countertop.n.01_1)
        (inroom countertop.n.01_1 bar) 
        (inroom sink.n.01_1 bar) 
        (inroom floor.n.01_1 bar) 
        (ontop agent.n.01_1 floor.n.01_1)
    )
    
    (:goal 
        (and 
            (forall 
                (?wineglass.n.01 - wineglass.n.01) 
                (or
                    (inside ?wineglass.n.01 ?sink.n.01_1)
                    (nextto ?wineglass.n.01 ?sink.n.01_1)
                )
            )
            (forall 
                (?beer_glass.n.01 - beer_glass.n.01)
                (or
                    (inside ?beer_glass.n.01 ?sink.n.01_1)
                    (nextto ?beer_glass.n.01 ?sink.n.01_1)
                )
            )
        )
    )
)
  

Debugging: All Possible Recipes Resulting in Future Synsets

graph TD;