Assertion list for term "the smallest burrs".

Results from Ascent++: 1
cast HasAthe smallest burrs 0.25