Assertion list
new planet (subgroup of planet ) → IsA
Results from Ascent++: 2
new planet → IsA → super-earth 0.30
new planet → IsA → 50 percent bigger 0.16