Assertion: connection | /r/HasSubgroup | tensor product connection
Facets:
Source sentences: