Assertion list
radius (aspect of circle ) → CapableOf
Results from Ascent++: 1
radius → CapableOf → intersect the circle 0.44