clean_your_house_after_a_wild_party-0


Required Synsets

Name State Definition
adhesive_material.n.01 Substance a substance that unites or bonds surfaces together
beer_bottle.n.01 Matched a bottle that holds beer
bleaching_agent.n.01 Substance an agent that makes things white or colorless
bleaching_agent__atomizer.n.01 Matched
broom.n.01 Matched a cleaning implement for sweeping; bundle of straws or twigs attached to a long handle
cabinet.n.01 Matched a piece of furniture resembling a cupboard with doors and shelves and drawers; for storage or display
coffee_table.n.01 Matched low table where magazines can be placed and coffee or cocktails are served
countertop.n.01 Matched the top side of a counter
cup.n.01 Matched a small open container usually used for drinking; usually has a handle
dishwasher.n.01 Matched a machine for washing dishes
dust.n.01 Substance fine powdery material such as dry earth or pollen that can be blown about in the air
floor.n.01 Matched the inside lower horizontal surface (as of a room, hallway, tent, or other structure)
hand_towel.n.01 Matched a small towel used to dry the hands or face
liquid_soap.n.01 Substance soap in liquid form
liquid_soap__bottle.n.01 Matched
plate.n.04 Matched dish on which food is served or from which food is eaten
recycling_bin.n.01 Matched a bin for depositing things to be recycled
sink.n.01 Matched plumbing fixture consisting of a water basin fixed to a wall or floor and having a drainpipe
stain.n.01 Substance a soiled or discolored appearance
swab.n.02 Matched cleaning implement consisting of absorbent material fastened to a handle; for cleaning floors
toilet.n.02 Matched a plumbing fixture for defecation and urination
vacuum.n.04 Matched an electrical home appliance that cleans by suction
water.n.06 Substance a liquid necessary for the life of most animals and plants

Transition Paths By Task Scope Objects

graph TD;

Scene Matching Status

