Assertion: converse | /r/HasSubgroup | categorical converse
Facets:
Source sentences: