buying_office_supplies-0

Required Synsets

Name	State	Definition
cash_register.n.01	Matched	a cashbox with an adding machine to register transactions; used in shops to add up the bill
checkout.n.03	Matched	a counter in a supermarket where you pay for your purchases
credit_card.n.01	Matched	a card (usually plastic) that assures a seller that the person using it has a satisfactory credit rating and that the issuer will see to it that the seller receives payment for the merchandise delivered
eraser.n.01	Matched	an implement used to erase something
floor.n.01	Matched	the inside lower horizontal surface (as of a room, hallway, tent, or other structure)
grocery_shelf.n.01	Matched
pen.n.01	Matched	a writing implement with a point from which ink flows
pencil.n.01	Matched	a thin cylindrical pointed writing implement; a rod of marking substance encased in wood
tape.n.01	Matched	a long thin piece of cloth or paper as used for binding or fastening

Transition Paths By Task Scope Objects

graph TD;

Scene Matching Status

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

Full Definition

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

    (:objects
        checkout.n.03_1 - checkout.n.03
        grocery_shelf.n.01_1 - grocery_shelf.n.01
        cash_register.n.01_1 - cash_register.n.01
        pen.n.01_1 - pen.n.01
        pencil.n.01_1 - pencil.n.01
        tape.n.01_1 - tape.n.01
        eraser.n.01_1 - eraser.n.01
        credit_card.n.01_1 - credit_card.n.01
        floor.n.01_1 - floor.n.01
        agent.n.01_1 - agent.n.01
    )
    
    (:init 
        (ontop cash_register.n.01_1 checkout.n.03_1) 
        (inside pen.n.01_1 grocery_shelf.n.01_1) 
        (inside pencil.n.01_1 grocery_shelf.n.01_1) 
        (inside tape.n.01_1 grocery_shelf.n.01_1) 
        (inside eraser.n.01_1 grocery_shelf.n.01_1) 
        (ontop credit_card.n.01_1 checkout.n.03_1) 
        (inroom grocery_shelf.n.01_1 grocery_store) 
        (inroom floor.n.01_1 grocery_store) 
        (inroom checkout.n.03_1 grocery_store)
        (ontop agent.n.01_1 floor.n.01_1)
    )
    
    (:goal 
        (and 
            (forall 
                (?pen.n.01 - pen.n.01) 
                (ontop ?pen.n.01 ?checkout.n.03_1)
            ) 
            (forall 
                (?pencil.n.01 - pencil.n.01) 
                (ontop ?pencil.n.01 ?checkout.n.03_1)
            ) 
            (forall 
                (?tape.n.01 - tape.n.01) 
                (ontop ?tape.n.01 ?checkout.n.03_1)
            ) 
            (forall 
                (?eraser.n.01 - eraser.n.01) 
                (ontop ?eraser.n.01 ?checkout.n.03_1)
            ) 
            (forall 
                (?credit_card.n.01 - credit_card.n.01) 
                (ontop ?credit_card.n.01 ?checkout.n.03_1)
            )
        )
    )
)

Debugging: All Possible Recipes Resulting in Future Synsets

graph TD;