Assertion: octahedron's triangle | /r/HasProperty | the same
Facets:
Source sentences:
text: We have previously shown that the triangles OEN and OGN are isosceles and congruent (the vertices may have different names, but the triangles are the same!)