Assertion list
point (aspect of parabola ) → HasProperty
Results from Ascent++: 1
point → HasProperty → equidistant 0.84