Assertion list
outer planet (subgroup of planet ) → IsA
Results from Ascent++: 2
outer planet → IsA → giant planets 0.38
outer planet → IsA → planet 0.25