make_an_iced_espresso-0
Synsets
Transition Paths By Task Scope Objects
graph TD;
recipe-cafe_au_lait(recipe: cafe_au_lait);
initial-sugar_syrupn01(initial: sugar_syrup.n.01);
initial-low-fat_milkn01(initial: low-fat_milk.n.01);
future-cafe_au_laitn01(future: cafe_au_lait.n.01);
initial-espresson01(initial: espresso.n.01);
recipe-cafe_au_lait --> future-cafe_au_laitn01;
initial-sugar_syrupn01 --> recipe-cafe_au_lait;
initial-low-fat_milkn01 --> recipe-cafe_au_lait;
initial-espresson01 --> recipe-cafe_au_lait;
Scenes
- Matched:
- Planned:
- Unmatched:
Full Definition
(define (problem make_an_iced_espresso-0)
(:domain omnigibson)
(:objects
espresso.n.01_1 - espresso.n.01
cafe_au_lait.n.01_1 - cafe_au_lait.n.01
low-fat_milk.n.01_1 - low-fat_milk.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
teaspoon.n.02_1 - teaspoon.n.02
mug.n.04_1 - mug.n.04
sugar_syrup__bottle.n.01_1 - sugar_syrup__bottle.n.01
countertop.n.01_1 - countertop.n.01
cup.n.01_1 cup.n.01_2 - cup.n.01
milk__carton.n.01_1 - milk__carton.n.01
agent.n.01_1 - agent.n.01
floor.n.01_1 - floor.n.01
)
(:init
(filled cup.n.01_1 espresso.n.01_1)
(ontop cup.n.01_1 countertop.n.01_1)
(filled milk__carton.n.01_1 low-fat_milk.n.01_1)
(ontop milk__carton.n.01_1 countertop.n.01_1)
(insource sugar_syrup__bottle.n.01_1 sugar_syrup.n.01_1)
(ontop sugar_syrup__bottle.n.01_1 countertop.n.01_1)
(inside ice_cube.n.01_1 cup.n.01_2)
(inside ice_cube.n.01_2 cup.n.01_2)
(ontop cup.n.01_2 countertop.n.01_1)
(ontop teaspoon.n.02_1 countertop.n.01_1)
(ontop mug.n.04_1 countertop.n.01_1)
(inroom countertop.n.01_1 kitchen)
(future cafe_au_lait.n.01_1)
(inroom floor.n.01_1 kitchen)
(ontop agent.n.01_1 floor.n.01_1)
)
(:goal
(and
(real ?cafe_au_lait.n.01_1)
(contains ?mug.n.04_1 ?cafe_au_lait.n.01_1)
(forall
(?ice_cube.n.01 - ice_cube.n.01)
(inside ?ice_cube.n.01 ?mug.n.04_1)
)
)
)
)
Debugging: All Possible Recipes Resulting in Future Synsets
graph TD;
initial-espresson01(initial: espresso.n.01);
recipe-cafe_au_lait(recipe: cafe_au_lait);
future-cafe_au_laitn01(future: cafe_au_lait.n.01);
missing-instant_coffeen01(missing: instant_coffee.n.01);
initial-low-fat_milkn01(initial: low-fat_milk.n.01);
missing-watern06(missing: water.n.06);
recipe-coffeemaker_espresso(recipe: coffeemaker_espresso);
initial-ice_cuben01(initial: ice_cube.n.01);
recipe-ice_cuben01-melting(recipe: ice_cube.n.01-melting);
missing-granulated_sugarn01(missing: granulated_sugar.n.01);
initial-sugar_syrupn01(initial: sugar_syrup.n.01);
recipe-sugar_syrup(recipe: sugar_syrup);
missing-mintn04(missing: mint.n.04);
initial-espresson01 --> recipe-cafe_au_lait;
recipe-cafe_au_lait --> future-cafe_au_laitn01;
missing-instant_coffeen01 --> recipe-coffeemaker_espresso;
initial-low-fat_milkn01 --> recipe-cafe_au_lait;
missing-watern06 --> recipe-coffeemaker_espresso;
missing-watern06 --> recipe-sugar_syrup;
recipe-coffeemaker_espresso --> initial-espresson01;
initial-ice_cuben01 --> recipe-ice_cuben01-melting;
recipe-ice_cuben01-melting --> missing-watern06;
missing-granulated_sugarn01 --> recipe-sugar_syrup;
initial-sugar_syrupn01 --> recipe-cafe_au_lait;
recipe-sugar_syrup --> initial-sugar_syrupn01;
missing-mintn04 --> recipe-sugar_syrup;