Assertion list
pasta sauce (subgroup of sauce ) → HasProperty
Results from Ascent++: 2
pasta sauce → HasProperty → creamy 0.84
pasta sauce → HasProperty → thick 0.68