make_cream_soda-0


Required Synsets

Name State Definition
cabinet.n.01 Matched a piece of furniture resembling a cupboard with doors and shelves and drawers; for storage or display
carafe.n.01 Matched a bottle with a stopper; for serving wine or water
cream__carton.n.01 Matched
cream_soda.n.01 Substance sweet carbonated drink flavored with vanilla
cup.n.01 Matched a small open container usually used for drinking; usually has a handle
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)
heavy_cream.n.01 Substance contains more than 36% butterfat
ice_cube.n.01 Matched a small cube of artificial ice; used for cooling drinks
soda_water.n.03 Substance
sugar_syrup.n.01 Substance sugar and water and sometimes corn syrup boiled together; used as sweetening especially in drinks
sugar_syrup__bottle.n.01 Matched
teaspoon.n.02 Matched a small spoon used for stirring tea or coffee; holds about one fluid dram
water_glass.n.02 Matched a glass for drinking water

Transition Paths By Task Scope Objects

graph TD; initial-soda_watern03(initial: soda_water.n.03); recipe-cream_soda(recipe: cream_soda); future-cream_sodan01(future: cream_soda.n.01); initial-sugar_syrupn01(initial: sugar_syrup.n.01); initial-heavy_creamn01(initial: heavy_cream.n.01); initial-soda_watern03 --> recipe-cream_soda; recipe-cream_soda --> future-cream_sodan01; initial-sugar_syrupn01 --> recipe-cream_soda; initial-heavy_creamn01 --> recipe-cream_soda;

Scene Matching Status

Scene Status Reason
Beechwood_0_garden Unmatched Cannot find suitable kitchen: kitchen_0 is missing 1 electric_refrigerator.n.01, 1 cabinet.n.01.
Beechwood_0_int Unmatched Cannot find suitable kitchen: kitchen_0 is missing 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 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 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 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 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 electric_refrigerator.n.01, 1 cabinet.n.01.
Rs_int Unmatched Cannot find suitable kitchen: kitchen_0 is missing 1 electric_refrigerator.n.01, 1 cabinet.n.01.
Wainscott_0_garden Unmatched Cannot find suitable kitchen: kitchen_0 is missing 1 electric_refrigerator.n.01, 1 cabinet.n.01.
Wainscott_0_int Unmatched Cannot find suitable kitchen: kitchen_0 is missing 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 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 electric_refrigerator.n.01, 1 cabinet.n.01.
restaurant_brunch Ready
restaurant_cafeteria Unmatched Cannot find suitable kitchen: kitchen_0 is missing 1 electric_refrigerator.n.01, 1 cabinet.n.01.
restaurant_diner Unmatched Cannot find suitable kitchen: kitchen_0 is missing 1 electric_refrigerator.n.01, 1 cabinet.n.01.
restaurant_hotel Ready
restaurant_urban Ready
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_cream_soda-0)
    (:domain omnigibson)

    (:objects
        soda_water.n.03_1 - soda_water.n.03
        heavy_cream.n.01_1 - heavy_cream.n.01
        sugar_syrup.n.01_1 - sugar_syrup.n.01
        ice_cube.n.01_1 ice_cube.n.01_2 - ice_cube.n.01
        cream_soda.n.01_1 - cream_soda.n.01
        teaspoon.n.02_1 - teaspoon.n.02
        water_glass.n.02_1 - water_glass.n.02
        cream__carton.n.01_1 - cream__carton.n.01
        sugar_syrup__bottle.n.01_1 - sugar_syrup__bottle.n.01
        cabinet.n.01_1 - cabinet.n.01
        cup.n.01_1 - cup.n.01
        carafe.n.01_1 - carafe.n.01
        electric_refrigerator.n.01_1 - electric_refrigerator.n.01
        agent.n.01_1 - agent.n.01
        floor.n.01_1 - floor.n.01
    )
    
    (:init 
        (filled carafe.n.01_1 soda_water.n.03_1)
        (inside carafe.n.01_1 electric_refrigerator.n.01_1) 
        (filled cream__carton.n.01_1 heavy_cream.n.01_1) 
        (inside cream__carton.n.01_1 electric_refrigerator.n.01_1) 
        (insource sugar_syrup__bottle.n.01_1 sugar_syrup.n.01_1)
        (inside sugar_syrup__bottle.n.01_1 electric_refrigerator.n.01_1) 
        (inside ice_cube.n.01_1 cup.n.01_1) 
        (inside ice_cube.n.01_2 cup.n.01_1) 
        (inside cup.n.01_1 electric_refrigerator.n.01_1) 
        (inside teaspoon.n.02_1 cabinet.n.01_1) 
        (inside water_glass.n.02_1 cabinet.n.01_1) 
        (future cream_soda.n.01_1) 
        (inroom floor.n.01_1 kitchen) 
        (inroom electric_refrigerator.n.01_1 kitchen) 
        (inroom cabinet.n.01_1 kitchen) 
        (ontop agent.n.01_1 floor.n.01_1)
    )
    
    (:goal 
        (and 
            (real ?cream_soda.n.01_1) 
            (contains ?water_glass.n.02_1 ?cream_soda.n.01_1) 
            (forall 
                (?ice_cube.n.01 - ice_cube.n.01) 
                (inside ?ice_cube.n.01 ?water_glass.n.02_1)
            )
        )
    )
)
  

Debugging: All Possible Recipes Resulting in Future Synsets

graph TD; initial-electric_refrigeratorn01(initial: electric_refrigerator.n.01); missing-granulated_sugarn01(missing: granulated_sugar.n.01); recipe-carafen01-washer-cover(recipe: carafe.n.01-washer-cover); recipe-floorn01-washer-cover(recipe: floor.n.01-washer-cover); recipe-ice_cuben01-melting(recipe: ice_cube.n.01-melting); recipe-water_glassn02-washer-cover(recipe: water_glass.n.02-washer-cover); recipe-sugar_syrup(recipe: sugar_syrup); initial-heavy_creamn01(initial: heavy_cream.n.01); missing-ice_lollyn01(missing: ice_lolly.n.01); recipe-cream_soda(recipe: cream_soda); initial-teaspoonn02(initial: teaspoon.n.02); recipe-cabinetn01-washer-cover(recipe: cabinet.n.01-washer-cover); initial-soda_watern03(initial: soda_water.n.03); recipe-sugar_syrup__bottlen01-washer-cover(recipe: sugar_syrup__bottle.n.01-washer-cover); initial-water_glassn02(initial: water_glass.n.02); recipe-popsicles(recipe: popsicles); missing-watern06(missing: water.n.06); recipe-ice_cuben01-washer-cover(recipe: ice_cube.n.01-washer-cover); future-cream_sodan01(future: cream_soda.n.01); initial-cream__cartonn01(initial: cream__carton.n.01); missing-smoothien02(missing: smoothie.n.02); missing-strawberryn01(missing: strawberry.n.01); initial-floorn01(initial: floor.n.01); initial-sugar_syrupn01(initial: sugar_syrup.n.01); recipe-electric_refrigeratorn01-washer-cover(recipe: electric_refrigerator.n.01-washer-cover); recipe-teaspoonn02-washer-cover(recipe: teaspoon.n.02-washer-cover); recipe-smoothie_0(recipe: smoothie_0); missing-lemon_juicen01(missing: lemon_juice.n.01); recipe-ice_lollyn01-washer-cover(recipe: ice_lolly.n.01-washer-cover); initial-cabinetn01(initial: cabinet.n.01); recipe-cream__cartonn01-washer-cover(recipe: cream__carton.n.01-washer-cover); initial-ice_cuben01(initial: ice_cube.n.01); initial-carafen01(initial: carafe.n.01); missing-mintn04(missing: mint.n.04); initial-sugar_syrup__bottlen01(initial: sugar_syrup__bottle.n.01); initial-electric_refrigeratorn01 --> recipe-electric_refrigeratorn01-washer-cover; missing-granulated_sugarn01 --> recipe-sugar_syrup; recipe-carafen01-washer-cover --> missing-watern06; recipe-carafen01-washer-cover --> initial-carafen01; recipe-floorn01-washer-cover --> missing-watern06; recipe-floorn01-washer-cover --> initial-floorn01; recipe-ice_cuben01-melting --> missing-watern06; recipe-water_glassn02-washer-cover --> missing-watern06; recipe-water_glassn02-washer-cover --> initial-water_glassn02; recipe-sugar_syrup --> initial-sugar_syrupn01; initial-heavy_creamn01 --> recipe-cream_soda; missing-ice_lollyn01 --> recipe-ice_lollyn01-washer-cover; recipe-cream_soda --> future-cream_sodan01; initial-teaspoonn02 --> recipe-teaspoonn02-washer-cover; recipe-cabinetn01-washer-cover --> missing-watern06; recipe-cabinetn01-washer-cover --> initial-cabinetn01; initial-soda_watern03 --> recipe-cream_soda; recipe-sugar_syrup__bottlen01-washer-cover --> missing-watern06; recipe-sugar_syrup__bottlen01-washer-cover --> initial-sugar_syrup__bottlen01; initial-water_glassn02 --> recipe-water_glassn02-washer-cover; recipe-popsicles --> missing-ice_lollyn01; missing-watern06 --> recipe-sugar_syrup; recipe-ice_cuben01-washer-cover --> missing-watern06; recipe-ice_cuben01-washer-cover --> initial-ice_cuben01; initial-cream__cartonn01 --> recipe-cream__cartonn01-washer-cover; missing-smoothien02 --> recipe-popsicles; missing-strawberryn01 --> recipe-smoothie_0; initial-floorn01 --> recipe-floorn01-washer-cover; initial-sugar_syrupn01 --> recipe-cream_soda; recipe-electric_refrigeratorn01-washer-cover --> missing-watern06; recipe-electric_refrigeratorn01-washer-cover --> initial-electric_refrigeratorn01; recipe-teaspoonn02-washer-cover --> missing-watern06; recipe-teaspoonn02-washer-cover --> initial-teaspoonn02; recipe-smoothie_0 --> missing-smoothien02; missing-lemon_juicen01 --> recipe-smoothie_0; recipe-ice_lollyn01-washer-cover --> missing-watern06; recipe-ice_lollyn01-washer-cover --> missing-ice_lollyn01; initial-cabinetn01 --> recipe-cabinetn01-washer-cover; recipe-cream__cartonn01-washer-cover --> missing-watern06; recipe-cream__cartonn01-washer-cover --> initial-cream__cartonn01; initial-ice_cuben01 --> recipe-ice_cuben01-melting; initial-ice_cuben01 --> recipe-ice_cuben01-washer-cover; initial-ice_cuben01 --> recipe-smoothie_0; initial-carafen01 --> recipe-carafen01-washer-cover; missing-mintn04 --> recipe-sugar_syrup; initial-sugar_syrup__bottlen01 --> recipe-sugar_syrup__bottlen01-washer-cover;