Assertion list
ninth planet (subgroup of planet ) → IsA
Results from Ascent++: 1
ninth planet → IsA → pluto 0.68