Assertion list for term "retract into the hull".

Results from Ascent++: 1
keel CapableOfretract into the hull 0.25