npm - eyeling - Versions diffs - 1.6.5 → 1.6.7 - Mend

eyeling 1.6.5 → 1.6.7

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.

Files changed (21) hide show

package/examples/output/cobalt-kepler-kitchen.n3 +3544 -3543
package/examples/output/complex.n3 +25 -24
package/examples/output/control-system.n3 +21 -20
package/examples/output/cranberry-calculus.n3 +509 -508
package/examples/output/drone-corridor-planner.n3 +154 -153
package/examples/output/ev-roundtrip-planner.n3 +81 -80
package/examples/output/gps.n3 +15 -14
package/examples/output/jade-eigen-loom.n3 +2033 -2032
package/examples/output/light-eaters.n3 +51 -50
package/examples/output/lldm.n3 +244 -243
package/examples/output/math-builtins-tests.n3 +40 -40
package/examples/output/oslo-steps-library-scholarly.n3 +197 -196
package/examples/output/oslo-steps-workflow-composition.n3 +29 -28
package/examples/output/pi.n3 +5 -4
package/examples/output/ruby-runge-workshop.n3 +106 -105
package/examples/output/saffron-slopeworks.n3 +455 -454
package/examples/output/spectral-week.n3 +81 -80
package/examples/output/topaz-markov-mill.n3 +1618 -1617
package/examples/output/ultramarine-simpson-forge.n3 +1213 -1212
package/eyeling.js +369 -139
package/package.json +1 -1

package/examples/output/saffron-slopeworks.n3 CHANGED Viewed

@@ -1,4 +1,5 @@
 @prefix : <http://example.org/saffron-slopeworks#> .
+@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
 # ----------------------------------------------------------------------
 # Proof for derived triple:
@@ -14,27 +15,27 @@
 #       (_:b1 _:b2 _:b3 _:b4 _:b5 _:b6 _:b7 _:b8) list:member ?p .
 #       ?p :y ?y .
 #   } (15.0 7.0 5.9 5.1 4.2 3.8 2.9 2.1)) log:collectAllIn ?_b1 .
-#   (8.0 7.0 6.0 5.0 4.0 3.0 2.0 1.0) math:sum 36 .
-#   (15.0 7.0 5.9 5.1 4.2 3.8 2.9 2.1) math:sum 46 .
+#   (8.0 7.0 6.0 5.0 4.0 3.0 2.0 1.0) math:sum "36"^^xsd:decimal .
+#   (15.0 7.0 5.9 5.1 4.2 3.8 2.9 2.1) math:sum "46"^^xsd:decimal .
 #   (?x2 {
 #       (_:b1 _:b2 _:b3 _:b4 _:b5 _:b6 _:b7 _:b8) list:member ?p .
 #       ?p :x ?x .
 #       (?x 2.0) math:exponentiation ?x2 .
-#   } (64 49 36 25 16 9 4 1)) log:collectAllIn ?_b1 .
-#   (64 49 36 25 16 9 4 1) math:sum 204 .
+#   } ("64"^^xsd:decimal "49"^^xsd:decimal "36"^^xsd:decimal "25"^^xsd:decimal "16"^^xsd:decimal "9"^^xsd:decimal "4"^^xsd:decimal "1"^^xsd:decimal)) log:collectAllIn ?_b1 .
+#   ("64"^^xsd:decimal "49"^^xsd:decimal "36"^^xsd:decimal "25"^^xsd:decimal "16"^^xsd:decimal "9"^^xsd:decimal "4"^^xsd:decimal "1"^^xsd:decimal) math:sum "204"^^xsd:decimal .
 #   (?y2 {
 #       (_:b1 _:b2 _:b3 _:b4 _:b5 _:b6 _:b7 _:b8) list:member ?p .
 #       ?p :y ?y .
 #       (?y 2.0) math:exponentiation ?y2 .
-#   } (225 49 34.81 26.009999999999998 17.64 14.44 8.41 4.41)) log:collectAllIn ?_b1 .
-#   (225 49 34.81 26.009999999999998 17.64 14.44 8.41 4.41) math:sum 379.72 .
+#   } ("225"^^xsd:decimal "49"^^xsd:decimal "34.81"^^xsd:decimal "26.009999999999998"^^xsd:decimal "17.64"^^xsd:decimal "14.44"^^xsd:decimal "8.41"^^xsd:decimal "4.41"^^xsd:decimal)) log:collectAllIn ?_b1 .
+#   ("225"^^xsd:decimal "49"^^xsd:decimal "34.81"^^xsd:decimal "26.009999999999998"^^xsd:decimal "17.64"^^xsd:decimal "14.44"^^xsd:decimal "8.41"^^xsd:decimal "4.41"^^xsd:decimal) math:sum "379.72"^^xsd:decimal .
 #   (?xy {
 #       (_:b1 _:b2 _:b3 _:b4 _:b5 _:b6 _:b7 _:b8) list:member ?p .
 #       ?p :x ?x .
 #       ?p :y ?y .
 #       (?x ?y) math:product ?xy .
-#   } (120 49 35.400000000000006 25.5 16.8 11.399999999999999 5.8 2.1)) log:collectAllIn ?_b1 .
-#   (120 49 35.400000000000006 25.5 16.8 11.399999999999999 5.8 2.1) math:sum 266.00000000000006 .
+#   } ("120"^^xsd:decimal "49"^^xsd:decimal "35.400000000000006"^^xsd:decimal "25.5"^^xsd:decimal "16.8"^^xsd:decimal "11.399999999999999"^^xsd:decimal "5.8"^^xsd:decimal "2.1"^^xsd:decimal)) log:collectAllIn ?_b1 .
+#   ("120"^^xsd:decimal "49"^^xsd:decimal "35.400000000000006"^^xsd:decimal "25.5"^^xsd:decimal "16.8"^^xsd:decimal "11.399999999999999"^^xsd:decimal "5.8"^^xsd:decimal "2.1"^^xsd:decimal) math:sum "266.00000000000006"^^xsd:decimal .
 # via the schematic forward rule:
 #   {
 #     :Reg1 :points ?pts .
@@ -79,15 +80,15 @@
 # with substitution (on rule variables):
 #   ?n = 8
 #   ?pts = (_:b1 _:b2 _:b3 _:b4 _:b5 _:b6 _:b7 _:b8)
-#   ?sumX = 36
-#   ?sumXX = 204
-#   ?sumXY = 266.00000000000006
-#   ?sumY = 46
-#   ?sumYY = 379.72
-#   ?x2s = (64 49 36 25 16 9 4 1)
+#   ?sumX = "36"^^xsd:decimal
+#   ?sumXX = "204"^^xsd:decimal
+#   ?sumXY = "266.00000000000006"^^xsd:decimal
+#   ?sumY = "46"^^xsd:decimal
+#   ?sumYY = "379.72"^^xsd:decimal
+#   ?x2s = ("64"^^xsd:decimal "49"^^xsd:decimal "36"^^xsd:decimal "25"^^xsd:decimal "16"^^xsd:decimal "9"^^xsd:decimal "4"^^xsd:decimal "1"^^xsd:decimal)
 #   ?xs = (8.0 7.0 6.0 5.0 4.0 3.0 2.0 1.0)
-#   ?xys = (120 49 35.400000000000006 25.5 16.8 11.399999999999999 5.8 2.1)
-#   ?y2s = (225 49 34.81 26.009999999999998 17.64 14.44 8.41 4.41)
+#   ?xys = ("120"^^xsd:decimal "49"^^xsd:decimal "35.400000000000006"^^xsd:decimal "25.5"^^xsd:decimal "16.8"^^xsd:decimal "11.399999999999999"^^xsd:decimal "5.8"^^xsd:decimal "2.1"^^xsd:decimal)
+#   ?y2s = ("225"^^xsd:decimal "49"^^xsd:decimal "34.81"^^xsd:decimal "26.009999999999998"^^xsd:decimal "17.64"^^xsd:decimal "14.44"^^xsd:decimal "8.41"^^xsd:decimal "4.41"^^xsd:decimal)
 #   ?ys = (15.0 7.0 5.9 5.1 4.2 3.8 2.9 2.1)
 # Therefore the derived triple above is entailed by the rules and facts.
 # ----------------------------------------------------------------------
@@ -96,7 +97,7 @@
 # ----------------------------------------------------------------------
 # Proof for derived triple:
-#   :Reg1 :sumX 36 .
+#   :Reg1 :sumX "36"^^xsd:decimal .
 # It holds because the following instance of the rule body is provable:
 #   :Reg1 :points (_:b1 _:b2 _:b3 _:b4 _:b5 _:b6 _:b7 _:b8) .
 #   (_:b1 _:b2 _:b3 _:b4 _:b5 _:b6 _:b7 _:b8) list:length 8 .
@@ -108,27 +109,27 @@
 #       (_:b1 _:b2 _:b3 _:b4 _:b5 _:b6 _:b7 _:b8) list:member ?p .
 #       ?p :y ?y .
 #   } (15.0 7.0 5.9 5.1 4.2 3.8 2.9 2.1)) log:collectAllIn ?_b1 .
-#   (8.0 7.0 6.0 5.0 4.0 3.0 2.0 1.0) math:sum 36 .
-#   (15.0 7.0 5.9 5.1 4.2 3.8 2.9 2.1) math:sum 46 .
+#   (8.0 7.0 6.0 5.0 4.0 3.0 2.0 1.0) math:sum "36"^^xsd:decimal .
+#   (15.0 7.0 5.9 5.1 4.2 3.8 2.9 2.1) math:sum "46"^^xsd:decimal .
 #   (?x2 {
 #       (_:b1 _:b2 _:b3 _:b4 _:b5 _:b6 _:b7 _:b8) list:member ?p .
 #       ?p :x ?x .
 #       (?x 2.0) math:exponentiation ?x2 .
-#   } (64 49 36 25 16 9 4 1)) log:collectAllIn ?_b1 .
-#   (64 49 36 25 16 9 4 1) math:sum 204 .
+#   } ("64"^^xsd:decimal "49"^^xsd:decimal "36"^^xsd:decimal "25"^^xsd:decimal "16"^^xsd:decimal "9"^^xsd:decimal "4"^^xsd:decimal "1"^^xsd:decimal)) log:collectAllIn ?_b1 .
+#   ("64"^^xsd:decimal "49"^^xsd:decimal "36"^^xsd:decimal "25"^^xsd:decimal "16"^^xsd:decimal "9"^^xsd:decimal "4"^^xsd:decimal "1"^^xsd:decimal) math:sum "204"^^xsd:decimal .
 #   (?y2 {
 #       (_:b1 _:b2 _:b3 _:b4 _:b5 _:b6 _:b7 _:b8) list:member ?p .
 #       ?p :y ?y .
 #       (?y 2.0) math:exponentiation ?y2 .
-#   } (225 49 34.81 26.009999999999998 17.64 14.44 8.41 4.41)) log:collectAllIn ?_b1 .
-#   (225 49 34.81 26.009999999999998 17.64 14.44 8.41 4.41) math:sum 379.72 .
+#   } ("225"^^xsd:decimal "49"^^xsd:decimal "34.81"^^xsd:decimal "26.009999999999998"^^xsd:decimal "17.64"^^xsd:decimal "14.44"^^xsd:decimal "8.41"^^xsd:decimal "4.41"^^xsd:decimal)) log:collectAllIn ?_b1 .
+#   ("225"^^xsd:decimal "49"^^xsd:decimal "34.81"^^xsd:decimal "26.009999999999998"^^xsd:decimal "17.64"^^xsd:decimal "14.44"^^xsd:decimal "8.41"^^xsd:decimal "4.41"^^xsd:decimal) math:sum "379.72"^^xsd:decimal .
 #   (?xy {
 #       (_:b1 _:b2 _:b3 _:b4 _:b5 _:b6 _:b7 _:b8) list:member ?p .
 #       ?p :x ?x .
 #       ?p :y ?y .
 #       (?x ?y) math:product ?xy .
-#   } (120 49 35.400000000000006 25.5 16.8 11.399999999999999 5.8 2.1)) log:collectAllIn ?_b1 .
-#   (120 49 35.400000000000006 25.5 16.8 11.399999999999999 5.8 2.1) math:sum 266.00000000000006 .
+#   } ("120"^^xsd:decimal "49"^^xsd:decimal "35.400000000000006"^^xsd:decimal "25.5"^^xsd:decimal "16.8"^^xsd:decimal "11.399999999999999"^^xsd:decimal "5.8"^^xsd:decimal "2.1"^^xsd:decimal)) log:collectAllIn ?_b1 .
+#   ("120"^^xsd:decimal "49"^^xsd:decimal "35.400000000000006"^^xsd:decimal "25.5"^^xsd:decimal "16.8"^^xsd:decimal "11.399999999999999"^^xsd:decimal "5.8"^^xsd:decimal "2.1"^^xsd:decimal) math:sum "266.00000000000006"^^xsd:decimal .
 # via the schematic forward rule:
 #   {
 #     :Reg1 :points ?pts .
@@ -173,24 +174,24 @@
 # with substitution (on rule variables):
 #   ?n = 8
 #   ?pts = (_:b1 _:b2 _:b3 _:b4 _:b5 _:b6 _:b7 _:b8)
-#   ?sumX = 36
-#   ?sumXX = 204
-#   ?sumXY = 266.00000000000006
-#   ?sumY = 46
-#   ?sumYY = 379.72
-#   ?x2s = (64 49 36 25 16 9 4 1)
+#   ?sumX = "36"^^xsd:decimal
+#   ?sumXX = "204"^^xsd:decimal
+#   ?sumXY = "266.00000000000006"^^xsd:decimal
+#   ?sumY = "46"^^xsd:decimal
+#   ?sumYY = "379.72"^^xsd:decimal
+#   ?x2s = ("64"^^xsd:decimal "49"^^xsd:decimal "36"^^xsd:decimal "25"^^xsd:decimal "16"^^xsd:decimal "9"^^xsd:decimal "4"^^xsd:decimal "1"^^xsd:decimal)
 #   ?xs = (8.0 7.0 6.0 5.0 4.0 3.0 2.0 1.0)
