Assertion list for term "at least one point".
Results from Ascent++: 1
geometry → HasA → at least one point 0.32