Assertion: set's element | /r/CapableOf | precede each other
Facets:
Source sentences:
text: Formally, a partial order is any binary relation that is reflexive (each element is comparable to itself), antisymmetric (no two different elements precede each other), and transitive (the start of a chain of precedence relations must precede the end of the chain).