Assertion list
axis (aspect of parabola ) → IsA
Results from Ascent++: 2
axis → IsA → the line 0.68
axis → IsA → vertical line 0.60