-#   ?xys = (120 49 35.400000000000006 25.5 16.8 11.399999999999999 5.8 2.1)
-#   ?y2s = (225 49 34.81 26.009999999999998 17.64 14.44 8.41 4.41)
+#   ?xys = ("120"^^xsd:decimal "49"^^xsd:decimal "35.400000000000006"^^xsd:decimal "25.5"^^xsd:decimal "16.8"^^xsd:decimal "11.399999999999999"^^xsd:decimal "5.8"^^xsd:decimal "2.1"^^xsd:decimal)
+#   ?y2s = ("225"^^xsd:decimal "49"^^xsd:decimal "34.81"^^xsd:decimal "26.009999999999998"^^xsd:decimal "17.64"^^xsd:decimal "14.44"^^xsd:decimal "8.41"^^xsd:decimal "4.41"^^xsd:decimal)
 #   ?ys = (15.0 7.0 5.9 5.1 4.2 3.8 2.9 2.1)
 # Therefore the derived triple above is entailed by the rules and facts.
 # ----------------------------------------------------------------------
-:Reg1 :sumX 36 .
+:Reg1 :sumX "36"^^xsd:decimal .
 # ----------------------------------------------------------------------
 # Proof for derived triple:
-#   :Reg1 :sumY 46 .
+#   :Reg1 :sumY "46"^^xsd:decimal .
 # It holds because the following instance of the rule body is provable:
 #   :Reg1 :points (_:b1 _:b2 _:b3 _:b4 _:b5 _:b6 _:b7 _:b8) .
 #   (_:b1 _:b2 _:b3 _:b4 _:b5 _:b6 _:b7 _:b8) list:length 8 .
@@ -202,27 +203,27 @@
 #       (_:b1 _:b2 _:b3 _:b4 _:b5 _:b6 _:b7 _:b8) list:member ?p .
 #       ?p :y ?y .
 #   } (15.0 7.0 5.9 5.1 4.2 3.8 2.9 2.1)) log:collectAllIn ?_b1 .
-#   (8.0 7.0 6.0 5.0 4.0 3.0 2.0 1.0) math:sum 36 .
-#   (15.0 7.0 5.9 5.1 4.2 3.8 2.9 2.1) math:sum 46 .
+#   (8.0 7.0 6.0 5.0 4.0 3.0 2.0 1.0) math:sum "36"^^xsd:decimal .
+#   (15.0 7.0 5.9 5.1 4.2 3.8 2.9 2.1) math:sum "46"^^xsd:decimal .
 #   (?x2 {
 #       (_:b1 _:b2 _:b3 _:b4 _:b5 _:b6 _:b7 _:b8) list:member ?p .
 #       ?p :x ?x .
 #       (?x 2.0) math:exponentiation ?x2 .
-#   } (64 49 36 25 16 9 4 1)) log:collectAllIn ?_b1 .
-#   (64 49 36 25 16 9 4 1) math:sum 204 .
+#   } ("64"^^xsd:decimal "49"^^xsd:decimal "36"^^xsd:decimal "25"^^xsd:decimal "16"^^xsd:decimal "9"^^xsd:decimal "4"^^xsd:decimal "1"^^xsd:decimal)) log:collectAllIn ?_b1 .
+#   ("64"^^xsd:decimal "49"^^xsd:decimal "36"^^xsd:decimal "25"^^xsd:decimal "16"^^xsd:decimal "9"^^xsd:decimal "4"^^xsd:decimal "1"^^xsd:decimal) math:sum "204"^^xsd:decimal .
 #   (?y2 {
 #       (_:b1 _:b2 _:b3 _:b4 _:b5 _:b6 _:b7 _:b8) list:member ?p .
 #       ?p :y ?y .
 #       (?y 2.0) math:exponentiation ?y2 .
-#   } (225 49 34.81 26.009999999999998 17.64 14.44 8.41 4.41)) log:collectAllIn ?_b1 .
-#   (225 49 34.81 26.009999999999998 17.64 14.44 8.41 4.41) math:sum 379.72 .
+#   } ("225"^^xsd:decimal "49"^^xsd:decimal "34.81"^^xsd:decimal "26.009999999999998"^^xsd:decimal "17.64"^^xsd:decimal "14.44"^^xsd:decimal "8.41"^^xsd:decimal "4.41"^^xsd:decimal)) log:collectAllIn ?_b1 .
+#   ("225"^^xsd:decimal "49"^^xsd:decimal "34.81"^^xsd:decimal "26.009999999999998"^^xsd:decimal "17.64"^^xsd:decimal "14.44"^^xsd:decimal "8.41"^^xsd:decimal "4.41"^^xsd:decimal) math:sum "379.72"^^xsd:decimal .
 #   (?xy {
 #       (_:b1 _:b2 _:b3 _:b4 _:b5 _:b6 _:b7 _:b8) list:member ?p .
 #       ?p :x ?x .
 #       ?p :y ?y .
 #       (?x ?y) math:product ?xy .
-#   } (120 49 35.400000000000006 25.5 16.8 11.399999999999999 5.8 2.1)) log:collectAllIn ?_b1 .
-#   (120 49 35.400000000000006 25.5 16.8 11.399999999999999 5.8 2.1) math:sum 266.00000000000006 .
+#   } ("120"^^xsd:decimal "49"^^xsd:decimal "35.400000000000006"^^xsd:decimal "25.5"^^xsd:decimal "16.8"^^xsd:decimal "11.399999999999999"^^xsd:decimal "5.8"^^xsd:decimal "2.1"^^xsd:decimal)) log:collectAllIn ?_b1 .
+#   ("120"^^xsd:decimal "49"^^xsd:decimal "35.400000000000006"^^xsd:decimal "25.5"^^xsd:decimal "16.8"^^xsd:decimal "11.399999999999999"^^xsd:decimal "5.8"^^xsd:decimal "2.1"^^xsd:decimal) math:sum "266.00000000000006"^^xsd:decimal .
 # via the schematic forward rule:
 #   {
 #     :Reg1 :points ?pts .
@@ -267,24 +268,24 @@
 # with substitution (on rule variables):
 #   ?n = 8
 #   ?pts = (_:b1 _:b2 _:b3 _:b4 _:b5 _:b6 _:b7 _:b8)
-#   ?sumX = 36
-#   ?sumXX = 204
-#   ?sumXY = 266.00000000000006
-#   ?sumY = 46
-#   ?sumYY = 379.72
-#   ?x2s = (64 49 36 25 16 9 4 1)
+#   ?sumX = "36"^^xsd:decimal
+#   ?sumXX = "204"^^xsd:decimal
+#   ?sumXY = "266.00000000000006"^^xsd:decimal
+#   ?sumY = "46"^^xsd:decimal
+#   ?sumYY = "379.72"^^xsd:decimal
+#   ?x2s = ("64"^^xsd:decimal "49"^^xsd:decimal "36"^^xsd:decimal "25"^^xsd:decimal "16"^^xsd:decimal "9"^^xsd:decimal "4"^^xsd:decimal "1"^^xsd:decimal)
 #   ?xs = (8.0 7.0 6.0 5.0 4.0 3.0 2.0 1.0)
-#   ?xys = (120 49 35.400000000000006 25.5 16.8 11.399999999999999 5.8 2.1)
-#   ?y2s = (225 49 34.81 26.009999999999998 17.64 14.44 8.41 4.41)
+#   ?xys = ("120"^^xsd:decimal "49"^^xsd:decimal "35.400000000000006"^^xsd:decimal "25.5"^^xsd:decimal "16.8"^^xsd:decimal "11.399999999999999"^^xsd:decimal "5.8"^^xsd:decimal "2.1"^^xsd:decimal)
+#   ?y2s = ("225"^^xsd:decimal "49"^^xsd:decimal "34.81"^^xsd:decimal "26.009999999999998"^^xsd:decimal "17.64"^^xsd:decimal "14.44"^^xsd:decimal "8.41"^^xsd:decimal "4.41"^^xsd:decimal)
 #   ?ys = (15.0 7.0 5.9 5.1 4.2 3.8 2.9 2.1)
 # Therefore the derived triple above is entailed by the rules and facts.
 # ----------------------------------------------------------------------
-:Reg1 :sumY 46 .
+:Reg1 :sumY "46"^^xsd:decimal .
 # ----------------------------------------------------------------------
 # Proof for derived triple:
-#   :Reg1 :sumXX 204 .
+#   :Reg1 :sumXX "204"^^xsd:decimal .
 # It holds because the following instance of the rule body is provable:
 #   :Reg1 :points (_:b1 _:b2 _:b3 _:b4 _:b5 _:b6 _:b7 _:b8) .
 #   (_:b1 _:b2 _:b3 _:b4 _:b5 _:b6 _:b7 _:b8) list:length 8 .
@@ -296,27 +297,27 @@
 #       (_:b1 _:b2 _:b3 _:b4 _:b5 _:b6 _:b7 _:b8) list:member ?p .
 #       ?p :y ?y .
 #   } (15.0 7.0 5.9 5.1 4.2 3.8 2.9 2.1)) log:collectAllIn ?_b1 .
-#   (8.0 7.0 6.0 5.0 4.0 3.0 2.0 1.0) math:sum 36 .
-#   (15.0 7.0 5.9 5.1 4.2 3.8 2.9 2.1) math:sum 46 .
+#   (8.0 7.0 6.0 5.0 4.0 3.0 2.0 1.0) math:sum "36"^^xsd:decimal .
+#   (15.0 7.0 5.9 5.1 4.2 3.8 2.9 2.1) math:sum "46"^^xsd:decimal .
 #   (?x2 {
 #       (_:b1 _:b2 _:b3 _:b4 _:b5 _:b6 _:b7 _:b8) list:member ?p .
 #       ?p :x ?x .
 #       (?x 2.0) math:exponentiation ?x2 .
-#   } (64 49 36 25 16 9 4 1)) log:collectAllIn ?_b1 .
-#   (64 49 36 25 16 9 4 1) math:sum 204 .
+#   } ("64"^^xsd:decimal "49"^^xsd:decimal "36"^^xsd:decimal "25"^^xsd:decimal "16"^^xsd:decimal "9"^^xsd:decimal "4"^^xsd:decimal "1"^^xsd:decimal)) log:collectAllIn ?_b1 .
+#   ("64"^^xsd:decimal "49"^^xsd:decimal "36"^^xsd:decimal "25"^^xsd:decimal "16"^^xsd:decimal "9"^^xsd:decimal "4"^^xsd:decimal "1"^^xsd:decimal) math:sum "204"^^xsd:decimal .
 #   (?y2 {
 #       (_:b1 _:b2 _:b3 _:b4 _:b5 _:b6 _:b7 _:b8) list:member ?p .
 #       ?p :y ?y .
 #       (?y 2.0) math:exponentiation ?y2 .
-#   } (225 49 34.81 26.009999999999998 17.64 14.44 8.41 4.41)) log:collectAllIn ?_b1 .
-#   (225 49 34.81 26.009999999999998 17.64 14.44 8.41 4.41) math:sum 379.72 .
+#   } ("225"^^xsd:decimal "49"^^xsd:decimal "34.81"^^xsd:decimal "26.009999999999998"^^xsd:decimal "17.64"^^xsd:decimal "14.44"^^xsd:decimal "8.41"^^xsd:decimal "4.41"^^xsd:decimal)) log:collectAllIn ?_b1 .
+#   ("225"^^xsd:decimal "49"^^xsd:decimal "34.81"^^xsd:decimal "26.009999999999998"^^xsd:decimal "17.64"^^xsd:decimal "14.44"^^xsd:decimal "8.41"^^xsd:decimal "4.41"^^xsd:decimal) math:sum "379.72"^^xsd:decimal .
 #   (?xy {
 #       (_:b1 _:b2 _:b3 _:b4 _:b5 _:b6 _:b7 _:b8) list:member ?p .
 #       ?p :x ?x .
 #       ?p :y ?y .
 #       (?x ?y) math:product ?xy .
-#   } (120 49 35.400000000000006 25.5 16.8 11.399999999999999 5.8 2.1)) log:collectAllIn ?_b1 .
-#   (120 49 35.400000000000006 25.5 16.8 11.399999999999999 5.8 2.1) math:sum 266.00000000000006 .
+#   } ("120"^^xsd:decimal "49"^^xsd:decimal "35.400000000000006"^^xsd:decimal "25.5"^^xsd:decimal "16.8"^^xsd:decimal "11.399999999999999"^^xsd:decimal "5.8"^^xsd:decimal "2.1"^^xsd:decimal)) log:collectAllIn ?_b1 .
+#   ("120"^^xsd:decimal "49"^^xsd:decimal "35.400000000000006"^^xsd:decimal "25.5"^^xsd:decimal "16.8"^^xsd:decimal "11.399999999999999"^^xsd:decimal "5.8"^^xsd:decimal "2.1"^^xsd:decimal) math:sum "266.00000000000006"^^xsd:decimal .
 # via the schematic forward rule:
 #   {
 #     :Reg1 :points ?pts .
@@ -361,24 +362,24 @@
 # with substitution (on rule variables):
 #   ?n = 8
 #   ?pts = (_:b1 _:b2 _:b3 _:b4 _:b5 _:b6 _:b7 _:b8)
