Assertion: tetrahedron's vertex | /r/HasProperty | e-f
Facets:
Source sentences:
text: 6) Create a edge of the vertices E-F, selecting F last.