laying_out_a_feast-0

Required Synsets

Name	State	Definition
bowl.n.01	Matched	a round vessel that is open at the top; used chiefly for holding food or liquids
breakfast_table.n.01	Matched	a table where breakfast is eaten
cabinet.n.01	Matched	a piece of furniture resembling a cupboard with doors and shelves and drawers; for storage or display
electric_refrigerator.n.01	Matched	a refrigerator in which the coolant is pumped around by an electric motor
floor.n.01	Matched	the inside lower horizontal surface (as of a room, hallway, tent, or other structure)
lamb.n.05	Matched	the flesh of a young domestic sheep eaten as food
lettuce.n.03	Matched	leaves of any of various plants of Lactuca sativa
oven.n.01	Matched	kitchen appliance used for baking or roasting
platter.n.01	Matched	a large shallow dish used for serving food
potato.n.01	Matched	an edible tuber native to South America; a staple food of Ireland
tiramisu.n.01	Matched	an Italian dessert consisting of layers of sponge cake soaked with coffee and brandy or liqueur layered with mascarpone cheese and topped with grated chocolate
tupperware.n.01	Matched

Transition Paths By Task Scope Objects

graph TD;

Scene Matching Status

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

Full Definition

(define (problem laying_out_a_feast-0)
    (:domain behavior-1k)

    (:objects
        bowl.n.01_1 bowl.n.01_2 - bowl.n.01
        breakfast_table.n.01_1 - breakfast_table.n.01
        lettuce.n.03_1 - lettuce.n.03
        lamb.n.05_1 - lamb.n.05
        potato.n.01_1 potato.n.01_2 - potato.n.01
        tiramisu.n.01_1 - tiramisu.n.01
        platter.n.01_1 platter.n.01_2 - platter.n.01
        tupperware.n.01_1 tupperware.n.01_2 - tupperware.n.01
        cabinet.n.01_1 - cabinet.n.01
        electric_refrigerator.n.01_1 - electric_refrigerator.n.01
        floor.n.01_1 floor.n.01_2 - floor.n.01
        oven.n.01_1 - oven.n.01
        agent.n.01_1 - agent.n.01
    )
    
    (:init 
        (inside platter.n.01_1 cabinet.n.01_1)
        (ontop platter.n.01_2 platter.n.01_1)
        (cooked lamb.n.05_1)
        (not
            (hot lamb.n.05_1)
        )
        (cooked potato.n.01_1)
        (not 
            (hot potato.n.01_1)
        )
        (cooked potato.n.01_2)
        (not 
            (hot potato.n.01_2)
        )
        (inside lettuce.n.03_1 bowl.n.01_1)
        (inside bowl.n.01_1 electric_refrigerator.n.01_1)
        (inside lamb.n.05_1 tupperware.n.01_1)
        (inside tupperware.n.01_1 electric_refrigerator.n.01_1)
        (inside potato.n.01_1 tupperware.n.01_2)
        (inside potato.n.01_2 tupperware.n.01_2)
        (inside tupperware.n.01_2 electric_refrigerator.n.01_1)
        (inside tiramisu.n.01_1 bowl.n.01_2) 
        (inside bowl.n.01_2 electric_refrigerator.n.01_1)
        (inroom breakfast_table.n.01_1 dining_room) 
        (inroom cabinet.n.01_1 kitchen)
        (inroom electric_refrigerator.n.01_1 kitchen)
        (inroom floor.n.01_2 kitchen)
        (inroom floor.n.01_1 dining_room) 
        (inroom oven.n.01_1 kitchen)
        (ontop agent.n.01_1 floor.n.01_1)
    )
    
    (:goal 
        (and 
            (exists 
                (?platter.n.01 - platter.n.01)
                (ontop ?lamb.n.05_1 ?platter.n.01)
            )
            (exists 
                (?platter.n.01 - platter.n.01)
                (ontop ?potato.n.01_1 ?platter.n.01)
            )
            (hot ?lamb.n.05_1)
            (hot ?potato.n.01_1)
            (forall 
                (?platter.n.01 - platter.n.01)
                (ontop ?platter.n.01 ?breakfast_table.n.01_1)
            )
        )
    )
)

Debugging: All Possible Recipes Resulting in Future Synsets

graph TD;