Skip to content

Commit

Permalink
fix bddl for rigid belt
Browse files Browse the repository at this point in the history
  • Loading branch information
@ChengshuLi
ChengshuLi committed Mar 12, 2024
1 parent 2288d20 commit ad9efc3
Showing 1 changed file with 1 addition and 18 deletions.
19 changes: 1 addition & 18 deletions bddl/activity_definitions/tidying_up_wardrobe/problem0.bddl
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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)
)
Expand All @@ -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)
)
)
)

0 comments on commit ad9efc3

Please sign in to comment.