Assertion: rectangle's diagonal | /r/HasProperty | 20 units long
Facets:
Source sentences:
text: we know that one diagonal is 20 units long.