Assertion list for term "smaller than the sun".
Results from Ascent++: 2
star → IsA → smaller than the sun 0.53
moon → HasProperty → smaller than the sun 0.52