Assertion list
regular ice cream (subgroup of ice cream ) → HasProperty
Results from Ascent++: 1
regular ice cream → HasProperty → less dense 0.68