-#   ?sumX = 36
-#   ?sumXX = 204
-#   ?sumXY = 266.00000000000006
-#   ?sumY = 46
-#   ?sumYY = 379.72
-#   ?x2s = (64 49 36 25 16 9 4 1)
+#   ?sumX = "36"^^xsd:decimal
+#   ?sumXX = "204"^^xsd:decimal
+#   ?sumXY = "266.00000000000006"^^xsd:decimal
+#   ?sumY = "46"^^xsd:decimal
+#   ?sumYY = "379.72"^^xsd:decimal
+#   ?x2s = ("64"^^xsd:decimal "49"^^xsd:decimal "36"^^xsd:decimal "25"^^xsd:decimal "16"^^xsd:decimal "9"^^xsd:decimal "4"^^xsd:decimal "1"^^xsd:decimal)
 #   ?xs = (8.0 7.0 6.0 5.0 4.0 3.0 2.0 1.0)
-#   ?xys = (120 49 35.400000000000006 25.5 16.8 11.399999999999999 5.8 2.1)
-#   ?y2s = (225 49 34.81 26.009999999999998 17.64 14.44 8.41 4.41)
+#   ?xys = ("120"^^xsd:decimal "49"^^xsd:decimal "35.400000000000006"^^xsd:decimal "25.5"^^xsd:decimal "16.8"^^xsd:decimal "11.399999999999999"^^xsd:decimal "5.8"^^xsd:decimal "2.1"^^xsd:decimal)
+#   ?y2s = ("225"^^xsd:decimal "49"^^xsd:decimal "34.81"^^xsd:decimal "26.009999999999998"^^xsd:decimal "17.64"^^xsd:decimal "14.44"^^xsd:decimal "8.41"^^xsd:decimal "4.41"^^xsd:decimal)
 #   ?ys = (15.0 7.0 5.9 5.1 4.2 3.8 2.9 2.1)
 # Therefore the derived triple above is entailed by the rules and facts.
 # ----------------------------------------------------------------------
-:Reg1 :sumXX 204 .
+:Reg1 :sumXX "204"^^xsd:decimal .
 # ----------------------------------------------------------------------
 # Proof for derived triple:
-#   :Reg1 :sumYY 379.72 .
+#   :Reg1 :sumYY "379.72"^^xsd:decimal .
 # It holds because the following instance of the rule body is provable:
 #   :Reg1 :points (_:b1 _:b2 _:b3 _:b4 _:b5 _:b6 _:b7 _:b8) .
 #   (_:b1 _:b2 _:b3 _:b4 _:b5 _:b6 _:b7 _:b8) list:length 8 .
@@ -390,27 +391,27 @@
 #       (_:b1 _:b2 _:b3 _:b4 _:b5 _:b6 _:b7 _:b8) list:member ?p .
 #       ?p :y ?y .
 #   } (15.0 7.0 5.9 5.1 4.2 3.8 2.9 2.1)) log:collectAllIn ?_b1 .
-#   (8.0 7.0 6.0 5.0 4.0 3.0 2.0 1.0) math:sum 36 .
-#   (15.0 7.0 5.9 5.1 4.2 3.8 2.9 2.1) math:sum 46 .
+#   (8.0 7.0 6.0 5.0 4.0 3.0 2.0 1.0) math:sum "36"^^xsd:decimal .
+#   (15.0 7.0 5.9 5.1 4.2 3.8 2.9 2.1) math:sum "46"^^xsd:decimal .
 #   (?x2 {
 #       (_:b1 _:b2 _:b3 _:b4 _:b5 _:b6 _:b7 _:b8) list:member ?p .
 #       ?p :x ?x .
 #       (?x 2.0) math:exponentiation ?x2 .
-#   } (64 49 36 25 16 9 4 1)) log:collectAllIn ?_b1 .
-#   (64 49 36 25 16 9 4 1) math:sum 204 .
+#   } ("64"^^xsd:decimal "49"^^xsd:decimal "36"^^xsd:decimal "25"^^xsd:decimal "16"^^xsd:decimal "9"^^xsd:decimal "4"^^xsd:decimal "1"^^xsd:decimal)) log:collectAllIn ?_b1 .
+#   ("64"^^xsd:decimal "49"^^xsd:decimal "36"^^xsd:decimal "25"^^xsd:decimal "16"^^xsd:decimal "9"^^xsd:decimal "4"^^xsd:decimal "1"^^xsd:decimal) math:sum "204"^^xsd:decimal .
 #   (?y2 {
 #       (_:b1 _:b2 _:b3 _:b4 _:b5 _:b6 _:b7 _:b8) list:member ?p .
 #       ?p :y ?y .
 #       (?y 2.0) math:exponentiation ?y2 .
-#   } (225 49 34.81 26.009999999999998 17.64 14.44 8.41 4.41)) log:collectAllIn ?_b1 .
-#   (225 49 34.81 26.009999999999998 17.64 14.44 8.41 4.41) math:sum 379.72 .
+#   } ("225"^^xsd:decimal "49"^^xsd:decimal "34.81"^^xsd:decimal "26.009999999999998"^^xsd:decimal "17.64"^^xsd:decimal "14.44"^^xsd:decimal "8.41"^^xsd:decimal "4.41"^^xsd:decimal)) log:collectAllIn ?_b1 .
+#   ("225"^^xsd:decimal "49"^^xsd:decimal "34.81"^^xsd:decimal "26.009999999999998"^^xsd:decimal "17.64"^^xsd:decimal "14.44"^^xsd:decimal "8.41"^^xsd:decimal "4.41"^^xsd:decimal) math:sum "379.72"^^xsd:decimal .
 #   (?xy {
 #       (_:b1 _:b2 _:b3 _:b4 _:b5 _:b6 _:b7 _:b8) list:member ?p .
 #       ?p :x ?x .
 #       ?p :y ?y .
 #       (?x ?y) math:product ?xy .
-#   } (120 49 35.400000000000006 25.5 16.8 11.399999999999999 5.8 2.1)) log:collectAllIn ?_b1 .
-#   (120 49 35.400000000000006 25.5 16.8 11.399999999999999 5.8 2.1) math:sum 266.00000000000006 .
+#   } ("120"^^xsd:decimal "49"^^xsd:decimal "35.400000000000006"^^xsd:decimal "25.5"^^xsd:decimal "16.8"^^xsd:decimal "11.399999999999999"^^xsd:decimal "5.8"^^xsd:decimal "2.1"^^xsd:decimal)) log:collectAllIn ?_b1 .
+#   ("120"^^xsd:decimal "49"^^xsd:decimal "35.400000000000006"^^xsd:decimal "25.5"^^xsd:decimal "16.8"^^xsd:decimal "11.399999999999999"^^xsd:decimal "5.8"^^xsd:decimal "2.1"^^xsd:decimal) math:sum "266.00000000000006"^^xsd:decimal .
 # via the schematic forward rule:
 #   {
 #     :Reg1 :points ?pts .
@@ -455,24 +456,24 @@
 # with substitution (on rule variables):
 #   ?n = 8
 #   ?pts = (_:b1 _:b2 _:b3 _:b4 _:b5 _:b6 _:b7 _:b8)
-#   ?sumX = 36
-#   ?sumXX = 204
-#   ?sumXY = 266.00000000000006
-#   ?sumY = 46
-#   ?sumYY = 379.72
-#   ?x2s = (64 49 36 25 16 9 4 1)
+#   ?sumX = "36"^^xsd:decimal
+#   ?sumXX = "204"^^xsd:decimal
+#   ?sumXY = "266.00000000000006"^^xsd:decimal
+#   ?sumY = "46"^^xsd:decimal
+#   ?sumYY = "379.72"^^xsd:decimal
+#   ?x2s = ("64"^^xsd:decimal "49"^^xsd:decimal "36"^^xsd:decimal "25"^^xsd:decimal "16"^^xsd:decimal "9"^^xsd:decimal "4"^^xsd:decimal "1"^^xsd:decimal)
 #   ?xs = (8.0 7.0 6.0 5.0 4.0 3.0 2.0 1.0)
-#   ?xys = (120 49 35.400000000000006 25.5 16.8 11.399999999999999 5.8 2.1)
-#   ?y2s = (225 49 34.81 26.009999999999998 17.64 14.44 8.41 4.41)
+#   ?xys = ("120"^^xsd:decimal "49"^^xsd:decimal "35.400000000000006"^^xsd:decimal "25.5"^^xsd:decimal "16.8"^^xsd:decimal "11.399999999999999"^^xsd:decimal "5.8"^^xsd:decimal "2.1"^^xsd:decimal)
+#   ?y2s = ("225"^^xsd:decimal "49"^^xsd:decimal "34.81"^^xsd:decimal "26.009999999999998"^^xsd:decimal "17.64"^^xsd:decimal "14.44"^^xsd:decimal "8.41"^^xsd:decimal "4.41"^^xsd:decimal)
 #   ?ys = (15.0 7.0 5.9 5.1 4.2 3.8 2.9 2.1)
 # Therefore the derived triple above is entailed by the rules and facts.
 # ----------------------------------------------------------------------
-:Reg1 :sumYY 379.72 .
+:Reg1 :sumYY "379.72"^^xsd:decimal .
 # ----------------------------------------------------------------------
 # Proof for derived triple:
-#   :Reg1 :sumXY 266.00000000000006 .
+#   :Reg1 :sumXY "266.00000000000006"^^xsd:decimal .
 # It holds because the following instance of the rule body is provable:
 #   :Reg1 :points (_:b1 _:b2 _:b3 _:b4 _:b5 _:b6 _:b7 _:b8) .
 #   (_:b1 _:b2 _:b3 _:b4 _:b5 _:b6 _:b7 _:b8) list:length 8 .
@@ -484,27 +485,27 @@
 #       (_:b1 _:b2 _:b3 _:b4 _:b5 _:b6 _:b7 _:b8) list:member ?p .
 #       ?p :y ?y .
 #   } (15.0 7.0 5.9 5.1 4.2 3.8 2.9 2.1)) log:collectAllIn ?_b1 .
-#   (8.0 7.0 6.0 5.0 4.0 3.0 2.0 1.0) math:sum 36 .
-#   (15.0 7.0 5.9 5.1 4.2 3.8 2.9 2.1) math:sum 46 .
+#   (8.0 7.0 6.0 5.0 4.0 3.0 2.0 1.0) math:sum "36"^^xsd:decimal .
+#   (15.0 7.0 5.9 5.1 4.2 3.8 2.9 2.1) math:sum "46"^^xsd:decimal .
 #   (?x2 {
 #       (_:b1 _:b2 _:b3 _:b4 _:b5 _:b6 _:b7 _:b8) list:member ?p .
 #       ?p :x ?x .
 #       (?x 2.0) math:exponentiation ?x2 .
-#   } (64 49 36 25 16 9 4 1)) log:collectAllIn ?_b1 .
-#   (64 49 36 25 16 9 4 1) math:sum 204 .
+#   } ("64"^^xsd:decimal "49"^^xsd:decimal "36"^^xsd:decimal "25"^^xsd:decimal "16"^^xsd:decimal "9"^^xsd:decimal "4"^^xsd:decimal "1"^^xsd:decimal)) log:collectAllIn ?_b1 .
+#   ("64"^^xsd:decimal "49"^^xsd:decimal "36"^^xsd:decimal "25"^^xsd:decimal "16"^^xsd:decimal "9"^^xsd:decimal "4"^^xsd:decimal "1"^^xsd:decimal) math:sum "204"^^xsd:decimal .
 #   (?y2 {
 #       (_:b1 _:b2 _:b3 _:b4 _:b5 _:b6 _:b7 _:b8) list:member ?p .
 #       ?p :y ?y .
 #       (?y 2.0) math:exponentiation ?y2 .
-#   } (225 49 34.81 26.009999999999998 17.64 14.44 8.41 4.41)) log:collectAllIn ?_b1 .
-#   (225 49 34.81 26.009999999999998 17.64 14.44 8.41 4.41) math:sum 379.72 .
+#   } ("225"^^xsd:decimal "49"^^xsd:decimal "34.81"^^xsd:decimal "26.009999999999998"^^xsd:decimal "17.64"^^xsd:decimal "14.44"^^xsd:decimal "8.41"^^xsd:decimal "4.41"^^xsd:decimal)) log:collectAllIn ?_b1 .
+#   ("225"^^xsd:decimal "49"^^xsd:decimal "34.81"^^xsd:decimal "26.009999999999998"^^xsd:decimal "17.64"^^xsd:decimal "14.44"^^xsd:decimal "8.41"^^xsd:decimal "4.41"^^xsd:decimal) math:sum "379.72"^^xsd:decimal .
 #   (?xy {
 #       (_:b1 _:b2 _:b3 _:b4 _:b5 _:b6 _:b7 _:b8) list:member ?p .
 #       ?p :x ?x .
 #       ?p :y ?y .
 #       (?x ?y) math:product ?xy .
-#   } (120 49 35.400000000000006 25.5 16.8 11.399999999999999 5.8 2.1)) log:collectAllIn ?_b1 .
-#   (120 49 35.400000000000006 25.5 16.8 11.399999999999999 5.8 2.1) math:sum 266.00000000000006 .
+#   } ("120"^^xsd:decimal "49"^^xsd:decimal "35.400000000000006"^^xsd:decimal "25.5"^^xsd:decimal "16.8"^^xsd:decimal "11.399999999999999"^^xsd:decimal "5.8"^^xsd:decimal "2.1"^^xsd:decimal)) log:collectAllIn ?_b1 .
+#   ("120"^^xsd:decimal "49"^^xsd:decimal "35.400000000000006"^^xsd:decimal "25.5"^^xsd:decimal "16.8"^^xsd:decimal "11.399999999999999"^^xsd:decimal "5.8"^^xsd:decimal "2.1"^^xsd:decimal) math:sum "266.00000000000006"^^xsd:decimal .
 # via the schematic forward rule:
 #   {
 #     :Reg1 :points ?pts .
