Assertion list
chord (primary) → IsA
Results from Ascent++: 3
chord → IsA → a line segment 0.46
chord → IsA → line 0.39
chord → IsA → straight line 0.39