Assertion: converse | /r/HasProperty | converses of each other
Facets:
Source sentences:
text: Thus, a theorem and its converse are converses of each other.