@@ -549,48 +550,48 @@
 # with substitution (on rule variables):
 #   ?n = 8
 #   ?pts = (_:b1 _:b2 _:b3 _:b4 _:b5 _:b6 _:b7 _:b8)
-#   ?sumX = 36
-#   ?sumXX = 204
-#   ?sumXY = 266.00000000000006
-#   ?sumY = 46
-#   ?sumYY = 379.72
-#   ?x2s = (64 49 36 25 16 9 4 1)
+#   ?sumX = "36"^^xsd:decimal
+#   ?sumXX = "204"^^xsd:decimal
+#   ?sumXY = "266.00000000000006"^^xsd:decimal
+#   ?sumY = "46"^^xsd:decimal
+#   ?sumYY = "379.72"^^xsd:decimal
+#   ?x2s = ("64"^^xsd:decimal "49"^^xsd:decimal "36"^^xsd:decimal "25"^^xsd:decimal "16"^^xsd:decimal "9"^^xsd:decimal "4"^^xsd:decimal "1"^^xsd:decimal)
 #   ?xs = (8.0 7.0 6.0 5.0 4.0 3.0 2.0 1.0)
-#   ?xys = (120 49 35.400000000000006 25.5 16.8 11.399999999999999 5.8 2.1)
-#   ?y2s = (225 49 34.81 26.009999999999998 17.64 14.44 8.41 4.41)
+#   ?xys = ("120"^^xsd:decimal "49"^^xsd:decimal "35.400000000000006"^^xsd:decimal "25.5"^^xsd:decimal "16.8"^^xsd:decimal "11.399999999999999"^^xsd:decimal "5.8"^^xsd:decimal "2.1"^^xsd:decimal)
+#   ?y2s = ("225"^^xsd:decimal "49"^^xsd:decimal "34.81"^^xsd:decimal "26.009999999999998"^^xsd:decimal "17.64"^^xsd:decimal "14.44"^^xsd:decimal "8.41"^^xsd:decimal "4.41"^^xsd:decimal)
 #   ?ys = (15.0 7.0 5.9 5.1 4.2 3.8 2.9 2.1)
 # Therefore the derived triple above is entailed by the rules and facts.
 # ----------------------------------------------------------------------
-:Reg1 :sumXY 266.00000000000006 .
+:Reg1 :sumXY "266.00000000000006"^^xsd:decimal .
 # ----------------------------------------------------------------------
 # Proof for derived triple:
-#   :Reg1 :slope 1.4047619047619062 .
+#   :Reg1 :slope "1.4047619047619062"^^xsd:decimal .
 # It holds because the following instance of the rule body is provable:
 #   :Reg1 :n 8 .
-#   :Reg1 :sumX 36 .
-#   :Reg1 :sumY 46 .
-#   :Reg1 :sumXX 204 .
-#   :Reg1 :sumYY 379.72 .
-#   :Reg1 :sumXY 266.00000000000006 .
-#   (8 266.00000000000006) math:product 2128.0000000000005 .
-#   (36 46) math:product 1656 .
-#   (2128.0000000000005 1656) math:difference 472.00000000000045 .
-#   (8 204) math:product 1632 .
-#   (36 2.0) math:exponentiation 1296 .
-#   (1632 1296) math:difference 336 .
-#   (472.00000000000045 336) math:quotient 1.4047619047619062 .
-#   (1.4047619047619062 36) math:product 50.571428571428626 .
-#   (46 50.571428571428626) math:difference -4.571428571428626 .
-#   (-4.571428571428626 8) math:quotient -0.5714285714285783 .
-#   (8 379.72) math:product 3037.76 .
-#   (46 2.0) math:exponentiation 2116 .
-#   (3037.76 2116) math:difference 921.7600000000002 .
-#   (336 921.7600000000002) math:product 309711.3600000001 .
-#   (309711.3600000001 0.5) math:exponentiation 556.5171695464571 .
-#   (472.00000000000045 556.5171695464571) math:quotient 0.8481319639871393 .
-#   (0.8481319639871393 2.0) math:exponentiation 0.7193278283366822 .
+#   :Reg1 :sumX "36"^^xsd:decimal .
+#   :Reg1 :sumY "46"^^xsd:decimal .
+#   :Reg1 :sumXX "204"^^xsd:decimal .
+#   :Reg1 :sumYY "379.72"^^xsd:decimal .
+#   :Reg1 :sumXY "266.00000000000006"^^xsd:decimal .
+#   (8 "266.00000000000006"^^xsd:decimal) math:product "2128.0000000000005"^^xsd:decimal .
+#   ("36"^^xsd:decimal "46"^^xsd:decimal) math:product "1656"^^xsd:decimal .
+#   ("2128.0000000000005"^^xsd:decimal "1656"^^xsd:decimal) math:difference "472.00000000000045"^^xsd:decimal .
+#   (8 "204"^^xsd:decimal) math:product "1632"^^xsd:decimal .
+#   ("36"^^xsd:decimal 2.0) math:exponentiation "1296"^^xsd:decimal .
+#   ("1632"^^xsd:decimal "1296"^^xsd:decimal) math:difference "336"^^xsd:decimal .
+#   ("472.00000000000045"^^xsd:decimal "336"^^xsd:decimal) math:quotient "1.4047619047619062"^^xsd:decimal .
+#   ("1.4047619047619062"^^xsd:decimal "36"^^xsd:decimal) math:product "50.571428571428626"^^xsd:decimal .
+#   ("46"^^xsd:decimal "50.571428571428626"^^xsd:decimal) math:difference "-4.571428571428626"^^xsd:decimal .
+#   ("-4.571428571428626"^^xsd:decimal 8) math:quotient "-0.5714285714285783"^^xsd:decimal .
+#   (8 "379.72"^^xsd:decimal) math:product "3037.76"^^xsd:decimal .
+#   ("46"^^xsd:decimal 2.0) math:exponentiation "2116"^^xsd:decimal .
+#   ("3037.76"^^xsd:decimal "2116"^^xsd:decimal) math:difference "921.7600000000002"^^xsd:decimal .
+#   ("336"^^xsd:decimal "921.7600000000002"^^xsd:decimal) math:product "309711.3600000001"^^xsd:decimal .
+#   ("309711.3600000001"^^xsd:decimal 0.5) math:exponentiation "556.5171695464571"^^xsd:decimal .
+#   ("472.00000000000045"^^xsd:decimal "556.5171695464571"^^xsd:decimal) math:quotient "0.8481319639871393"^^xsd:decimal .
+#   ("0.8481319639871393"^^xsd:decimal 2.0) math:exponentiation "0.7193278283366822"^^xsd:decimal .
 # via the schematic forward rule:
 #   {
 #     :Reg1 :n ?n .
@@ -623,61 +624,61 @@
 #     :Reg1 :rSquared ?r2 .
 #   } .
 # with substitution (on rule variables):
-#   ?a = -0.5714285714285783
-#   ?b = 1.4047619047619062
-#   ?b_sx = 50.571428571428626
-#   ?denX = 336
-#   ?denXY = 309711.3600000001
-#   ?denY = 921.7600000000002
+#   ?a = "-0.5714285714285783"^^xsd:decimal
+#   ?b = "1.4047619047619062"^^xsd:decimal
+#   ?b_sx = "50.571428571428626"^^xsd:decimal
+#   ?denX = "336"^^xsd:decimal
+#   ?denXY = "309711.3600000001"^^xsd:decimal
+#   ?denY = "921.7600000000002"^^xsd:decimal
 #   ?n = 8
-#   ?n_sxx = 1632
-#   ?n_sxy = 2128.0000000000005
-#   ?n_syy = 3037.76
-#   ?num = 472.00000000000045
-#   ?r = 0.8481319639871393
-#   ?r2 = 0.7193278283366822
-#   ?sqrtDen = 556.5171695464571
-#   ?sx = 36
-#   ?sx2 = 1296
-#   ?sx_sy = 1656
-#   ?sxx = 204
-#   ?sxy = 266.00000000000006
-#   ?sy = 46
-#   ?sy2 = 2116
-#   ?syy = 379.72
-#   ?tmpA = -4.571428571428626
+#   ?n_sxx = "1632"^^xsd:decimal
+#   ?n_sxy = "2128.0000000000005"^^xsd:decimal
+#   ?n_syy = "3037.76"^^xsd:decimal
+#   ?num = "472.00000000000045"^^xsd:decimal
+#   ?r = "0.8481319639871393"^^xsd:decimal
+#   ?r2 = "0.7193278283366822"^^xsd:decimal
+#   ?sqrtDen = "556.5171695464571"^^xsd:decimal
+#   ?sx = "36"^^xsd:decimal
+#   ?sx2 = "1296"^^xsd:decimal
+#   ?sx_sy = "1656"^^xsd:decimal
+#   ?sxx = "204"^^xsd:decimal
+#   ?sxy = "266.00000000000006"^^xsd:decimal
+#   ?sy = "46"^^xsd:decimal
+#   ?sy2 = "2116"^^xsd:decimal
+#   ?syy = "379.72"^^xsd:decimal
+#   ?tmpA = "-4.571428571428626"^^xsd:decimal
 # Therefore the derived triple above is entailed by the rules and facts.
 # ----------------------------------------------------------------------
-:Reg1 :slope 1.4047619047619062 .
+:Reg1 :slope "1.4047619047619062"^^xsd:decimal .
 # ----------------------------------------------------------------------
 # Proof for derived triple:
-#   :Reg1 :intercept -0.5714285714285783 .
+#   :Reg1 :intercept "-0.5714285714285783"^^xsd:decimal .
 # It holds because the following instance of the rule body is provable:
 #   :Reg1 :n 8 .
-#   :Reg1 :sumX 36 .
-#   :Reg1 :sumY 46 .
-#   :Reg1 :sumXX 204 .
-#   :Reg1 :sumYY 379.72 .
-#   :Reg1 :sumXY 266.00000000000006 .
-#   (8 266.00000000000006) math:product 2128.0000000000005 .
-#   (36 46) math:product 1656 .
-#   (2128.0000000000005 1656) math:difference 472.00000000000045 .
-#   (8 204) math:product 1632 .
-#   (36 2.0) math:exponentiation 1296 .
-#   (1632 1296) math:difference 336 .
-#   (472.00000000000045 336) math:quotient 1.4047619047619062 .
-#   (1.4047619047619062 36) math:product 50.571428571428626 .
-#   (46 50.571428571428626) math:difference -4.571428571428626 .
-#   (-4.571428571428626 8) math:quotient -0.5714285714285783 .
-#   (8 379.72) math:product 3037.76 .
-#   (46 2.0) math:exponentiation 2116 .
-#   (3037.76 2116) math:difference 921.7600000000002 .
-#   (336 921.7600000000002) math:product 309711.3600000001 .
-#   (309711.3600000001 0.5) math:exponentiation 556.5171695464571 .
-#   (472.00000000000045 556.5171695464571) math:quotient 0.8481319639871393 .
-#   (0.8481319639871393 2.0) math:exponentiation 0.7193278283366822 .
+#   :Reg1 :sumX "36"^^xsd:decimal .
+#   :Reg1 :sumY "46"^^xsd:decimal .
+#   :Reg1 :sumXX "204"^^xsd:decimal .
+#   :Reg1 :sumYY "379.72"^^xsd:decimal .
+#   :Reg1 :sumXY "266.00000000000006"^^xsd:decimal .
+#   (8 "266.00000000000006"^^xsd:decimal) math:product "2128.0000000000005"^^xsd:decimal .
+#   ("36"^^xsd:decimal "46"^^xsd:decimal) math:product "1656"^^xsd:decimal .
+#   ("2128.0000000000005"^^xsd:decimal "1656"^^xsd:decimal) math:difference "472.00000000000045"^^xsd:decimal .
+#   (8 "204"^^xsd:decimal) math:product "1632"^^xsd:decimal .
+#   ("36"^^xsd:decimal 2.0) math:exponentiation "1296"^^xsd:decimal .
+#   ("1632"^^xsd:decimal "1296"^^xsd:decimal) math:difference "336"^^xsd:decimal .
+#   ("472.00000000000045"^^xsd:decimal "336"^^xsd:decimal) math:quotient "1.4047619047619062"^^xsd:decimal .
+#   ("1.4047619047619062"^^xsd:decimal "36"^^xsd:decimal) math:product "50.571428571428626"^^xsd:decimal .
+#   ("46"^^xsd:decimal "50.571428571428626"^^xsd:decimal) math:difference "-4.571428571428626"^^xsd:decimal .
+#   ("-4.571428571428626"^^xsd:decimal 8) math:quotient "-0.5714285714285783"^^xsd:decimal .
+#   (8 "379.72"^^xsd:decimal) math:product "3037.76"^^xsd:decimal .
+#   ("46"^^xsd:decimal 2.0) math:exponentiation "2116"^^xsd:decimal .
+#   ("3037.76"^^xsd:decimal "2116"^^xsd:decimal) math:difference "921.7600000000002"^^xsd:decimal .
+#   ("336"^^xsd:decimal "921.7600000000002"^^xsd:decimal) math:product "309711.3600000001"^^xsd:decimal .
+#   ("309711.3600000001"^^xsd:decimal 0.5) math:exponentiation "556.5171695464571"^^xsd:decimal .
+#   ("472.00000000000045"^^xsd:decimal "556.5171695464571"^^xsd:decimal) math:quotient "0.8481319639871393"^^xsd:decimal .
+#   ("0.8481319639871393"^^xsd:decimal 2.0) math:exponentiation "0.7193278283366822"^^xsd:decimal .
 # via the schematic forward rule:
 #   {
 #     :Reg1 :n ?n .
