Assertion list for term "avoid hard-top case".

Results from Ascent++: 1
baggage CapableOfavoid hard-top case 0.37