add test to enforce obj2 is fillable when (inside obj1 obj2) is used

StanfordVL · Apr 15, 2024 · 0bc8b20 · 0bc8b20
1 parent 675a238
commit 0bc8b20
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git a/bddl/activity_definitions/cleaning_parks/problem0.bddl b/bddl/activity_definitions/cleaning_parks/problem0.bddl
@@ -25,7 +25,7 @@
                 (?water_bottle.n.01 - water_bottle.n.01) 
                 (inside ?water_bottle.n.01 ?recycling_bin.n.01_1)
             ) 
-            (inside ?recycling_bin.n.01_1 ?lawn.n.01_1)
+            (ontop ?recycling_bin.n.01_1 ?lawn.n.01_1)
         )
     )
 )
diff --git a/bddl/bddl_verification.py b/bddl/bddl_verification.py
@@ -314,6 +314,7 @@ def check_synset_predicate_alignment(atom, syns_to_props):
         assert ("rigidBody" in syns_to_props[objects[0]]) and ("rigidBody" in syns_to_props[objects[1]]), f"Inapplicable touching: {atom}"
     if pred == "inside": 
         assert ("nonSubstance" in syns_to_props[objects[0]]) and ("rigidBody" in syns_to_props[objects[1]] or "softBody" in syns_to_props[objects[1]]), f"Inapplicable inside: {atom}"
+        assert "fillable" in syns_to_props[objects[1]], f"Inapplicable inside: {atom}"
     if pred == "overlaid": 
         assert ("drapeable" in syns_to_props[objects[0]]) and ("rigidBody" in syns_to_props[objects[1]]), f"Inapplicable overlaid: {atom}"
     if pred == "attached":