Assertion list
soup dumpling (subgroup of dumpling ) → HasProperty
Results from Ascent++: 1
soup dumpling → HasProperty → good 0.59