Assertion: tetrahedron's edge | /r/HasAspect | length
Facets:
Source sentences:
text: i {\displaystyle F_{i}} ; the edges will have lengths