Assertion list
diameter (aspect of circle ) → IsA
Results from Ascent++: 3
diameter → IsA → a line segment 0.37
diameter → IsA → straight line 0.34
diameter → IsA → the line 0.30