make_a_basic_brine-0


Synsets

Transition Paths By Task Scope Objects

graph TD; future-seawatern01(future: seawater.n.01); initial-saltn02(initial: salt.n.02); recipe-salt_water(recipe: salt_water); initial-watern06(initial: water.n.06); initial-saltn02 --> recipe-salt_water; recipe-salt_water --> future-seawatern01; initial-watern06 --> recipe-salt_water;

Scenes

Full Definition

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

    (:objects
        water.n.06_1 - water.n.06
        salt.n.02_1 - salt.n.02
        seawater.n.01_1 - seawater.n.01
        stove.n.01_1 - stove.n.01
        stockpot.n.01_1 - stockpot.n.01
        salt__shaker.n.01_1 - salt__shaker.n.01
        countertop.n.01_1 - countertop.n.01
        sink.n.01_1 - sink.n.01
        agent.n.01_1 - agent.n.01
        floor.n.01_1 - floor.n.01
    )
    
    (:init 
        (insource sink.n.01_1 water.n.06_1) 
        (insource salt__shaker.n.01_1 salt.n.02_1)
        (ontop salt__shaker.n.01_1 countertop.n.01_1)
        (inroom stove.n.01_1 kitchen) 
        (ontop stockpot.n.01_1 countertop.n.01_1) 
        (inroom countertop.n.01_1 kitchen) 
        (inroom sink.n.01_1 kitchen) 
        (future seawater.n.01_1) 
        (inroom floor.n.01_1 kitchen) 
        (ontop agent.n.01_1 floor.n.01_1)
    )
    
    (:goal 
        (and 
            (real ?seawater.n.01_1) 
            (contains ?stockpot.n.01_1 ?seawater.n.01_1)
        )
    )
)

  

Debugging: All Possible Recipes Resulting in Future Synsets

graph TD; initial-watern06(initial: water.n.06); recipe-salt_water(recipe: salt_water); future-seawatern01(future: seawater.n.01); initial-saltn02(initial: salt.n.02); initial-watern06 --> recipe-salt_water; recipe-salt_water --> future-seawatern01; initial-saltn02 --> recipe-salt_water;