| Name | State | Definition |
|---|---|---|
| backpack.n.01 | Matched | a bag carried by a strap on your back or shoulder |
| blackboard.n.01 | Matched | sheet of slate; for writing with chalk |
| blackboard_eraser.n.01 | Matched | an eraser that removes chalk marks from blackboard |
| carton.n.02 | Matched | a box made of cardboard; opens by flaps on top |
| chair.n.01 | Matched | a seat for one person, with a support for the back |
| computer.n.01 | Matched | a machine for performing calculations automatically |
| floor.n.01 | Matched | the inside lower horizontal surface (as of a room, hallway, tent, or other structure) |
| globe.n.03 | Matched | a sphere on which a map (especially of the earth) is represented |
| mat.n.03 | Matched | sports equipment consisting of a piece of thick padding on the floor for gymnastic sports |
| notebook.n.01 | Matched | a book with blank pages for recording notes or memoranda |
| 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 |
| table.n.02 | Matched | a piece of furniture having a smooth flat top that is usually supported by one or more vertical legs |
| teddy.n.01 | Matched | plaything consisting of a child's toy bear (usually plush and stuffed with soft materials) |
| wall_clock.n.01 | Matched | a clock mounted on a wall |
| Scene | Status | Reason |
|---|---|---|
| Beechwood_0_garden | Unmatched | Cannot find suitable classroom. |
| Beechwood_0_int | Unmatched | Cannot find suitable classroom. |
| Beechwood_1_int | Unmatched | Cannot find suitable classroom. |
| Benevolence_0_int | Unmatched | Cannot find suitable classroom. |
| Benevolence_1_int | Unmatched | Cannot find suitable classroom. |
| Benevolence_2_int | Unmatched | Cannot find suitable classroom. |
| Ihlen_0_int | Unmatched | Cannot find suitable classroom. |
| Ihlen_1_int | Unmatched | Cannot find suitable classroom. |
| Merom_0_garden | Unmatched | Cannot find suitable classroom. |
| Merom_0_int | Unmatched | Cannot find suitable classroom. |
| Merom_1_int | Unmatched | Cannot find suitable classroom. |
| Pomaria_0_garden | Unmatched | Cannot find suitable classroom. |
| Pomaria_0_int | Unmatched | Cannot find suitable classroom. |
| Pomaria_1_int | Unmatched | Cannot find suitable classroom. |
| Pomaria_2_int | Unmatched | Cannot find suitable classroom. |
| Rs_garden | Unmatched | Cannot find suitable classroom. |
| Rs_int | Unmatched | Cannot find suitable classroom. |
| Wainscott_0_garden | Unmatched | Cannot find suitable classroom. |
| Wainscott_0_int | Unmatched | Cannot find suitable classroom. |
| Wainscott_1_int | Unmatched | Cannot find suitable classroom. |
| gates_bedroom | Unmatched | Cannot find suitable classroom. |
| grocery_store_asian | Unmatched | Cannot find suitable classroom. |
| grocery_store_cafe | Unmatched | Cannot find suitable classroom. |
| grocery_store_convenience | Unmatched | Cannot find suitable classroom. |
| grocery_store_half_stocked | Unmatched | Cannot find suitable classroom. |
| hall_arch_wood | Unmatched | Cannot find suitable classroom. |
| hall_conference_large | Unmatched | Cannot find suitable classroom. |
| hall_glass_ceiling | Unmatched | Cannot find suitable classroom. |
| hall_train_station | Unmatched | Cannot find suitable classroom. |
| hotel_gym_spa | Unmatched | Cannot find suitable classroom. |
| hotel_suite_large | Unmatched | Cannot find suitable classroom. |
| hotel_suite_small | Unmatched | Cannot find suitable classroom. |
| house_double_floor_lower | Unmatched | Cannot find suitable classroom. |
| house_double_floor_upper | Unmatched | Cannot find suitable classroom. |
| house_single_floor | Unmatched | Cannot find suitable classroom. |
| office_bike | Unmatched | Cannot find suitable classroom. |
| office_cubicles_left | Unmatched | Cannot find suitable classroom. |
| office_cubicles_right | Unmatched | Cannot find suitable classroom. |
| office_large | Unmatched | Cannot find suitable classroom. |
| office_vendor_machine | Unmatched | Cannot find suitable classroom. |
| restaurant_asian | Unmatched | Cannot find suitable classroom. |
| restaurant_brunch | Unmatched | Cannot find suitable classroom. |
| restaurant_cafeteria | Unmatched | Cannot find suitable classroom. |
| restaurant_diner | Unmatched | Cannot find suitable classroom. |
| restaurant_hotel | Unmatched | Cannot find suitable classroom. |
| restaurant_urban | Unmatched | Cannot find suitable classroom. |
| school_biology | Unmatched | Cannot find suitable classroom. |
| school_chemistry | Unmatched | Cannot find suitable classroom. |
| school_computer_lab_and_infirmary | Unmatched | Cannot find suitable classroom. |
| school_geography | Matched | |
| school_gym | Unmatched | Cannot find suitable classroom. |
(define (problem set_up_a_preschool_classroom-0)
(:domain omnigibson)
(:objects
blackboard_eraser.n.01_1 - blackboard_eraser.n.01
floor.n.01_1 - floor.n.01
teddy.n.01_1 teddy.n.01_2 teddy.n.01_3 teddy.n.01_4 - teddy.n.01
notebook.n.01_1 notebook.n.01_2 - notebook.n.01
pencil.n.01_1 pencil.n.01_2 - pencil.n.01
globe.n.03_1 - globe.n.03
pen.n.01_1 pen.n.01_2 - pen.n.01
computer.n.01_1 - computer.n.01
backpack.n.01_1 backpack.n.01_2 backpack.n.01_3 backpack.n.01_4 - backpack.n.01
carton.n.02_1 carton.n.02_2 - carton.n.02
mat.n.03_1 - mat.n.03
blackboard.n.01_1 - blackboard.n.01
table.n.02_1 table.n.02_10 table.n.02_2 table.n.02_3 table.n.02_4 table.n.02_5 table.n.02_6 table.n.02_7 table.n.02_8 table.n.02_9 - table.n.02
wall_clock.n.01_1 - wall_clock.n.01
chair.n.01_1 chair.n.01_10 chair.n.01_2 chair.n.01_3 chair.n.01_4 chair.n.01_5 chair.n.01_6 chair.n.01_7 chair.n.01_8 chair.n.01_9 - chair.n.01
agent.n.01_1 - agent.n.01
)
(:init
(ontop blackboard_eraser.n.01_1 floor.n.01_1)
(ontop teddy.n.01_1 floor.n.01_1)
(ontop teddy.n.01_2 floor.n.01_1)
(ontop teddy.n.01_3 floor.n.01_1)
(ontop teddy.n.01_4 floor.n.01_1)
(inside notebook.n.01_1 carton.n.02_2)
(inside notebook.n.01_2 carton.n.02_2)
(ontop carton.n.02_2 floor.n.01_1)
(inside pencil.n.01_1 carton.n.02_1)
(inside pencil.n.01_2 carton.n.02_1)
(ontop carton.n.02_1 floor.n.01_1)
(ontop globe.n.03_1 floor.n.01_1)
(inside pen.n.01_1 carton.n.02_1)
(inside pen.n.01_2 carton.n.02_1)
(ontop computer.n.01_1 floor.n.01_1)
(ontop backpack.n.01_1 floor.n.01_1)
(ontop backpack.n.01_2 floor.n.01_1)
(ontop backpack.n.01_3 floor.n.01_1)
(ontop backpack.n.01_4 floor.n.01_1)
(ontop mat.n.03_1 floor.n.01_1)
(inroom blackboard.n.01_1 classroom)
(inroom table.n.02_1 classroom)
(inroom table.n.02_2 classroom)
(inroom table.n.02_3 classroom)
(inroom table.n.02_4 classroom)
(inroom table.n.02_5 classroom)
(inroom table.n.02_6 classroom)
(inroom table.n.02_7 classroom)
(inroom table.n.02_8 classroom)
(inroom table.n.02_9 classroom)
(inroom table.n.02_10 classroom)
(inroom wall_clock.n.01_1 classroom)
(inroom chair.n.01_1 classroom)
(inroom chair.n.01_2 classroom)
(inroom chair.n.01_3 classroom)
(inroom chair.n.01_4 classroom)
(inroom chair.n.01_5 classroom)
(inroom chair.n.01_6 classroom)
(inroom chair.n.01_7 classroom)
(inroom chair.n.01_8 classroom)
(inroom chair.n.01_9 classroom)
(inroom chair.n.01_10 classroom)
(inroom floor.n.01_1 classroom)
(ontop agent.n.01_1 floor.n.01_1)
)
(:goal
(and
(forpairs
(?notebook.n.01 - notebook.n.01)
(?table.n.02 - table.n.02)
(ontop ?notebook.n.01 ?table.n.02)
)
(touching ?blackboard_eraser.n.01_1 ?blackboard.n.01_1)
(forpairs
(?pencil.n.01 - pencil.n.01)
(?table.n.02 - table.n.02)
(ontop ?pencil.n.01 ?table.n.02)
)
(forpairs
(?pen.n.01 - pen.n.01)
(?table.n.02 - table.n.02)
(ontop ?pen.n.01 ?table.n.02_4)
)
(exists
(?table.n.02 - table.n.02)
(ontop ?globe.n.03_1 ?table.n.02)
)
(forall
(?backpack.n.01 - backpack.n.01)
(and
(ontop ?backpack.n.01 ?floor.n.01_1)
(or
(nextto ?backpack.n.01 ?backpack.n.01_1)
(nextto ?backpack.n.01 ?backpack.n.01_2)
(nextto ?backpack.n.01 ?backpack.n.01_3)
(nextto ?backpack.n.01 ?backpack.n.01_4)
)
)
)
(exists
(?table.n.02 - table.n.02)
(ontop ?computer.n.01_1 ?table.n.02)
)
(forall
(?teddy.n.01 - teddy.n.01)
(ontop ?teddy.n.01 ?mat.n.03_1)
)
(ontop ?mat.n.03_1 ?floor.n.01_1)
)
)
)