<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="System1"> 
    <r2mlv:Attribute r2mlv:ID="in1">
      <r2mlv:range>
       <r2mlv:Datatype r2mlv:ID="xs:string"></r2mlv:Datatype>
      </r2mlv:range>
    </r2mlv:Attribute>
    <r2mlv:Attribute r2mlv:ID="con1">
      <r2mlv:range>
       <r2mlv:Datatype r2mlv:ID="xs:string"></r2mlv:Datatype>
      </r2mlv:range>
    </r2mlv:Attribute>
   </r2mlv:Class>
 
   <r2mlv:Class r2mlv:ID="System2"> 
    <r2mlv:Attribute r2mlv:ID="in2">
      <r2mlv:range>
       <r2mlv:Datatype r2mlv:ID="xs:string"></r2mlv:Datatype>
      </r2mlv:range>
    </r2mlv:Attribute>
    <r2mlv:Attribute r2mlv:ID="con2">
      <r2mlv:range>
       <r2mlv:Datatype r2mlv:ID="xs:string"></r2mlv:Datatype>
      </r2mlv:range>
    </r2mlv:Attribute>
   </r2mlv:Class>
 
  <r2mlv:Class r2mlv:ID="Internal"> 
    <r2mlv:Attribute r2mlv:ID="x">
      <r2mlv:range>
       <r2mlv:Datatype r2mlv:ID="xs:string"></r2mlv:Datatype>
      </r2mlv:range>
    </r2mlv:Attribute>
    <r2mlv:Attribute r2mlv:ID="y">
      <r2mlv:range>
       <r2mlv:Datatype r2mlv:ID="xs:string"></r2mlv:Datatype>
      </r2mlv:range>
    </r2mlv:Attribute>
    <r2mlv:Attribute r2mlv:ID="s">
      <r2mlv:range>
       <r2mlv:Datatype r2mlv:ID="xs:string"></r2mlv:Datatype>
      </r2mlv:range>
    </r2mlv:Attribute>
   </r2mlv:Class>
 </r2mlv:Vocabulary>
 
 
 <r2ml:ProductionRuleSet>
  <r2ml:ProductionRule r2ml:ruleID="parallel_inference">
   <r2ml:Documentation>
       <r2ml:RuleText r2ml:textFormat="plain">
            parallel inference?
       </r2ml:RuleText>
   </r2ml:Documentation>
    <r2ml:conditions>
 
        <r2ml:DatatypePredicateAtom r2ml:datatypePredicateID="swrlb:equal">
          <r2ml:dataArguments>
            <r2ml:AttributeFunctionTerm r2ml:attributeID="x">
              <r2ml:contextArgument>
                <r2ml:ObjectVariable r2ml:name="internal" r2ml:classID="Internal"/>
              </r2ml:contextArgument>
            </r2ml:AttributeFunctionTerm>
              <r2ml:TypedLiteral r2ml:lexicalValue="true" r2ml:datatypeID="xs:string"/>
          </r2ml:dataArguments>
        </r2ml:DatatypePredicateAtom>
 
        <r2ml:DatatypePredicateAtom r2ml:datatypePredicateID="swrlb:equal">
          <r2ml:dataArguments>
            <r2ml:AttributeFunctionTerm r2ml:attributeID="y">
              <r2ml:contextArgument>
                <r2ml:ObjectVariable r2ml:name="internal" r2ml:classID="Internal"/>
              </r2ml:contextArgument>
            </r2ml:AttributeFunctionTerm>
              <r2ml:TypedLiteral r2ml:lexicalValue="true" r2ml:datatypeID="xs:string"/>
          </r2ml:dataArguments>
        </r2ml:DatatypePredicateAtom>
 
        <r2ml:DatatypePredicateAtom r2ml:datatypePredicateID="swrlb:equal">
          <r2ml:dataArguments>
            <r2ml:AttributeFunctionTerm r2ml:attributeID="s">
              <r2ml:contextArgument>
                <r2ml:ObjectVariable r2ml:name="internal" r2ml:classID="Internal"/>
              </r2ml:contextArgument>
            </r2ml:AttributeFunctionTerm>
              <r2ml:TypedLiteral r2ml:lexicalValue="true" r2ml:datatypeID="xs:string"/>
          </r2ml:dataArguments>
        </r2ml:DatatypePredicateAtom>
 
    </r2ml:conditions>
 
    <r2ml:producedAction>
 
      <r2ml:InvokeActionExpression r2ml:propertyID="in1_y">
       <r2ml:contextArgument>
        <r2ml:ObjectVariable r2ml:classID="System1" r2ml:name="system1" />
       </r2ml:contextArgument>
      </r2ml:InvokeActionExpression>
 
      <r2ml:InvokeActionExpression r2ml:propertyID="in2_y">
       <r2ml:contextArgument>
        <r2ml:ObjectVariable r2ml:classID="System2" r2ml:name="system2" />
       </r2ml:contextArgument>
      </r2ml:InvokeActionExpression>
 
    </r2ml:producedAction>
  </r2ml:ProductionRule>
 </r2ml:ProductionRuleSet>
 
</r2ml:RuleBase>