Assertion: pyramid | /r/HasSubgroup | tetrahedral pyramid
Facets:
Source sentences: