putting_clothes_in_storage-0


Synsets

Transition Paths By Task Scope Objects

graph TD;

Scenes

Full Definition

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

    (:objects
        carton.n.02_1 carton.n.02_2 carton.n.02_3 - carton.n.02
        floor.n.01_1 - floor.n.01
        coat.n.01_1 coat.n.01_2 - coat.n.01
        trouser.n.01_1 trouser.n.01_2 - trouser.n.01
        jersey.n.03_1 jersey.n.03_2 - jersey.n.03
        agent.n.01_1 - agent.n.01
    )
    
    (:init 
        (ontop carton.n.02_1 floor.n.01_1) 
        (ontop carton.n.02_2 floor.n.01_1) 
        (ontop carton.n.02_3 floor.n.01_1) 
        (ontop coat.n.01_1 floor.n.01_1)
        (ontop coat.n.01_2 floor.n.01_1)
        (ontop trouser.n.01_1 floor.n.01_1) 
        (ontop trouser.n.01_2 floor.n.01_1) 
        (ontop jersey.n.03_1 floor.n.01_1) 
        (ontop jersey.n.03_2 floor.n.01_1) 
        (inroom floor.n.01_1 storage_room) 
        (ontop agent.n.01_1 floor.n.01_1)
    )
    
    (:goal 
        (and 
            (exists 
                (?carton.n.02 - carton.n.02)
                (forall 
                    (?coat.n.01 - coat.n.01)
                    (and 
                        (folded ?coat.n.01)
                        (inside ?coat.n.01 ?carton.n.02)
                        (not 
                            (inside ?trouser.n.01_1 ?carton.n.02)
                        )
                        (not 
                            (inside ?jersey.n.03_1 ?carton.n.02)
                        )
                    )
                )
            )
            (exists 
                (?carton.n.02 - carton.n.02)
                (forall 
                    (?trouser.n.01 - trouser.n.01)
                    (and 
                        (folded ?trouser.n.01)
                        (inside ?trouser.n.01 ?carton.n.02)
                        (not 
                            (inside ?coat.n.01_1 ?carton.n.02)
                        )
                        (not 
                            (inside ?jersey.n.03_1 ?carton.n.02)
                        )
                    )
                )
            )
            (exists 
                (?carton.n.02 - carton.n.02)
                (forall 
                    (?jersey.n.03 - jersey.n.03)
                    (and 
                        (folded ?jersey.n.03)
                        (inside ?jersey.n.03 ?carton.n.02)
                        (not 
                            (inside ?trouser.n.01_1 ?carton.n.02)
                        )
                        (not 
                            (inside ?coat.n.01_1 ?carton.n.02)
                        )
                    )
                )
            )
        )
    )
)

  

Debugging: All Possible Recipes Resulting in Future Synsets

graph TD;