Assertion: square's side | /r/HasAspect | integer length
Facets:
Source sentences:
text: (An integral square is a square whose sides have integer length.)