Assertion: set's element | /r/RelatedTo | second element
Facets:
Source sentences:
text: if a ≤ b and b ≤ c, then a ≤ c (transitivity: if a first element is related to a second element, and, in turn, that element is related to a third element, then the first element is related to the third element).