Approved PRD Retract + Assert Action of RIF PRD Demonstrates the combination of the assert and retract action in RIF PRD. The rule retracts one fact about the existing customer object and asserts a new fact with a new discount value of "0". Note, the combination of retract and assert in this example does behave like a modify action. AssertRetract2-premise.rif http://www.w3.org/2005/rules/test/repository/tc/AssertRetract2/AssertRetract2-premise.rif ) Prefix(xs ) Group ( Forall ?X ( If ?X[ex:status -> "normal" ex:discount -> "10"] Then Do ( Retract (?X[ex:discount -> "10") Assert (?X[ex:discount -> "0"]) ) ) ex:john[ex:status -> "normal" ex:discount -> "10"] ) ) ]]> AssertRetract2-conclusion.rif http://www.w3.org/2005/rules/test/repository/tc/AssertRetract2/AssertRetract2-conclusion.rif "normal" ex:discount -> "0"] ]]>