make_beef_and_broccoli-0


Synsets

Transition Paths By Task Scope Objects

graph TD; initial-broccolin02(initial: broccoli.n.02); initial-cloven03(initial: clove.n.03); future-cooked__diced__broccolin01(future: cooked__diced__broccoli.n.01); future-cooked__diced__cloven01(future: cooked__diced__clove.n.01); future-cooked__diced__steakn01(future: cooked__diced__steak.n.01); initial-steakn01(initial: steak.n.01); recipe-cooked-half__broccolin01-dicing(recipe: cooked-half__broccoli.n.01-dicing); half__broccolin01(half__broccoli.n.01); recipe-diced__broccolin01-cooking(recipe: diced__broccoli.n.01-cooking); diced__broccolin01(diced__broccoli.n.01); recipe-uncooked-half__broccolin01-dicing(recipe: uncooked-half__broccoli.n.01-dicing); recipe-broccolin02-slicing(recipe: broccoli.n.02-slicing); recipe-cooked-half__cloven01-dicing(recipe: cooked-half__clove.n.01-dicing); half__cloven01(half__clove.n.01); recipe-uncooked-half__cloven01-dicing(recipe: uncooked-half__clove.n.01-dicing); diced__cloven01(diced__clove.n.01); recipe-diced__cloven01-cooking(recipe: diced__clove.n.01-cooking); recipe-cloven03-slicing(recipe: clove.n.03-slicing); recipe-cooked-half__steakn01-dicing(recipe: cooked-half__steak.n.01-dicing); half__steakn01(half__steak.n.01); recipe-uncooked-half__steakn01-dicing(recipe: uncooked-half__steak.n.01-dicing); diced__steakn01(diced__steak.n.01); recipe-diced__steakn01-cooking(recipe: diced__steak.n.01-cooking); recipe-steakn01-slicing(recipe: steak.n.01-slicing); initial-broccolin02 --> recipe-broccolin02-slicing; initial-cloven03 --> recipe-cloven03-slicing; initial-steakn01 --> recipe-steakn01-slicing; recipe-cooked-half__broccolin01-dicing --> future-cooked__diced__broccolin01; half__broccolin01 --> recipe-cooked-half__broccolin01-dicing; half__broccolin01 --> recipe-uncooked-half__broccolin01-dicing; recipe-diced__broccolin01-cooking --> future-cooked__diced__broccolin01; diced__broccolin01 --> recipe-diced__broccolin01-cooking; recipe-uncooked-half__broccolin01-dicing --> diced__broccolin01; recipe-broccolin02-slicing --> half__broccolin01; recipe-cooked-half__cloven01-dicing --> future-cooked__diced__cloven01; half__cloven01 --> recipe-cooked-half__cloven01-dicing; half__cloven01 --> recipe-uncooked-half__cloven01-dicing; recipe-uncooked-half__cloven01-dicing --> diced__cloven01; diced__cloven01 --> recipe-diced__cloven01-cooking; recipe-diced__cloven01-cooking --> future-cooked__diced__cloven01; recipe-cloven03-slicing --> half__cloven01; recipe-cooked-half__steakn01-dicing --> future-cooked__diced__steakn01; half__steakn01 --> recipe-cooked-half__steakn01-dicing; half__steakn01 --> recipe-uncooked-half__steakn01-dicing; recipe-uncooked-half__steakn01-dicing --> diced__steakn01; diced__steakn01 --> recipe-diced__steakn01-cooking; recipe-diced__steakn01-cooking --> future-cooked__diced__steakn01; recipe-steakn01-slicing --> half__steakn01;

Scenes

Full Definition

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

    (:objects
        steak.n.01_1 - steak.n.01
        cooked__diced__steak.n.01_1 - cooked__diced__steak.n.01
        electric_refrigerator.n.01_1 - electric_refrigerator.n.01
        broccoli.n.02_1 broccoli.n.02_2 broccoli.n.02_3 - broccoli.n.02
        cooked__diced__broccoli.n.01_1 - cooked__diced__broccoli.n.01
        clove.n.03_1 clove.n.03_2 - clove.n.03
        cooked__diced__clove.n.01_1 - cooked__diced__clove.n.01
        wok.n.01_1 - wok.n.01
        soy_sauce.n.01_1 - soy_sauce.n.01
        soy_sauce__bottle.n.01_1 - soy_sauce__bottle.n.01
        oven.n.01_1 - oven.n.01
        floor.n.01_1 - floor.n.01
        agent.n.01_1 - agent.n.01
    )
    
    (:init 
        (inside steak.n.01_1 electric_refrigerator.n.01_1) 
        (inside broccoli.n.02_1 electric_refrigerator.n.01_1) 
        (inside broccoli.n.02_2 electric_refrigerator.n.01_1) 
        (inside broccoli.n.02_3 electric_refrigerator.n.01_1) 
        (inside clove.n.03_1 electric_refrigerator.n.01_1)
        (inside clove.n.03_2 electric_refrigerator.n.01_1)
        (insource soy_sauce__bottle.n.01_1 soy_sauce.n.01_1)
        (inside soy_sauce__bottle.n.01_1 electric_refrigerator.n.01_1) 
        (inroom oven.n.01_1 kitchen) 
        (inroom electric_refrigerator.n.01_1 kitchen) 
        (inroom floor.n.01_1 kitchen) 
        (future cooked__diced__steak.n.01_1)
        (future cooked__diced__broccoli.n.01_1)
        (future cooked__diced__clove.n.01_1)
        (ontop agent.n.01_1 floor.n.01_1) 
        (not 
            (cooked steak.n.01_1)
        ) 
        (not 
            (cooked broccoli.n.02_1)
        ) 
        (not 
            (cooked broccoli.n.02_2)
        ) 
        (not 
            (cooked broccoli.n.02_3)
        ) 
        (not 
            (cooked clove.n.03_1)
        )
        (not
            (cooked clove.n.03_2)
        )
        (inside wok.n.01_1 oven.n.01_1)
    )
    
    (:goal 
        (and 
            (real ?cooked__diced__clove.n.01_1)
            (real ?cooked__diced__broccoli.n.01_1)
            (real ?cooked__diced__steak.n.01_1)
            (contains ?wok.n.01_1 ?cooked__diced__steak.n.01_1) 
            (contains ?wok.n.01_1 ?cooked__diced__broccoli.n.01_1) 
            (contains ?wok.n.01_1 ?soy_sauce.n.01_1) 
            (contains ?wok.n.01_1 ?cooked__diced__clove.n.01_1) 
        )
    )
)
  

