Assertion: set's element | /r/HasProperty | covered by another element b
Facets:
Source sentences:
text: An element a is said to be covered by another element b, written a⋖b (or a<:b), if a is strictly less than b and no third element c fits between them; formally: if both a≤b and a≠b are true, and a≤c≤b is false for each c with a≠c≠b.