Assertion list
chocolate ice cream (subgroup of ice cream ) → HasProperty
Results from Ascent++: 2
chocolate ice cream → HasProperty → rich 0.59
chocolate ice cream → HasProperty → dark 0.16