Assertion list
extrasolar planet (subgroup of planet ) → CapableOf
Results from Ascent++: 1
extrasolar planet → CapableOf → orbit star 0.69