Assertion: trirectangular tetrahedron | /r/HasAspect | the volume
Facets:
Source sentences:
text: If the legs have lengths a, b, c, then the trirectangular tetrahedron has the volume