Assertion list
known planet (subgroup of planet ) → CapableOf
Results from Ascent++: 1
known planet → CapableOf → orbit the sun 0.25