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

# Both artifacts are PROV entities; their original or counter-evidence roles
# arise only from the arguments below.
ex:originalEvidence a prov:Entity .
ex:counterEvidence a prov:Entity .
ex:originalPremise a ev:Claim .
ex:originalClaim a ev:Claim .
ex:originalWarrant a ev:ReasoningBasis .

ex:originalArgument
    a ev:SupportArgument ;
    ev:hasPremise ex:originalPremise ;
    ev:hasEvidence ex:originalEvidence ;
    ev:hasWarrant ex:originalWarrant ;
    ev:hasConclusion ex:originalClaim .

ex:defeatingPremise a ev:Claim .
ex:defeatingConclusion a ev:Claim .

# A challenge is an argument with its own premise, evidence, and conclusion.
ex:defeatingArgument
    a ev:DefeatingArgument ;
    ev:hasPremise ex:defeatingPremise ;
    ev:hasEvidence ex:counterEvidence ;
    ev:hasConclusion ex:defeatingConclusion ;
    # These edges deliberately exercise two different attack targets.
    ev:undercuts ex:originalArgument ;
    ev:undermines ex:originalEvidence .