Assertion: foliation | /r/HasSubgroup | outside foliation
Facets:
Source sentences: