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

ex:evidence a prov:Entity .

# Both resources are claims, but only one is a stated argument conclusion.
ex:supportedClaim a ev:Claim .

# This remains valid open-world RDF; the query merely flags absent local trace.
ex:untracedClaim a ev:Claim .

ex:argument
    a ev:SupportArgument ;
    ev:hasEvidence ex:evidence ;
    ev:hasConclusion ex:supportedClaim .