From ad9efc3c5e7c12e2321fc188bf705e9dc172bcd0 Mon Sep 17 00:00:00 2001 From: Chengshu Li Date: Tue, 12 Mar 2024 15:25:13 -0700 Subject: [PATCH] fix bddl for rigid belt --- .../tidying_up_wardrobe/problem0.bddl | 19 +------------------ 1 file changed, 1 insertion(+), 18 deletions(-) diff --git a/bddl/activity_definitions/tidying_up_wardrobe/problem0.bddl b/bddl/activity_definitions/tidying_up_wardrobe/problem0.bddl index 2e90870c..f06fd2b6 100644 --- a/bddl/activity_definitions/tidying_up_wardrobe/problem0.bddl +++ b/bddl/activity_definitions/tidying_up_wardrobe/problem0.bddl @@ -31,21 +31,6 @@ (?hanger.n.02 - hanger.n.02) (and (draped ?jersey.n.03_1 ?hanger.n.02_1) - (not - (draped ?belt.n.02_1 ?hanger.n.02_1) - ) - (not - (draped ?underwear.n.01_1 ?hanger.n.02_1) - ) - ) - ) - (exists - (?hanger.n.02 - hanger.n.02) - (and - (draped ?belt.n.02_1 ?hanger.n.02_1) - (not - (draped ?jersey.n.03_1 ?hanger.n.02_1) - ) (not (draped ?underwear.n.01_1 ?hanger.n.02_1) ) @@ -55,15 +40,13 @@ (?hanger.n.02 - hanger.n.02) (and (draped ?underwear.n.01_1 ?hanger.n.02_1) - (not - (draped ?belt.n.02_1 ?hanger.n.02_1) - ) (not (draped ?jersey.n.03_1 ?hanger.n.02_1) ) ) ) (nextto ?wicker_basket.n.01_1 ?wardrobe.n.01_1) + (inside ?belt.n.02_1 ?wardrobe.n.01_1) ) ) )