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