@@ -710,61 +711,61 @@
 #     :Reg1 :rSquared ?r2 .
 #   } .
 # with substitution (on rule variables):
-#   ?a = -0.5714285714285783
-#   ?b = 1.4047619047619062
-#   ?b_sx = 50.571428571428626
-#   ?denX = 336
-#   ?denXY = 309711.3600000001
-#   ?denY = 921.7600000000002
+#   ?a = "-0.5714285714285783"^^xsd:decimal
+#   ?b = "1.4047619047619062"^^xsd:decimal
+#   ?b_sx = "50.571428571428626"^^xsd:decimal
+#   ?denX = "336"^^xsd:decimal
+#   ?denXY = "309711.3600000001"^^xsd:decimal
+#   ?denY = "921.7600000000002"^^xsd:decimal
 #   ?n = 8
-#   ?n_sxx = 1632
-#   ?n_sxy = 2128.0000000000005
-#   ?n_syy = 3037.76
-#   ?num = 472.00000000000045
-#   ?r = 0.8481319639871393
-#   ?r2 = 0.7193278283366822
-#   ?sqrtDen = 556.5171695464571
-#   ?sx = 36
-#   ?sx2 = 1296
-#   ?sx_sy = 1656
-#   ?sxx = 204
-#   ?sxy = 266.00000000000006
-#   ?sy = 46
-#   ?sy2 = 2116
-#   ?syy = 379.72
-#   ?tmpA = -4.571428571428626
+#   ?n_sxx = "1632"^^xsd:decimal
+#   ?n_sxy = "2128.0000000000005"^^xsd:decimal
+#   ?n_syy = "3037.76"^^xsd:decimal
+#   ?num = "472.00000000000045"^^xsd:decimal
+#   ?r = "0.8481319639871393"^^xsd:decimal
+#   ?r2 = "0.7193278283366822"^^xsd:decimal
+#   ?sqrtDen = "556.5171695464571"^^xsd:decimal
+#   ?sx = "36"^^xsd:decimal
+#   ?sx2 = "1296"^^xsd:decimal
+#   ?sx_sy = "1656"^^xsd:decimal
+#   ?sxx = "204"^^xsd:decimal
+#   ?sxy = "266.00000000000006"^^xsd:decimal
+#   ?sy = "46"^^xsd:decimal
+#   ?sy2 = "2116"^^xsd:decimal
+#   ?syy = "379.72"^^xsd:decimal
+#   ?tmpA = "-4.571428571428626"^^xsd:decimal
 # Therefore the derived triple above is entailed by the rules and facts.
 # ----------------------------------------------------------------------
-:Reg1 :intercept -0.5714285714285783 .
+:Reg1 :intercept "-0.5714285714285783"^^xsd:decimal .
 # ----------------------------------------------------------------------
 # Proof for derived triple:
-#   :Reg1 :pearsonR 0.8481319639871393 .
+#   :Reg1 :pearsonR "0.8481319639871393"^^xsd:decimal .
 # It holds because the following instance of the rule body is provable:
 #   :Reg1 :n 8 .
-#   :Reg1 :sumX 36 .
-#   :Reg1 :sumY 46 .
-#   :Reg1 :sumXX 204 .
-#   :Reg1 :sumYY 379.72 .
-#   :Reg1 :sumXY 266.00000000000006 .
-#   (8 266.00000000000006) math:product 2128.0000000000005 .
-#   (36 46) math:product 1656 .
-#   (2128.0000000000005 1656) math:difference 472.00000000000045 .
-#   (8 204) math:product 1632 .
-#   (36 2.0) math:exponentiation 1296 .
-#   (1632 1296) math:difference 336 .
-#   (472.00000000000045 336) math:quotient 1.4047619047619062 .
-#   (1.4047619047619062 36) math:product 50.571428571428626 .
-#   (46 50.571428571428626) math:difference -4.571428571428626 .
-#   (-4.571428571428626 8) math:quotient -0.5714285714285783 .
-#   (8 379.72) math:product 3037.76 .
-#   (46 2.0) math:exponentiation 2116 .
-#   (3037.76 2116) math:difference 921.7600000000002 .
-#   (336 921.7600000000002) math:product 309711.3600000001 .
-#   (309711.3600000001 0.5) math:exponentiation 556.5171695464571 .
-#   (472.00000000000045 556.5171695464571) math:quotient 0.8481319639871393 .
-#   (0.8481319639871393 2.0) math:exponentiation 0.7193278283366822 .
+#   :Reg1 :sumX "36"^^xsd:decimal .
+#   :Reg1 :sumY "46"^^xsd:decimal .
+#   :Reg1 :sumXX "204"^^xsd:decimal .
+#   :Reg1 :sumYY "379.72"^^xsd:decimal .
+#   :Reg1 :sumXY "266.00000000000006"^^xsd:decimal .
+#   (8 "266.00000000000006"^^xsd:decimal) math:product "2128.0000000000005"^^xsd:decimal .
+#   ("36"^^xsd:decimal "46"^^xsd:decimal) math:product "1656"^^xsd:decimal .
+#   ("2128.0000000000005"^^xsd:decimal "1656"^^xsd:decimal) math:difference "472.00000000000045"^^xsd:decimal .
+#   (8 "204"^^xsd:decimal) math:product "1632"^^xsd:decimal .
+#   ("36"^^xsd:decimal 2.0) math:exponentiation "1296"^^xsd:decimal .
+#   ("1632"^^xsd:decimal "1296"^^xsd:decimal) math:difference "336"^^xsd:decimal .
+#   ("472.00000000000045"^^xsd:decimal "336"^^xsd:decimal) math:quotient "1.4047619047619062"^^xsd:decimal .
+#   ("1.4047619047619062"^^xsd:decimal "36"^^xsd:decimal) math:product "50.571428571428626"^^xsd:decimal .
+#   ("46"^^xsd:decimal "50.571428571428626"^^xsd:decimal) math:difference "-4.571428571428626"^^xsd:decimal .
+#   ("-4.571428571428626"^^xsd:decimal 8) math:quotient "-0.5714285714285783"^^xsd:decimal .
+#   (8 "379.72"^^xsd:decimal) math:product "3037.76"^^xsd:decimal .
+#   ("46"^^xsd:decimal 2.0) math:exponentiation "2116"^^xsd:decimal .
+#   ("3037.76"^^xsd:decimal "2116"^^xsd:decimal) math:difference "921.7600000000002"^^xsd:decimal .
+#   ("336"^^xsd:decimal "921.7600000000002"^^xsd:decimal) math:product "309711.3600000001"^^xsd:decimal .
+#   ("309711.3600000001"^^xsd:decimal 0.5) math:exponentiation "556.5171695464571"^^xsd:decimal .
+#   ("472.00000000000045"^^xsd:decimal "556.5171695464571"^^xsd:decimal) math:quotient "0.8481319639871393"^^xsd:decimal .
+#   ("0.8481319639871393"^^xsd:decimal 2.0) math:exponentiation "0.7193278283366822"^^xsd:decimal .
 # via the schematic forward rule:
 #   {
 #     :Reg1 :n ?n .
@@ -797,61 +798,61 @@
 #     :Reg1 :rSquared ?r2 .
 #   } .
 # with substitution (on rule variables):
-#   ?a = -0.5714285714285783
-#   ?b = 1.4047619047619062
-#   ?b_sx = 50.571428571428626
-#   ?denX = 336
-#   ?denXY = 309711.3600000001
-#   ?denY = 921.7600000000002
+#   ?a = "-0.5714285714285783"^^xsd:decimal
+#   ?b = "1.4047619047619062"^^xsd:decimal
+#   ?b_sx = "50.571428571428626"^^xsd:decimal
+#   ?denX = "336"^^xsd:decimal
+#   ?denXY = "309711.3600000001"^^xsd:decimal
+#   ?denY = "921.7600000000002"^^xsd:decimal
 #   ?n = 8
-#   ?n_sxx = 1632
-#   ?n_sxy = 2128.0000000000005
-#   ?n_syy = 3037.76
-#   ?num = 472.00000000000045
-#   ?r = 0.8481319639871393
-#   ?r2 = 0.7193278283366822
-#   ?sqrtDen = 556.5171695464571
-#   ?sx = 36
-#   ?sx2 = 1296
-#   ?sx_sy = 1656
-#   ?sxx = 204
-#   ?sxy = 266.00000000000006
-#   ?sy = 46
-#   ?sy2 = 2116
-#   ?syy = 379.72
-#   ?tmpA = -4.571428571428626
+#   ?n_sxx = "1632"^^xsd:decimal
+#   ?n_sxy = "2128.0000000000005"^^xsd:decimal
+#   ?n_syy = "3037.76"^^xsd:decimal
+#   ?num = "472.00000000000045"^^xsd:decimal
+#   ?r = "0.8481319639871393"^^xsd:decimal
+#   ?r2 = "0.7193278283366822"^^xsd:decimal
+#   ?sqrtDen = "556.5171695464571"^^xsd:decimal
+#   ?sx = "36"^^xsd:decimal
+#   ?sx2 = "1296"^^xsd:decimal
+#   ?sx_sy = "1656"^^xsd:decimal
+#   ?sxx = "204"^^xsd:decimal
+#   ?sxy = "266.00000000000006"^^xsd:decimal
+#   ?sy = "46"^^xsd:decimal
+#   ?sy2 = "2116"^^xsd:decimal
+#   ?syy = "379.72"^^xsd:decimal
+#   ?tmpA = "-4.571428571428626"^^xsd:decimal
 # Therefore the derived triple above is entailed by the rules and facts.
 # ----------------------------------------------------------------------
-:Reg1 :pearsonR 0.8481319639871393 .
+:Reg1 :pearsonR "0.8481319639871393"^^xsd:decimal .
 # ----------------------------------------------------------------------
 # Proof for derived triple:
-#   :Reg1 :rSquared 0.7193278283366822 .
+#   :Reg1 :rSquared "0.7193278283366822"^^xsd:decimal .
 # It holds because the following instance of the rule body is provable:
 #   :Reg1 :n 8 .
-#   :Reg1 :sumX 36 .
-#   :Reg1 :sumY 46 .
-#   :Reg1 :sumXX 204 .
-#   :Reg1 :sumYY 379.72 .
-#   :Reg1 :sumXY 266.00000000000006 .
-#   (8 266.00000000000006) math:product 2128.0000000000005 .
-#   (36 46) math:product 1656 .
-#   (2128.0000000000005 1656) math:difference 472.00000000000045 .
-#   (8 204) math:product 1632 .
-#   (36 2.0) math:exponentiation 1296 .
-#   (1632 1296) math:difference 336 .
-#   (472.00000000000045 336) math:quotient 1.4047619047619062 .
-#   (1.4047619047619062 36) math:product 50.571428571428626 .
-#   (46 50.571428571428626) math:difference -4.571428571428626 .
-#   (-4.571428571428626 8) math:quotient -0.5714285714285783 .
-#   (8 379.72) math:product 3037.76 .
-#   (46 2.0) math:exponentiation 2116 .
-#   (3037.76 2116) math:difference 921.7600000000002 .
-#   (336 921.7600000000002) math:product 309711.3600000001 .
-#   (309711.3600000001 0.5) math:exponentiation 556.5171695464571 .
-#   (472.00000000000045 556.5171695464571) math:quotient 0.8481319639871393 .
-#   (0.8481319639871393 2.0) math:exponentiation 0.7193278283366822 .
+#   :Reg1 :sumX "36"^^xsd:decimal .
+#   :Reg1 :sumY "46"^^xsd:decimal .
+#   :Reg1 :sumXX "204"^^xsd:decimal .
+#   :Reg1 :sumYY "379.72"^^xsd:decimal .
+#   :Reg1 :sumXY "266.00000000000006"^^xsd:decimal .
+#   (8 "266.00000000000006"^^xsd:decimal) math:product "2128.0000000000005"^^xsd:decimal .
+#   ("36"^^xsd:decimal "46"^^xsd:decimal) math:product "1656"^^xsd:decimal .
+#   ("2128.0000000000005"^^xsd:decimal "1656"^^xsd:decimal) math:difference "472.00000000000045"^^xsd:decimal .
+#   (8 "204"^^xsd:decimal) math:product "1632"^^xsd:decimal .
+#   ("36"^^xsd:decimal 2.0) math:exponentiation "1296"^^xsd:decimal .
+#   ("1632"^^xsd:decimal "1296"^^xsd:decimal) math:difference "336"^^xsd:decimal .
+#   ("472.00000000000045"^^xsd:decimal "336"^^xsd:decimal) math:quotient "1.4047619047619062"^^xsd:decimal .
+#   ("1.4047619047619062"^^xsd:decimal "36"^^xsd:decimal) math:product "50.571428571428626"^^xsd:decimal .
+#   ("46"^^xsd:decimal "50.571428571428626"^^xsd:decimal) math:difference "-4.571428571428626"^^xsd:decimal .
+#   ("-4.571428571428626"^^xsd:decimal 8) math:quotient "-0.5714285714285783"^^xsd:decimal .
+#   (8 "379.72"^^xsd:decimal) math:product "3037.76"^^xsd:decimal .
+#   ("46"^^xsd:decimal 2.0) math:exponentiation "2116"^^xsd:decimal .
+#   ("3037.76"^^xsd:decimal "2116"^^xsd:decimal) math:difference "921.7600000000002"^^xsd:decimal .
+#   ("336"^^xsd:decimal "921.7600000000002"^^xsd:decimal) math:product "309711.3600000001"^^xsd:decimal .
+#   ("309711.3600000001"^^xsd:decimal 0.5) math:exponentiation "556.5171695464571"^^xsd:decimal .
+#   ("472.00000000000045"^^xsd:decimal "556.5171695464571"^^xsd:decimal) math:quotient "0.8481319639871393"^^xsd:decimal .
+#   ("0.8481319639871393"^^xsd:decimal 2.0) math:exponentiation "0.7193278283366822"^^xsd:decimal .
 # via the schematic forward rule:
 #   {
 #     :Reg1 :n ?n .
