Assertion list
axis (aspect of parabola ) → HasProperty
Results from Ascent++: 1
axis → HasProperty → horizontal 0.25