Assertion list for term "reduced diameter".

Results from Ascent++: 1
nose HasAreduced diameter 0.25