Assertion list
dwarf planet (subgroup of planet ) → HasProperty
Results from Ascent++: 2
dwarf planet → HasProperty → small 0.38
dwarf planet → HasProperty → large 0.25