Assertion: polygon's number | /r/HasProperty | added
Facets:
Source sentences:
text: For example, in the algorithm outlined above, at each step we must choose a larger number, and at most three new numbers are added (since at most three unnumbered squares are adjacent to any numbered square).