Assertion list
dwarf planet (subgroup of planet ) → CapableOf
Results from Ascent++: 1
dwarf planet → CapableOf → orbit the sun 0.67