Approved Core BLD PRD Illustrate difference between frames and named-argument uniterms Frames are essentially syntactic sugar for an open set of binary predicates. Frame_slots_are_independent-premise.rif http://www.w3.org/2005/rules/test/repository/tc/Frame_slots_are_independent/Frame_slots_are_independent-premise.rif ) Group ( ex:o[ex:a->1 ex:b->2] ) ) ]]> Frame_slots_are_independent-conclusion.rif http://www.w3.org/2005/rules/test/repository/tc/Frame_slots_are_independent/Frame_slots_are_independent-conclusion.rif 1] ]]>