Assertion: sphere's use | /r/MadeOf | the fact
Facets:
Source sentences:
text: Use is made of the fact that if A ~ B and B ~ C, then A ~ C.