Assertion: tetrahedron's vertex | /r/HasProperty | twisted to the left
Facets:
Source sentences:
text: If the faces are twisted to the right, then the vertices are twisted to the left.
text: If the faces are twisted to the right, then the vertices are twisted to the left.