I want to express the meaning r2ml:name 'client' which is direct child of r2ml:UniversallyQuantifiedFormula is not equal to any attribute r2ml:name which is inside r2ml:antecedent.
can anyone help me out?
my expression below is not right:
r2ml:UniversallyQuantifiedFormula/r2ml:ObjectVariable/@r2ml:name!=r2ml:antecedent//@r2ml:name
i am at my wits's end.can anybody help me out?
<r2ml:DeonticIntegrityRule r2ml:ruleID="ES_06">
 <r2ml:constraint>
   <r2ml:UniversallyQuantifiedFormula>
       <r2ml:ObjectVariable r2ml:name="client" r2ml:class="userv:Client"/>
       <r2ml:Implication>
    <r2ml:antecedent>
     <r2ml:ObjectVariable r2ml:name="policy" r2ml:class="userv:VehicleInsurancePolicy"/>

         <r2ml:ObjectVariable r2ml:name="client" r2ml:class="userv:Client"/>
    </r2ml:antecedent>
  </r2ml:Implication>
 </r2ml:UniversallyQuantifiedFormula>
</r2ml:constraint>
</r2ml:DeonticIntegrityRule>

Predicates are expressed within square brackets, []. If you wish to select the r2ml:ObjectVariable elements that have a r2ml:Name value that doesn't appear on any r2ml:Name attribute within an r2ml:antecedent then I think it's: But it depends on:
* Are you only interested in comparing against antecedents that are siblings of the ObjectVariable?
* Are the r2ml attributes always on an ObjectVariable?




--

Joe (Microsoft MVP - XML)

i want to put the expression in the test statement within <xsl:if>,we must take into account that r2ml:ObjectVariable is descendant of r2ml:antecedent.the relationship between them is a little complicated,not just the parent and child relationship.
r2ml:name always appear in r2ml:ObjectVariable.

As you haven't shown the whole document structure it's difficult to be precise but: should be right. To use as a test in an xsl:when element just add the expression, it will be converted to a Boolean.


--

Joe (Microsoft MVP - XML)