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