@prefix ex: <https://example.com/range/> .
@prefix ord: <https://ontology.inferal.com/modules/ordering/> .
@prefix rng: <https://ontology.inferal.com/modules/range/> .

ex:number-order
    a ord:Ordering .

ex:one
    a ord:Comparable ;
    ord:inOrdering ex:number-order ;
    ord:rank 1 .

ex:two
    a ord:Comparable ;
    ord:inOrdering ex:number-order ;
    ord:rank 2 ;
    ord:greaterThan ex:one .

ex:three
    a ord:Comparable ;
    ord:inOrdering ex:number-order ;
    ord:rank 3 ;
    ord:greaterThan ex:two .

# Represents [1, 3).
ex:one-to-before-three
    a rng:Range ;
    rng:lowerBound ex:one ;
    rng:lowerInclusive true ;
    rng:upperBound ex:three ;
    rng:upperInclusive false .

# Represents (-infinity, 3].
ex:through-three
    a rng:Range ;
    rng:upperBound ex:three ;
    rng:upperInclusive true .