Assertion: square pyramid | /r/HasProperty | johnson solid j
Facets:
Source sentences:
text: If all edges are equal, it is an equilateral square pyramid, the Johnson solid J 1 .