Assertion list
dwarf planet (subgroup of planet ) → HasA
Results from Ascent++: 1
dwarf planet → HasA → sufficient 0.46