Assertion list for term "smaller radius".
Results from Ascent++: 2
ski → HasA → smaller radius 0.42
rainbow → HasA → smaller radius 0.25