Assertion list for term "the smallest object".

Results from Ascent++: 1
asteroid IsAthe smallest object 0.25