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