halve_an_egg-0

Required Synsets

Name	State	Definition
carving_knife.n.01	Matched	a large knife used to carve cooked meat
chopping_board.n.01	Matched	a wooden board where meats or vegetables can be cut
countertop.n.01	Matched	the top side of a counter
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)
half__hard-boiled_egg.n.01	Matched
hard-boiled_egg.n.01	Matched	an egg boiled gently until both the white and the yolk solidify
plate.n.04	Matched	dish on which food is served or from which food is eaten
sink.n.01	Matched	plumbing fixture consisting of a water basin fixed to a wall or floor and having a drainpipe

Transition Paths By Task Scope Objects

graph TD; initial-hard-boiled_eggn01(initial: hard-boiled_egg.n.01); recipe-hard-boiled_eggn01-slicing(recipe: hard-boiled_egg.n.01-slicing); future-half__hard-boiled_eggn01(future: half__hard-boiled_egg.n.01); initial-hard-boiled_eggn01 --> recipe-hard-boiled_eggn01-slicing; recipe-hard-boiled_eggn01-slicing --> future-half__hard-boiled_eggn01;

Scene Matching Status

Scene	Status	Reason
Beechwood_0_garden	Matched
Beechwood_0_int	Matched
Beechwood_1_int	Unmatched	Cannot find suitable kitchen.
Benevolence_0_int	Unmatched	Cannot find suitable kitchen.
Benevolence_1_int	Matched
Benevolence_2_int	Unmatched	Cannot find suitable kitchen.
Ihlen_0_int	Unmatched	Cannot find suitable kitchen.
Ihlen_1_int	Matched
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 countertop.n.01.
Pomaria_0_garden	Unmatched	Cannot find suitable kitchen.
Pomaria_0_int	Unmatched	Cannot find suitable kitchen.
Pomaria_1_int	Matched
Pomaria_2_int	Unmatched	Cannot find suitable kitchen.
Rs_garden	Matched
Rs_int	Matched
Wainscott_0_garden	Matched
Wainscott_0_int	Matched
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	Matched
house_double_floor_upper	Unmatched	Cannot find suitable kitchen.
house_single_floor	Matched
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	Matched
restaurant_brunch	Matched
restaurant_cafeteria	Unmatched	Cannot find suitable kitchen: kitchen_0 is missing 1 sink.n.01.
restaurant_diner	Matched
restaurant_hotel	Matched
restaurant_urban	Matched
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 halve_an_egg-0)
    (:domain behavior-1k)

    (:objects
        carving_knife.n.01_1 - carving_knife.n.01
        chopping_board.n.01_1 - chopping_board.n.01
        countertop.n.01_1 - countertop.n.01
        electric_refrigerator.n.01_1 - electric_refrigerator.n.01
        sink.n.01_1 - sink.n.01
        plate.n.04_1 - plate.n.04
        hard-boiled_egg.n.01_1 - hard-boiled_egg.n.01
        half__hard-boiled_egg.n.01_1 half__hard-boiled_egg.n.01_2 - half__hard-boiled_egg.n.01
        floor.n.01_1 - floor.n.01
        agent.n.01_1 - agent.n.01
    )
    
    (:init 
        (ontop chopping_board.n.01_1 countertop.n.01_1) 
        (ontop plate.n.04_1 countertop.n.01_1) 
        (ontop carving_knife.n.01_1 chopping_board.n.01_1) 
        (inside hard-boiled_egg.n.01_1 electric_refrigerator.n.01_1) 
        (cooked hard-boiled_egg.n.01_1)
        (inroom electric_refrigerator.n.01_1 kitchen) 
        (inroom countertop.n.01_1 kitchen) 
        (inroom sink.n.01_1 kitchen) 
        (inroom floor.n.01_1 kitchen) 
        (future half__hard-boiled_egg.n.01_1)
        (future half__hard-boiled_egg.n.01_2)
        (ontop agent.n.01_1 floor.n.01_1)
    )
    
    (:goal 
        (and 
            (real ?half__hard-boiled_egg.n.01_1)
            (real ?half__hard-boiled_egg.n.01_2)
            (ontop ?half__hard-boiled_egg.n.01_1 ?plate.n.04_1)
            (ontop ?half__hard-boiled_egg.n.01_2 ?plate.n.04_1)
            (inside ?carving_knife.n.01_1 ?sink.n.01_1)
        )
    )
)

Debugging: All Possible Recipes Resulting in Future Synsets

graph TD; recipe-hard-boiled_eggn01-slicing(recipe: hard-boiled_egg.n.01-slicing); initial-hard-boiled_eggn01(initial: hard-boiled_egg.n.01); future-half__hard-boiled_eggn01(future: half__hard-boiled_egg.n.01); recipe-hard-boiled_eggn01-slicing --> future-half__hard-boiled_eggn01; initial-hard-boiled_eggn01 --> recipe-hard-boiled_eggn01-slicing;