Assertion list
extrasolar planet (subgroup of planet ) → IsA
Results from Ascent++: 1
extrasolar planet → IsA → planet 0.55