@prefix decision: <https://ontology.inferal.com/modules/decision/> .
@prefix ex: <https://example.com/decision/supersession/> .

ex:goal a decision:Goal .
ex:issue a decision:Issue .
ex:option-a a decision:Option .
ex:option-b a decision:Option .
ex:option-c a decision:Option .

# One deliberation considers all three options used by the conforming decisions.
ex:deliberation
    a decision:Deliberation ;
    decision:pursuesGoal ex:goal ;
    decision:addressesIssue ex:issue ;
    decision:considersOption ex:option-a, ex:option-b, ex:option-c .

# The original commitment is the oldest node in the asserted chain.
ex:original
    a decision:Decision ;
    decision:resultedFromDeliberation ex:deliberation ;
    decision:selectedOption ex:option-a .

# This direct edge replaces the original within the input graph's governance context.
ex:revision
    a decision:Decision ;
    decision:resultedFromDeliberation ex:deliberation ;
    decision:selectedOption ex:option-b ;
    decision:supersedesDecision ex:original .

# The replacement directly supersedes the revision and transitively supersedes
# the original. The query reports both relations without declaring global authority.
ex:replacement
    a decision:Decision ;
    decision:resultedFromDeliberation ex:deliberation ;
    decision:selectedOption ex:option-c ;
    decision:supersedesDecision ex:revision .