Assertion list
psilocybin mushroom (subgroup of mushroom ) → HasA
Results from Ascent++: 1
psilocybin mushroom → HasA → psilocybin 0.46