Assertion: mushroom | /r/Synonym | the texas star
Facets:
value: in the united states
type: LOCATION
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 (キリノミタケ).