eyeling 1.6.4 → 1.6.6

package/examples/output/lldm.n3

@@ -1,13 +1,14 @@
 @prefix : <http://www.agfa.com/w3c/2002/10/medicad/op/lldmP#> .
+@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
 
 # ----------------------------------------------------------------------
 # Proof for derived triple:
-#   :meas47 :dx12Cm -35 .
+#   :meas47 :dx12Cm "-35"^^xsd:decimal .
 # It holds because the following instance of the rule body is provable:
 #   :meas47 a :Measurement .
 #   :meas47 :p1xCm 10.1 .
 #   :meas47 :p2xCm 45.1 .
-#   (10.1 45.1) math:difference -35 .
+#   (10.1 45.1) math:difference "-35"^^xsd:decimal .
 # via the schematic forward rule:
 #   {
 #     ?M a :Measurement .
@@ -21,20 +22,20 @@
 #   ?M = :meas47
 #   ?X = 10.1
 #   ?Y = 45.1
-#   ?Z = -35
+#   ?Z = "-35"^^xsd:decimal
 # Therefore the derived triple above is entailed by the rules and facts.
 # ----------------------------------------------------------------------
 
-:meas47 :dx12Cm -35 .
+:meas47 :dx12Cm "-35"^^xsd:decimal .
 
 # ----------------------------------------------------------------------
 # Proof for derived triple:
-#   :meas47 :dy12Cm 2.2 .
+#   :meas47 :dy12Cm "2.2"^^xsd:decimal .
 # It holds because the following instance of the rule body is provable:
 #   :meas47 a :Measurement .
 #   :meas47 :p1yCm 7.8 .
 #   :meas47 :p2yCm 5.6 .
-#   (7.8 5.6) math:difference 2.2 .
+#   (7.8 5.6) math:difference "2.2"^^xsd:decimal .
 # via the schematic forward rule:
 #   {
 #     ?M a :Measurement .
@@ -48,20 +49,20 @@
 #   ?M = :meas47
 #   ?X = 7.8
 #   ?Y = 5.6
-#   ?Z = 2.2
+#   ?Z = "2.2"^^xsd:decimal
 # Therefore the derived triple above is entailed by the rules and facts.
 # ----------------------------------------------------------------------
 
-:meas47 :dy12Cm 2.2 .
+:meas47 :dy12Cm "2.2"^^xsd:decimal .
 
 # ----------------------------------------------------------------------
 # Proof for derived triple:
-#   :meas47 :dy13Cm -22 .
+#   :meas47 :dy13Cm "-22"^^xsd:decimal .
 # It holds because the following instance of the rule body is provable:
 #   :meas47 a :Measurement .
 #   :meas47 :p1yCm 7.8 .
 #   :meas47 :p3yCm 29.8 .
-#   (7.8 29.8) math:difference -22 .
+#   (7.8 29.8) math:difference "-22"^^xsd:decimal .
 # via the schematic forward rule:
 #   {
 #     ?M a :Measurement .
@@ -75,20 +76,20 @@
 #   ?M = :meas47
 #   ?X = 7.8
 #   ?Y = 29.8
-#   ?Z = -22
+#   ?Z = "-22"^^xsd:decimal
 # Therefore the derived triple above is entailed by the rules and facts.
 # ----------------------------------------------------------------------
 
-:meas47 :dy13Cm -22 .
+:meas47 :dy13Cm "-22"^^xsd:decimal .
 
 # ----------------------------------------------------------------------
 # Proof for derived triple:
-#   :meas47 :dy24Cm -22.9 .
+#   :meas47 :dy24Cm "-22.9"^^xsd:decimal .
 # It holds because the following instance of the rule body is provable:
 #   :meas47 a :Measurement .
 #   :meas47 :p2yCm 5.6 .
 #   :meas47 :p4yCm 28.5 .
-#   (5.6 28.5) math:difference -22.9 .
+#   (5.6 28.5) math:difference "-22.9"^^xsd:decimal .
 # via the schematic forward rule:
 #   {
 #     ?M a :Measurement .
@@ -102,20 +103,20 @@
 #   ?M = :meas47
 #   ?X = 5.6
 #   ?Y = 28.5
-#   ?Z = -22.9
+#   ?Z = "-22.9"^^xsd:decimal
 # Therefore the derived triple above is entailed by the rules and facts.
 # ----------------------------------------------------------------------
 
-:meas47 :dy24Cm -22.9 .
+:meas47 :dy24Cm "-22.9"^^xsd:decimal .
 
 # ----------------------------------------------------------------------
 # Proof for derived triple:
-#   :meas47 :cL1 -0.06285714285714286 .
+#   :meas47 :cL1 "-0.06285714285714286"^^xsd:decimal .
 # It holds because the following instance of the rule body is provable:
 #   :meas47 a :Measurement .
-#   :meas47 :dy12Cm 2.2 .
-#   :meas47 :dx12Cm -35 .
-#   (2.2 -35) math:quotient -0.06285714285714286 .
+#   :meas47 :dy12Cm "2.2"^^xsd:decimal .
+#   :meas47 :dx12Cm "-35"^^xsd:decimal .
+#   ("2.2"^^xsd:decimal "-35"^^xsd:decimal) math:quotient "-0.06285714285714286"^^xsd:decimal .
 # via the schematic forward rule:
 #   {
 #     ?M a :Measurement .
@@ -127,21 +128,21 @@
 #   } .
 # with substitution (on rule variables):
 #   ?M = :meas47
-#   ?X = -35
-#   ?Y = 2.2
-#   ?Z = -0.06285714285714286
+#   ?X = "-35"^^xsd:decimal
+#   ?Y = "2.2"^^xsd:decimal
+#   ?Z = "-0.06285714285714286"^^xsd:decimal
 # Therefore the derived triple above is entailed by the rules and facts.
 # ----------------------------------------------------------------------
 
-:meas47 :cL1 -0.06285714285714286 .
+:meas47 :cL1 "-0.06285714285714286"^^xsd:decimal .
 
 # ----------------------------------------------------------------------
 # Proof for derived triple:
-#   :meas47 :dL3m -15.909090909090908 .
+#   :meas47 :dL3m "-15.909090909090908"^^xsd:decimal .
 # It holds because the following instance of the rule body is provable:
 #   :meas47 a :Measurement .
-#   :meas47 :cL1 -0.06285714285714286 .
-#   (1 -0.06285714285714286) math:quotient -15.909090909090908 .
+#   :meas47 :cL1 "-0.06285714285714286"^^xsd:decimal .
+#   (1 "-0.06285714285714286"^^xsd:decimal) math:quotient "-15.909090909090908"^^xsd:decimal .
 # via the schematic forward rule:
 #   {
 #     ?M a :Measurement .
@@ -152,20 +153,20 @@
 #   } .
 # with substitution (on rule variables):
 #   ?M = :meas47
