@prefix ex: <https://example.com/ordering/> .
@prefix ord: <https://ontology.inferal.com/modules/ordering/> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

ex:priority-order
    a ord:TotalOrdering ;
    ord:rankDirection ord:AscendingRank ;
    rdfs:label "Issue priority order" .

ex:low
    a ord:Comparable ;
    ord:inOrdering ex:priority-order ;
    ord:rank 1 .

ex:medium
    a ord:Comparable ;
    ord:inOrdering ex:priority-order ;
    ord:rank 2 ;
    ord:greaterThan ex:low .

ex:high
    a ord:Comparable ;
    ord:inOrdering ex:priority-order ;
    ord:rank 3 ;
    ord:greaterThan ex:medium .

ex:urgent
    a ord:Comparable ;
    ord:inOrdering ex:priority-order ;
    ord:rank 3 ;
    ord:sameRankAs ex:high .

ex:page-size-order
    a ord:TotalOrdering ;
    rdfs:label "Permitted page size order" ;
    ord:rankDirection ord:AscendingRank .

ex:one-record
    a ord:Comparable ;
    ord:inOrdering ex:page-size-order ;
    ord:rank 1 .

ex:fifty-records
    a ord:Comparable ;
    ord:inOrdering ex:page-size-order ;
    ord:rank 50 .

ex:two-hundred-fifty-records
    a ord:Comparable ;
    ord:inOrdering ex:page-size-order ;
    ord:rank 250 .

ex:chapter-order
    a ord:TotalOrdering ;
    rdfs:label "Chapter sequence" .

ex:introduction
    a ord:Comparable ;
    ord:inOrdering ex:chapter-order ;
    ord:immediatelyPrecedes ex:methods .

ex:methods
    a ord:Comparable ;
    ord:inOrdering ex:chapter-order ;
    ord:immediatelyPrecedes ex:results .

ex:results
    a ord:Comparable ;
    ord:inOrdering ex:chapter-order .