Assertion list
parabola (primary) → IsA
Results from Ascent++: 2
parabola → IsA → curve 0.54
parabola → IsA → conic section 0.47