Assertion: small square | /r/CapableOf | form larger square
Facets:
Source sentences:
text: Mitsunobu Matsuyama's "paradox" uses four congruent quadrilaterals and a small square, which form a larger square.