Assertion list
equation (aspect of parabola ) → HasProperty
Results from Ascent++: 2
equation → HasProperty → linear 0.84
equation → HasProperty → quadratic 0.25