unloading_the_car-0

Required Synsets

Name	State	Definition
briefcase.n.01	Matched	a case with a handle; for carrying papers or files or books
car.n.01	Matched	a motor vehicle with four wheels; usually propelled by an internal combustion engine
floor.n.01	Matched	the inside lower horizontal surface (as of a room, hallway, tent, or other structure)
satchel.n.01	Matched	luggage consisting of a small case with a flat bottom and (usually) a shoulder strap
sofa.n.01	Matched	an upholstered seat for more than one person

Transition Paths By Task Scope Objects

graph TD;

Scene Matching Status

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

Full Definition

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

    (:objects
        car.n.01_1 - car.n.01
        floor.n.01_1 - floor.n.01
        briefcase.n.01_1 - briefcase.n.01
        satchel.n.01_1 - satchel.n.01
        sofa.n.01_1 - sofa.n.01
        agent.n.01_1 - agent.n.01
    )
    
    (:init 
        (inroom car.n.01_1 garage)
        (inside briefcase.n.01_1 car.n.01_1) 
        (inside satchel.n.01_1 car.n.01_1) 
        (inroom sofa.n.01_1 living_room)
        (inroom floor.n.01_1 garage) 
        (ontop agent.n.01_1 floor.n.01_1)
    )
    
    (:goal 
        (and 
            (forall 
                (?briefcase.n.01 - briefcase.n.01)
                (nextto ?briefcase.n.01 ?sofa.n.01_1)
            )
            (forall
                (?satchel.n.01 - satchel.n.01)
                (nextto ?satchel.n.01 ?sofa.n.01_1)
            )
        )
    )
)

Debugging: All Possible Recipes Resulting in Future Synsets

graph TD;