Assertion: tetrahedron's face | /r/HasProperty | included
Facets:
Source sentences:
text: Two other isometries (C 3 , +), and (S 4 , [2+,4+]) can exist if the face or edge marking are included.