Assertion: square's side | /r/HasProperty | equilateral triangles
Facets:
Source sentences:
text: If all the edges have the same length, then the sides are equilateral triangles, and the pyramid is an equilateral square pyramid, Johnson solid J 1 .