Assertion: square pyramid | /r/HasProperty | solid
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 .