Assertion list
vertex (aspect of parabola ) → AtLocation
Results from Ascent++: 2
vertex → AtLocation → the origin 0.68
vertex → AtLocation → the foci 0.32