Translator: R2ML to OCL

Examples: R2ML, Contact: Milan Milanovic, Adrian Giurca and Marco Pehla

<r2ml:RuleBase>
  <r2ml:IntegrityRuleSet>
    <r2ml:AlethicIntegrityRule r2ml:ruleID="R033">
      <r2ml:constraint>
        <r2ml:UniversallyQuantifiedFormula>
          <r2ml:ObjectVariable r2ml:name="person" r2ml:classID="Person"/>
          <r2ml:ObjectVariable r2ml:name="x1" r2ml:classID="Person"/>
          <r2ml:ObjectVariable r2ml:name="x2" r2ml:classID="Person"/>
          <r2ml:Implication>
            <r2ml:antecedent>
              <r2ml:Conjunction>
                <r2ml:ReferencePropertyAtom r2ml:referencePropertyID="hasFather">
                  <r2ml:subject>
                    <r2ml:ObjectVariable r2ml:name="person" r2ml:classID="Person"/>
                  </r2ml:subject>
                  <r2ml:object>
                    <r2ml:ObjectVariable r2ml:name="x1" r2ml:classID="Person"/>
                  </r2ml:object>
                </r2ml:ReferencePropertyAtom>
                <r2ml:ReferencePropertyAtom r2ml:referencePropertyID="hasBrother">
                  <r2ml:subject>
                    <r2ml:ObjectVariable r2ml:name="x1" r2ml:classID="Person"/>
                  </r2ml:subject>
                  <r2ml:object>
                    <r2ml:ObjectVariable r2ml:name="x2" r2ml:classID="Person"/>
                  </r2ml:object>
                </r2ml:ReferencePropertyAtom>
              </r2ml:Conjunction>
            </r2ml:antecedent>
            <r2ml:consequent>
              <r2ml:ReferencePropertyAtom r2ml:referencePropertyID="hasUncle">
                <r2ml:subject>
                  <r2ml:ObjectVariable r2ml:name="person" r2ml:classID="Person"/>
                </r2ml:subject>
                <r2ml:object>
                  <r2ml:ObjectVariable r2ml:name="x2" r2ml:classID="Person"/>
                </r2ml:object>
              </r2ml:ReferencePropertyAtom>
            </r2ml:consequent>
          </r2ml:Implication>
        </r2ml:UniversallyQuantifiedFormula>
      </r2ml:constraint>
    </r2ml:AlethicIntegrityRule>
  </r2ml:IntegrityRuleSet>
</r2ml:RuleBase>