Assertion list for term "sufficient size".

Results from Ascent++: 1
ideal HasAsufficient size 0.25