Assertion list
vegetable soup (subgroup of soup ) → HasProperty
Results from Ascent++: 2
vegetable soup → HasProperty → perfect 0.59
vegetable soup → HasProperty → healthy 0.23