set_up_a_buffet-0


Required Synsets

Name State Definition
breakfast_table.n.01 Matched a table where breakfast is eaten
cabinet.n.01 Matched a piece of furniture resembling a cupboard with doors and shelves and drawers; for storage or display
casserole.n.02 Matched large deep dish in which food can be cooked and served
chicken_leg.n.01 Matched the lower joint of the leg of a chicken
chocolate_biscuit.n.01 Matched
cooked__diced__broccoli.n.01 Substance
cooked__quinoa.n.01 Substance
countertop.n.01 Matched the top side of a counter
electric_refrigerator.n.01 Matched a refrigerator in which the coolant is pumped around by an electric motor
floor.n.01 Matched the inside lower horizontal surface (as of a room, hallway, tent, or other structure)
ladle.n.01 Matched a spoon-shaped vessel with a long handle; frequently used to transfer liquids from one container to another
napkin.n.01 Matched a small piece of table linen that is used to wipe the mouth and to cover the lap in order to protect clothing
plate.n.04 Matched dish on which food is served or from which food is eaten
tongs.n.01 Matched any of various devices for taking hold of objects; usually have two hinged legs with handles above and pointed hooks below
tupperware.n.01 Matched
water_glass.n.02 Matched a glass for drinking water

Transition Paths By Task Scope Objects

graph TD; future-cooked__diced__broccolin01(future: cooked__diced__broccoli.n.01); future-cooked__quinoan01(future: cooked__quinoa.n.01);

Unreachable Goal Synsets

Scene Matching Status

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