Scene Status Reason
Beechwood_0_garden Unmatched Cannot find suitable bathroom: bathroom_0 is missing 1 sink.n.01, 1 toilet.n.02.Cannot find suitable kitchen: kitchen_0 is missing 1 sink.n.01, 1 cabinet.n.01, 1 dishwasher.n.01.Cannot find suitable living_room: living_room_0 is missing 1 coffee_table.n.01; living_room_1 is missing 1 coffee_table.n.01.
Beechwood_0_int Unmatched Cannot find suitable bathroom: bathroom_0 is missing 1 sink.n.01, 1 toilet.n.02.Cannot find suitable kitchen: kitchen_0 is missing 1 sink.n.01, 1 cabinet.n.01, 1 dishwasher.n.01.Cannot find suitable living_room: living_room_0 is missing 1 coffee_table.n.01; living_room_1 is missing 1 coffee_table.n.01.
Beechwood_1_int Unmatched Cannot find suitable bathroom: bathroom_1 is missing 1 sink.n.01, 1 toilet.n.02; bathroom_0 is missing 1 sink.n.01, 1 toilet.n.02.Cannot find suitable kitchen.Cannot find suitable living_room.
Benevolence_0_int Unmatched Cannot find suitable bathroom: bathroom_0 is missing 1 sink.n.01, 1 toilet.n.02.Cannot find suitable kitchen.Cannot find suitable living_room.
Benevolence_1_int Unmatched Cannot find suitable bathroom.Cannot find suitable kitchen: kitchen_0 is missing 1 countertop.n.01, 1 sink.n.01, 1 cabinet.n.01, 1 dishwasher.n.01.Cannot find suitable living_room: living_room_0 is missing 1 coffee_table.n.01.
Benevolence_2_int Unmatched Cannot find suitable bathroom: bathroom_0 is missing 1 sink.n.01, 1 toilet.n.02; bathroom_1 is missing 1 sink.n.01, 1 toilet.n.02.Cannot find suitable kitchen.Cannot find suitable living_room.
Ihlen_0_int Unmatched Cannot find suitable bathroom: bathroom_0 is missing 1 sink.n.01, 1 toilet.n.02.Cannot find suitable kitchen.Cannot find suitable living_room: living_room_0 is missing 1 coffee_table.n.01.
Ihlen_1_int Unmatched Cannot find suitable bathroom: bathroom_0 is missing 1 sink.n.01, 1 toilet.n.02.Cannot find suitable kitchen: kitchen_0 is missing 1 countertop.n.01, 1 sink.n.01, 1 cabinet.n.01, 1 dishwasher.n.01.Cannot find suitable living_room: living_room_0 is missing 1 coffee_table.n.01.
Merom_0_garden Unmatched Cannot find suitable bathroom: bathroom_0 is missing 1 sink.n.01, 1 toilet.n.02.Cannot find suitable kitchen.Cannot find suitable living_room: living_room_0 is missing 1 coffee_table.n.01.
Merom_0_int Unmatched Cannot find suitable bathroom: bathroom_0 is missing 1 sink.n.01, 1 toilet.n.02.Cannot find suitable kitchen.Cannot find suitable living_room: living_room_0 is missing 1 coffee_table.n.01.
Merom_1_int Unmatched Cannot find suitable bathroom: bathroom_0 is missing 1 sink.n.01, 1 toilet.n.02.Cannot find suitable kitchen: kitchen_0 is missing 1 countertop.n.01, 1 sink.n.01, 1 cabinet.n.01, 1 dishwasher.n.01.Cannot find suitable living_room: living_room_0 is missing 1 coffee_table.n.01.
Pomaria_0_garden Unmatched Cannot find suitable bathroom: bathroom_0 is missing 1 sink.n.01, 1 toilet.n.02.Cannot find suitable kitchen.Cannot find suitable living_room.
Pomaria_0_int Unmatched Cannot find suitable bathroom: bathroom_0 is missing 1 sink.n.01, 1 toilet.n.02.Cannot find suitable kitchen.Cannot find suitable living_room.
Pomaria_1_int Unmatched Cannot find suitable bathroom: bathroom_0 is missing 1 sink.n.01, 1 toilet.n.02.Cannot find suitable kitchen: kitchen_0 is missing 1 countertop.n.01, 1 sink.n.01, 1 cabinet.n.01, 1 dishwasher.n.01.Cannot find suitable living_room: living_room_0 is missing 1 coffee_table.n.01.
Pomaria_2_int Unmatched Cannot find suitable bathroom: bathroom_1 is missing 1 sink.n.01, 1 toilet.n.02; bathroom_0 is missing 1 sink.n.01, 1 toilet.n.02.Cannot find suitable kitchen.Cannot find suitable living_room.
Rs_garden Unmatched Cannot find suitable bathroom: bathroom_0 is missing 1 sink.n.01, 1 toilet.n.02.Cannot find suitable kitchen: kitchen_0 is missing 1 countertop.n.01, 1 sink.n.01, 1 cabinet.n.01, 1 dishwasher.n.01.
Rs_int Unmatched Cannot find suitable bathroom: bathroom_0 is missing 1 sink.n.01, 1 toilet.n.02.Cannot find suitable kitchen: kitchen_0 is missing 1 countertop.n.01, 1 sink.n.01, 1 cabinet.n.01, 1 dishwasher.n.01.Cannot find suitable living_room: living_room_0 is missing 1 coffee_table.n.01.
Wainscott_0_garden Unmatched Cannot find suitable bathroom: bathroom_0 is missing 1 sink.n.01, 1 toilet.n.02; bathroom_1 is missing 1 sink.n.01, 1 toilet.n.02.Cannot find suitable kitchen: kitchen_0 is missing 1 countertop.n.01, 1 sink.n.01, 1 cabinet.n.01, 1 dishwasher.n.01.Cannot find suitable living_room: living_room_0 is missing 1 coffee_table.n.01; living_room_1 is missing 1 coffee_table.n.01; living_room_2 is missing 1 coffee_table.n.01.
Wainscott_0_int Unmatched Cannot find suitable bathroom: bathroom_0 is missing 1 sink.n.01, 1 toilet.n.02; bathroom_1 is missing 1 sink.n.01, 1 toilet.n.02.Cannot find suitable kitchen: kitchen_0 is missing 1 countertop.n.01, 1 sink.n.01, 1 cabinet.n.01, 1 dishwasher.n.01.Cannot find suitable living_room: living_room_0 is missing 1 coffee_table.n.01; living_room_1 is missing 1 coffee_table.n.01; living_room_2 is missing 1 coffee_table.n.01.
Wainscott_1_int Unmatched Cannot find suitable bathroom: bathroom_1 is missing 1 sink.n.01, 1 toilet.n.02; bathroom_0 is missing 1 sink.n.01, 1 toilet.n.02.Cannot find suitable kitchen.Cannot find suitable living_room.
gates_bedroom Unmatched Cannot find suitable bathroom.Cannot find suitable kitchen.Cannot find suitable living_room.
grocery_store_asian Unmatched Cannot find suitable kitchen.Cannot find suitable living_room.
grocery_store_cafe Unmatched Cannot find suitable kitchen.Cannot find suitable living_room.
grocery_store_convenience Unmatched Cannot find suitable kitchen.Cannot find suitable living_room.
grocery_store_half_stocked Unmatched Cannot find suitable kitchen.Cannot find suitable living_room.
hall_arch_wood Unmatched Cannot find suitable kitchen.Cannot find suitable living_room.
hall_conference_large Unmatched Cannot find suitable kitchen.Cannot find suitable living_room.
hall_glass_ceiling Unmatched Cannot find suitable kitchen.Cannot find suitable living_room.
hall_train_station Unmatched Cannot find suitable kitchen.Cannot find suitable living_room.
hotel_gym_spa Unmatched Cannot find suitable bathroom: bathroom_1 is missing 1 sink.n.01, 1 toilet.n.02; bathroom_0 is missing 1 toilet.n.02.Cannot find suitable kitchen.Cannot find suitable living_room.
hotel_suite_large Unmatched Cannot find suitable bathroom: bathroom_0 is missing 1 toilet.n.02.Cannot find suitable kitchen.Cannot find suitable living_room.
hotel_suite_small Unmatched Cannot find suitable bathroom: bathroom_0 is missing 1 toilet.n.02.Cannot find suitable kitchen.Cannot find suitable living_room.
house_double_floor_lower Unmatched Cannot find suitable kitchen: kitchen_0 is missing 1 dishwasher.n.01.
house_double_floor_upper Unmatched Cannot find suitable kitchen.Cannot find suitable living_room.
house_single_floor Unmatched Cannot find suitable bathroom: bathroom_1 is missing 1 toilet.n.02; bathroom_0 is missing 1 toilet.n.02.Cannot find suitable kitchen: kitchen_0 is missing 1 dishwasher.n.01.
office_bike Unmatched Cannot find suitable bathroom.Cannot find suitable kitchen.Cannot find suitable living_room.
office_cubicles_left Unmatched Cannot find suitable kitchen.Cannot find suitable living_room.
office_cubicles_right Unmatched Cannot find suitable kitchen.Cannot find suitable living_room.
office_large Unmatched Cannot find suitable kitchen.Cannot find suitable living_room.
office_vendor_machine Unmatched Cannot find suitable kitchen.Cannot find suitable living_room.
restaurant_asian Unmatched Cannot find suitable kitchen: kitchen_0 is missing 1 cabinet.n.01, 1 dishwasher.n.01.Cannot find suitable living_room.
restaurant_brunch Unmatched Cannot find suitable living_room.
restaurant_cafeteria Unmatched Cannot find suitable kitchen: kitchen_0 is missing 1 sink.n.01, 1 cabinet.n.01, 1 dishwasher.n.01.Cannot find suitable living_room.
restaurant_diner Unmatched Cannot find suitable kitchen: kitchen_0 is missing 1 cabinet.n.01, 1 dishwasher.n.01.Cannot find suitable living_room.
restaurant_hotel Unmatched Cannot find suitable living_room.
restaurant_urban Unmatched Cannot find suitable living_room.
school_biology Unmatched Cannot find suitable kitchen.Cannot find suitable living_room.
school_chemistry Unmatched Cannot find suitable kitchen.Cannot find suitable living_room.
school_computer_lab_and_infirmary Unmatched Cannot find suitable kitchen.Cannot find suitable living_room.
school_geography Unmatched Cannot find suitable kitchen.Cannot find suitable living_room.
school_gym Unmatched Cannot find suitable kitchen.Cannot find suitable living_room.

