correctness edits

StanfordVL · Mar 5, 2024 · 543bf91 · 543bf91
1 parent c62cc44
commit 543bf91
Show file tree

Hide file tree

Showing 5 changed files with 13 additions and 10 deletions.
diff --git a/bddl/activity_definitions/clean_the_interior_of_your_car/problem0.bddl b/bddl/activity_definitions/clean_the_interior_of_your_car/problem0.bddl
@@ -8,15 +8,15 @@
         stain.n.01_1 - stain.n.01
         newspaper.n.03_1 - newspaper.n.03
         entire_leaf.n.01_1 entire_leaf.n.01_2 entire_leaf.n.01_3 - entire_leaf.n.01
-        plastic_bag.n.01_1 - plastic_bag.n.01
+        sack.n.01_1 - sack.n.01
         dust.n.01_1 - dust.n.01
         floor.n.01_1 - floor.n.01
         agent.n.01_1 - agent.n.01
     )
 
     (:init 
         (ontop car.n.01_1 driveway.n.01_1) 
-        (ontop plastic_bag.n.01_1 driveway.n.01_1) 
+        (ontop sack.n.01_1 driveway.n.01_1) 
         (covered dixie_cup.n.01_1 stain.n.01_1) 
         (covered dixie_cup.n.01_2 stain.n.01_1) 
         (inside dixie_cup.n.01_1 car.n.01_1)
@@ -46,7 +46,7 @@
                 )
             )
             (not 
-                (inside ?plastic_bag.n.01_1 ?car.n.01_1)
+                (inside ?sack.n.01_1 ?car.n.01_1)
             )
         )
     )

diff --git a/bddl/activity_definitions/cleaning_bathrooms/problem0.bddl b/bddl/activity_definitions/cleaning_bathrooms/problem0.bddl
@@ -9,7 +9,8 @@
         toilet.n.02_1 - toilet.n.02
         floor.n.01_1 - floor.n.01
         bucket.n.01_1 - bucket.n.01
-        bar_soap.n.01_1 - bar_soap.n.01
+        liquid_soap.n.01_1 - liquid_soap.n.01
+        liquid_soap__bottle.n.01_1 - liquid_soap__bottle.n.01
         scrub_brush.n.01_1 - scrub_brush.n.01
         rag.n.01_1 - rag.n.01
         agent.n.01_1 - agent.n.01
@@ -20,7 +21,8 @@
         (covered bathtub.n.01_1 stain.n.01_1) 
         (covered toilet.n.02_1 stain.n.01_1) 
         (covered floor.n.01_1 stain.n.01_1) 
-        (ontop bar_soap.n.01_1 sink.n.01_1)
+        (filled liquid_soap__bottle.n.01_1 liquid_soap.n.01_1)
+        (ontop liquid_soap__bottle.n.01_1 sink.n.01_1)
         (inside scrub_brush.n.01_1 bathtub.n.01_1)
         (insource sink.n.01_1 water.n.06_1)
         (ontop bucket.n.01_1 floor.n.01_1) 

diff --git a/bddl/activity_definitions/cleaning_stuff_out_of_car/problem0.bddl b/bddl/activity_definitions/cleaning_stuff_out_of_car/problem0.bddl
@@ -6,15 +6,15 @@
         driveway.n.01_1 - driveway.n.01
         dixie_cup.n.01_1 dixie_cup.n.01_2 - dixie_cup.n.01
         newspaper.n.03_1 - newspaper.n.03
-        plastic_bag.n.01_1 - plastic_bag.n.01
+        sack.n.01_1 - sack.n.01
         box__of__candy.n.01_1 box__of__candy.n.01_2 - box__of__candy.n.01
         floor.n.01_1 - floor.n.01
         agent.n.01_1 - agent.n.01
     )
 
     (:init 
         (ontop car.n.01_1 driveway.n.01_1) 
-        (inside plastic_bag.n.01_1 car.n.01_1)
+        (inside sack.n.01_1 car.n.01_1)
         (inside dixie_cup.n.01_1 car.n.01_1)
         (inside dixie_cup.n.01_2 car.n.01_1)
         (inside newspaper.n.03_1 car.n.01_1)
@@ -43,7 +43,7 @@
                 (inside ?newspaper.n.03_1 ?car.n.01_1)
             )
             (not
-                (inside ?plastic_bag.n.01_1 ?car.n.01_1)
+                (inside ?sack.n.01_1 ?car.n.01_1)
             )
         )
     )

diff --git a/bddl/activity_definitions/disinfect_laundry/problem0.bddl b/bddl/activity_definitions/disinfect_laundry/problem0.bddl
@@ -31,6 +31,7 @@
                 (?jersey.n.03 - jersey.n.03) 
                 (and
                     (inside ?jersey.n.03 ?washer.n.03_1)
+                    (saturated ?jersey.n.03 ?disinfectant.n.01_1)
                 )
             )
         )

diff --git a/bddl/activity_definitions/disposing_of_lawn_clippings/problem0.bddl b/bddl/activity_definitions/disposing_of_lawn_clippings/problem0.bddl
@@ -5,15 +5,15 @@
         lawn.n.01_1 - lawn.n.01
         floor.n.01_1 - floor.n.01
         gate.n.01_1 - gate.n.01
-        plastic_bag.n.01_1 - plastic_bag.n.01
+        sack.n.01_1 - sack.n.01
         bunchgrass.n.01_1 - bunchgrass.n.01
         compost_bin.n.01_1 - compost_bin.n.01
         agent.n.01_1 - agent.n.01
     )
 
     (:init 
         (inroom lawn.n.01_1 garden)
-        (ontop plastic_bag.n.01_1 floor.n.01_1) 
+        (ontop sack.n.01_1 floor.n.01_1) 
         (covered lawn.n.01_1 bunchgrass.n.01_1) 
         (ontop compost_bin.n.01_1 lawn.n.01_1) 
         (ontop agent.n.01_1 floor.n.01_1)