Assertion list
mushroom (primary) → IsA
Results from Ascent++: 3
mushroom → IsA → fungus 0.71
mushroom → IsA → vegetable 0.46
mushroom → IsA → fruiting body of a fungus 0.42