Assertion list
planet (aspect of solar system ) → IsA

Results from Ascent++: 3
planetIsA celestial body 0.38
planetIsA two distinct classes of objects 0.31
planetIsA object 0.28