Assertion: octahedron's vertex | /r/HasAspect | different names
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!)