Assertion list
edible mushroom (subgroup of mushroom ) → HasProperty
Results from Ascent++: 1
edible mushroom → HasProperty → nutritious 0.59