Assertion list
truffle (primary) → IsA
Results from Ascent++: 3
truffle → IsA → fungus 0.54
truffle → IsA → mushroom 0.47
truffle → IsA → underground mushroom 0.37