Assertion: set | /r/HasProperty | paired with total order
Facets:
Source sentences:
text: A set paired with a total order is called a chain, a totally ordered set, a simply ordered set, a linearly ordered set, or a loset.