Assertion list
drinking soda (subgroup of soda ) → HasProperty
Results from Ascent++: 1
drinking soda → HasProperty → bad 0.69