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