Assertion list for term "circle by an orbit ring".

Results from Ascent++: 1
circle CapableOfcircle by an orbit ring 0.30