<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:Class r2mlv:ID="Node"> 
    <r2mlv:Attribute r2mlv:ID="N">
      <r2mlv:range>
       <r2mlv:Datatype r2mlv:ID="xs:positiveInteger"></r2mlv:Datatype>
      </r2mlv:range>
    </r2mlv:Attribute>
    <r2mlv:Attribute r2mlv:ID="P">
      <r2mlv:range>
       <r2mlv:Datatype r2mlv:ID="xs:positiveInteger"></r2mlv:Datatype>
      </r2mlv:range>
    </r2mlv:Attribute>
   </r2mlv:Class>
 
   <r2mlv:Class r2mlv:ID="ActualNode"> 
    <r2mlv:Attribute r2mlv:ID="N">
      <r2mlv:range>
       <r2mlv:Datatype r2mlv:ID="xs:positiveInteger">2</r2mlv:Datatype>
      </r2mlv:range>
    </r2mlv:Attribute>
    <r2mlv:Attribute r2mlv:ID="P">
      <r2mlv:range>
       <r2mlv:Datatype r2mlv:ID="xs:positiveInteger"></r2mlv:Datatype>
      </r2mlv:range>
    </r2mlv:Attribute>
   </r2mlv:Class>
 </r2mlv:Vocabulary>
 
  <r2ml:ProductionRule r2ml:ruleID="finding_successors_in_a_tree_with_a_hop">
   <r2ml:Documentation>
       <r2ml:RuleText r2ml:textFormat="plain">
            finding successors in a tree with a hop
       </r2ml:RuleText>
   </r2ml:Documentation>
    <r2ml:conditions>
 
        <r2ml:DatatypePredicateAtom r2ml:datatypePredicateID="swrlb:equal">
          <r2ml:dataArguments>
            <r2ml:AttributeFunctionTerm r2ml:attributeID="N">
              <r2ml:contextArgument>
                <r2ml:ObjectVariable r2ml:name="node" r2ml:classID="Node"/>
              </r2ml:contextArgument>
            </r2ml:AttributeFunctionTerm>
              <r2ml:TypedLiteral r2ml:lexicalValue="N" r2ml:datatypeID="xs:positiveInteger"/>
                <r2ml:contextArgument>
                  <r2ml:ObjectVariable r2ml:name="actualnode" r2ml:classID="ActualNode"/>
                </r2ml:contextArgument>
          </r2ml:dataArguments>
        </r2ml:DatatypePredicateAtom>
 
    </r2ml:conditions>
 
    <r2ml:producedAction>
 
      <r2ml:AssignActionExpression r2ml:propertyID="N">
       <r2ml:contextArgument>
        <r2ml:ObjectVariable r2ml:classID="ActualNode" r2ml:name="actualnode" />
       </r2ml:contextArgument>         
       <r2ml:value>
        <r2ml:TypedLiteral r2ml:lexicalValue="P" r2ml:datatypeID="xs:positiveInteger">
         <r2ml:contextArgument>
          <r2ml:ObjectVariable r2ml:classID="Node" r2ml:name="node" />
         </r2ml:contextArgument>
        </r2ml:TypedLiteral>
       </r2ml:value>
      </r2ml:AssignActionExpression>
 
      <r2ml:InvokeActionExpression r2ml:propertyID="N">
       <r2ml:contextArgument>
        <r2ml:ObjectVariable r2ml:classID="Node" r2ml:name="node" />
       </r2ml:contextArgument>
      </r2ml:InvokeActionExpression>
 
    </r2ml:producedAction>
  </r2ml:ProductionRule>
</r2ml:RuleBase>