-#   ?X = -0.06285714285714286
-#   ?Z = -15.909090909090908
+#   ?X = "-0.06285714285714286"^^xsd:decimal
+#   ?Z = "-15.909090909090908"^^xsd:decimal
 # Therefore the derived triple above is entailed by the rules and facts.
 # ----------------------------------------------------------------------
 
-:meas47 :dL3m -15.909090909090908 .
+:meas47 :dL3m "-15.909090909090908"^^xsd:decimal .
 
 # ----------------------------------------------------------------------
 # Proof for derived triple:
-#   :meas47 :cL3 15.909090909090908 .
+#   :meas47 :cL3 "15.909090909090908"^^xsd:decimal .
 # It holds because the following instance of the rule body is provable:
 #   :meas47 a :Measurement .
-#   :meas47 :dL3m -15.909090909090908 .
-#   (0 -15.909090909090908) math:difference 15.909090909090908 .
+#   :meas47 :dL3m "-15.909090909090908"^^xsd:decimal .
+#   (0 "-15.909090909090908"^^xsd:decimal) math:difference "15.909090909090908"^^xsd:decimal .
 # via the schematic forward rule:
 #   {
 #     ?M a :Measurement .
@@ -176,21 +177,21 @@
 #   } .
 # with substitution (on rule variables):
 #   ?M = :meas47
-#   ?X = -15.909090909090908
-#   ?Z = 15.909090909090908
+#   ?X = "-15.909090909090908"^^xsd:decimal
+#   ?Z = "15.909090909090908"^^xsd:decimal
 # Therefore the derived triple above is entailed by the rules and facts.
 # ----------------------------------------------------------------------
 
-:meas47 :cL3 15.909090909090908 .
+:meas47 :cL3 "15.909090909090908"^^xsd:decimal .
 
 # ----------------------------------------------------------------------
 # Proof for derived triple:
-#   :meas47 :pL1x1Cm -0.6348571428571429 .
+#   :meas47 :pL1x1Cm "-0.6348571428571429"^^xsd:decimal .
 # It holds because the following instance of the rule body is provable:
 #   :meas47 a :Measurement .
-#   :meas47 :cL1 -0.06285714285714286 .
+#   :meas47 :cL1 "-0.06285714285714286"^^xsd:decimal .
 #   :meas47 :p1xCm 10.1 .
-#   (-0.06285714285714286 10.1) math:product -0.6348571428571429 .
+#   ("-0.06285714285714286"^^xsd:decimal 10.1) math:product "-0.6348571428571429"^^xsd:decimal .
 # via the schematic forward rule:
 #   {
 #     ?M a :Measurement .
@@ -202,22 +203,22 @@
 #   } .
 # with substitution (on rule variables):
 #   ?M = :meas47
-#   ?X = -0.06285714285714286
+#   ?X = "-0.06285714285714286"^^xsd:decimal
 #   ?Y = 10.1
-#   ?Z = -0.6348571428571429
+#   ?Z = "-0.6348571428571429"^^xsd:decimal
 # Therefore the derived triple above is entailed by the rules and facts.
 # ----------------------------------------------------------------------
 
-:meas47 :pL1x1Cm -0.6348571428571429 .
+:meas47 :pL1x1Cm "-0.6348571428571429"^^xsd:decimal .
 
 # ----------------------------------------------------------------------
 # Proof for derived triple:
-#   :meas47 :pL1x2Cm -2.834857142857143 .
+#   :meas47 :pL1x2Cm "-2.834857142857143"^^xsd:decimal .
 # It holds because the following instance of the rule body is provable:
 #   :meas47 a :Measurement .
-#   :meas47 :cL1 -0.06285714285714286 .
+#   :meas47 :cL1 "-0.06285714285714286"^^xsd:decimal .
 #   :meas47 :p2xCm 45.1 .
-#   (-0.06285714285714286 45.1) math:product -2.834857142857143 .
+#   ("-0.06285714285714286"^^xsd:decimal 45.1) math:product "-2.834857142857143"^^xsd:decimal .
 # via the schematic forward rule:
 #   {
 #     ?M a :Measurement .
@@ -229,22 +230,22 @@
 #   } .
 # with substitution (on rule variables):
 #   ?M = :meas47
-#   ?X = -0.06285714285714286
+#   ?X = "-0.06285714285714286"^^xsd:decimal
 #   ?Y = 45.1
-#   ?Z = -2.834857142857143
+#   ?Z = "-2.834857142857143"^^xsd:decimal
 # Therefore the derived triple above is entailed by the rules and facts.
 # ----------------------------------------------------------------------
 
-:meas47 :pL1x2Cm -2.834857142857143 .
+:meas47 :pL1x2Cm "-2.834857142857143"^^xsd:decimal .
 
 # ----------------------------------------------------------------------
 # Proof for derived triple:
-#   :meas47 :pL3x3Cm 57.27272727272727 .
+#   :meas47 :pL3x3Cm "57.27272727272727"^^xsd:decimal .
 # It holds because the following instance of the rule body is provable:
 #   :meas47 a :Measurement .
-#   :meas47 :cL3 15.909090909090908 .
+#   :meas47 :cL3 "15.909090909090908"^^xsd:decimal .
 #   :meas47 :p3xCm 3.6 .
-#   (15.909090909090908 3.6) math:product 57.27272727272727 .
+#   ("15.909090909090908"^^xsd:decimal 3.6) math:product "57.27272727272727"^^xsd:decimal .
 # via the schematic forward rule:
 #   {
 #     ?M a :Measurement .
@@ -256,22 +257,22 @@
 #   } .
 # with substitution (on rule variables):
 #   ?M = :meas47
-#   ?X = 15.909090909090908
+#   ?X = "15.909090909090908"^^xsd:decimal
 #   ?Y = 3.6
-#   ?Z = 57.27272727272727
+#   ?Z = "57.27272727272727"^^xsd:decimal
 # Therefore the derived triple above is entailed by the rules and facts.
 # ----------------------------------------------------------------------
 
-:meas47 :pL3x3Cm 57.27272727272727 .
+:meas47 :pL3x3Cm "57.27272727272727"^^xsd:decimal .
 
 # ----------------------------------------------------------------------
 # Proof for derived triple:
-#   :meas47 :pL3x4Cm 870.2272727272727 .
+#   :meas47 :pL3x4Cm "870.2272727272727"^^xsd:decimal .
 # It holds because the following instance of the rule body is provable:
 #   :meas47 a :Measurement .
-#   :meas47 :cL3 15.909090909090908 .
+#   :meas47 :cL3 "15.909090909090908"^^xsd:decimal .
 #   :meas47 :p4xCm 54.7 .
-#   (15.909090909090908 54.7) math:product 870.2272727272727 .
+#   ("15.909090909090908"^^xsd:decimal 54.7) math:product "870.2272727272727"^^xsd:decimal .
 # via the schematic forward rule:
 #   {
 #     ?M a :Measurement .
