Assertion list for term "at least one focus".
Results from Ascent++: 1
curve → HasA → at least one focus 0.30