Assertion: square's side | /r/HasProperty | positive integer
Facets:
Source sentences:
text: However, these squares on the diagonal have positive integer sides that are smaller than the original squares.