@@ -884,54 +885,54 @@
 #     :Reg1 :rSquared ?r2 .
 #   } .
 # with substitution (on rule variables):
-#   ?a = -0.5714285714285783
-#   ?b = 1.4047619047619062
-#   ?b_sx = 50.571428571428626
-#   ?denX = 336
-#   ?denXY = 309711.3600000001
-#   ?denY = 921.7600000000002
+#   ?a = "-0.5714285714285783"^^xsd:decimal
+#   ?b = "1.4047619047619062"^^xsd:decimal
+#   ?b_sx = "50.571428571428626"^^xsd:decimal
+#   ?denX = "336"^^xsd:decimal
+#   ?denXY = "309711.3600000001"^^xsd:decimal
+#   ?denY = "921.7600000000002"^^xsd:decimal
 #   ?n = 8
-#   ?n_sxx = 1632
-#   ?n_sxy = 2128.0000000000005
-#   ?n_syy = 3037.76
-#   ?num = 472.00000000000045
-#   ?r = 0.8481319639871393
-#   ?r2 = 0.7193278283366822
-#   ?sqrtDen = 556.5171695464571
-#   ?sx = 36
-#   ?sx2 = 1296
-#   ?sx_sy = 1656
-#   ?sxx = 204
-#   ?sxy = 266.00000000000006
-#   ?sy = 46
-#   ?sy2 = 2116
-#   ?syy = 379.72
-#   ?tmpA = -4.571428571428626
+#   ?n_sxx = "1632"^^xsd:decimal
+#   ?n_sxy = "2128.0000000000005"^^xsd:decimal
+#   ?n_syy = "3037.76"^^xsd:decimal
+#   ?num = "472.00000000000045"^^xsd:decimal
+#   ?r = "0.8481319639871393"^^xsd:decimal
+#   ?r2 = "0.7193278283366822"^^xsd:decimal
+#   ?sqrtDen = "556.5171695464571"^^xsd:decimal
+#   ?sx = "36"^^xsd:decimal
+#   ?sx2 = "1296"^^xsd:decimal
+#   ?sx_sy = "1656"^^xsd:decimal
+#   ?sxx = "204"^^xsd:decimal
+#   ?sxy = "266.00000000000006"^^xsd:decimal
+#   ?sy = "46"^^xsd:decimal
+#   ?sy2 = "2116"^^xsd:decimal
+#   ?syy = "379.72"^^xsd:decimal
+#   ?tmpA = "-4.571428571428626"^^xsd:decimal
 # Therefore the derived triple above is entailed by the rules and facts.
 # ----------------------------------------------------------------------
-:Reg1 :rSquared 0.7193278283366822 .
+:Reg1 :rSquared "0.7193278283366822"^^xsd:decimal .
 # ----------------------------------------------------------------------
 # Proof for derived triple:
-#   :Reg1 :sse 32.33904761904761 .
+#   :Reg1 :sse "32.33904761904761"^^xsd:decimal .
 # It holds because the following instance of the rule body is provable:
 #   :Reg1 :points (_:b1 _:b2 _:b3 _:b4 _:b5 _:b6 _:b7 _:b8) .
-#   :Reg1 :slope 1.4047619047619062 .
-#   :Reg1 :intercept -0.5714285714285783 .
+#   :Reg1 :slope "1.4047619047619062"^^xsd:decimal .
+#   :Reg1 :intercept "-0.5714285714285783"^^xsd:decimal .
 #   (_:b1 _:b2 _:b3 _:b4 _:b5 _:b6 _:b7 _:b8) list:length 8 .
 #   (?e2 {
 #       (_:b1 _:b2 _:b3 _:b4 _:b5 _:b6 _:b7 _:b8) list:member ?p .
 #       ?p :x ?x .
 #       ?p :y ?y .
-#       (1.4047619047619062 ?x) math:product ?bx .
-#       (-0.5714285714285783 ?bx) math:sum ?yhat .
+#       ("1.4047619047619062"^^xsd:decimal ?x) math:product ?bx .
+#       ("-0.5714285714285783"^^xsd:decimal ?bx) math:sum ?yhat .
 #       (?y ?yhat) math:difference ?e .
 #       (?e 2.0) math:exponentiation ?e2 .
-#   } (18.777777777777736 5.116213151927449 3.8304081632653135 1.8289342403628133 0.7184580498866192 0.02469387755102107 0.43811791383220466 1.6044444444444583)) log:collectAllIn ?_b1 .
-#   (18.777777777777736 5.116213151927449 3.8304081632653135 1.8289342403628133 0.7184580498866192 0.02469387755102107 0.43811791383220466 1.6044444444444583) math:sum 32.33904761904761 .
-#   (32.33904761904761 8) math:quotient 4.0423809523809515 .
-#   (4.0423809523809515 0.5) math:exponentiation 2.010567321026817 .
+#   } ("18.777777777777736"^^xsd:decimal "5.116213151927449"^^xsd:decimal "3.8304081632653135"^^xsd:decimal "1.8289342403628133"^^xsd:decimal "0.7184580498866192"^^xsd:decimal "0.02469387755102107"^^xsd:decimal "0.43811791383220466"^^xsd:decimal "1.6044444444444583"^^xsd:decimal)) log:collectAllIn ?_b1 .
+#   ("18.777777777777736"^^xsd:decimal "5.116213151927449"^^xsd:decimal "3.8304081632653135"^^xsd:decimal "1.8289342403628133"^^xsd:decimal "0.7184580498866192"^^xsd:decimal "0.02469387755102107"^^xsd:decimal "0.43811791383220466"^^xsd:decimal "1.6044444444444583"^^xsd:decimal) math:sum "32.33904761904761"^^xsd:decimal .
+#   ("32.33904761904761"^^xsd:decimal 8) math:quotient "4.0423809523809515"^^xsd:decimal .
+#   ("4.0423809523809515"^^xsd:decimal 0.5) math:exponentiation "2.010567321026817"^^xsd:decimal .
 # via the schematic forward rule:
 #   {
 #     :Reg1 :points ?pts .
@@ -955,39 +956,39 @@
 #     :Reg1 :rmse ?rmse .
 #   } .
 # with substitution (on rule variables):
-#   ?a = -0.5714285714285783
-#   ?b = 1.4047619047619062
-#   ?e2s = (18.777777777777736 5.116213151927449 3.8304081632653135 1.8289342403628133 0.7184580498866192 0.02469387755102107 0.43811791383220466 1.6044444444444583)
-#   ?mse = 4.0423809523809515
+#   ?a = "-0.5714285714285783"^^xsd:decimal
+#   ?b = "1.4047619047619062"^^xsd:decimal
+#   ?e2s = ("18.777777777777736"^^xsd:decimal "5.116213151927449"^^xsd:decimal "3.8304081632653135"^^xsd:decimal "1.8289342403628133"^^xsd:decimal "0.7184580498866192"^^xsd:decimal "0.02469387755102107"^^xsd:decimal "0.43811791383220466"^^xsd:decimal "1.6044444444444583"^^xsd:decimal)
+#   ?mse = "4.0423809523809515"^^xsd:decimal
 #   ?n = 8
 #   ?pts = (_:b1 _:b2 _:b3 _:b4 _:b5 _:b6 _:b7 _:b8)
-#   ?rmse = 2.010567321026817
-#   ?sse = 32.33904761904761
+#   ?rmse = "2.010567321026817"^^xsd:decimal
+#   ?sse = "32.33904761904761"^^xsd:decimal
 # Therefore the derived triple above is entailed by the rules and facts.
 # ----------------------------------------------------------------------
-:Reg1 :sse 32.33904761904761 .
+:Reg1 :sse "32.33904761904761"^^xsd:decimal .
 # ----------------------------------------------------------------------
 # Proof for derived triple:
-#   :Reg1 :rmse 2.010567321026817 .
+#   :Reg1 :rmse "2.010567321026817"^^xsd:decimal .
 # It holds because the following instance of the rule body is provable:
 #   :Reg1 :points (_:b1 _:b2 _:b3 _:b4 _:b5 _:b6 _:b7 _:b8) .
-#   :Reg1 :slope 1.4047619047619062 .
-#   :Reg1 :intercept -0.5714285714285783 .
+#   :Reg1 :slope "1.4047619047619062"^^xsd:decimal .
+#   :Reg1 :intercept "-0.5714285714285783"^^xsd:decimal .
 #   (_:b1 _:b2 _:b3 _:b4 _:b5 _:b6 _:b7 _:b8) list:length 8 .
 #   (?e2 {
 #       (_:b1 _:b2 _:b3 _:b4 _:b5 _:b6 _:b7 _:b8) list:member ?p .
 #       ?p :x ?x .
 #       ?p :y ?y .
-#       (1.4047619047619062 ?x) math:product ?bx .
-#       (-0.5714285714285783 ?bx) math:sum ?yhat .
+#       ("1.4047619047619062"^^xsd:decimal ?x) math:product ?bx .
+#       ("-0.5714285714285783"^^xsd:decimal ?bx) math:sum ?yhat .
 #       (?y ?yhat) math:difference ?e .
 #       (?e 2.0) math:exponentiation ?e2 .
-#   } (18.777777777777736 5.116213151927449 3.8304081632653135 1.8289342403628133 0.7184580498866192 0.02469387755102107 0.43811791383220466 1.6044444444444583)) log:collectAllIn ?_b1 .
-#   (18.777777777777736 5.116213151927449 3.8304081632653135 1.8289342403628133 0.7184580498866192 0.02469387755102107 0.43811791383220466 1.6044444444444583) math:sum 32.33904761904761 .
-#   (32.33904761904761 8) math:quotient 4.0423809523809515 .
-#   (4.0423809523809515 0.5) math:exponentiation 2.010567321026817 .
+#   } ("18.777777777777736"^^xsd:decimal "5.116213151927449"^^xsd:decimal "3.8304081632653135"^^xsd:decimal "1.8289342403628133"^^xsd:decimal "0.7184580498866192"^^xsd:decimal "0.02469387755102107"^^xsd:decimal "0.43811791383220466"^^xsd:decimal "1.6044444444444583"^^xsd:decimal)) log:collectAllIn ?_b1 .
+#   ("18.777777777777736"^^xsd:decimal "5.116213151927449"^^xsd:decimal "3.8304081632653135"^^xsd:decimal "1.8289342403628133"^^xsd:decimal "0.7184580498866192"^^xsd:decimal "0.02469387755102107"^^xsd:decimal "0.43811791383220466"^^xsd:decimal "1.6044444444444583"^^xsd:decimal) math:sum "32.33904761904761"^^xsd:decimal .
+#   ("32.33904761904761"^^xsd:decimal 8) math:quotient "4.0423809523809515"^^xsd:decimal .
+#   ("4.0423809523809515"^^xsd:decimal 0.5) math:exponentiation "2.010567321026817"^^xsd:decimal .
 # via the schematic forward rule:
 #   {
 #     :Reg1 :points ?pts .
@@ -1011,36 +1012,36 @@
 #     :Reg1 :rmse ?rmse .
 #   } .
 # with substitution (on rule variables):
-#   ?a = -0.5714285714285783
-#   ?b = 1.4047619047619062
-#   ?e2s = (18.777777777777736 5.116213151927449 3.8304081632653135 1.8289342403628133 0.7184580498866192 0.02469387755102107 0.43811791383220466 1.6044444444444583)
-#   ?mse = 4.0423809523809515
+#   ?a = "-0.5714285714285783"^^xsd:decimal
+#   ?b = "1.4047619047619062"^^xsd:decimal
+#   ?e2s = ("18.777777777777736"^^xsd:decimal "5.116213151927449"^^xsd:decimal "3.8304081632653135"^^xsd:decimal "1.8289342403628133"^^xsd:decimal "0.7184580498866192"^^xsd:decimal "0.02469387755102107"^^xsd:decimal "0.43811791383220466"^^xsd:decimal "1.6044444444444583"^^xsd:decimal)
+#   ?mse = "4.0423809523809515"^^xsd:decimal
 #   ?n = 8
 #   ?pts = (_:b1 _:b2 _:b3 _:b4 _:b5 _:b6 _:b7 _:b8)
-#   ?rmse = 2.010567321026817
-#   ?sse = 32.33904761904761
+#   ?rmse = "2.010567321026817"^^xsd:decimal
+#   ?sse = "32.33904761904761"^^xsd:decimal
 # Therefore the derived triple above is entailed by the rules and facts.
 # ----------------------------------------------------------------------
-:Reg1 :rmse 2.010567321026817 .
+:Reg1 :rmse "2.010567321026817"^^xsd:decimal .
 # ----------------------------------------------------------------------
 # Proof for derived triple:
 #   _:sk_0 :point _:b8 .
 # It holds because the following instance of the rule body is provable:
 #   :Reg1 :points (_:b1 _:b2 _:b3 _:b4 _:b5 _:b6 _:b7 _:b8) .
-#   :Reg1 :slope 1.4047619047619062 .
-#   :Reg1 :intercept -0.5714285714285783 .
-#   :Reg1 :rmse 2.010567321026817 .
+#   :Reg1 :slope "1.4047619047619062"^^xsd:decimal .
+#   :Reg1 :intercept "-0.5714285714285783"^^xsd:decimal .
+#   :Reg1 :rmse "2.010567321026817"^^xsd:decimal .
 #   (_:b1 _:b2 _:b3 _:b4 _:b5 _:b6 _:b7 _:b8) list:member _:b8 .
 #   _:b8 :x 8.0 .
 #   _:b8 :y 15.0 .
