Assertion list
radius (aspect of circle ) → IsA
Results from Ascent++: 1
radius → IsA → a line segment 0.44