Assertion: converse | /r/CapableOf | happen to be true
Facets:
Source sentences:
text: However, the converse I have just written down happens to be true: it really is the case that if two integers don’t generate the whole of then they must have a common factor bigger than 1.