Assertion list
salted butter (subgroup of butter ) → HasProperty
Results from Ascent++: 1
salted butter → HasProperty → great 0.16