BUR #56723 is pending approval.
create implication pretzel_bikini -> criss-cross_halter
create implication pretzel_bikini -> sling_bikini_top
create implication sling_bikini_top -> halterneck
A pretzel_bikini is structurally a criss-crossed sling_bikini_top, and since both are supported by the neck, they should logically imply halterneck. Does this look solid to you or am I missing any weird exceptions here?
