Assertion list
radius (aspect of circle ) → HasA
Results from Ascent++: 1
radius → HasA → same length 0.41