Assertion list
ellipse (primary) → HasA
Results from Ascent++: 2
ellipse → HasA → two foci 0.59
ellipse → HasA → focal points 0.29