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