-#   (1.4047619047619062 8.0) math:product 11.23809523809525 .
-#   (-0.5714285714285783 11.23809523809525) math:sum 10.666666666666671 .
-#   (15.0 10.666666666666671) math:difference 4.333333333333329 .
-#   4.333333333333329 math:absoluteValue 4.333333333333329 .
-#   (2.0 2.010567321026817) math:product 4.021134642053634 .
-#   4.333333333333329 math:greaterThan 4.021134642053634 .
+#   ("1.4047619047619062"^^xsd:decimal 8.0) math:product "11.23809523809525"^^xsd:decimal .
+#   ("-0.5714285714285783"^^xsd:decimal "11.23809523809525"^^xsd:decimal) math:sum "10.666666666666671"^^xsd:decimal .
+#   (15.0 "10.666666666666671"^^xsd:decimal) math:difference "4.333333333333329"^^xsd:decimal .
+#   "4.333333333333329"^^xsd:decimal math:absoluteValue "4.333333333333329"^^xsd:decimal .
+#   (2.0 "2.010567321026817"^^xsd:decimal) math:product "4.021134642053634"^^xsd:decimal .
+#   "4.333333333333329"^^xsd:decimal math:greaterThan "4.021134642053634"^^xsd:decimal .
 # via the schematic forward rule:
 #   {
 #     :Reg1 :points ?pts .
@@ -1065,18 +1066,18 @@
 #     :Reg1 :highResidual _:b9 .
 #   } .
 # with substitution (on rule variables):
-#   ?a = -0.5714285714285783
-#   ?ae = 4.333333333333329
-#   ?b = 1.4047619047619062
-#   ?bx = 11.23809523809525
-#   ?e = 4.333333333333329
+#   ?a = "-0.5714285714285783"^^xsd:decimal
+#   ?ae = "4.333333333333329"^^xsd:decimal
+#   ?b = "1.4047619047619062"^^xsd:decimal
+#   ?bx = "11.23809523809525"^^xsd:decimal
+#   ?e = "4.333333333333329"^^xsd:decimal
 #   ?p = _:b8
 #   ?pts = (_:b1 _:b2 _:b3 _:b4 _:b5 _:b6 _:b7 _:b8)
-#   ?rmse = 2.010567321026817
-#   ?thr = 4.021134642053634
+#   ?rmse = "2.010567321026817"^^xsd:decimal
+#   ?thr = "4.021134642053634"^^xsd:decimal
 #   ?x = 8.0
 #   ?y = 15.0
-#   ?yhat = 10.666666666666671
+#   ?yhat = "10.666666666666671"^^xsd:decimal
 # Therefore the derived triple above is entailed by the rules and facts.
 # ----------------------------------------------------------------------
@@ -1087,18 +1088,18 @@ _:sk_0 :point _:b8 .
 #   _:sk_0 :x 8.0 .
 # It holds because the following instance of the rule body is provable:
 #   :Reg1 :points (_:b1 _:b2 _:b3 _:b4 _:b5 _:b6 _:b7 _:b8) .
-#   :Reg1 :slope 1.4047619047619062 .
-#   :Reg1 :intercept -0.5714285714285783 .
-#   :Reg1 :rmse 2.010567321026817 .
+#   :Reg1 :slope "1.4047619047619062"^^xsd:decimal .
+#   :Reg1 :intercept "-0.5714285714285783"^^xsd:decimal .
+#   :Reg1 :rmse "2.010567321026817"^^xsd:decimal .
 #   (_:b1 _:b2 _:b3 _:b4 _:b5 _:b6 _:b7 _:b8) list:member _:b8 .
 #   _:b8 :x 8.0 .
 #   _:b8 :y 15.0 .
-#   (1.4047619047619062 8.0) math:product 11.23809523809525 .
-#   (-0.5714285714285783 11.23809523809525) math:sum 10.666666666666671 .
-#   (15.0 10.666666666666671) math:difference 4.333333333333329 .
-#   4.333333333333329 math:absoluteValue 4.333333333333329 .
-#   (2.0 2.010567321026817) math:product 4.021134642053634 .
-#   4.333333333333329 math:greaterThan 4.021134642053634 .
+#   ("1.4047619047619062"^^xsd:decimal 8.0) math:product "11.23809523809525"^^xsd:decimal .
+#   ("-0.5714285714285783"^^xsd:decimal "11.23809523809525"^^xsd:decimal) math:sum "10.666666666666671"^^xsd:decimal .
+#   (15.0 "10.666666666666671"^^xsd:decimal) math:difference "4.333333333333329"^^xsd:decimal .
+#   "4.333333333333329"^^xsd:decimal math:absoluteValue "4.333333333333329"^^xsd:decimal .
+#   (2.0 "2.010567321026817"^^xsd:decimal) math:product "4.021134642053634"^^xsd:decimal .
+#   "4.333333333333329"^^xsd:decimal math:greaterThan "4.021134642053634"^^xsd:decimal .
 # via the schematic forward rule:
 #   {
 #     :Reg1 :points ?pts .
@@ -1123,18 +1124,18 @@ _:sk_0 :point _:b8 .
 #     :Reg1 :highResidual _:b9 .
 #   } .
 # with substitution (on rule variables):
-#   ?a = -0.5714285714285783
-#   ?ae = 4.333333333333329
-#   ?b = 1.4047619047619062
-#   ?bx = 11.23809523809525
-#   ?e = 4.333333333333329
+#   ?a = "-0.5714285714285783"^^xsd:decimal
+#   ?ae = "4.333333333333329"^^xsd:decimal
+#   ?b = "1.4047619047619062"^^xsd:decimal
+#   ?bx = "11.23809523809525"^^xsd:decimal
+#   ?e = "4.333333333333329"^^xsd:decimal
 #   ?p = _:b8
 #   ?pts = (_:b1 _:b2 _:b3 _:b4 _:b5 _:b6 _:b7 _:b8)
-#   ?rmse = 2.010567321026817
-#   ?thr = 4.021134642053634
+#   ?rmse = "2.010567321026817"^^xsd:decimal
+#   ?thr = "4.021134642053634"^^xsd:decimal
 #   ?x = 8.0
 #   ?y = 15.0
-#   ?yhat = 10.666666666666671
+#   ?yhat = "10.666666666666671"^^xsd:decimal
 # Therefore the derived triple above is entailed by the rules and facts.
 # ----------------------------------------------------------------------
@@ -1145,18 +1146,18 @@ _:sk_0 :x 8.0 .
 #   _:sk_0 :y 15.0 .
 # It holds because the following instance of the rule body is provable:
 #   :Reg1 :points (_:b1 _:b2 _:b3 _:b4 _:b5 _:b6 _:b7 _:b8) .
-#   :Reg1 :slope 1.4047619047619062 .
-#   :Reg1 :intercept -0.5714285714285783 .
-#   :Reg1 :rmse 2.010567321026817 .
+#   :Reg1 :slope "1.4047619047619062"^^xsd:decimal .
+#   :Reg1 :intercept "-0.5714285714285783"^^xsd:decimal .
+#   :Reg1 :rmse "2.010567321026817"^^xsd:decimal .
 #   (_:b1 _:b2 _:b3 _:b4 _:b5 _:b6 _:b7 _:b8) list:member _:b8 .
 #   _:b8 :x 8.0 .
 #   _:b8 :y 15.0 .
-#   (1.4047619047619062 8.0) math:product 11.23809523809525 .
-#   (-0.5714285714285783 11.23809523809525) math:sum 10.666666666666671 .
-#   (15.0 10.666666666666671) math:difference 4.333333333333329 .
-#   4.333333333333329 math:absoluteValue 4.333333333333329 .
-#   (2.0 2.010567321026817) math:product 4.021134642053634 .
-#   4.333333333333329 math:greaterThan 4.021134642053634 .
+#   ("1.4047619047619062"^^xsd:decimal 8.0) math:product "11.23809523809525"^^xsd:decimal .
+#   ("-0.5714285714285783"^^xsd:decimal "11.23809523809525"^^xsd:decimal) math:sum "10.666666666666671"^^xsd:decimal .
+#   (15.0 "10.666666666666671"^^xsd:decimal) math:difference "4.333333333333329"^^xsd:decimal .
+#   "4.333333333333329"^^xsd:decimal math:absoluteValue "4.333333333333329"^^xsd:decimal .
+#   (2.0 "2.010567321026817"^^xsd:decimal) math:product "4.021134642053634"^^xsd:decimal .
+#   "4.333333333333329"^^xsd:decimal math:greaterThan "4.021134642053634"^^xsd:decimal .
 # via the schematic forward rule:
 #   {
 #     :Reg1 :points ?pts .
@@ -1181,18 +1182,18 @@ _:sk_0 :x 8.0 .
 #     :Reg1 :highResidual _:b9 .
 #   } .
 # with substitution (on rule variables):
-#   ?a = -0.5714285714285783
-#   ?ae = 4.333333333333329
-#   ?b = 1.4047619047619062
-#   ?bx = 11.23809523809525
-#   ?e = 4.333333333333329
+#   ?a = "-0.5714285714285783"^^xsd:decimal
+#   ?ae = "4.333333333333329"^^xsd:decimal
+#   ?b = "1.4047619047619062"^^xsd:decimal
+#   ?bx = "11.23809523809525"^^xsd:decimal
+#   ?e = "4.333333333333329"^^xsd:decimal
 #   ?p = _:b8
 #   ?pts = (_:b1 _:b2 _:b3 _:b4 _:b5 _:b6 _:b7 _:b8)
-#   ?rmse = 2.010567321026817
-#   ?thr = 4.021134642053634
+#   ?rmse = "2.010567321026817"^^xsd:decimal
+#   ?thr = "4.021134642053634"^^xsd:decimal
 #   ?x = 8.0
 #   ?y = 15.0
-#   ?yhat = 10.666666666666671
+#   ?yhat = "10.666666666666671"^^xsd:decimal
 # Therefore the derived triple above is entailed by the rules and facts.
 # ----------------------------------------------------------------------
@@ -1200,21 +1201,21 @@ _:sk_0 :y 15.0 .
 # ----------------------------------------------------------------------
 # Proof for derived triple:
-#   _:sk_0 :yhat 10.666666666666671 .
+#   _:sk_0 :yhat "10.666666666666671"^^xsd:decimal .
 # It holds because the following instance of the rule body is provable:
 #   :Reg1 :points (_:b1 _:b2 _:b3 _:b4 _:b5 _:b6 _:b7 _:b8) .
-#   :Reg1 :slope 1.4047619047619062 .
-#   :Reg1 :intercept -0.5714285714285783 .
-#   :Reg1 :rmse 2.010567321026817 .
+#   :Reg1 :slope "1.4047619047619062"^^xsd:decimal .
+#   :Reg1 :intercept "-0.5714285714285783"^^xsd:decimal .
+#   :Reg1 :rmse "2.010567321026817"^^xsd:decimal .
 #   (_:b1 _:b2 _:b3 _:b4 _:b5 _:b6 _:b7 _:b8) list:member _:b8 .
 #   _:b8 :x 8.0 .
 #   _:b8 :y 15.0 .
-#   (1.4047619047619062 8.0) math:product 11.23809523809525 .
-#   (-0.5714285714285783 11.23809523809525) math:sum 10.666666666666671 .
-#   (15.0 10.666666666666671) math:difference 4.333333333333329 .
-#   4.333333333333329 math:absoluteValue 4.333333333333329 .
-#   (2.0 2.010567321026817) math:product 4.021134642053634 .
-#   4.333333333333329 math:greaterThan 4.021134642053634 .
+#   ("1.4047619047619062"^^xsd:decimal 8.0) math:product "11.23809523809525"^^xsd:decimal .
+#   ("-0.5714285714285783"^^xsd:decimal "11.23809523809525"^^xsd:decimal) math:sum "10.666666666666671"^^xsd:decimal .
+#   (15.0 "10.666666666666671"^^xsd:decimal) math:difference "4.333333333333329"^^xsd:decimal .
+#   "4.333333333333329"^^xsd:decimal math:absoluteValue "4.333333333333329"^^xsd:decimal .
+#   (2.0 "2.010567321026817"^^xsd:decimal) math:product "4.021134642053634"^^xsd:decimal .
+#   "4.333333333333329"^^xsd:decimal math:greaterThan "4.021134642053634"^^xsd:decimal .
 # via the schematic forward rule:
 #   {
 #     :Reg1 :points ?pts .
@@ -1239,40 +1240,40 @@ _:sk_0 :y 15.0 .
 #     :Reg1 :highResidual _:b9 .
 #   } .
 # with substitution (on rule variables):
-#   ?a = -0.5714285714285783
-#   ?ae = 4.333333333333329
-#   ?b = 1.4047619047619062
-#   ?bx = 11.23809523809525
-#   ?e = 4.333333333333329
+#   ?a = "-0.5714285714285783"^^xsd:decimal
+#   ?ae = "4.333333333333329"^^xsd:decimal
+#   ?b = "1.4047619047619062"^^xsd:decimal
+#   ?bx = "11.23809523809525"^^xsd:decimal
+#   ?e = "4.333333333333329"^^xsd:decimal
 #   ?p = _:b8
 #   ?pts = (_:b1 _:b2 _:b3 _:b4 _:b5 _:b6 _:b7 _:b8)
-#   ?rmse = 2.010567321026817
-#   ?thr = 4.021134642053634
+#   ?rmse = "2.010567321026817"^^xsd:decimal
+#   ?thr = "4.021134642053634"^^xsd:decimal
 #   ?x = 8.0
 #   ?y = 15.0
