Assertion list
ellipse (primary) → IsA
Results from Ascent++: 1
ellipse → IsA → circle 0.75