Assertion list for term "a line segment".

Results from Ascent++: 3
chord IsAa line segment 0.46
radius (aspect of circle) IsAa line segment 0.44
diameter (aspect of circle) IsAa line segment 0.37