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

# Production provenance can be traversed independently of evidentiary roles.
ex:run
    a prov:Activity ;
    prov:wasAssociatedWith ex:agent .

ex:agent a prov:SoftwareAgent .

# These are ordinary PROV entities until an argument selects them as evidence.
ex:documentation a prov:Entity .
ex:probeTrace a prov:Entity .

# Premise, conclusion, and warrant are distinct positions in the support step.
ex:premise a ev:Claim .
ex:claim a ev:Claim .
ex:warrant a ev:ReasoningBasis .

ex:argument
    a ev:SupportArgument ;
    ev:hasPremise ex:premise ;
    # Two evidence inputs intentionally produce two support-trace result rows.
    ev:hasEvidence ex:documentation, ex:probeTrace ;
    ev:hasWarrant ex:warrant ;
    ev:hasConclusion ex:claim ;
    # Generation answers where the argument came from, not why it supports.
    prov:wasGeneratedBy ex:run .