Assertion list
soft tofu (subgroup of tofu ) → IsA
Results from Ascent++: 1
soft tofu → IsA → pureed 0.25