Approved PRD This test highlights the role of priority in PRD's conflict resolution. The second rule fires before the first rule because it has higher priority. Without priority, implementations may resolve the conflict arbitrarily, and the conclusion is not guaranteed. Conflict_resolution-premise.rif http://www.w3.org/2005/rules/test/repository/tc/Conflict_resolution/Conflict_resolution-premise.rif ) Group ( Group 1 ( Forall ?x ( If ?x#ex:T Then Do (Retract(?x[ex:p->1])))) Group 2 ( Forall ?y ( If And(?y#ex:T ?y[ex:p->1]) Then ?y[ex:q->2] )) Do ((?new New()) Assert(?new#ex:T) Assert(?new[ex:p->1]) ) ) ]]> Conflict_resolution-conclusion.rif http://www.w3.org/2005/rules/test/repository/tc/Conflict_resolution/Conflict_resolution-conclusion.rif 2]) ]]>