Assertion: forest | /r/HasSubgroup | regular forest
Facets:
Source sentences: