sorting_potatoes-0

Required Synsets

Name	State	Definition
bok_choy.n.02	Matched	elongated head of dark green leaves on thick white stalks
butternut_squash.n.02	Matched	buff-colored squash with a long usually straight neck and sweet orange flesh
carton.n.02	Matched	a box made of cardboard; opens by flaps on top
floor.n.01	Matched	the inside lower horizontal surface (as of a room, hallway, tent, or other structure)
potato.n.01	Matched	an edible tuber native to South America; a staple food of Ireland
sack.n.01	Matched	a bag made of paper or plastic for holding customer's purchases
table.n.02	Matched	a piece of furniture having a smooth flat top that is usually supported by one or more vertical legs
yam.n.03	Matched	sweet potato with deep orange flesh that remains moist when baked

Transition Paths By Task Scope Objects

graph TD;

Scene Matching Status

Scene	Status	Reason
Beechwood_0_garden	Ready
Beechwood_0_int	Ready
Beechwood_1_int	Unmatched	Cannot find suitable kitchen.
Benevolence_0_int	Unmatched	Cannot find suitable kitchen.
Benevolence_1_int	Unmatched	Cannot find suitable kitchen: kitchen_0 is missing 1 table.n.02.
Benevolence_2_int	Unmatched	Cannot find suitable kitchen.
Ihlen_0_int	Unmatched	Cannot find suitable kitchen.
Ihlen_1_int	Unmatched	Cannot find suitable kitchen: kitchen_0 is missing 1 table.n.02.
Merom_0_garden	Unmatched	Cannot find suitable kitchen.
Merom_0_int	Unmatched	Cannot find suitable kitchen.
Merom_1_int	Unmatched	Cannot find suitable kitchen: kitchen_0 is missing 1 table.n.02.
Pomaria_0_garden	Unmatched	Cannot find suitable kitchen.
Pomaria_0_int	Unmatched	Cannot find suitable kitchen.
Pomaria_1_int	Ready
Pomaria_2_int	Unmatched	Cannot find suitable kitchen.
Rs_garden	Unmatched	Cannot find suitable kitchen: kitchen_0 is missing 1 table.n.02.
Rs_int	Unmatched	Cannot find suitable kitchen: kitchen_0 is missing 1 table.n.02.
Wainscott_0_garden	Ready
Wainscott_0_int	Ready
Wainscott_1_int	Unmatched	Cannot find suitable kitchen.
gates_bedroom	Unmatched	Cannot find suitable kitchen.
grocery_store_asian	Unmatched	Cannot find suitable kitchen.
grocery_store_cafe	Unmatched	Cannot find suitable kitchen.
grocery_store_convenience	Unmatched	Cannot find suitable kitchen.
grocery_store_half_stocked	Unmatched	Cannot find suitable kitchen.
hall_arch_wood	Unmatched	Cannot find suitable kitchen.
hall_conference_large	Unmatched	Cannot find suitable kitchen.
hall_glass_ceiling	Unmatched	Cannot find suitable kitchen.
hall_train_station	Unmatched	Cannot find suitable kitchen.
hotel_gym_spa	Unmatched	Cannot find suitable kitchen.
hotel_suite_large	Unmatched	Cannot find suitable kitchen.
hotel_suite_small	Unmatched	Cannot find suitable kitchen.
house_double_floor_lower	Ready
house_double_floor_upper	Unmatched	Cannot find suitable kitchen.
house_single_floor	Unmatched	Cannot find suitable kitchen: kitchen_0 is missing 1 table.n.02.
office_bike	Unmatched	Cannot find suitable kitchen.
office_cubicles_left	Unmatched	Cannot find suitable kitchen.
office_cubicles_right	Unmatched	Cannot find suitable kitchen.
office_large	Unmatched	Cannot find suitable kitchen.
office_vendor_machine	Unmatched	Cannot find suitable kitchen.
restaurant_asian	Unmatched	Cannot find suitable kitchen: kitchen_0 is missing 1 table.n.02.
restaurant_brunch	Unmatched	Cannot find suitable kitchen: kitchen_0 is missing 1 table.n.02.
restaurant_cafeteria	Ready
restaurant_diner	Unmatched	Cannot find suitable kitchen: kitchen_0 is missing 1 table.n.02.
restaurant_hotel	Unmatched	Cannot find suitable kitchen: kitchen_0 is missing 1 table.n.02.
restaurant_urban	Unmatched	Cannot find suitable kitchen: kitchen_0 is missing 1 table.n.02.
school_biology	Unmatched	Cannot find suitable kitchen.
school_chemistry	Unmatched	Cannot find suitable kitchen.
school_computer_lab_and_infirmary	Unmatched	Cannot find suitable kitchen.
school_geography	Unmatched	Cannot find suitable kitchen.
school_gym	Unmatched	Cannot find suitable kitchen.

Full Definition

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

    (:objects
        potato.n.01_1 potato.n.01_2 potato.n.01_3 potato.n.01_4 potato.n.01_5 - potato.n.01
        carton.n.02_1 - carton.n.02
        bok_choy.n.02_1 bok_choy.n.02_2 - bok_choy.n.02
        butternut_squash.n.02_1 butternut_squash.n.02_2 - butternut_squash.n.02
        yam.n.03_1 yam.n.03_2 yam.n.03_3 - yam.n.03
        sack.n.01_1 sack.n.01_2 sack.n.01_3 - sack.n.01
        table.n.02_1 - table.n.02
        floor.n.01_1 - floor.n.01
        agent.n.01_1 - agent.n.01
    )
    
    (:init 
        (inside potato.n.01_1 carton.n.02_1)
        (inside potato.n.01_2 carton.n.02_1)
        (inside potato.n.01_3 carton.n.02_1)
        (inside potato.n.01_4 carton.n.02_1)
        (inside potato.n.01_5 carton.n.02_1)
        (inside bok_choy.n.02_1 carton.n.02_1)
        (inside bok_choy.n.02_2 carton.n.02_1)
        (inside butternut_squash.n.02_1 carton.n.02_1) 
        (inside butternut_squash.n.02_2 carton.n.02_1) 
        (inside yam.n.03_1 carton.n.02_1)
        (inside yam.n.03_2 carton.n.02_1)
        (inside yam.n.03_3 carton.n.02_1)
        (ontop sack.n.01_1 table.n.02_1) 
        (ontop sack.n.01_2 sack.n.01_1)
        (ontop sack.n.01_3 table.n.02_1) 
        (ontop carton.n.02_1 floor.n.01_1) 
        (inroom floor.n.01_1 kitchen) 
        (inroom table.n.02_1 kitchen) 
        (ontop agent.n.01_1 floor.n.01_1)
    )
    
    (:goal 
        (and 
            (forall
                (?potato.n.01 - potato.n.01)
                (exists
                    (?sack.n.01 - sack.n.01)
                    (inside ?potato.n.01 ?sack.n.01)
                )
            )
            (exists
                (?sack.n.01 - sack.n.01)
                (and
                    (forall 
                        (?yam.n.03 - yam.n.03)
                        (inside ?yam.n.03 ?sack.n.01)
                    )
                    (forall
                        (?potato.n.01 - potato.n.01)
                        (not
                            (inside ?potato.n.01 ?sack.n.01)
                        )
                    )
                )
            )
        )
    )
)

Debugging: All Possible Recipes Resulting in Future Synsets

graph TD;