Assertion: tetrahedron | /r/HasProperty | isosceles iff
Facets:
Source sentences:
text: A tetrahedron is isosceles iff the associated parallelepiped is a cuboid.