make_citrus_punch-0


Synsets

Transition Paths By Task Scope Objects

graph TD; future-fruit_punchn01(future: fruit_punch.n.01); initial-ginger_beern01(initial: ginger_beer.n.01); initial-lemonaden01(initial: lemonade.n.01); recipe-fruit_punch_2(recipe: fruit_punch_2); initial-orange_juicen01(initial: orange_juice.n.01); initial-pineapple_juicen01(initial: pineapple_juice.n.01); initial-ginger_beern01 --> recipe-fruit_punch_2; initial-lemonaden01 --> recipe-fruit_punch_2; recipe-fruit_punch_2 --> future-fruit_punchn01; initial-orange_juicen01 --> recipe-fruit_punch_2; initial-pineapple_juicen01 --> recipe-fruit_punch_2;

Scenes

Full Definition

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

    (:objects
        orange_juice.n.01_1 - orange_juice.n.01
        ginger_beer.n.01_1 - ginger_beer.n.01
        lemonade.n.01_1 - lemonade.n.01
        pineapple_juice.n.01_1 - pineapple_juice.n.01
        fruit_punch.n.01_1 - fruit_punch.n.01
        electric_refrigerator.n.01_1 - electric_refrigerator.n.01
        wooden_spoon.n.02_1 - wooden_spoon.n.02
        pitcher.n.02_1 - pitcher.n.02
        countertop.n.01_1 countertop.n.01_2 - countertop.n.01
        orange_juice__carton.n.01_1 - orange_juice__carton.n.01
        beer_bottle.n.01_1 - beer_bottle.n.01
        lemonade__bottle.n.01_1 - lemonade__bottle.n.01
        pineapple_juice__carton.n.01_1 - pineapple_juice__carton.n.01
        agent.n.01_1 - agent.n.01
        floor.n.01_1 - floor.n.01
    )
    
    (:init 
        (filled orange_juice__carton.n.01_1 orange_juice.n.01_1) 
        (ontop orange_juice__carton.n.01_1 countertop.n.01_1) 
        (filled beer_bottle.n.01_1 ginger_beer.n.01_1) 
        (ontop beer_bottle.n.01_1 countertop.n.01_1) 
        (filled lemonade__bottle.n.01_1 lemonade.n.01_1) 
        (ontop lemonade__bottle.n.01_1 countertop.n.01_1)
        (ontop wooden_spoon.n.02_1 countertop.n.01_1) 
        (filled pineapple_juice__carton.n.01_1 pineapple_juice.n.01_1) 
        (ontop pineapple_juice__carton.n.01_1 countertop.n.01_1) 
        (inroom electric_refrigerator.n.01_1 kitchen) 
        (inroom countertop.n.01_1 kitchen) 
        (inroom countertop.n.01_2 kitchen) 
        (ontop pitcher.n.02_1 countertop.n.01_2) 
        (future fruit_punch.n.01_1) 
        (inroom floor.n.01_1 kitchen) 
        (ontop agent.n.01_1 floor.n.01_1)
    )
    
    (:goal 
        (and 
            (real ?fruit_punch.n.01_1) 
            (contains ?pitcher.n.02_1 ?fruit_punch.n.01_1)
        )
    )
)
  

Debugging: All Possible Recipes Resulting in Future Synsets

graph TD; missing-lemon_juicen01(missing: lemon_juice.n.01); future-fruit_punchn01(future: fruit_punch.n.01); recipe-fruit_punch_1(recipe: fruit_punch_1); initial-lemonaden01(initial: lemonade.n.01); initial-pineapple_juicen01(initial: pineapple_juice.n.01); missing-diced__watermelonn01(missing: diced__watermelon.n.01); missing-tonicn01(missing: tonic.n.01); initial-orange_juicen01(initial: orange_juice.n.01); recipe-fruit_punch_2(recipe: fruit_punch_2); initial-ginger_beern01(initial: ginger_beer.n.01); missing-lemon_juicen01 --> recipe-fruit_punch_1; recipe-fruit_punch_1 --> future-fruit_punchn01; initial-lemonaden01 --> recipe-fruit_punch_1; initial-lemonaden01 --> recipe-fruit_punch_2; initial-pineapple_juicen01 --> recipe-fruit_punch_2; missing-diced__watermelonn01 --> recipe-fruit_punch_1; missing-tonicn01 --> recipe-fruit_punch_1; initial-orange_juicen01 --> recipe-fruit_punch_2; recipe-fruit_punch_2 --> future-fruit_punchn01; initial-ginger_beern01 --> recipe-fruit_punch_2;