Assertion: octahedron's vertex | /r/HasProperty | congruent
Facets:
Source sentences:
text: It follows that all vertices are congruent.