Assertion list
vertex (aspect of parabola ) → IsA
Results from Ascent++: 2
vertex → IsA → the point 0.68
vertex → IsA → minimum point 0.55