Assertion list
wild mushroom (subgroup of mushroom ) → HasProperty
Results from Ascent++: 2
wild mushroom → HasProperty → edible 0.75
wild mushroom → HasProperty → poisonous 0.61