@@ -283,22 +284,22 @@
 #   } .
 # with substitution (on rule variables):
 #   ?M = :meas47
-#   ?X = 15.909090909090908
+#   ?X = "15.909090909090908"^^xsd:decimal
 #   ?Y = 54.7
-#   ?Z = 870.2272727272727
+#   ?Z = "870.2272727272727"^^xsd:decimal
 # Therefore the derived triple above is entailed by the rules and facts.
 # ----------------------------------------------------------------------
 
-:meas47 :pL3x4Cm 870.2272727272727 .
+:meas47 :pL3x4Cm "870.2272727272727"^^xsd:decimal .
 
 # ----------------------------------------------------------------------
 # Proof for derived triple:
-#   :meas47 :dd13Cm -57.90758441558442 .
+#   :meas47 :dd13Cm "-57.90758441558442"^^xsd:decimal .
 # It holds because the following instance of the rule body is provable:
 #   :meas47 a :Measurement .
-#   :meas47 :pL1x1Cm -0.6348571428571429 .
-#   :meas47 :pL3x3Cm 57.27272727272727 .
-#   (-0.6348571428571429 57.27272727272727) math:difference -57.90758441558442 .
+#   :meas47 :pL1x1Cm "-0.6348571428571429"^^xsd:decimal .
+#   :meas47 :pL3x3Cm "57.27272727272727"^^xsd:decimal .
+#   ("-0.6348571428571429"^^xsd:decimal "57.27272727272727"^^xsd:decimal) math:difference "-57.90758441558442"^^xsd:decimal .
 # via the schematic forward rule:
 #   {
 #     ?M a :Measurement .
@@ -310,22 +311,22 @@
 #   } .
 # with substitution (on rule variables):
 #   ?M = :meas47
-#   ?X = -0.6348571428571429
-#   ?Y = 57.27272727272727
-#   ?Z = -57.90758441558442
+#   ?X = "-0.6348571428571429"^^xsd:decimal
+#   ?Y = "57.27272727272727"^^xsd:decimal
+#   ?Z = "-57.90758441558442"^^xsd:decimal
 # Therefore the derived triple above is entailed by the rules and facts.
 # ----------------------------------------------------------------------
 
-:meas47 :dd13Cm -57.90758441558442 .
+:meas47 :dd13Cm "-57.90758441558442"^^xsd:decimal .
 
 # ----------------------------------------------------------------------
 # Proof for derived triple:
-#   :meas47 :ddy13Cm -35.90758441558442 .
+#   :meas47 :ddy13Cm "-35.90758441558442"^^xsd:decimal .
 # It holds because the following instance of the rule body is provable:
 #   :meas47 a :Measurement .
-#   :meas47 :dd13Cm -57.90758441558442 .
-#   :meas47 :dy13Cm -22 .
-#   (-57.90758441558442 -22) math:difference -35.90758441558442 .
+#   :meas47 :dd13Cm "-57.90758441558442"^^xsd:decimal .
+#   :meas47 :dy13Cm "-22"^^xsd:decimal .
+#   ("-57.90758441558442"^^xsd:decimal "-22"^^xsd:decimal) math:difference "-35.90758441558442"^^xsd:decimal .
 # via the schematic forward rule:
 #   {
 #     ?M a :Measurement .
@@ -337,22 +338,22 @@
 #   } .
 # with substitution (on rule variables):
 #   ?M = :meas47
-#   ?X = -57.90758441558442
-#   ?Y = -22
-#   ?Z = -35.90758441558442
+#   ?X = "-57.90758441558442"^^xsd:decimal
+#   ?Y = "-22"^^xsd:decimal
+#   ?Z = "-35.90758441558442"^^xsd:decimal
 # Therefore the derived triple above is entailed by the rules and facts.
 # ----------------------------------------------------------------------
 
-:meas47 :ddy13Cm -35.90758441558442 .
+:meas47 :ddy13Cm "-35.90758441558442"^^xsd:decimal .
 
 # ----------------------------------------------------------------------
 # Proof for derived triple:
-#   :meas47 :dd24Cm -873.0621298701299 .
+#   :meas47 :dd24Cm "-873.0621298701299"^^xsd:decimal .
 # It holds because the following instance of the rule body is provable:
 #   :meas47 a :Measurement .
-#   :meas47 :pL1x2Cm -2.834857142857143 .
-#   :meas47 :pL3x4Cm 870.2272727272727 .
-#   (-2.834857142857143 870.2272727272727) math:difference -873.0621298701299 .
+#   :meas47 :pL1x2Cm "-2.834857142857143"^^xsd:decimal .
+#   :meas47 :pL3x4Cm "870.2272727272727"^^xsd:decimal .
+#   ("-2.834857142857143"^^xsd:decimal "870.2272727272727"^^xsd:decimal) math:difference "-873.0621298701299"^^xsd:decimal .
 # via the schematic forward rule:
 #   {
 #     ?M a :Measurement .
@@ -364,22 +365,22 @@
 #   } .
 # with substitution (on rule variables):
 #   ?M = :meas47
-#   ?X = -2.834857142857143
-#   ?Y = 870.2272727272727
-#   ?Z = -873.0621298701299
+#   ?X = "-2.834857142857143"^^xsd:decimal
+#   ?Y = "870.2272727272727"^^xsd:decimal
+#   ?Z = "-873.0621298701299"^^xsd:decimal
 # Therefore the derived triple above is entailed by the rules and facts.
 # ----------------------------------------------------------------------
 
-:meas47 :dd24Cm -873.0621298701299 .
+:meas47 :dd24Cm "-873.0621298701299"^^xsd:decimal .
 
 # ----------------------------------------------------------------------
 # Proof for derived triple:
-#   :meas47 :ddy24Cm -850.1621298701299 .
+#   :meas47 :ddy24Cm "-850.1621298701299"^^xsd:decimal .
 # It holds because the following instance of the rule body is provable:
 #   :meas47 a :Measurement .
-#   :meas47 :dd24Cm -873.0621298701299 .
-#   :meas47 :dy24Cm -22.9 .
-#   (-873.0621298701299 -22.9) math:difference -850.1621298701299 .
+#   :meas47 :dd24Cm "-873.0621298701299"^^xsd:decimal .
+#   :meas47 :dy24Cm "-22.9"^^xsd:decimal .
+#   ("-873.0621298701299"^^xsd:decimal "-22.9"^^xsd:decimal) math:difference "-850.1621298701299"^^xsd:decimal .
 # via the schematic forward rule:
 #   {
 #     ?M a :Measurement .
@@ -391,22 +392,22 @@
 #   } .
 # with substitution (on rule variables):
 #   ?M = :meas47
-#   ?X = -873.0621298701299
-#   ?Y = -22.9
-#   ?Z = -850.1621298701299
+#   ?X = "-873.0621298701299"^^xsd:decimal
+#   ?Y = "-22.9"^^xsd:decimal
+#   ?Z = "-850.1621298701299"^^xsd:decimal
 # Therefore the derived triple above is entailed by the rules and facts.
 # ----------------------------------------------------------------------
 
-:meas47 :ddy24Cm -850.1621298701299 .
+:meas47 :ddy24Cm "-850.1621298701299"^^xsd:decimal .
 
 # ----------------------------------------------------------------------
 # Proof for derived triple:
-#   :meas47 :ddL13 -15.97194805194805 .
+#   :meas47 :ddL13 "-15.97194805194805"^^xsd:decimal .
 # It holds because the following instance of the rule body is provable:
 #   :meas47 a :Measurement .
-#   :meas47 :cL1 -0.06285714285714286 .
-#   :meas47 :cL3 15.909090909090908 .
-#   (-0.06285714285714286 15.909090909090908) math:difference -15.97194805194805 .
+#   :meas47 :cL1 "-0.06285714285714286"^^xsd:decimal .
+#   :meas47 :cL3 "15.909090909090908"^^xsd:decimal .
+#   ("-0.06285714285714286"^^xsd:decimal "15.909090909090908"^^xsd:decimal) math:difference "-15.97194805194805"^^xsd:decimal .
 # via the schematic forward rule:
 #   {
 #     ?M a :Measurement .
@@ -418,22 +419,22 @@
 #   } .
 # with substitution (on rule variables):
 #   ?M = :meas47
-#   ?X = -0.06285714285714286
-#   ?Y = 15.909090909090908
-#   ?Z = -15.97194805194805
+#   ?X = "-0.06285714285714286"^^xsd:decimal
+#   ?Y = "15.909090909090908"^^xsd:decimal
+#   ?Z = "-15.97194805194805"^^xsd:decimal
 # Therefore the derived triple above is entailed by the rules and facts.
 # ----------------------------------------------------------------------
 
-:meas47 :ddL13 -15.97194805194805 .
+:meas47 :ddL13 "-15.97194805194805"^^xsd:decimal .
 
 # ----------------------------------------------------------------------
 # Proof for derived triple:
-#   :meas47 :p5xCm 2.248165615039355 .
+#   :meas47 :p5xCm "2.248165615039355"^^xsd:decimal .
 # It holds because the following instance of the rule body is provable:
 #   :meas47 a :Measurement .
-#   :meas47 :ddy13Cm -35.90758441558442 .
-#   :meas47 :ddL13 -15.97194805194805 .
-#   (-35.90758441558442 -15.97194805194805) math:quotient 2.248165615039355 .
+#   :meas47 :ddy13Cm "-35.90758441558442"^^xsd:decimal .
+#   :meas47 :ddL13 "-15.97194805194805"^^xsd:decimal .
+#   ("-35.90758441558442"^^xsd:decimal "-15.97194805194805"^^xsd:decimal) math:quotient "2.248165615039355"^^xsd:decimal .
 # via the schematic forward rule:
 #   {
 #     ?M a :Measurement .
@@ -445,22 +446,22 @@
 #   } .
 # with substitution (on rule variables):
 #   ?M = :meas47
-#   ?X = -35.90758441558442
-#   ?Y = -15.97194805194805
-#   ?Z = 2.248165615039355
+#   ?X = "-35.90758441558442"^^xsd:decimal
+#   ?Y = "-15.97194805194805"^^xsd:decimal
+#   ?Z = "2.248165615039355"^^xsd:decimal
 # Therefore the derived triple above is entailed by the rules and facts.
 # ----------------------------------------------------------------------
 
-:meas47 :p5xCm 2.248165615039355 .
+:meas47 :p5xCm "2.248165615039355"^^xsd:decimal .
 
 # ----------------------------------------------------------------------
 # Proof for derived triple:
-#   :meas47 :p6xCm 53.22845573407923 .
+#   :meas47 :p6xCm "53.22845573407923"^^xsd:decimal .
 # It holds because the following instance of the rule body is provable:
 #   :meas47 a :Measurement .
-#   :meas47 :ddy24Cm -850.1621298701299 .
-#   :meas47 :ddL13 -15.97194805194805 .
-#   (-850.1621298701299 -15.97194805194805) math:quotient 53.22845573407923 .
+#   :meas47 :ddy24Cm "-850.1621298701299"^^xsd:decimal .
+#   :meas47 :ddL13 "-15.97194805194805"^^xsd:decimal .
+#   ("-850.1621298701299"^^xsd:decimal "-15.97194805194805"^^xsd:decimal) math:quotient "53.22845573407923"^^xsd:decimal .
 # via the schematic forward rule:
 #   {
 #     ?M a :Measurement .
@@ -472,22 +473,22 @@
 #   } .
 # with substitution (on rule variables):
 #   ?M = :meas47
-#   ?X = -850.1621298701299
-#   ?Y = -15.97194805194805
-#   ?Z = 53.22845573407923
+#   ?X = "-850.1621298701299"^^xsd:decimal
+#   ?Y = "-15.97194805194805"^^xsd:decimal
+#   ?Z = "53.22845573407923"^^xsd:decimal
 # Therefore the derived triple above is entailed by the rules and facts.
 # ----------------------------------------------------------------------
 
-:meas47 :p6xCm 53.22845573407923 .
+:meas47 :p6xCm "53.22845573407923"^^xsd:decimal .
 
 # ----------------------------------------------------------------------
 # Proof for derived triple:
-#   :meas47 :dx51Cm -7.851834384960645 .
+#   :meas47 :dx51Cm "-7.851834384960645"^^xsd:decimal .
 # It holds because the following instance of the rule body is provable:
 #   :meas47 a :Measurement .
-#   :meas47 :p5xCm 2.248165615039355 .
+#   :meas47 :p5xCm "2.248165615039355"^^xsd:decimal .
 #   :meas47 :p1xCm 10.1 .
-#   (2.248165615039355 10.1) math:difference -7.851834384960645 .
+#   ("2.248165615039355"^^xsd:decimal 10.1) math:difference "-7.851834384960645"^^xsd:decimal .
 # via the schematic forward rule:
 #   {
 #     ?M a :Measurement .
@@ -499,22 +500,22 @@
 #   } .
 # with substitution (on rule variables):
 #   ?M = :meas47
-#   ?X = 2.248165615039355
+#   ?X = "2.248165615039355"^^xsd:decimal
 #   ?Y = 10.1
-#   ?Z = -7.851834384960645
+#   ?Z = "-7.851834384960645"^^xsd:decimal
 # Therefore the derived triple above is entailed by the rules and facts.
 # ----------------------------------------------------------------------
 
-:meas47 :dx51Cm -7.851834384960645 .
+:meas47 :dx51Cm "-7.851834384960645"^^xsd:decimal .
 
 # ----------------------------------------------------------------------
 # Proof for derived triple:
-#   :meas47 :dx53Cm -1.351834384960645 .
+#   :meas47 :dx53Cm "-1.351834384960645"^^xsd:decimal .
 # It holds because the following instance of the rule body is provable:
 #   :meas47 a :Measurement .
-#   :meas47 :p5xCm 2.248165615039355 .
+#   :meas47 :p5xCm "2.248165615039355"^^xsd:decimal .
 #   :meas47 :p3xCm 3.6 .
-#   (2.248165615039355 3.6) math:difference -1.351834384960645 .
+#   ("2.248165615039355"^^xsd:decimal 3.6) math:difference "-1.351834384960645"^^xsd:decimal .
 # via the schematic forward rule:
 #   {
 #     ?M a :Measurement .
@@ -526,22 +527,22 @@
 #   } .
 # with substitution (on rule variables):
 #   ?M = :meas47
-#   ?X = 2.248165615039355
+#   ?X = "2.248165615039355"^^xsd:decimal
 #   ?Y = 3.6
-#   ?Z = -1.351834384960645
+#   ?Z = "-1.351834384960645"^^xsd:decimal
 # Therefore the derived triple above is entailed by the rules and facts.
 # ----------------------------------------------------------------------
 
-:meas47 :dx53Cm -1.351834384960645 .
+:meas47 :dx53Cm "-1.351834384960645"^^xsd:decimal .
 
 # ----------------------------------------------------------------------
 # Proof for derived triple:
-#   :meas47 :dx62Cm 8.128455734079232 .
+#   :meas47 :dx62Cm "8.128455734079232"^^xsd:decimal .
 # It holds because the following instance of the rule body is provable:
 #   :meas47 a :Measurement .
-#   :meas47 :p6xCm 53.22845573407923 .
+#   :meas47 :p6xCm "53.22845573407923"^^xsd:decimal .
 #   :meas47 :p2xCm 45.1 .
-#   (53.22845573407923 45.1) math:difference 8.128455734079232 .
+#   ("53.22845573407923"^^xsd:decimal 45.1) math:difference "8.128455734079232"^^xsd:decimal .
 # via the schematic forward rule:
 #   {
 #     ?M a :Measurement .
@@ -553,22 +554,22 @@
 #   } .
 # with substitution (on rule variables):
 #   ?M = :meas47
-#   ?X = 53.22845573407923
+#   ?X = "53.22845573407923"^^xsd:decimal
 #   ?Y = 45.1
-#   ?Z = 8.128455734079232
+#   ?Z = "8.128455734079232"^^xsd:decimal
 # Therefore the derived triple above is entailed by the rules and facts.
 # ----------------------------------------------------------------------
 
-:meas47 :dx62Cm 8.128455734079232 .
+:meas47 :dx62Cm "8.128455734079232"^^xsd:decimal .
 
 # ----------------------------------------------------------------------
 # Proof for derived triple:
-#   :meas47 :dx64Cm -1.4715442659207696 .
+#   :meas47 :dx64Cm "-1.4715442659207696"^^xsd:decimal .
 # It holds because the following instance of the rule body is provable:
 #   :meas47 a :Measurement .
-#   :meas47 :p6xCm 53.22845573407923 .
+#   :meas47 :p6xCm "53.22845573407923"^^xsd:decimal .
 #   :meas47 :p4xCm 54.7 .
-#   (53.22845573407923 54.7) math:difference -1.4715442659207696 .
+#   ("53.22845573407923"^^xsd:decimal 54.7) math:difference "-1.4715442659207696"^^xsd:decimal .
 # via the schematic forward rule:
 #   {
 #     ?M a :Measurement .
@@ -580,22 +581,22 @@
 #   } .
 # with substitution (on rule variables):
 #   ?M = :meas47
-#   ?X = 53.22845573407923
+#   ?X = "53.22845573407923"^^xsd:decimal
 #   ?Y = 54.7
-#   ?Z = -1.4715442659207696
+#   ?Z = "-1.4715442659207696"^^xsd:decimal
 # Therefore the derived triple above is entailed by the rules and facts.
 # ----------------------------------------------------------------------
 
-:meas47 :dx64Cm -1.4715442659207696 .
+:meas47 :dx64Cm "-1.4715442659207696"^^xsd:decimal .
 
 # ----------------------------------------------------------------------
 # Proof for derived triple:
-#   :meas47 :pL1dx51Cm 0.4935438756260977 .
+#   :meas47 :pL1dx51Cm "0.4935438756260977"^^xsd:decimal .
 # It holds because the following instance of the rule body is provable:
 #   :meas47 a :Measurement .
-#   :meas47 :cL1 -0.06285714285714286 .
-#   :meas47 :dx51Cm -7.851834384960645 .
-#   (-0.06285714285714286 -7.851834384960645) math:product 0.4935438756260977 .
+#   :meas47 :cL1 "-0.06285714285714286"^^xsd:decimal .
+#   :meas47 :dx51Cm "-7.851834384960645"^^xsd:decimal .
+#   ("-0.06285714285714286"^^xsd:decimal "-7.851834384960645"^^xsd:decimal) math:product "0.4935438756260977"^^xsd:decimal .
 # via the schematic forward rule:
 #   {
 #     ?M a :Measurement .
@@ -607,22 +608,22 @@
 #   } .
 # with substitution (on rule variables):
 #   ?M = :meas47
-#   ?X = -0.06285714285714286
-#   ?Y = -7.851834384960645
-#   ?Z = 0.4935438756260977
+#   ?X = "-0.06285714285714286"^^xsd:decimal
+#   ?Y = "-7.851834384960645"^^xsd:decimal
+#   ?Z = "0.4935438756260977"^^xsd:decimal
 # Therefore the derived triple above is entailed by the rules and facts.
 # ----------------------------------------------------------------------
 
-:meas47 :pL1dx51Cm 0.4935438756260977 .
+:meas47 :pL1dx51Cm "0.4935438756260977"^^xsd:decimal .
 
 # ----------------------------------------------------------------------
 # Proof for derived triple:
-#   :meas47 :pL1dx62Cm -0.5109315032849803 .
+#   :meas47 :pL1dx62Cm "-0.5109315032849803"^^xsd:decimal .
 # It holds because the following instance of the rule body is provable:
 #   :meas47 a :Measurement .
-#   :meas47 :cL1 -0.06285714285714286 .
-#   :meas47 :dx62Cm 8.128455734079232 .
-#   (-0.06285714285714286 8.128455734079232) math:product -0.5109315032849803 .
+#   :meas47 :cL1 "-0.06285714285714286"^^xsd:decimal .
+#   :meas47 :dx62Cm "8.128455734079232"^^xsd:decimal .
+#   ("-0.06285714285714286"^^xsd:decimal "8.128455734079232"^^xsd:decimal) math:product "-0.5109315032849803"^^xsd:decimal .
 # via the schematic forward rule:
 #   {
 #     ?M a :Measurement .
@@ -634,22 +635,22 @@
 #   } .
 # with substitution (on rule variables):
 #   ?M = :meas47
