Assertion: cube's square | /r/HasProperty | drawn
Facets:
Source sentences:
text: Finally another square of side L is drawn, such that its vertices coincide with the end of the edges drawn in the previous step.