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