Assertion: octahedron's vertex | /r/HasProperty | centered at the origin
Facets:
Source sentences:
text: The following Cartesian coordinates define the four vertices of a tetrahedron with edge length 2, centered at the origin, and two level edges: