make_cream_soda-0
Synsets
Transition Paths By Task Scope Objects
graph TD;
future-cream_sodan01(future: cream_soda.n.01);
recipe-cream_soda(recipe: cream_soda);
initial-sugar_syrupn01(initial: sugar_syrup.n.01);
initial-soda_watern03(initial: soda_water.n.03);
initial-heavy_creamn01(initial: heavy_cream.n.01);
recipe-cream_soda --> future-cream_sodan01;
initial-sugar_syrupn01 --> recipe-cream_soda;
initial-soda_watern03 --> recipe-cream_soda;
initial-heavy_creamn01 --> recipe-cream_soda;
Scenes
- Matched:
- Planned:
- Unmatched:
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-sugar_syrupn01(initial: sugar_syrup.n.01);
missing-watern06(missing: water.n.06);
initial-heavy_creamn01(initial: heavy_cream.n.01);
recipe-cream_soda(recipe: cream_soda);
missing-granulated_sugarn01(missing: granulated_sugar.n.01);
missing-mintn04(missing: mint.n.04);
initial-soda_watern03(initial: soda_water.n.03);
initial-ice_cuben01(initial: ice_cube.n.01);
recipe-sugar_syrup(recipe: sugar_syrup);
future-cream_sodan01(future: cream_soda.n.01);
recipe-ice_cuben01-melting(recipe: ice_cube.n.01-melting);
initial-sugar_syrupn01 --> recipe-cream_soda;
missing-watern06 --> recipe-sugar_syrup;
initial-heavy_creamn01 --> recipe-cream_soda;
recipe-cream_soda --> future-cream_sodan01;
missing-granulated_sugarn01 --> recipe-sugar_syrup;
missing-mintn04 --> recipe-sugar_syrup;
initial-soda_watern03 --> recipe-cream_soda;
initial-ice_cuben01 --> recipe-ice_cuben01-melting;
recipe-sugar_syrup --> initial-sugar_syrupn01;
recipe-ice_cuben01-melting --> missing-watern06;