Approved PRD Assert Action of RIF PRD Demonstrates the assert action in RIF PRD. In this example the assert action updates the existing customer frame object with a new attribute "discount" and value "10". Note: It is not good practice (since it is translatable in Core without the assert, it should be in Core). Assert-premise.rif http://www.w3.org/2005/rules/test/repository/tc/Assert/Assert-premise.rif ) Prefix(xs ) Group ( Forall ?X ( If ?X[ex:status -> "gold"] Then Do ( Assert (?X[ex:discount -> "10"]) ) ) ex:john[ex:status -> "gold"] ) ) ]]> Assert-conclusion.rif http://www.w3.org/2005/rules/test/repository/tc/Assert/Assert-conclusion.rif "gold" ex:discount -> "10"] ]]>