-#   ?X = -0.06285714285714286
-#   ?Y = 8.128455734079232
-#   ?Z = -0.5109315032849803
+#   ?X = "-0.06285714285714286"^^xsd:decimal
+#   ?Y = "8.128455734079232"^^xsd:decimal
+#   ?Z = "-0.5109315032849803"^^xsd:decimal
 # Therefore the derived triple above is entailed by the rules and facts.
 # ----------------------------------------------------------------------
 
-:meas47 :pL1dx62Cm -0.5109315032849803 .
+:meas47 :pL1dx62Cm "-0.5109315032849803"^^xsd:decimal .
 
 # ----------------------------------------------------------------------
 # Proof for derived triple:
-#   :meas47 :p5yCm 8.293543875626098 .
+#   :meas47 :p5yCm "8.293543875626098"^^xsd:decimal .
 # It holds because the following instance of the rule body is provable:
 #   :meas47 a :Measurement .
-#   :meas47 :pL1dx51Cm 0.4935438756260977 .
+#   :meas47 :pL1dx51Cm "0.4935438756260977"^^xsd:decimal .
 #   :meas47 :p1yCm 7.8 .
-#   (0.4935438756260977 7.8) math:sum 8.293543875626098 .
+#   ("0.4935438756260977"^^xsd:decimal 7.8) math:sum "8.293543875626098"^^xsd:decimal .
 # via the schematic forward rule:
 #   {
 #     ?M a :Measurement .
@@ -661,22 +662,22 @@
 #   } .
 # with substitution (on rule variables):
 #   ?M = :meas47
-#   ?X = 0.4935438756260977
+#   ?X = "0.4935438756260977"^^xsd:decimal
 #   ?Y = 7.8
-#   ?Z = 8.293543875626098
+#   ?Z = "8.293543875626098"^^xsd:decimal
 # Therefore the derived triple above is entailed by the rules and facts.
 # ----------------------------------------------------------------------
 
-:meas47 :p5yCm 8.293543875626098 .
+:meas47 :p5yCm "8.293543875626098"^^xsd:decimal .
 
 # ----------------------------------------------------------------------
 # Proof for derived triple:
-#   :meas47 :p6yCm 5.0890684967150195 .
+#   :meas47 :p6yCm "5.0890684967150195"^^xsd:decimal .
 # It holds because the following instance of the rule body is provable:
 #   :meas47 a :Measurement .
-#   :meas47 :pL1dx62Cm -0.5109315032849803 .
+#   :meas47 :pL1dx62Cm "-0.5109315032849803"^^xsd:decimal .
 #   :meas47 :p2yCm 5.6 .
-#   (-0.5109315032849803 5.6) math:sum 5.0890684967150195 .
+#   ("-0.5109315032849803"^^xsd:decimal 5.6) math:sum "5.0890684967150195"^^xsd:decimal .
 # via the schematic forward rule:
 #   {
 #     ?M a :Measurement .
@@ -688,21 +689,21 @@
 #   } .
 # with substitution (on rule variables):
 #   ?M = :meas47
-#   ?X = -0.5109315032849803
+#   ?X = "-0.5109315032849803"^^xsd:decimal
 #   ?Y = 5.6
-#   ?Z = 5.0890684967150195
+#   ?Z = "5.0890684967150195"^^xsd:decimal
 # Therefore the derived triple above is entailed by the rules and facts.
 # ----------------------------------------------------------------------
 
-:meas47 :p6yCm 5.0890684967150195 .
+:meas47 :p6yCm "5.0890684967150195"^^xsd:decimal .
 
 # ----------------------------------------------------------------------
 # Proof for derived triple:
-#   :meas47 :sdx53Cm2 1.8274562043619251 .
+#   :meas47 :sdx53Cm2 "1.8274562043619251"^^xsd:decimal .
 # It holds because the following instance of the rule body is provable:
 #   :meas47 a :Measurement .
-#   :meas47 :dx53Cm -1.351834384960645 .
-#   (-1.351834384960645 2) math:exponentiation 1.8274562043619251 .
+#   :meas47 :dx53Cm "-1.351834384960645"^^xsd:decimal .
+#   ("-1.351834384960645"^^xsd:decimal 2) math:exponentiation "1.8274562043619251"^^xsd:decimal .
 # via the schematic forward rule:
 #   {
 #     ?M a :Measurement .
@@ -713,20 +714,20 @@
 #   } .
 # with substitution (on rule variables):
 #   ?M = :meas47
-#   ?X = -1.351834384960645
-#   ?Z = 1.8274562043619251
+#   ?X = "-1.351834384960645"^^xsd:decimal
+#   ?Z = "1.8274562043619251"^^xsd:decimal
 # Therefore the derived triple above is entailed by the rules and facts.
 # ----------------------------------------------------------------------
 
-:meas47 :sdx53Cm2 1.8274562043619251 .
+:meas47 :sdx53Cm2 "1.8274562043619251"^^xsd:decimal .
 
 # ----------------------------------------------------------------------
 # Proof for derived triple:
-#   :meas47 :sdx64Cm2 2.1654425265642967 .
+#   :meas47 :sdx64Cm2 "2.1654425265642967"^^xsd:decimal .
 # It holds because the following instance of the rule body is provable:
 #   :meas47 a :Measurement .
-#   :meas47 :dx64Cm -1.4715442659207696 .
-#   (-1.4715442659207696 2) math:exponentiation 2.1654425265642967 .
+#   :meas47 :dx64Cm "-1.4715442659207696"^^xsd:decimal .
+#   ("-1.4715442659207696"^^xsd:decimal 2) math:exponentiation "2.1654425265642967"^^xsd:decimal .
 # via the schematic forward rule:
 #   {
 #     ?M a :Measurement .
@@ -737,21 +738,21 @@
 #   } .
 # with substitution (on rule variables):
 #   ?M = :meas47
-#   ?X = -1.4715442659207696
-#   ?Z = 2.1654425265642967
+#   ?X = "-1.4715442659207696"^^xsd:decimal
+#   ?Z = "2.1654425265642967"^^xsd:decimal
 # Therefore the derived triple above is entailed by the rules and facts.
 # ----------------------------------------------------------------------
 
-:meas47 :sdx64Cm2 2.1654425265642967 .
+:meas47 :sdx64Cm2 "2.1654425265642967"^^xsd:decimal .
 
 # ----------------------------------------------------------------------
 # Proof for derived triple:
-#   :meas47 :dy53Cm -21.506456124373905 .
+#   :meas47 :dy53Cm "-21.506456124373905"^^xsd:decimal .
 # It holds because the following instance of the rule body is provable:
 #   :meas47 a :Measurement .
-#   :meas47 :p5yCm 8.293543875626098 .
+#   :meas47 :p5yCm "8.293543875626098"^^xsd:decimal .
 #   :meas47 :p3yCm 29.8 .
