Assertion list
dwarf planet (subgroup of planet ) → HasProperty

Results from Ascent++: 2
dwarf planetHasProperty small 0.38
dwarf planetHasProperty large 0.25