Assertion list for term "circle in lift".

Results from Ascent++: 1
glider CapableOfcircle in lift 0.25