Debugging: All Possible Recipes Resulting in Future Synsets

graph TD; future-cooked__diced__cloven01(future: cooked__diced__clove.n.01); future-cooked__diced__steakn01(future: cooked__diced__steak.n.01); recipe-diced__cloven01-cooking(recipe: diced__clove.n.01-cooking); recipe-broccolin02-slicing(recipe: broccoli.n.02-slicing); initial-cloven03(initial: clove.n.03); missing-diced__steakn01(missing: diced__steak.n.01); initial-steakn01(initial: steak.n.01); missing-half__broccolin01(missing: half__broccoli.n.01); recipe-cooked-half__broccolin01-dicing(recipe: cooked-half__broccoli.n.01-dicing); recipe-uncooked-half__broccolin01-dicing(recipe: uncooked-half__broccoli.n.01-dicing); recipe-steakn01-slicing(recipe: steak.n.01-slicing); initial-broccolin02(initial: broccoli.n.02); recipe-diced__steakn01-cooking(recipe: diced__steak.n.01-cooking); missing-half__cloven01(missing: half__clove.n.01); missing-diced__broccolin01(missing: diced__broccoli.n.01); future-cooked__diced__broccolin01(future: cooked__diced__broccoli.n.01); recipe-cooked-half__cloven01-dicing(recipe: cooked-half__clove.n.01-dicing); missing-diced__cloven01(missing: diced__clove.n.01); missing-half__steakn01(missing: half__steak.n.01); recipe-cooked-half__steakn01-dicing(recipe: cooked-half__steak.n.01-dicing); recipe-uncooked-half__cloven01-dicing(recipe: uncooked-half__clove.n.01-dicing); recipe-cloven03-slicing(recipe: clove.n.03-slicing); recipe-diced__broccolin01-cooking(recipe: diced__broccoli.n.01-cooking); recipe-uncooked-half__steakn01-dicing(recipe: uncooked-half__steak.n.01-dicing); recipe-diced__cloven01-cooking --> future-cooked__diced__cloven01; recipe-broccolin02-slicing --> missing-half__broccolin01; initial-cloven03 --> recipe-cloven03-slicing; missing-diced__steakn01 --> recipe-diced__steakn01-cooking; initial-steakn01 --> recipe-steakn01-slicing; missing-half__broccolin01 --> recipe-cooked-half__broccolin01-dicing; missing-half__broccolin01 --> recipe-uncooked-half__broccolin01-dicing; recipe-cooked-half__broccolin01-dicing --> future-cooked__diced__broccolin01; recipe-uncooked-half__broccolin01-dicing --> missing-diced__broccolin01; recipe-steakn01-slicing --> missing-half__steakn01; initial-broccolin02 --> recipe-broccolin02-slicing; recipe-diced__steakn01-cooking --> future-cooked__diced__steakn01; missing-half__cloven01 --> recipe-cooked-half__cloven01-dicing; missing-half__cloven01 --> recipe-uncooked-half__cloven01-dicing; missing-diced__broccolin01 --> recipe-diced__broccolin01-cooking; recipe-cooked-half__cloven01-dicing --> future-cooked__diced__cloven01; missing-diced__cloven01 --> recipe-diced__cloven01-cooking; missing-half__steakn01 --> recipe-cooked-half__steakn01-dicing; missing-half__steakn01 --> recipe-uncooked-half__steakn01-dicing; recipe-cooked-half__steakn01-dicing --> future-cooked__diced__steakn01; recipe-uncooked-half__cloven01-dicing --> missing-diced__cloven01; recipe-cloven03-slicing --> missing-half__cloven01; recipe-diced__broccolin01-cooking --> future-cooked__diced__broccolin01; recipe-uncooked-half__steakn01-dicing --> missing-diced__steakn01;