Assertion: tetrahedron's vertex | /r/HasProperty | abcd
Facets:
Source sentences:
text: Let A( x 1 , y 1 , z 1 ), B( x 2 , y 2 , z 2 ), C( x 3 , y 3 , z 3 ), D( x 4 , y 4 , z 4 ) be the vertices of tetrahedron ABCD.