<r2ml:RuleBase xmlns:r2ml="http://www.rewerse.net/I1/2006/R2ML"
          xmlns:r2mlv="http://www.rewerse.net/I1/2006/R2ML/R2MLV"
          xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
          xmlns:xs="http://www.w3.org/2001/XMLSchema" 
          xmlns:userv="http://www.businessrulesforum.com/2005/userv#" 
          xmlns:swrlb="http://www.w3.org/2003/11/swrlb"
          xsi:schemaLocation="http://oxygen.informatik.tu-cottbus.de/R2ML/0.5/R2ML.xsd">
 
 <r2mlv:Vocabulary> 
  <r2mlv:Attribute r2mlv:ID="X">
      <r2mlv:range>
       <r2mlv:Datatype r2mlv:ID="xs:positiveInteger">1</r2mlv:Datatype>
       <r2mlv:Datatype r2mlv:ID="xs:positiveInteger">2</r2mlv:Datatype>
       <r2mlv:Datatype r2mlv:ID="xs:positiveInteger">3</r2mlv:Datatype>
       <r2mlv:Datatype r2mlv:ID="xs:positiveInteger">4</r2mlv:Datatype>
       <r2mlv:Datatype r2mlv:ID="xs:positiveInteger">5</r2mlv:Datatype>
      </r2mlv:range>
     </r2mlv:Attribute>
 </r2mlv:Vocabulary>
 
 
 <r2ml:ProductionRuleSet>
  <r2ml:ProductionRule r2ml:ruleID="restrictive_behavior">
   <r2ml:Documentation>
       <r2ml:RuleText r2ml:textFormat="plain">
            if X > 2 then Y = X
       </r2ml:RuleText>
   </r2ml:Documentation>
    <r2ml:conditions>
 
        <r2ml:DatatypePredicateAtom r2ml:datatypePredicateID="swrlb:greaterThan">
          <r2ml:dataArguments>
            <r2ml:AttributeFunctionTerm r2ml:attributeID="X">
            </r2ml:AttributeFunctionTerm>
              <r2ml:TypedLiteral r2ml:lexicalValue="2" r2ml:datatypeID="xs:positiveInteger"/>
          </r2ml:dataArguments>
        </r2ml:DatatypePredicateAtom>
 
    </r2ml:conditions>
 
    <r2ml:producedAction>
 
      <r2ml:AssignActionExpression r2ml:propertyID="Y">        
       <r2ml:value>
        <r2ml:TypedLiteral r2ml:lexicalValue="X" r2ml:datatypeID="xs:positiveInteger"/>
       </r2ml:value>
      </r2ml:AssignActionExpression>
 
    </r2ml:producedAction>
  </r2ml:ProductionRule>
 </r2ml:ProductionRuleSet>
 
</r2ml:RuleBase>