Assertion list
soft tofu (subgroup of tofu ) → HasProperty
Results from Ascent++: 1
soft tofu → HasProperty → great 0.59