Assertion list
vanilla ice cream (subgroup of ice cream ) → HasA
Results from Ascent++: 1
vanilla ice cream → HasA → fewer additives 0.25