Assertion: real number | /r/CapableOf | separate the two sets
Facets:
Source sentences:
text: If a set of reals precedes another set of reals, then there exists at least one real number separating the two sets.