Assertion: convertible | /r/HasSubgroup | reverse convertible
Facets:
Source sentences: