Assertion list
inner planet (subgroup of planet ) → IsA
Results from Ascent++: 1
inner planet → IsA → terrestrial planets 0.61