Assertion: tetrahedron's corner | /r/AtLocation | $y$
Facets:
Source sentences:
text: Let one corner be at the origin and the adjacent corners be on the positive $x$, $y$, and $z$ axes.