1 <?xml version="1.0" encoding="UTF-8"?>

     2 <ruleml xmlns="http://www.s60.com/xml/ruleml/1">

     3   <!-- Value1 = 5, Value2 = 20 -->

     4   <rule>True configures Arithmetic.AdditionResult1 = 2 + 6</rule>

     5   <rule>True configures Arithmetic.AdditionResult2 = Arithmetic.Value1 + 6</rule>

     6   <rule>True configures Arithmetic.AdditionResult3 = 2 + Arithmetic.Value2</rule>

     7   <rule>True configures Arithmetic.AdditionResult4 = Arithmetic.Value1 + Arithmetic.Value2</rule>

     8   

     9   <rule>True configures Arithmetic.SubtractionResult1 = 2 - 6</rule>

    10   <rule>True configures Arithmetic.SubtractionResult2 = Arithmetic.Value1 - 6</rule>

    11   <rule>True configures Arithmetic.SubtractionResult3 = 2 - Arithmetic.Value2</rule>

    12   <rule>True configures Arithmetic.SubtractionResult4 = Arithmetic.Value1 - Arithmetic.Value2</rule>

    13   

    14   <rule>True configures Arithmetic.MultiplicationResult1 = 2 * 6</rule>

    15   <rule>True configures Arithmetic.MultiplicationResult2 = Arithmetic.Value1 * 6</rule>

    16   <rule>True configures Arithmetic.MultiplicationResult3 = 2 * Arithmetic.Value2</rule>

    17   <rule>True configures Arithmetic.MultiplicationResult4 = Arithmetic.Value1 * Arithmetic.Value2</rule>

    18   

    19   <rule>True configures Arithmetic.DivisionResult1 = 6 / 2</rule>

    20   <rule>True configures Arithmetic.DivisionResult2 = Arithmetic.Value2 / 4</rule>

    21   <rule>True configures Arithmetic.DivisionResult3 = 10 / Arithmetic.Value1</rule>

    22   <rule>True configures Arithmetic.DivisionResult4 = Arithmetic.Value2 / Arithmetic.Value1</rule>

    23   

    24   <rule>True configures Arithmetic.MixedResult1 = (6 / 2 + 3 * 9) - 7</rule> 

    25   <rule>True configures Arithmetic.MixedResult2 = (6 / 2 + Arithmetic.Value1 * 9) - 7</rule> 

    26   <rule>True configures Arithmetic.MixedResult3 = (Arithmetic.Value2 / 2 + Arithmetic.Value1 * 9) - 7</rule> 

    27   <rule>True configures Arithmetic.MixedResult4 = (Arithmetic.Value2 / Arithmetic.Value1 + Arithmetic.Value1 * Arithmetic.Value1) - Arithmetic.Value2</rule> 

    28   <rule>True configures Arithmetic.MixedResult5 = 4 + 6 / 2 - 3 * 9 + 10 / 5 - 8</rule>

    29   

    30   <rule>True configures Arithmetic.RealResult1 = 5.0 / 2.0</rule>

    31   <rule>True configures Arithmetic.RealResult2 = Arithmetic.RealValue1 / 2</rule>

    32   <rule>True configures Arithmetic.RealResult3 = 0.25 * Arithmetic.RealValue2</rule>

    33   <rule>True configures Arithmetic.RealResult4 = Arithmetic.RealValue1 / 2.0 * Arithmetic.RealValue2</rule>

    34   

    35   <rule>True configures Arithmetic.RealCalcIntoIntResult = 0.25 * Arithmetic.RealValue1</rule>

    36   <rule>True configures Arithmetic.IntCalcIntoRealResult = 3 * Arithmetic.Value1</rule>

    37 </ruleml>