-#   ?yhat = 10.666666666666671
+#   ?yhat = "10.666666666666671"^^xsd:decimal
 # Therefore the derived triple above is entailed by the rules and facts.
 # ----------------------------------------------------------------------
-_:sk_0 :yhat 10.666666666666671 .
+_:sk_0 :yhat "10.666666666666671"^^xsd:decimal .
 # ----------------------------------------------------------------------
 # Proof for derived triple:
-#   _:sk_0 :residual 4.333333333333329 .
+#   _:sk_0 :residual "4.333333333333329"^^xsd:decimal .
 # It holds because the following instance of the rule body is provable:
 #   :Reg1 :points (_:b1 _:b2 _:b3 _:b4 _:b5 _:b6 _:b7 _:b8) .
-#   :Reg1 :slope 1.4047619047619062 .
-#   :Reg1 :intercept -0.5714285714285783 .
-#   :Reg1 :rmse 2.010567321026817 .
+#   :Reg1 :slope "1.4047619047619062"^^xsd:decimal .
+#   :Reg1 :intercept "-0.5714285714285783"^^xsd:decimal .
+#   :Reg1 :rmse "2.010567321026817"^^xsd:decimal .
 #   (_:b1 _:b2 _:b3 _:b4 _:b5 _:b6 _:b7 _:b8) list:member _:b8 .
 #   _:b8 :x 8.0 .
 #   _:b8 :y 15.0 .
-#   (1.4047619047619062 8.0) math:product 11.23809523809525 .
-#   (-0.5714285714285783 11.23809523809525) math:sum 10.666666666666671 .
-#   (15.0 10.666666666666671) math:difference 4.333333333333329 .
-#   4.333333333333329 math:absoluteValue 4.333333333333329 .
-#   (2.0 2.010567321026817) math:product 4.021134642053634 .
-#   4.333333333333329 math:greaterThan 4.021134642053634 .
+#   ("1.4047619047619062"^^xsd:decimal 8.0) math:product "11.23809523809525"^^xsd:decimal .
+#   ("-0.5714285714285783"^^xsd:decimal "11.23809523809525"^^xsd:decimal) math:sum "10.666666666666671"^^xsd:decimal .
+#   (15.0 "10.666666666666671"^^xsd:decimal) math:difference "4.333333333333329"^^xsd:decimal .
+#   "4.333333333333329"^^xsd:decimal math:absoluteValue "4.333333333333329"^^xsd:decimal .
+#   (2.0 "2.010567321026817"^^xsd:decimal) math:product "4.021134642053634"^^xsd:decimal .
+#   "4.333333333333329"^^xsd:decimal math:greaterThan "4.021134642053634"^^xsd:decimal .
 # via the schematic forward rule:
 #   {
 #     :Reg1 :points ?pts .
@@ -1297,40 +1298,40 @@ _:sk_0 :yhat 10.666666666666671 .
 #     :Reg1 :highResidual _:b9 .
 #   } .
 # with substitution (on rule variables):
-#   ?a = -0.5714285714285783
-#   ?ae = 4.333333333333329
-#   ?b = 1.4047619047619062
-#   ?bx = 11.23809523809525
-#   ?e = 4.333333333333329
+#   ?a = "-0.5714285714285783"^^xsd:decimal
+#   ?ae = "4.333333333333329"^^xsd:decimal
+#   ?b = "1.4047619047619062"^^xsd:decimal
+#   ?bx = "11.23809523809525"^^xsd:decimal
+#   ?e = "4.333333333333329"^^xsd:decimal
 #   ?p = _:b8
 #   ?pts = (_:b1 _:b2 _:b3 _:b4 _:b5 _:b6 _:b7 _:b8)
-#   ?rmse = 2.010567321026817
-#   ?thr = 4.021134642053634
+#   ?rmse = "2.010567321026817"^^xsd:decimal
+#   ?thr = "4.021134642053634"^^xsd:decimal
 #   ?x = 8.0
 #   ?y = 15.0
-#   ?yhat = 10.666666666666671
+#   ?yhat = "10.666666666666671"^^xsd:decimal
 # Therefore the derived triple above is entailed by the rules and facts.
 # ----------------------------------------------------------------------
-_:sk_0 :residual 4.333333333333329 .
+_:sk_0 :residual "4.333333333333329"^^xsd:decimal .
 # ----------------------------------------------------------------------
 # Proof for derived triple:
 #   :Reg1 :highResidual _:sk_0 .
 # It holds because the following instance of the rule body is provable:
 #   :Reg1 :points (_:b1 _:b2 _:b3 _:b4 _:b5 _:b6 _:b7 _:b8) .
-#   :Reg1 :slope 1.4047619047619062 .
-#   :Reg1 :intercept -0.5714285714285783 .
-#   :Reg1 :rmse 2.010567321026817 .
+#   :Reg1 :slope "1.4047619047619062"^^xsd:decimal .
+#   :Reg1 :intercept "-0.5714285714285783"^^xsd:decimal .
+#   :Reg1 :rmse "2.010567321026817"^^xsd:decimal .
 #   (_:b1 _:b2 _:b3 _:b4 _:b5 _:b6 _:b7 _:b8) list:member _:b8 .
 #   _:b8 :x 8.0 .
 #   _:b8 :y 15.0 .
-#   (1.4047619047619062 8.0) math:product 11.23809523809525 .
-#   (-0.5714285714285783 11.23809523809525) math:sum 10.666666666666671 .
-#   (15.0 10.666666666666671) math:difference 4.333333333333329 .
-#   4.333333333333329 math:absoluteValue 4.333333333333329 .
-#   (2.0 2.010567321026817) math:product 4.021134642053634 .
-#   4.333333333333329 math:greaterThan 4.021134642053634 .
+#   ("1.4047619047619062"^^xsd:decimal 8.0) math:product "11.23809523809525"^^xsd:decimal .
+#   ("-0.5714285714285783"^^xsd:decimal "11.23809523809525"^^xsd:decimal) math:sum "10.666666666666671"^^xsd:decimal .
+#   (15.0 "10.666666666666671"^^xsd:decimal) math:difference "4.333333333333329"^^xsd:decimal .
+#   "4.333333333333329"^^xsd:decimal math:absoluteValue "4.333333333333329"^^xsd:decimal .
+#   (2.0 "2.010567321026817"^^xsd:decimal) math:product "4.021134642053634"^^xsd:decimal .
+#   "4.333333333333329"^^xsd:decimal math:greaterThan "4.021134642053634"^^xsd:decimal .
 # via the schematic forward rule:
 #   {
 #     :Reg1 :points ?pts .
@@ -1355,18 +1356,18 @@ _:sk_0 :residual 4.333333333333329 .
 #     :Reg1 :highResidual _:b9 .
 #   } .
 # with substitution (on rule variables):
-#   ?a = -0.5714285714285783
-#   ?ae = 4.333333333333329
-#   ?b = 1.4047619047619062
-#   ?bx = 11.23809523809525
-#   ?e = 4.333333333333329
+#   ?a = "-0.5714285714285783"^^xsd:decimal
+#   ?ae = "4.333333333333329"^^xsd:decimal
+#   ?b = "1.4047619047619062"^^xsd:decimal
+#   ?bx = "11.23809523809525"^^xsd:decimal
+#   ?e = "4.333333333333329"^^xsd:decimal
 #   ?p = _:b8
 #   ?pts = (_:b1 _:b2 _:b3 _:b4 _:b5 _:b6 _:b7 _:b8)
-#   ?rmse = 2.010567321026817
-#   ?thr = 4.021134642053634
+#   ?rmse = "2.010567321026817"^^xsd:decimal
+#   ?thr = "4.021134642053634"^^xsd:decimal
 #   ?x = 8.0
 #   ?y = 15.0
-#   ?yhat = 10.666666666666671
+#   ?yhat = "10.666666666666671"^^xsd:decimal
 # Therefore the derived triple above is entailed by the rules and facts.
 # ----------------------------------------------------------------------
@@ -1377,10 +1378,10 @@ _:sk_0 :residual 4.333333333333329 .
 #   _:sk_1 :x 8.5 .
 # It holds because the following instance of the rule body is provable:
 #   :Reg1 :predictX 8.5 .
-#   :Reg1 :slope 1.4047619047619062 .
-#   :Reg1 :intercept -0.5714285714285783 .
-#   (1.4047619047619062 8.5) math:product 11.940476190476202 .
-#   (-0.5714285714285783 11.940476190476202) math:sum 11.369047619047624 .
+#   :Reg1 :slope "1.4047619047619062"^^xsd:decimal .
+#   :Reg1 :intercept "-0.5714285714285783"^^xsd:decimal .
+#   ("1.4047619047619062"^^xsd:decimal 8.5) math:product "11.940476190476202"^^xsd:decimal .
+#   ("-0.5714285714285783"^^xsd:decimal "11.940476190476202"^^xsd:decimal) math:sum "11.369047619047624"^^xsd:decimal .
 # via the schematic forward rule:
 #   {
 #     :Reg1 :predictX ?x0 .
@@ -1394,11 +1395,11 @@ _:sk_0 :residual 4.333333333333329 .
 #     :Reg1 :prediction _:b10 .
 #   } .
 # with substitution (on rule variables):
-#   ?a = -0.5714285714285783
-#   ?b = 1.4047619047619062
-#   ?bx0 = 11.940476190476202
+#   ?a = "-0.5714285714285783"^^xsd:decimal
+#   ?b = "1.4047619047619062"^^xsd:decimal
+#   ?bx0 = "11.940476190476202"^^xsd:decimal
 #   ?x0 = 8.5
-#   ?y0 = 11.369047619047624
+#   ?y0 = "11.369047619047624"^^xsd:decimal
 # Therefore the derived triple above is entailed by the rules and facts.
 # ----------------------------------------------------------------------
@@ -1406,13 +1407,13 @@ _:sk_1 :x 8.5 .
 # ----------------------------------------------------------------------
 # Proof for derived triple:
-#   _:sk_1 :y 11.369047619047624 .
+#   _:sk_1 :y "11.369047619047624"^^xsd:decimal .
 # It holds because the following instance of the rule body is provable:
 #   :Reg1 :predictX 8.5 .
-#   :Reg1 :slope 1.4047619047619062 .
-#   :Reg1 :intercept -0.5714285714285783 .
-#   (1.4047619047619062 8.5) math:product 11.940476190476202 .
-#   (-0.5714285714285783 11.940476190476202) math:sum 11.369047619047624 .
+#   :Reg1 :slope "1.4047619047619062"^^xsd:decimal .
+#   :Reg1 :intercept "-0.5714285714285783"^^xsd:decimal .
+#   ("1.4047619047619062"^^xsd:decimal 8.5) math:product "11.940476190476202"^^xsd:decimal .
+#   ("-0.5714285714285783"^^xsd:decimal "11.940476190476202"^^xsd:decimal) math:sum "11.369047619047624"^^xsd:decimal .
 # via the schematic forward rule:
 #   {
 #     :Reg1 :predictX ?x0 .
@@ -1426,25 +1427,25 @@ _:sk_1 :x 8.5 .
 #     :Reg1 :prediction _:b10 .
 #   } .
 # with substitution (on rule variables):
-#   ?a = -0.5714285714285783
-#   ?b = 1.4047619047619062
-#   ?bx0 = 11.940476190476202
+#   ?a = "-0.5714285714285783"^^xsd:decimal
+#   ?b = "1.4047619047619062"^^xsd:decimal
+#   ?bx0 = "11.940476190476202"^^xsd:decimal
 #   ?x0 = 8.5
-#   ?y0 = 11.369047619047624
+#   ?y0 = "11.369047619047624"^^xsd:decimal
 # Therefore the derived triple above is entailed by the rules and facts.
 # ----------------------------------------------------------------------
-_:sk_1 :y 11.369047619047624 .
+_:sk_1 :y "11.369047619047624"^^xsd:decimal .
 # ----------------------------------------------------------------------
 # Proof for derived triple:
 #   :Reg1 :prediction _:sk_1 .
 # It holds because the following instance of the rule body is provable:
 #   :Reg1 :predictX 8.5 .
-#   :Reg1 :slope 1.4047619047619062 .
-#   :Reg1 :intercept -0.5714285714285783 .
-#   (1.4047619047619062 8.5) math:product 11.940476190476202 .
-#   (-0.5714285714285783 11.940476190476202) math:sum 11.369047619047624 .
+#   :Reg1 :slope "1.4047619047619062"^^xsd:decimal .
+#   :Reg1 :intercept "-0.5714285714285783"^^xsd:decimal .
+#   ("1.4047619047619062"^^xsd:decimal 8.5) math:product "11.940476190476202"^^xsd:decimal .
+#   ("-0.5714285714285783"^^xsd:decimal "11.940476190476202"^^xsd:decimal) math:sum "11.369047619047624"^^xsd:decimal .
 # via the schematic forward rule:
 #   {
 #     :Reg1 :predictX ?x0 .
@@ -1458,11 +1459,11 @@ _:sk_1 :y 11.369047619047624 .
 #     :Reg1 :prediction _:b10 .
 #   } .
 # with substitution (on rule variables):
-#   ?a = -0.5714285714285783
-#   ?b = 1.4047619047619062
-#   ?bx0 = 11.940476190476202
+#   ?a = "-0.5714285714285783"^^xsd:decimal
+#   ?b = "1.4047619047619062"^^xsd:decimal
+#   ?bx0 = "11.940476190476202"^^xsd:decimal
 #   ?x0 = 8.5
-#   ?y0 = 11.369047619047624
+#   ?y0 = "11.369047619047624"^^xsd:decimal
 # Therefore the derived triple above is entailed by the rules and facts.
 # ----------------------------------------------------------------------