Assertion: triangle's square | /r/HasProperty | partitioned into half-squares
Facets:
Source sentences:
text: A square whose side length is a triangular number can be partitioned into squares and half-squares whose areas add to cubes.