Assertion list
axis (aspect of parabola ) → CapableOf
Results from Ascent++: 1
axis → CapableOf → intersect the parabola 0.51