Assertion: sum | /r/HasProperty | a multiple of the 3rd triangle
Facets:
Source sentences:
text: then the sum of those 3 squares would be a multiple of the 3rd triangle, 1 + 2 + 3.