Assertion list for term "smaller diameter".

Results from Ascent++: 1
surface HasAsmaller diameter 0.33