Assertion list
homemade ice cream (subgroup of ice cream ) → HasProperty
Results from Ascent++: 1
homemade ice cream → HasProperty → delicious 0.75