-#   (8.293543875626098 29.8) math:difference -21.506456124373905 .
+#   ("8.293543875626098"^^xsd:decimal 29.8) math:difference "-21.506456124373905"^^xsd:decimal .
 # via the schematic forward rule:
 #   {
 #     ?M a :Measurement .
@@ -763,22 +764,22 @@
 #   } .
 # with substitution (on rule variables):
 #   ?M = :meas47
-#   ?X = 8.293543875626098
+#   ?X = "8.293543875626098"^^xsd:decimal
 #   ?Y = 29.8
-#   ?Z = -21.506456124373905
+#   ?Z = "-21.506456124373905"^^xsd:decimal
 # Therefore the derived triple above is entailed by the rules and facts.
 # ----------------------------------------------------------------------
 
-:meas47 :dy53Cm -21.506456124373905 .
+:meas47 :dy53Cm "-21.506456124373905"^^xsd:decimal .
 
 # ----------------------------------------------------------------------
 # Proof for derived triple:
-#   :meas47 :dy64Cm -23.41093150328498 .
+#   :meas47 :dy64Cm "-23.41093150328498"^^xsd:decimal .
 # It holds because the following instance of the rule body is provable:
 #   :meas47 a :Measurement .
-#   :meas47 :p6yCm 5.0890684967150195 .
+#   :meas47 :p6yCm "5.0890684967150195"^^xsd:decimal .
 #   :meas47 :p4yCm 28.5 .
-#   (5.0890684967150195 28.5) math:difference -23.41093150328498 .
+#   ("5.0890684967150195"^^xsd:decimal 28.5) math:difference "-23.41093150328498"^^xsd:decimal .
 # via the schematic forward rule:
 #   {
 #     ?M a :Measurement .
@@ -790,21 +791,21 @@
 #   } .
 # with substitution (on rule variables):
 #   ?M = :meas47
-#   ?X = 5.0890684967150195
+#   ?X = "5.0890684967150195"^^xsd:decimal
 #   ?Y = 28.5
-#   ?Z = -23.41093150328498
+#   ?Z = "-23.41093150328498"^^xsd:decimal
 # Therefore the derived triple above is entailed by the rules and facts.
 # ----------------------------------------------------------------------
 
-:meas47 :dy64Cm -23.41093150328498 .
+:meas47 :dy64Cm "-23.41093150328498"^^xsd:decimal .
 
 # ----------------------------------------------------------------------
 # Proof for derived triple:
-#   :meas47 :sdy53Cm2 462.52765502961984 .
+#   :meas47 :sdy53Cm2 "462.52765502961984"^^xsd:decimal .
 # It holds because the following instance of the rule body is provable:
 #   :meas47 a :Measurement .
-#   :meas47 :dy53Cm -21.506456124373905 .
-#   (-21.506456124373905 2) math:exponentiation 462.52765502961984 .
+#   :meas47 :dy53Cm "-21.506456124373905"^^xsd:decimal .
+#   ("-21.506456124373905"^^xsd:decimal 2) math:exponentiation "462.52765502961984"^^xsd:decimal .
 # via the schematic forward rule:
 #   {
 #     ?M a :Measurement .
@@ -815,20 +816,20 @@
 #   } .
 # with substitution (on rule variables):
 #   ?M = :meas47
-#   ?X = -21.506456124373905
-#   ?Z = 462.52765502961984
+#   ?X = "-21.506456124373905"^^xsd:decimal
+#   ?Z = "462.52765502961984"^^xsd:decimal
 # Therefore the derived triple above is entailed by the rules and facts.
 # ----------------------------------------------------------------------
 
-:meas47 :sdy53Cm2 462.52765502961984 .
+:meas47 :sdy53Cm2 "462.52765502961984"^^xsd:decimal .
 
 # ----------------------------------------------------------------------
 # Proof for derived triple:
-#   :meas47 :sdy64Cm2 548.0717138515012 .
+#   :meas47 :sdy64Cm2 "548.0717138515012"^^xsd:decimal .
 # It holds because the following instance of the rule body is provable:
 #   :meas47 a :Measurement .
-#   :meas47 :dy64Cm -23.41093150328498 .
-#   (-23.41093150328498 2) math:exponentiation 548.0717138515012 .
+#   :meas47 :dy64Cm "-23.41093150328498"^^xsd:decimal .
+#   ("-23.41093150328498"^^xsd:decimal 2) math:exponentiation "548.0717138515012"^^xsd:decimal .
 # via the schematic forward rule:
 #   {
 #     ?M a :Measurement .
@@ -839,21 +840,21 @@
 #   } .
 # with substitution (on rule variables):
 #   ?M = :meas47
-#   ?X = -23.41093150328498
-#   ?Z = 548.0717138515012
+#   ?X = "-23.41093150328498"^^xsd:decimal
+#   ?Z = "548.0717138515012"^^xsd:decimal
 # Therefore the derived triple above is entailed by the rules and facts.
 # ----------------------------------------------------------------------
 
-:meas47 :sdy64Cm2 548.0717138515012 .
+:meas47 :sdy64Cm2 "548.0717138515012"^^xsd:decimal .
 
 # ----------------------------------------------------------------------
 # Proof for derived triple:
-#   :meas47 :ssd53Cm2 464.35511123398175 .
+#   :meas47 :ssd53Cm2 "464.35511123398175"^^xsd:decimal .
 # It holds because the following instance of the rule body is provable:
 #   :meas47 a :Measurement .
-#   :meas47 :sdx53Cm2 1.8274562043619251 .
-#   :meas47 :sdy53Cm2 462.52765502961984 .
-#   (1.8274562043619251 462.52765502961984) math:sum 464.35511123398175 .
+#   :meas47 :sdx53Cm2 "1.8274562043619251"^^xsd:decimal .
+#   :meas47 :sdy53Cm2 "462.52765502961984"^^xsd:decimal .
+#   ("1.8274562043619251"^^xsd:decimal "462.52765502961984"^^xsd:decimal) math:sum "464.35511123398175"^^xsd:decimal .
 # via the schematic forward rule:
 #   {
 #     ?M a :Measurement .
@@ -865,22 +866,22 @@
 #   } .
 # with substitution (on rule variables):
 #   ?M = :meas47
-#   ?X = 1.8274562043619251
-#   ?Y = 462.52765502961984
-#   ?Z = 464.35511123398175
+#   ?X = "1.8274562043619251"^^xsd:decimal
+#   ?Y = "462.52765502961984"^^xsd:decimal
+#   ?Z = "464.35511123398175"^^xsd:decimal
 # Therefore the derived triple above is entailed by the rules and facts.
 # ----------------------------------------------------------------------
 
-:meas47 :ssd53Cm2 464.35511123398175 .
+:meas47 :ssd53Cm2 "464.35511123398175"^^xsd:decimal .
 
 # ----------------------------------------------------------------------
 # Proof for derived triple:
