Assertion list
plain yogurt (subgroup of yogurt ) → HasProperty
Results from Ascent++: 2
plain yogurt → HasProperty → fine 0.59
plain yogurt → HasProperty → safe 0.29