Assertion list for term "all the points".

Results from Ascent++: 1
circle HasAall the points 0.25