Assertion: tetrahedron's face | /r/HasProperty | hfa
Facets:
Source sentences:
text: The 4 faces are CFH, CFA, HFA and HCA as before.