Assertion: rectangle's property | /r/HasProperty | proven
Facets:
Source sentences:
text: Most of the tests that we meet are converses of properties that have already been proven.