Assertion list for term "lie on the circle".

Results from Ascent++: 1
point (aspect of curve) CapableOflie on the circle 0.58