Full Definition

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

    (:objects
        breakfast_table.n.01_1 - breakfast_table.n.01
        plate.n.04_1 plate.n.04_2 plate.n.04_3 plate.n.04_4 - plate.n.04
        tupperware.n.01_1 tupperware.n.01_2 - tupperware.n.01
        cabinet.n.01_1 cabinet.n.01_2 - cabinet.n.01
        napkin.n.01_1 napkin.n.01_2 napkin.n.01_3 napkin.n.01_4 - napkin.n.01
        water_glass.n.02_1 water_glass.n.02_2 - water_glass.n.02
        casserole.n.02_1 casserole.n.02_2 casserole.n.02_3 casserole.n.02_4 - casserole.n.02
        cooked__diced__broccoli.n.01_1 - cooked__diced__broccoli.n.01
        chicken_leg.n.01_1 chicken_leg.n.01_2 - chicken_leg.n.01
        cooked__quinoa.n.01_1 - cooked__quinoa.n.01
        chocolate_biscuit.n.01_1 chocolate_biscuit.n.01_2 - chocolate_biscuit.n.01
        countertop.n.01_1 - countertop.n.01
        ladle.n.01_1 ladle.n.01_2 - ladle.n.01
        tongs.n.01_1 tongs.n.01_2 - tongs.n.01
        floor.n.01_1 - floor.n.01
        electric_refrigerator.n.01_1 - electric_refrigerator.n.01
        agent.n.01_1 - agent.n.01
    )
    
    (:init
        (ontop plate.n.04_2 plate.n.04_1)
        (inside plate.n.04_1 cabinet.n.01_1)
        (ontop napkin.n.01_1 breakfast_table.n.01_1) 
        (ontop napkin.n.01_2 breakfast_table.n.01_1) 
        (ontop napkin.n.01_3 breakfast_table.n.01_1)
        (ontop napkin.n.01_4 breakfast_table.n.01_1) 
        (inside water_glass.n.02_1 cabinet.n.01_1) 
        (ontop water_glass.n.02_2 countertop.n.01_1)
        (ontop casserole.n.02_1 countertop.n.01_1)
        (ontop casserole.n.02_2 countertop.n.01_1)
        (ontop casserole.n.02_3 countertop.n.01_1)
        (ontop casserole.n.02_4 countertop.n.01_1)
        (inside ladle.n.01_1 cabinet.n.01_2)
        (ontop ladle.n.01_2 countertop.n.01_1)
        (ontop tongs.n.01_1 countertop.n.01_1)
        (ontop tongs.n.01_2 countertop.n.01_1)
        (filled tupperware.n.01_1 cooked__diced__broccoli.n.01_1)
        (inside tupperware.n.01_1 electric_refrigerator.n.01_1)
        (cooked chicken_leg.n.01_1)
        (cooked chicken_leg.n.01_2)
        (ontop chicken_leg.n.01_1 plate.n.04_3)
        (ontop chicken_leg.n.01_2 plate.n.04_3)
        (inside plate.n.04_3 electric_refrigerator.n.01_1)
        (filled tupperware.n.01_2 cooked__quinoa.n.01_1)
        (inside tupperware.n.01_2 electric_refrigerator.n.01_1)
        (ontop chocolate_biscuit.n.01_1 plate.n.04_4)
        (ontop chocolate_biscuit.n.01_2 plate.n.04_4)
        (ontop plate.n.04_4 countertop.n.01_1)
        (inroom breakfast_table.n.01_1 dining_room) 
        (inroom cabinet.n.01_1 kitchen)
        (inroom cabinet.n.01_2 kitchen)
        (inroom countertop.n.01_1 kitchen) 
        (inroom floor.n.01_1 kitchen) 
        (inroom electric_refrigerator.n.01_1 kitchen)
        (future cooked__diced__broccoli.n.01_1)
        (future cooked__quinoa.n.01_1)
        (ontop agent.n.01_1 floor.n.01_1)
    )
    
    (:goal 
        (and 
            (real ?cooked__diced__broccoli.n.01_1)
            (real ?cooked__quinoa.n.01_1)
            (forall 
                (?napkin.n.01 - napkin.n.01)
                (and 
                    (folded ?napkin.n.01)
                    (ontop ?napkin.n.01 ?breakfast_table.n.01_1)
                )
            )
            (forall 
                (?water_glass.n.02 - water_glass.n.02)
                (ontop ?water_glass.n.02 ?breakfast_table.n.01_1)
            )
            (exists 
                (?casserole.n.02 - casserole.n.02)
                (and 
                    (exists 
                        (?ladle.n.01 - ladle.n.01)
                        (inside ?ladle.n.01 ?casserole.n.02)
                    )
                    (contains ?casserole.n.02 ?cooked__diced__broccoli.n.01_1)
                    (not 
                        (inside ?chicken_leg.n.01_1 ?casserole.n.02)
                    )
                    (not 
                        (contains ?casserole.n.02 ?cooked__quinoa.n.01_1)
                    )
                    (not 
                        (inside ?chocolate_biscuit.n.01_1 ?casserole.n.02)
                    )
                )
            )
            (exists 
                (?casserole.n.02 - casserole.n.02)
                (and 
                    (exists 
                        (?tongs.n.01 - tongs.n.01)
                        (inside ?tongs.n.01 ?casserole.n.02)
                    )
                    (forall 
                        (?chicken_leg.n.01 - chicken_leg.n.01)
                        (and 
                            (hot ?chicken_leg.n.01)
                            (inside ?chicken_leg.n.01 ?casserole.n.02)
                        )
                    )
                    (not
                        (contains ?casserole.n.02 ?cooked__diced__broccoli.n.01_1)
                    )
                    (not 
                        (contains ?casserole.n.02 ?cooked__quinoa.n.01_1)
                    )
                    (not 
                        (inside ?chocolate_biscuit.n.01_1 ?casserole.n.02)
                    )
                )
            )
            (exists 
                (?casserole.n.02 - casserole.n.02)
                (and 
                    (exists 
                        (?ladle.n.01 - ladle.n.01)
                        (inside ?ladle.n.01 ?casserole.n.02)
                    )
                    (contains ?casserole.n.02 ?cooked__quinoa.n.01_1)
                    (not 
                        (inside ?chicken_leg.n.01_1 ?casserole.n.02)
                    )
                    (not 
                        (contains ?casserole.n.02 ?cooked__diced__broccoli.n.01_1)
                    )
                    (not 
                        (inside ?chocolate_biscuit.n.01_1 ?casserole.n.02)
                    )
                )
            )
            (exists 
                (?casserole.n.02 - casserole.n.02)
                (and 
                    (exists 
                        (?tongs.n.01 - tongs.n.01)
                        (inside ?tongs.n.01 ?casserole.n.02)
                    )
                    (forall 
                        (?chocolate_biscuit.n.01 - chocolate_biscuit.n.01)
                        (inside ?chocolate_biscuit.n.01 ?casserole.n.02)
                    )
                    (not
                        (contains ?casserole.n.02 ?cooked__diced__broccoli.n.01_1)
                    )
                    (not 
                        (contains ?casserole.n.02 ?cooked__quinoa.n.01_1)
                    )
                    (not 
                        (inside ?chicken_leg.n.01_1 ?casserole.n.02)
                    )
                )
            )
        
        )
    )
)
  

Debugging: All Possible Recipes Resulting in Future Synsets

graph TD;