Assertion list
vanilla ice cream (subgroup of ice cream ) → HasProperty
Results from Ascent++: 1
vanilla ice cream → HasProperty → creamy 0.59