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