Full Definition

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

    (:objects
        plate.n.04_1 plate.n.04_2 plate.n.04_3 - plate.n.04
        beer_bottle.n.01_1 beer_bottle.n.01_2 - beer_bottle.n.01
        countertop.n.01_1 - countertop.n.01
        floor.n.01_1 floor.n.01_2 floor.n.01_3 - floor.n.01
        coffee_table.n.01_1 - coffee_table.n.01
        cup.n.01_1 cup.n.01_2 cup.n.01_3 - cup.n.01
        sink.n.01_1 sink.n.01_2 - sink.n.01
        recycling_bin.n.01_1 recycling_bin.n.01_2 - recycling_bin.n.01
        broom.n.01_1 - broom.n.01
        vacuum.n.04_1 - vacuum.n.04
        swab.n.02_1 - swab.n.02
        cabinet.n.01_1 - cabinet.n.01
        hand_towel.n.01_1 hand_towel.n.01_2 - hand_towel.n.01
        liquid_soap.n.01_1 - liquid_soap.n.01
        liquid_soap__bottle.n.01_1 - liquid_soap__bottle.n.01
        bleaching_agent.n.01_1 - bleaching_agent.n.01
        bleaching_agent__atomizer.n.01_1 - bleaching_agent__atomizer.n.01
        water.n.06_1 - water.n.06
        adhesive_material.n.01_1 - adhesive_material.n.01
        dust.n.01_1 - dust.n.01
        stain.n.01_1 - stain.n.01
        toilet.n.02_1 - toilet.n.02
        dishwasher.n.01_1 - dishwasher.n.01
        agent.n.01_1 - agent.n.01
    )
    
    (:init 
        (ontop plate.n.04_1 countertop.n.01_1) 
        (ontop plate.n.04_2 floor.n.01_2) 
        (ontop plate.n.04_3 coffee_table.n.01_1) 
        (ontop cup.n.01_1 coffee_table.n.01_1) 
        (ontop cup.n.01_2 sink.n.01_1)
        (ontop cup.n.01_3 floor.n.01_1) 
        (ontop recycling_bin.n.01_1 floor.n.01_2) 
        (ontop recycling_bin.n.01_2 floor.n.01_1) 
        (ontop beer_bottle.n.01_1 floor.n.01_3)
        (ontop beer_bottle.n.01_2 floor.n.01_3)
        (open recycling_bin.n.01_1) 
        (open recycling_bin.n.01_2) 
        (ontop broom.n.01_1 floor.n.01_2) 
        (ontop vacuum.n.04_1 floor.n.01_3) 
        (inside swab.n.02_1 cabinet.n.01_1) 
        (inside liquid_soap__bottle.n.01_1 cabinet.n.01_1) 
        (inside bleaching_agent__atomizer.n.01_1 cabinet.n.01_1) 
        (ontop hand_towel.n.01_1 floor.n.01_1) 
        (ontop hand_towel.n.01_2 countertop.n.01_1) 
        (filled liquid_soap__bottle.n.01_1 liquid_soap.n.01_1) 
        (insource bleaching_agent__atomizer.n.01_1 bleaching_agent.n.01_1) 
        (covered floor.n.01_1 water.n.06_1) 
        (covered floor.n.01_2 adhesive_material.n.01_1) 
        (covered floor.n.01_3 dust.n.01_1) 
        (covered countertop.n.01_1 stain.n.01_1) 
        (covered coffee_table.n.01_1 dust.n.01_1) 
        (covered toilet.n.02_1 stain.n.01_1) 
        (insource sink.n.01_1 water.n.06_1) 
        (insource sink.n.01_2 water.n.06_1) 
        (inroom floor.n.01_1 bathroom) 
        (inroom floor.n.01_2 kitchen) 
        (inroom floor.n.01_3 living_room) 
        (inroom countertop.n.01_1 kitchen) 
        (inroom sink.n.01_1 bathroom) 
        (inroom sink.n.01_2 kitchen) 
        (inroom cabinet.n.01_1 kitchen) 
        (inroom dishwasher.n.01_1 kitchen) 
        (inroom coffee_table.n.01_1 living_room) 
        (inroom toilet.n.02_1 bathroom) 
        (ontop agent.n.01_1 floor.n.01_2)
    )
    
    (:goal 
        (and 
            (forall 
                (?plate.n.04 - plate.n.04) 
                (inside ?plate.n.04 ?dishwasher.n.01_1)
            ) 
            (forall 
                (?cup.n.01 - cup.n.01) 
                (inside ?cup.n.01 ?dishwasher.n.01_1)
            ) 
            (not 
                (covered ?floor.n.01_1 ?water.n.06_1)
            ) 
            (not 
                (covered ?toilet.n.02_1 ?stain.n.01_1)
            ) 
            (not 
                (covered ?floor.n.01_3 ?dust.n.01_1)
            ) 
            (not 
                (covered ?coffee_table.n.01_1 ?dust.n.01_1)
            ) 
            (not 
                (covered ?floor.n.01_2 ?adhesive_material.n.01_1)
            ) 
            (not 
                (covered ?countertop.n.01_1 ?stain.n.01_1)
            ) 
            (forall 
                (?beer_bottle.n.01 - beer_bottle.n.01)
                (exists 
                    (?recycling_bin.n.01 - recycling_bin.n.01)
                    (inside ?beer_bottle.n.01 ?recycling_bin.n.01)
                )
            )
        )
    )
)

  

Debugging: All Possible Recipes Resulting in Future Synsets

graph TD;