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