Assertion list for term "cooler than the sun".

Results from Ascent++: 1
star HasPropertycooler than the sun 0.47