Assertion list
potato soup (subgroup of soup ) → HasProperty
Results from Ascent++: 2
potato soup → HasProperty → perfect 0.59
potato soup → HasProperty → thick 0.16