Assertion list for term "pass through the cover".

Results from Ascent++: 1
spindle CapableOfpass through the cover 0.25