Assertion: octahedron | /r/HasProperty | a heptagonal pyramid
Facets:
Source sentences:
text: Or it could be a heptagonal pyramid, in which case it has 8 vertices.