Assertion: cube's edge | /r/HasProperty | drawn in previous step
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.