Assertion: square | /r/HasAspect | size
Facets:
Source sentences:
text: The squares added during the puffing up procedure have sizes that have not yet appeared in the construction and the procedure is set up so that the resulting rectangular regions are expanding in all four directions, which leads to a tiling of the whole plane.