Assertion: octahedron's vertex | /r/HasProperty | given by coordinate
Facets:
Source sentences:
text: The six vertices of one of the three octahedra may be given by the coordinates (0, 0, ±2) and (±√2, ±√2, 0).