Assertion list
green vegetable (subgroup of vegetable ) → HasProperty
Results from Ascent++: 2
green vegetable → HasProperty → rich 0.68
green vegetable → HasProperty → healthy 0.33