Assertion list for term "sit on the base circle".

Results from Ascent++: 1
lifter CapableOfsit on the base circle 0.25