make_baked_pears-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
cooked__red_wine.n.01 Substance
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)
granulated_sugar.n.01 Substance sugar in the form of small grains
granulated_sugar__sack.n.01 Matched
oven.n.01 Matched kitchen appliance used for baking or roasting
pear.n.01 Matched sweet juicy gritty-textured fruit available in many varieties
red_wine.n.01 Substance wine having a red color derived from skins of dark-colored grapes
stockpot.n.01 Matched a pot used for preparing soup stock
wine_bottle.n.01 Matched a bottle for holding wine
wooden_spoon.n.02 Matched a spoon made of wood

Transition Paths By Task Scope Objects

graph TD; future-cooked__red_winen01(future: cooked__red_wine.n.01); initial-red_winen01(initial: red_wine.n.01); recipe-red_winen01-cooking(recipe: red_wine.n.01-cooking); initial-red_winen01 --> recipe-red_winen01-cooking; recipe-red_winen01-cooking --> future-cooked__red_winen01;

Scene Matching Status

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

Full Definition

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

    (:objects
     	pear.n.01_1 pear.n.01_2 pear.n.01_3 pear.n.01_4 - pear.n.01
        red_wine.n.01_1 - red_wine.n.01
        cooked__red_wine.n.01_1 - cooked__red_wine.n.01
        granulated_sugar.n.01_1 - granulated_sugar.n.01
        granulated_sugar__sack.n.01_1 - granulated_sugar__sack.n.01
        wooden_spoon.n.02_1 - wooden_spoon.n.02
        wine_bottle.n.01_1 - wine_bottle.n.01
    	oven.n.01_1 - oven.n.01
        stockpot.n.01_1 - stockpot.n.01
    	breakfast_table.n.01_1 - breakfast_table.n.01
        electric_refrigerator.n.01_1 - electric_refrigerator.n.01
        cabinet.n.01_1 - cabinet.n.01
    	floor.n.01_1 - floor.n.01
    	agent.n.01_1 - agent.n.01
    )
    
    (:init 
        (not 
            (cooked pear.n.01_1)
        ) 
        (not 
            (cooked pear.n.01_2)
        ) 
        (not 
            (cooked pear.n.01_3)
        ) 
        (not 
            (cooked pear.n.01_4)
        ) 
        (inside pear.n.01_1 electric_refrigerator.n.01_1) 
        (inside pear.n.01_2 electric_refrigerator.n.01_1) 
        (inside pear.n.01_3 electric_refrigerator.n.01_1) 
        (inside pear.n.01_4 electric_refrigerator.n.01_1) 
        (filled wine_bottle.n.01_1 red_wine.n.01_1)
        (inside wine_bottle.n.01_1 cabinet.n.01_1)
        (filled granulated_sugar__sack.n.01_1 granulated_sugar.n.01_1)
        (inside granulated_sugar__sack.n.01_1 cabinet.n.01_1)
        (inside stockpot.n.01_1 cabinet.n.01_1)
        (inside wooden_spoon.n.02_1 cabinet.n.01_1)
        (inroom breakfast_table.n.01_1 kitchen) 
        (inroom oven.n.01_1 kitchen) 
        (inroom electric_refrigerator.n.01_1 kitchen) 
        (inroom cabinet.n.01_1 kitchen) 
        (inroom floor.n.01_1 kitchen) 
        (future cooked__red_wine.n.01_1)
        (ontop agent.n.01_1 floor.n.01_1)
    )
    
    (:goal 
        (and
            (or
                (real ?cooked__red_wine.n.01_1)
                (real ?red_wine.n.01_1)
            )
            (real ?granulated_sugar.n.01_1)
            (forall 
                (?pear.n.01 - pear.n.01)
                (and
                    (cooked ?pear.n.01)
                    (covered ?pear.n.01 ?granulated_sugar.n.01_1)
                    (or 
                        (covered ?pear.n.01 ?cooked__red_wine.n.01_1)
                        (covered ?pear.n.01 ?red_wine.n.01_1)
                    )
                )
            )
        )
    )
)
  

Debugging: All Possible Recipes Resulting in Future Synsets

graph TD; future-cooked__red_winen01(future: cooked__red_wine.n.01); initial-red_winen01(initial: red_wine.n.01); recipe-red_winen01-cooking(recipe: red_wine.n.01-cooking); initial-red_winen01 --> recipe-red_winen01-cooking; recipe-red_winen01-cooking --> future-cooked__red_winen01;