Assertion: square's side length | /r/HasProperty | a of the square
Facets:
Source sentences:
text: Continuation of the construction up to the searched side length a of the square: