Assertion list
inner planet (subgroup of planet ) → CapableOf
Results from Ascent++: 1
inner planet → CapableOf → orbit the star 0.50