Assertion list
curve (primary) → IsA
Results from Ascent++: 2
curve → IsA → straight line 0.66
curve → IsA → line 0.63