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

ex:goal a decision:Goal .
ex:issue a decision:Issue .

# The option projects an outcome; this does not say that the outcome occurred.
ex:option
    a decision:Option ;
    decision:anticipatesConsequence ex:anticipated .

ex:anticipated a decision:AnticipatedConsequence .

# This activity considered the option before any commitment or implementation.
ex:deliberation
    a decision:Deliberation ;
    decision:pursuesGoal ex:goal ;
    decision:addressesIssue ex:issue ;
    decision:considersOption ex:option .

# The commitment selects the option but does not itself assert implementation.
ex:decision
    a decision:Decision ;
    decision:resultedFromDeliberation ex:deliberation ;
    decision:selectedOption ex:option .

# The action separately asserts implementation and the observation in its trace.
ex:action
    a decision:ResultingAction ;
    decision:implementsDecision ex:decision ;
    decision:producedConsequence ex:observed .

# Correspondence says the observation matches the projection; it is not identity.
ex:observed
    a decision:ObservedConsequence ;
    decision:correspondsToAnticipation ex:anticipated .

# Feedback must be explicit. Temporal sequence alone would not create this link.
ex:later-deliberation
    a decision:Deliberation ;
    decision:pursuesGoal ex:goal ;
    decision:addressesIssue ex:issue ;
    decision:considersOption ex:option ;
    decision:informedByConsequence ex:observed .