-#   :meas47 :ssd64Cm2 550.2371563780655 .
+#   :meas47 :ssd64Cm2 "550.2371563780655"^^xsd:decimal .
 # It holds because the following instance of the rule body is provable:
 #   :meas47 a :Measurement .
-#   :meas47 :sdx64Cm2 2.1654425265642967 .
-#   :meas47 :sdy64Cm2 548.0717138515012 .
-#   (2.1654425265642967 548.0717138515012) math:sum 550.2371563780655 .
+#   :meas47 :sdx64Cm2 "2.1654425265642967"^^xsd:decimal .
+#   :meas47 :sdy64Cm2 "548.0717138515012"^^xsd:decimal .
+#   ("2.1654425265642967"^^xsd:decimal "548.0717138515012"^^xsd:decimal) math:sum "550.2371563780655"^^xsd:decimal .
 # via the schematic forward rule:
 #   {
 #     ?M a :Measurement .
@@ -892,21 +893,21 @@
 #   } .
 # with substitution (on rule variables):
 #   ?M = :meas47
-#   ?X = 2.1654425265642967
-#   ?Y = 548.0717138515012
-#   ?Z = 550.2371563780655
+#   ?X = "2.1654425265642967"^^xsd:decimal
+#   ?Y = "548.0717138515012"^^xsd:decimal
+#   ?Z = "550.2371563780655"^^xsd:decimal
 # Therefore the derived triple above is entailed by the rules and facts.
 # ----------------------------------------------------------------------
 
-:meas47 :ssd64Cm2 550.2371563780655 .
+:meas47 :ssd64Cm2 "550.2371563780655"^^xsd:decimal .
 
 # ----------------------------------------------------------------------
 # Proof for derived triple:
-#   :meas47 :d53Cm 21.548900464617255 .
+#   :meas47 :d53Cm "21.548900464617255"^^xsd:decimal .
 # It holds because the following instance of the rule body is provable:
 #   :meas47 a :Measurement .
-#   :meas47 :ssd53Cm2 464.35511123398175 .
-#   (464.35511123398175 0.5) math:exponentiation 21.548900464617255 .
+#   :meas47 :ssd53Cm2 "464.35511123398175"^^xsd:decimal .
+#   ("464.35511123398175"^^xsd:decimal 0.5) math:exponentiation "21.548900464617255"^^xsd:decimal .
 # via the schematic forward rule:
 #   {
 #     ?M a :Measurement .
@@ -917,20 +918,20 @@
 #   } .
 # with substitution (on rule variables):
 #   ?M = :meas47
-#   ?X = 464.35511123398175
-#   ?Z = 21.548900464617255
+#   ?X = "464.35511123398175"^^xsd:decimal
+#   ?Z = "21.548900464617255"^^xsd:decimal
 # Therefore the derived triple above is entailed by the rules and facts.
 # ----------------------------------------------------------------------
 
-:meas47 :d53Cm 21.548900464617255 .
+:meas47 :d53Cm "21.548900464617255"^^xsd:decimal .
 
 # ----------------------------------------------------------------------
 # Proof for derived triple:
-#   :meas47 :d64Cm 23.45713444515475 .
+#   :meas47 :d64Cm "23.45713444515475"^^xsd:decimal .
 # It holds because the following instance of the rule body is provable:
 #   :meas47 a :Measurement .
-#   :meas47 :ssd64Cm2 550.2371563780655 .
-#   (550.2371563780655 0.5) math:exponentiation 23.45713444515475 .
+#   :meas47 :ssd64Cm2 "550.2371563780655"^^xsd:decimal .
+#   ("550.2371563780655"^^xsd:decimal 0.5) math:exponentiation "23.45713444515475"^^xsd:decimal .
 # via the schematic forward rule:
 #   {
 #     ?M a :Measurement .
@@ -941,21 +942,21 @@
 #   } .
 # with substitution (on rule variables):
 #   ?M = :meas47
-#   ?X = 550.2371563780655
-#   ?Z = 23.45713444515475
+#   ?X = "550.2371563780655"^^xsd:decimal
+#   ?Z = "23.45713444515475"^^xsd:decimal
 # Therefore the derived triple above is entailed by the rules and facts.
 # ----------------------------------------------------------------------
 
-:meas47 :d64Cm 23.45713444515475 .
+:meas47 :d64Cm "23.45713444515475"^^xsd:decimal .
 
 # ----------------------------------------------------------------------
 # Proof for derived triple:
-#   :meas47 :dCm -1.9082339805374957 .
+#   :meas47 :dCm "-1.9082339805374957"^^xsd:decimal .
 # It holds because the following instance of the rule body is provable:
 #   :meas47 a :Measurement .
-#   :meas47 :d53Cm 21.548900464617255 .
-#   :meas47 :d64Cm 23.45713444515475 .
-#   (21.548900464617255 23.45713444515475) math:difference -1.9082339805374957 .
+#   :meas47 :d53Cm "21.548900464617255"^^xsd:decimal .
+#   :meas47 :d64Cm "23.45713444515475"^^xsd:decimal .
+#   ("21.548900464617255"^^xsd:decimal "23.45713444515475"^^xsd:decimal) math:difference "-1.9082339805374957"^^xsd:decimal .
 # via the schematic forward rule:
 #   {
 #     ?M a :Measurement .
@@ -967,21 +968,21 @@
 #   } .
 # with substitution (on rule variables):
 #   ?M = :meas47
-#   ?X = 21.548900464617255
-#   ?Y = 23.45713444515475
-#   ?Z = -1.9082339805374957
+#   ?X = "21.548900464617255"^^xsd:decimal
+#   ?Y = "23.45713444515475"^^xsd:decimal
+#   ?Z = "-1.9082339805374957"^^xsd:decimal
 # Therefore the derived triple above is entailed by the rules and facts.
 # ----------------------------------------------------------------------
 
-:meas47 :dCm -1.9082339805374957 .
+:meas47 :dCm "-1.9082339805374957"^^xsd:decimal .
 
 # ----------------------------------------------------------------------
 # Proof for derived triple:
 #   :meas47 a :LLDAlarm .
 # It holds because the following instance of the rule body is provable:
 #   :meas47 a :Measurement .
-#   :meas47 :dCm -1.9082339805374957 .
-#   -1.9082339805374957 math:lessThan -1.25 .
+#   :meas47 :dCm "-1.9082339805374957"^^xsd:decimal .
+#   "-1.9082339805374957"^^xsd:decimal math:lessThan -1.25 .
 # via the schematic forward rule:
 #   {
 #     ?M a :Measurement .
@@ -992,7 +993,7 @@
 #   } .
 # with substitution (on rule variables):
 #   ?M = :meas47
-#   ?X = -1.9082339805374957
+#   ?X = "-1.9082339805374957"^^xsd:decimal
 # Therefore the derived triple above is entailed by the rules and facts.
 # ----------------------------------------------------------------------