Assertion list
dwarf planet (subgroup of planet ) → CapableOf

Results from Ascent++: 1
dwarf planetCapableOf orbit the sun 0.67