Assertion list for term "conic section".

Results from Ascent++: 1
parabola IsAconic section 0.47