@prefix ev: <https://ontology.inferal.com/modules/evidence/> .
@prefix ex: <https://example.com/evidence/query/chain/> .
@prefix prov: <http://www.w3.org/ns/prov#> .

ex:routeEvidence a prov:Entity .
ex:schemaEvidence a prov:Entity .
ex:untracedEvidence a prov:Entity .

ex:routeClaim a ev:Claim .
ex:schemaClaim a ev:Claim .
ex:untracedPremise a ev:Claim .
ex:untracedConclusion a ev:Claim .

# This argument establishes the intermediate claim used by the next step.
ex:routeArgument
    a ev:SupportArgument ;
    ev:hasEvidence ex:routeEvidence ;
    ev:hasConclusion ex:routeClaim .

ex:schemaArgument
    a ev:SupportArgument ;
    ev:hasPremise ex:routeClaim ;
    ev:hasEvidence ex:schemaEvidence ;
    ev:hasConclusion ex:schemaClaim .

# This is a legal downstream argument, but its premise has no asserted support
# argument in this fixture and therefore must not appear as a support chain.
ex:untracedDownstreamArgument
    a ev:SupportArgument ;
    ev:hasPremise ex:untracedPremise ;
    ev:hasEvidence ex:untracedEvidence ;
    ev:hasConclusion ex:untracedConclusion .