Assertion: tetrahedron | /r/HasAspect | tetrahedron's edge length
Facets:
Source sentences: