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