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