Assertion: cutter's family | /r/HasProperty | lepiotaceae
Facets:
Source sentences:
text: Their societies are based on an ant-fungus mutualism, and different species of ants use different species of fungus, but all of the fungi the ants use are members of the family Lepiotaceae.