Assertion list for term "smaller objects".
Results from Ascent++: 1
solar system → HasA → smaller objects 0.25