Assertion: connection | /r/HasSubgroup | koszul connection
Facets:
Source sentences: