correctness edits

StanfordVL · Feb 26, 2024 · d81daa9 · d81daa9
1 parent 2c7103e
commit d81daa9
Show file tree

Hide file tree

Showing 8 changed files with 6 additions and 18 deletions.
diff --git a/bddl/activity_definitions/set_up_a_hot_dog_bar/problem0.bddl b/bddl/activity_definitions/set_up_a_hot_dog_bar/problem0.bddl
@@ -84,7 +84,6 @@
                 (?plate.n.04 - plate.n.04)
                 (ontop ?tongs.n.01 ?plate.n.04)
             )
-            (overlaid ?tablecloth.n.01_1 ?coffee_table.n.01_1) 
             (ontop ?bottle__of__catsup.n.01_1 ?coffee_table.n.01_1)
             (ontop ?bottle__of__mustard.n.01_1 ?coffee_table.n.01_1)
             (filled ?bowl.n.01_1 ?diced__vidalia_onion.n.01_1)

diff --git a/bddl/activity_definitions/setting_the_table/problem0.bddl b/bddl/activity_definitions/setting_the_table/problem0.bddl
@@ -38,7 +38,7 @@
             (forpairs 
                 (?plate.n.04 - plate.n.04) 
                 (?hamburger.n.01 - hamburger.n.01) 
-                (ontop ?hamburger.n.01 ?plate.n.04_1)
+                (ontop ?hamburger.n.01 ?plate.n.04)
             ) 
             (forpairs
                 (?plate.n.04 - plate.n.04)

diff --git a/bddl/activity_definitions/setting_up_for_an_event/problem0.bddl b/bddl/activity_definitions/setting_up_for_an_event/problem0.bddl
@@ -6,7 +6,6 @@
         floor.n.01_1 - floor.n.01
         beer_bottle.n.01_1 beer_bottle.n.01_2 beer_bottle.n.01_3 beer_bottle.n.01_4 - beer_bottle.n.01
         gift_box.n.01_1 gift_box.n.01_2 gift_box.n.01_3 gift_box.n.01_4 - gift_box.n.01
-        tablecloth.n.01_1 - tablecloth.n.01
         coffee_table.n.01_1 - coffee_table.n.01
         agent.n.01_1 - agent.n.01
     )
@@ -24,15 +23,13 @@
         (ontop gift_box.n.01_2 floor.n.01_1)
         (ontop gift_box.n.01_3 floor.n.01_1)
         (ontop gift_box.n.01_4 floor.n.01_1)
-        (ontop tablecloth.n.01_1 floor.n.01_1) 
         (inroom coffee_table.n.01_1 garden)
         (inroom floor.n.01_1 garden) 
         (ontop agent.n.01_1 floor.n.01_1)
     )
 
     (:goal 
         (and 
-            (overlaid ?tablecloth.n.01_1 ?coffee_table.n.01_1)
             (forpairs 
                 (?hamburger.n.01 - hamburger.n.01)
                 (?beer_bottle.n.01 - beer_bottle.n.01)

diff --git a/bddl/activity_definitions/setting_up_toy_train_track/problem0.bddl b/bddl/activity_definitions/setting_up_toy_train_track/problem0.bddl
@@ -21,7 +21,6 @@
         (and 
             (ontop ?train_set.n.01_1 ?floor.n.01_1) 
             (ontop ?carton.n.02_1 ?floor.n.01_1) 
-            (nextto ?carton.n.02_1 ?train_set.n.01_1)
         )
     )
 )
diff --git a/bddl/activity_definitions/sorting_clothes/problem0.bddl b/bddl/activity_definitions/sorting_clothes/problem0.bddl
@@ -28,13 +28,6 @@
 
     (:goal 
         (and 
-            (exists 
-                (?jean.n.01 - jean.n.01) 
-                (and
-                    (inside ?jean.n.01 ?shelf.n.01_2)
-                    (folded ?jean.n.01)
-                )
-            ) 
             (forn
                 (2)
                 (?jean.n.01 - jean.n.01)

diff --git a/bddl/activity_definitions/sorting_vegetables/problem0.bddl b/bddl/activity_definitions/sorting_vegetables/problem0.bddl
@@ -29,7 +29,7 @@
         (inside sweet_corn.n.02_1 sack.n.01_2)
         (inside sweet_corn.n.02_2 sack.n.01_2)
         (inside sweet_corn.n.02_3 sack.n.01_2)
-        (inside artichoke.n.02_1 sweet_corn.n.02_1) 
+        (inside artichoke.n.02_1 sack.n.01_2) 
         (inside artichoke.n.02_2 sack.n.01_2)
         (inside leek.n.02_1 sack.n.01_1)
         (inside leek.n.02_2 sack.n.01_1)

diff --git a/bddl/activity_definitions/stash_snacks_in_your_room/problem0.bddl b/bddl/activity_definitions/stash_snacks_in_your_room/problem0.bddl
@@ -56,7 +56,7 @@
             ) 
             (forall 
                 (?granola_bar.n.01 - granola_bar.n.01) 
-                (ontop ?granola_bar.n.01 ?cabinet.n.01_1)
+                (inside ?granola_bar.n.01 ?cabinet.n.01_1)
             ) 
             (forall 
                 (?chocolate_biscuit.n.01 - chocolate_biscuit.n.01) 

diff --git a/bddl/activity_definitions/unloading_shopping_items/problem0.bddl b/bddl/activity_definitions/unloading_shopping_items/problem0.bddl
@@ -52,13 +52,13 @@
             ) 
             (forall 
                 (?painting.n.01 - painting.n.01) 
-                (ontop ?painting.n.01 ?cabinet.n.01_1)
+                (inside ?painting.n.01 ?cabinet.n.01_1)
             ) 
             (ontop ?bottle__of__lotion.n.01_1 ?console_table.n.01_1) 
-            (ontop ?bottle__of__detergent.n.01_1 ?cabinet.n.01_1) 
+            (inside ?bottle__of__detergent.n.01_1 ?cabinet.n.01_1) 
             (forall 
                 (?lampshade.n.01 - lampshade.n.01) 
-                (ontop ?lampshade.n.01 ?cabinet.n.01_1)
+                (inside ?lampshade.n.01 ?cabinet.n.01_1)
             ) 
             (ontop ?plastic_art.n.01_1 ?console_table.n.01_1) 
             (ontop ?globe.n.03_1 ?console_table.n.01_1)