Assertion: mushroom | /r/Synonym | the devil's cigar
Facets:
value: commonly
type: DEGREE
Source sentences:
text: The mushroom is commonly known as the devil's cigar or the Texas star in the United States, while in Japan it is called kirinomitake (キリノミタケ).