npm - eyeling - Versions diffs - 1.6.4 → 1.6.6 - Mend

eyeling 1.6.4 → 1.6.6

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 +315 -134
package/package.json +1 -1

package/examples/output/ultramarine-simpson-forge.n3 CHANGED Viewed

@@ -1,22 +1,23 @@
 @prefix : <http://example.org/ultramarine-simpson#> .
+@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
 # ----------------------------------------------------------------------
 # Proof for derived triple:
-#   _:b5 :y 4.909297426825682 .
+#   _:b5 :y "4.909297426825682"^^xsd:decimal .
 # It holds because the following instance of the rule body is provable:
 #   :Simpson1 :samples (_:b1 _:b2 _:b3 _:b4 _:b5) .
 #   (_:b1 _:b2 _:b3 _:b4 _:b5) list:member _:b5 .
 #   _:b5 :x 2.0 .
 #   _:b5 :coef 1.0 .
-#   2.0 math:sin 0.9092974268256817 .
-#   (2.0 2.0) math:exponentiation 4 .
-#   (0.9092974268256817 4) math:sum 4.909297426825682 .
-#   2.0 math:cos -0.4161468365471424 .
-#   (2.0 2.0) math:product 4 .
-#   (-0.4161468365471424 4) math:sum 3.5838531634528574 .
-#   (3.5838531634528574 2.0) math:exponentiation 12.844003497191053 .
-#   (1.0 12.844003497191053) math:sum 13.844003497191053 .
-#   (13.844003497191053 0.5) math:exponentiation 3.720753081997118 .
+#   2.0 math:sin "0.9092974268256817"^^xsd:decimal .
+#   (2.0 2.0) math:exponentiation "4"^^xsd:decimal .
+#   ("0.9092974268256817"^^xsd:decimal "4"^^xsd:decimal) math:sum "4.909297426825682"^^xsd:decimal .
+#   2.0 math:cos "-0.4161468365471424"^^xsd:decimal .
+#   (2.0 2.0) math:product "4"^^xsd:decimal .
+#   ("-0.4161468365471424"^^xsd:decimal "4"^^xsd:decimal) math:sum "3.5838531634528574"^^xsd:decimal .
+#   ("3.5838531634528574"^^xsd:decimal 2.0) math:exponentiation "12.844003497191053"^^xsd:decimal .
+#   (1.0 "12.844003497191053"^^xsd:decimal) math:sum "13.844003497191053"^^xsd:decimal .
+#   ("13.844003497191053"^^xsd:decimal 0.5) math:exponentiation "3.720753081997118"^^xsd:decimal .
 # via the schematic forward rule:
 #   {
 #     :Simpson1 :samples ?ss .
@@ -46,40 +47,40 @@
 #   } .
 # with substitution (on rule variables):
 #   ?c = 1.0
-#   ?cosx = -0.4161468365471424
-#   ?ds = 3.720753081997118
-#   ?dy = 3.5838531634528574
-#   ?dy2 = 12.844003497191053
-#   ?onePlus = 13.844003497191053
+#   ?cosx = "-0.4161468365471424"^^xsd:decimal
+#   ?ds = "3.720753081997118"^^xsd:decimal
+#   ?dy = "3.5838531634528574"^^xsd:decimal
+#   ?dy2 = "12.844003497191053"^^xsd:decimal
+#   ?onePlus = "13.844003497191053"^^xsd:decimal
 #   ?s = _:b5
-#   ?sinx = 0.9092974268256817
+#   ?sinx = "0.9092974268256817"^^xsd:decimal
 #   ?ss = (_:b1 _:b2 _:b3 _:b4 _:b5)
-#   ?twox = 4
+#   ?twox = "4"^^xsd:decimal
 #   ?x = 2.0
-#   ?x2 = 4
-#   ?y = 4.909297426825682
+#   ?x2 = "4"^^xsd:decimal
+#   ?y = "4.909297426825682"^^xsd:decimal
 # Therefore the derived triple above is entailed by the rules and facts.
 # ----------------------------------------------------------------------
-_:b5 :y 4.909297426825682 .
+_:b5 :y "4.909297426825682"^^xsd:decimal .
 # ----------------------------------------------------------------------
 # Proof for derived triple:
-#   _:b5 :dy 3.5838531634528574 .
+#   _:b5 :dy "3.5838531634528574"^^xsd:decimal .
 # It holds because the following instance of the rule body is provable:
 #   :Simpson1 :samples (_:b1 _:b2 _:b3 _:b4 _:b5) .
 #   (_:b1 _:b2 _:b3 _:b4 _:b5) list:member _:b5 .
 #   _:b5 :x 2.0 .
 #   _:b5 :coef 1.0 .
-#   2.0 math:sin 0.9092974268256817 .
-#   (2.0 2.0) math:exponentiation 4 .
-#   (0.9092974268256817 4) math:sum 4.909297426825682 .
-#   2.0 math:cos -0.4161468365471424 .
-#   (2.0 2.0) math:product 4 .
-#   (-0.4161468365471424 4) math:sum 3.5838531634528574 .
-#   (3.5838531634528574 2.0) math:exponentiation 12.844003497191053 .
-#   (1.0 12.844003497191053) math:sum 13.844003497191053 .
-#   (13.844003497191053 0.5) math:exponentiation 3.720753081997118 .
+#   2.0 math:sin "0.9092974268256817"^^xsd:decimal .
+#   (2.0 2.0) math:exponentiation "4"^^xsd:decimal .
+#   ("0.9092974268256817"^^xsd:decimal "4"^^xsd:decimal) math:sum "4.909297426825682"^^xsd:decimal .
+#   2.0 math:cos "-0.4161468365471424"^^xsd:decimal .
+#   (2.0 2.0) math:product "4"^^xsd:decimal .
+#   ("-0.4161468365471424"^^xsd:decimal "4"^^xsd:decimal) math:sum "3.5838531634528574"^^xsd:decimal .
+#   ("3.5838531634528574"^^xsd:decimal 2.0) math:exponentiation "12.844003497191053"^^xsd:decimal .
+#   (1.0 "12.844003497191053"^^xsd:decimal) math:sum "13.844003497191053"^^xsd:decimal .
+#   ("13.844003497191053"^^xsd:decimal 0.5) math:exponentiation "3.720753081997118"^^xsd:decimal .
 # via the schematic forward rule:
 #   {
 #     :Simpson1 :samples ?ss .
@@ -109,40 +110,40 @@ _:b5 :y 4.909297426825682 .
 #   } .
 # with substitution (on rule variables):
 #   ?c = 1.0
-#   ?cosx = -0.4161468365471424
-#   ?ds = 3.720753081997118
-#   ?dy = 3.5838531634528574
-#   ?dy2 = 12.844003497191053
-#   ?onePlus = 13.844003497191053
+#   ?cosx = "-0.4161468365471424"^^xsd:decimal
+#   ?ds = "3.720753081997118"^^xsd:decimal
+#   ?dy = "3.5838531634528574"^^xsd:decimal
+#   ?dy2 = "12.844003497191053"^^xsd:decimal
+#   ?onePlus = "13.844003497191053"^^xsd:decimal
 #   ?s = _:b5
-#   ?sinx = 0.9092974268256817
+#   ?sinx = "0.9092974268256817"^^xsd:decimal
 #   ?ss = (_:b1 _:b2 _:b3 _:b4 _:b5)
-#   ?twox = 4
+#   ?twox = "4"^^xsd:decimal
 #   ?x = 2.0
-#   ?x2 = 4
-#   ?y = 4.909297426825682
+#   ?x2 = "4"^^xsd:decimal
+#   ?y = "4.909297426825682"^^xsd:decimal
 # Therefore the derived triple above is entailed by the rules and facts.
 # ----------------------------------------------------------------------
-_:b5 :dy 3.5838531634528574 .
+_:b5 :dy "3.5838531634528574"^^xsd:decimal .
 # ----------------------------------------------------------------------
 # Proof for derived triple:
-#   _:b5 :ds 3.720753081997118 .
+#   _:b5 :ds "3.720753081997118"^^xsd:decimal .
 # It holds because the following instance of the rule body is provable:
 #   :Simpson1 :samples (_:b1 _:b2 _:b3 _:b4 _:b5) .
 #   (_:b1 _:b2 _:b3 _:b4 _:b5) list:member _:b5 .
 #   _:b5 :x 2.0 .
 #   _:b5 :coef 1.0 .
-#   2.0 math:sin 0.9092974268256817 .
-#   (2.0 2.0) math:exponentiation 4 .
-#   (0.9092974268256817 4) math:sum 4.909297426825682 .
-#   2.0 math:cos -0.4161468365471424 .
-#   (2.0 2.0) math:product 4 .
-#   (-0.4161468365471424 4) math:sum 3.5838531634528574 .
-#   (3.5838531634528574 2.0) math:exponentiation 12.844003497191053 .
-#   (1.0 12.844003497191053) math:sum 13.844003497191053 .
-#   (13.844003497191053 0.5) math:exponentiation 3.720753081997118 .
+#   2.0 math:sin "0.9092974268256817"^^xsd:decimal .
+#   (2.0 2.0) math:exponentiation "4"^^xsd:decimal .
+#   ("0.9092974268256817"^^xsd:decimal "4"^^xsd:decimal) math:sum "4.909297426825682"^^xsd:decimal .
+#   2.0 math:cos "-0.4161468365471424"^^xsd:decimal .
+#   (2.0 2.0) math:product "4"^^xsd:decimal .
+#   ("-0.4161468365471424"^^xsd:decimal "4"^^xsd:decimal) math:sum "3.5838531634528574"^^xsd:decimal .
+#   ("3.5838531634528574"^^xsd:decimal 2.0) math:exponentiation "12.844003497191053"^^xsd:decimal .
+#   (1.0 "12.844003497191053"^^xsd:decimal) math:sum "13.844003497191053"^^xsd:decimal .
+#   ("13.844003497191053"^^xsd:decimal 0.5) math:exponentiation "3.720753081997118"^^xsd:decimal .
 # via the schematic forward rule:
 #   {
 #     :Simpson1 :samples ?ss .
@@ -172,22 +173,22 @@ _:b5 :dy 3.5838531634528574 .
 #   } .
 # with substitution (on rule variables):
 #   ?c = 1.0
-#   ?cosx = -0.4161468365471424
-#   ?ds = 3.720753081997118
-#   ?dy = 3.5838531634528574
-#   ?dy2 = 12.844003497191053
-#   ?onePlus = 13.844003497191053
+#   ?cosx = "-0.4161468365471424"^^xsd:decimal
+#   ?ds = "3.720753081997118"^^xsd:decimal
+#   ?dy = "3.5838531634528574"^^xsd:decimal
+#   ?dy2 = "12.844003497191053"^^xsd:decimal
+#   ?onePlus = "13.844003497191053"^^xsd:decimal
 #   ?s = _:b5
-#   ?sinx = 0.9092974268256817
+#   ?sinx = "0.9092974268256817"^^xsd:decimal
 #   ?ss = (_:b1 _:b2 _:b3 _:b4 _:b5)
-#   ?twox = 4
+#   ?twox = "4"^^xsd:decimal
 #   ?x = 2.0
-#   ?x2 = 4
-#   ?y = 4.909297426825682
+#   ?x2 = "4"^^xsd:decimal
+#   ?y = "4.909297426825682"^^xsd:decimal
 # Therefore the derived triple above is entailed by the rules and facts.
 # ----------------------------------------------------------------------
-_:b5 :ds 3.720753081997118 .
+_:b5 :ds "3.720753081997118"^^xsd:decimal .
 # ----------------------------------------------------------------------
 # Proof for derived triple:
@@ -197,15 +198,15 @@ _:b5 :ds 3.720753081997118 .
 #   (_:b1 _:b2 _:b3 _:b4 _:b5) list:member _:b5 .
 #   _:b5 :x 2.0 .
 #   _:b5 :coef 1.0 .
-#   2.0 math:sin 0.9092974268256817 .
-#   (2.0 2.0) math:exponentiation 4 .
-#   (0.9092974268256817 4) math:sum 4.909297426825682 .
-#   2.0 math:cos -0.4161468365471424 .
-#   (2.0 2.0) math:product 4 .
-#   (-0.4161468365471424 4) math:sum 3.5838531634528574 .
-#   (3.5838531634528574 2.0) math:exponentiation 12.844003497191053 .
-#   (1.0 12.844003497191053) math:sum 13.844003497191053 .
-#   (13.844003497191053 0.5) math:exponentiation 3.720753081997118 .
+#   2.0 math:sin "0.9092974268256817"^^xsd:decimal .
+#   (2.0 2.0) math:exponentiation "4"^^xsd:decimal .
+#   ("0.9092974268256817"^^xsd:decimal "4"^^xsd:decimal) math:sum "4.909297426825682"^^xsd:decimal .
+#   2.0 math:cos "-0.4161468365471424"^^xsd:decimal .
+#   (2.0 2.0) math:product "4"^^xsd:decimal .
+#   ("-0.4161468365471424"^^xsd:decimal "4"^^xsd:decimal) math:sum "3.5838531634528574"^^xsd:decimal .
+#   ("3.5838531634528574"^^xsd:decimal 2.0) math:exponentiation "12.844003497191053"^^xsd:decimal .
+#   (1.0 "12.844003497191053"^^xsd:decimal) math:sum "13.844003497191053"^^xsd:decimal .
+#   ("13.844003497191053"^^xsd:decimal 0.5) math:exponentiation "3.720753081997118"^^xsd:decimal .
 # via the schematic forward rule:
 #   {
 #     :Simpson1 :samples ?ss .
@@ -235,18 +236,18 @@ _:b5 :ds 3.720753081997118 .
 #   } .
 # with substitution (on rule variables):
 #   ?c = 1.0
-#   ?cosx = -0.4161468365471424
-#   ?ds = 3.720753081997118
-#   ?dy = 3.5838531634528574
-#   ?dy2 = 12.844003497191053
-#   ?onePlus = 13.844003497191053
+#   ?cosx = "-0.4161468365471424"^^xsd:decimal
+#   ?ds = "3.720753081997118"^^xsd:decimal
+#   ?dy = "3.5838531634528574"^^xsd:decimal
+#   ?dy2 = "12.844003497191053"^^xsd:decimal
+#   ?onePlus = "13.844003497191053"^^xsd:decimal
 #   ?s = _:b5
-#   ?sinx = 0.9092974268256817
+#   ?sinx = "0.9092974268256817"^^xsd:decimal
 #   ?ss = (_:b1 _:b2 _:b3 _:b4 _:b5)
-#   ?twox = 4
+#   ?twox = "4"^^xsd:decimal
 #   ?x = 2.0
-#   ?x2 = 4
-#   ?y = 4.909297426825682
+#   ?x2 = "4"^^xsd:decimal
+#   ?y = "4.909297426825682"^^xsd:decimal
 # Therefore the derived triple above is entailed by the rules and facts.
 # ----------------------------------------------------------------------
@@ -260,15 +261,15 @@ _:sk_0 :sample _:b5 .
 #   (_:b1 _:b2 _:b3 _:b4 _:b5) list:member _:b5 .
 #   _:b5 :x 2.0 .
 #   _:b5 :coef 1.0 .
-#   2.0 math:sin 0.9092974268256817 .
-#   (2.0 2.0) math:exponentiation 4 .
-#   (0.9092974268256817 4) math:sum 4.909297426825682 .
-#   2.0 math:cos -0.4161468365471424 .
-#   (2.0 2.0) math:product 4 .
-#   (-0.4161468365471424 4) math:sum 3.5838531634528574 .
-#   (3.5838531634528574 2.0) math:exponentiation 12.844003497191053 .
-#   (1.0 12.844003497191053) math:sum 13.844003497191053 .
-#   (13.844003497191053 0.5) math:exponentiation 3.720753081997118 .
+#   2.0 math:sin "0.9092974268256817"^^xsd:decimal .
+#   (2.0 2.0) math:exponentiation "4"^^xsd:decimal .
+#   ("0.9092974268256817"^^xsd:decimal "4"^^xsd:decimal) math:sum "4.909297426825682"^^xsd:decimal .
+#   2.0 math:cos "-0.4161468365471424"^^xsd:decimal .
+#   (2.0 2.0) math:product "4"^^xsd:decimal .
+#   ("-0.4161468365471424"^^xsd:decimal "4"^^xsd:decimal) math:sum "3.5838531634528574"^^xsd:decimal .
+#   ("3.5838531634528574"^^xsd:decimal 2.0) math:exponentiation "12.844003497191053"^^xsd:decimal .
+#   (1.0 "12.844003497191053"^^xsd:decimal) math:sum "13.844003497191053"^^xsd:decimal .
+#   ("13.844003497191053"^^xsd:decimal 0.5) math:exponentiation "3.720753081997118"^^xsd:decimal .
 # via the schematic forward rule:
 #   {
 #     :Simpson1 :samples ?ss .
@@ -298,18 +299,18 @@ _:sk_0 :sample _:b5 .
 #   } .
 # with substitution (on rule variables):
 #   ?c = 1.0
-#   ?cosx = -0.4161468365471424
-#   ?ds = 3.720753081997118
-#   ?dy = 3.5838531634528574
-#   ?dy2 = 12.844003497191053
-#   ?onePlus = 13.844003497191053
+#   ?cosx = "-0.4161468365471424"^^xsd:decimal
+#   ?ds = "3.720753081997118"^^xsd:decimal
+#   ?dy = "3.5838531634528574"^^xsd:decimal
+#   ?dy2 = "12.844003497191053"^^xsd:decimal
+#   ?onePlus = "13.844003497191053"^^xsd:decimal
 #   ?s = _:b5
-#   ?sinx = 0.9092974268256817
+#   ?sinx = "0.9092974268256817"^^xsd:decimal
 #   ?ss = (_:b1 _:b2 _:b3 _:b4 _:b5)
-#   ?twox = 4
+#   ?twox = "4"^^xsd:decimal
 #   ?x = 2.0
-#   ?x2 = 4
-#   ?y = 4.909297426825682
+#   ?x2 = "4"^^xsd:decimal
+#   ?y = "4.909297426825682"^^xsd:decimal
 # Therefore the derived triple above is entailed by the rules and facts.
 # ----------------------------------------------------------------------
@@ -323,15 +324,15 @@ _:sk_0 :x 2.0 .
 #   (_:b1 _:b2 _:b3 _:b4 _:b5) list:member _:b5 .
 #   _:b5 :x 2.0 .
 #   _:b5 :coef 1.0 .
-#   2.0 math:sin 0.9092974268256817 .
-#   (2.0 2.0) math:exponentiation 4 .
-#   (0.9092974268256817 4) math:sum 4.909297426825682 .
-#   2.0 math:cos -0.4161468365471424 .
-#   (2.0 2.0) math:product 4 .
-#   (-0.4161468365471424 4) math:sum 3.5838531634528574 .
-#   (3.5838531634528574 2.0) math:exponentiation 12.844003497191053 .
-#   (1.0 12.844003497191053) math:sum 13.844003497191053 .
-#   (13.844003497191053 0.5) math:exponentiation 3.720753081997118 .
+#   2.0 math:sin "0.9092974268256817"^^xsd:decimal .
+#   (2.0 2.0) math:exponentiation "4"^^xsd:decimal .
+#   ("0.9092974268256817"^^xsd:decimal "4"^^xsd:decimal) math:sum "4.909297426825682"^^xsd:decimal .
+#   2.0 math:cos "-0.4161468365471424"^^xsd:decimal .
+#   (2.0 2.0) math:product "4"^^xsd:decimal .
+#   ("-0.4161468365471424"^^xsd:decimal "4"^^xsd:decimal) math:sum "3.5838531634528574"^^xsd:decimal .
+#   ("3.5838531634528574"^^xsd:decimal 2.0) math:exponentiation "12.844003497191053"^^xsd:decimal .
+#   (1.0 "12.844003497191053"^^xsd:decimal) math:sum "13.844003497191053"^^xsd:decimal .
+#   ("13.844003497191053"^^xsd:decimal 0.5) math:exponentiation "3.720753081997118"^^xsd:decimal .
 # via the schematic forward rule:
 #   {
 #     :Simpson1 :samples ?ss .
@@ -361,18 +362,18 @@ _:sk_0 :x 2.0 .
 #   } .
 # with substitution (on rule variables):
 #   ?c = 1.0
-#   ?cosx = -0.4161468365471424
-#   ?ds = 3.720753081997118
-#   ?dy = 3.5838531634528574
-#   ?dy2 = 12.844003497191053
-#   ?onePlus = 13.844003497191053
+#   ?cosx = "-0.4161468365471424"^^xsd:decimal
+#   ?ds = "3.720753081997118"^^xsd:decimal
+#   ?dy = "3.5838531634528574"^^xsd:decimal
+#   ?dy2 = "12.844003497191053"^^xsd:decimal
+#   ?onePlus = "13.844003497191053"^^xsd:decimal
 #   ?s = _:b5
-#   ?sinx = 0.9092974268256817
+#   ?sinx = "0.9092974268256817"^^xsd:decimal
 #   ?ss = (_:b1 _:b2 _:b3 _:b4 _:b5)
-#   ?twox = 4
+#   ?twox = "4"^^xsd:decimal
 #   ?x = 2.0
-#   ?x2 = 4
-#   ?y = 4.909297426825682
+#   ?x2 = "4"^^xsd:decimal
+#   ?y = "4.909297426825682"^^xsd:decimal
 # Therefore the derived triple above is entailed by the rules and facts.
 # ----------------------------------------------------------------------
@@ -380,21 +381,21 @@ _:sk_0 :coef 1.0 .
 # ----------------------------------------------------------------------
 # Proof for derived triple:
-#   _:sk_0 :y 4.909297426825682 .
+#   _:sk_0 :y "4.909297426825682"^^xsd:decimal .
 # It holds because the following instance of the rule body is provable:
 #   :Simpson1 :samples (_:b1 _:b2 _:b3 _:b4 _:b5) .
 #   (_:b1 _:b2 _:b3 _:b4 _:b5) list:member _:b5 .
 #   _:b5 :x 2.0 .
 #   _:b5 :coef 1.0 .
-#   2.0 math:sin 0.9092974268256817 .
-#   (2.0 2.0) math:exponentiation 4 .
-#   (0.9092974268256817 4) math:sum 4.909297426825682 .
-#   2.0 math:cos -0.4161468365471424 .
-#   (2.0 2.0) math:product 4 .
-#   (-0.4161468365471424 4) math:sum 3.5838531634528574 .
-#   (3.5838531634528574 2.0) math:exponentiation 12.844003497191053 .
-#   (1.0 12.844003497191053) math:sum 13.844003497191053 .
-#   (13.844003497191053 0.5) math:exponentiation 3.720753081997118 .
+#   2.0 math:sin "0.9092974268256817"^^xsd:decimal .
+#   (2.0 2.0) math:exponentiation "4"^^xsd:decimal .
+#   ("0.9092974268256817"^^xsd:decimal "4"^^xsd:decimal) math:sum "4.909297426825682"^^xsd:decimal .
+#   2.0 math:cos "-0.4161468365471424"^^xsd:decimal .
+#   (2.0 2.0) math:product "4"^^xsd:decimal .
+#   ("-0.4161468365471424"^^xsd:decimal "4"^^xsd:decimal) math:sum "3.5838531634528574"^^xsd:decimal .
+#   ("3.5838531634528574"^^xsd:decimal 2.0) math:exponentiation "12.844003497191053"^^xsd:decimal .
+#   (1.0 "12.844003497191053"^^xsd:decimal) math:sum "13.844003497191053"^^xsd:decimal .
+#   ("13.844003497191053"^^xsd:decimal 0.5) math:exponentiation "3.720753081997118"^^xsd:decimal .
 # via the schematic forward rule:
 #   {
 #     :Simpson1 :samples ?ss .
@@ -424,40 +425,40 @@ _:sk_0 :coef 1.0 .
 #   } .
 # with substitution (on rule variables):
 #   ?c = 1.0
-#   ?cosx = -0.4161468365471424
-#   ?ds = 3.720753081997118
-#   ?dy = 3.5838531634528574
-#   ?dy2 = 12.844003497191053
-#   ?onePlus = 13.844003497191053
+#   ?cosx = "-0.4161468365471424"^^xsd:decimal
+#   ?ds = "3.720753081997118"^^xsd:decimal
+#   ?dy = "3.5838531634528574"^^xsd:decimal
+#   ?dy2 = "12.844003497191053"^^xsd:decimal
+#   ?onePlus = "13.844003497191053"^^xsd:decimal
 #   ?s = _:b5
-#   ?sinx = 0.9092974268256817
+#   ?sinx = "0.9092974268256817"^^xsd:decimal
 #   ?ss = (_:b1 _:b2 _:b3 _:b4 _:b5)
-#   ?twox = 4
+#   ?twox = "4"^^xsd:decimal
 #   ?x = 2.0
-#   ?x2 = 4
-#   ?y = 4.909297426825682
+#   ?x2 = "4"^^xsd:decimal
+#   ?y = "4.909297426825682"^^xsd:decimal
 # Therefore the derived triple above is entailed by the rules and facts.
 # ----------------------------------------------------------------------
-_:sk_0 :y 4.909297426825682 .
+_:sk_0 :y "4.909297426825682"^^xsd:decimal .
 # ----------------------------------------------------------------------
 # Proof for derived triple:
-#   _:sk_0 :dy 3.5838531634528574 .
+#   _:sk_0 :dy "3.5838531634528574"^^xsd:decimal .
 # It holds because the following instance of the rule body is provable:
 #   :Simpson1 :samples (_:b1 _:b2 _:b3 _:b4 _:b5) .
 #   (_:b1 _:b2 _:b3 _:b4 _:b5) list:member _:b5 .
 #   _:b5 :x 2.0 .
 #   _:b5 :coef 1.0 .
-#   2.0 math:sin 0.9092974268256817 .
-#   (2.0 2.0) math:exponentiation 4 .
-#   (0.9092974268256817 4) math:sum 4.909297426825682 .
-#   2.0 math:cos -0.4161468365471424 .
-#   (2.0 2.0) math:product 4 .
-#   (-0.4161468365471424 4) math:sum 3.5838531634528574 .
-#   (3.5838531634528574 2.0) math:exponentiation 12.844003497191053 .
-#   (1.0 12.844003497191053) math:sum 13.844003497191053 .
-#   (13.844003497191053 0.5) math:exponentiation 3.720753081997118 .
+#   2.0 math:sin "0.9092974268256817"^^xsd:decimal .
+#   (2.0 2.0) math:exponentiation "4"^^xsd:decimal .
+#   ("0.9092974268256817"^^xsd:decimal "4"^^xsd:decimal) math:sum "4.909297426825682"^^xsd:decimal .
+#   2.0 math:cos "-0.4161468365471424"^^xsd:decimal .
+#   (2.0 2.0) math:product "4"^^xsd:decimal .
+#   ("-0.4161468365471424"^^xsd:decimal "4"^^xsd:decimal) math:sum "3.5838531634528574"^^xsd:decimal .
+#   ("3.5838531634528574"^^xsd:decimal 2.0) math:exponentiation "12.844003497191053"^^xsd:decimal .
+#   (1.0 "12.844003497191053"^^xsd:decimal) math:sum "13.844003497191053"^^xsd:decimal .
+#   ("13.844003497191053"^^xsd:decimal 0.5) math:exponentiation "3.720753081997118"^^xsd:decimal .
 # via the schematic forward rule:
 #   {
 #     :Simpson1 :samples ?ss .
@@ -487,40 +488,40 @@ _:sk_0 :y 4.909297426825682 .
 #   } .
 # with substitution (on rule variables):
 #   ?c = 1.0
-#   ?cosx = -0.4161468365471424
-#   ?ds = 3.720753081997118
-#   ?dy = 3.5838531634528574
-#   ?dy2 = 12.844003497191053
-#   ?onePlus = 13.844003497191053
+#   ?cosx = "-0.4161468365471424"^^xsd:decimal
+#   ?ds = "3.720753081997118"^^xsd:decimal
+#   ?dy = "3.5838531634528574"^^xsd:decimal
+#   ?dy2 = "12.844003497191053"^^xsd:decimal
+#   ?onePlus = "13.844003497191053"^^xsd:decimal
 #   ?s = _:b5
-#   ?sinx = 0.9092974268256817
+#   ?sinx = "0.9092974268256817"^^xsd:decimal
 #   ?ss = (_:b1 _:b2 _:b3 _:b4 _:b5)
-#   ?twox = 4
+#   ?twox = "4"^^xsd:decimal
 #   ?x = 2.0
-#   ?x2 = 4
-#   ?y = 4.909297426825682
+#   ?x2 = "4"^^xsd:decimal
+#   ?y = "4.909297426825682"^^xsd:decimal
 # Therefore the derived triple above is entailed by the rules and facts.
 # ----------------------------------------------------------------------
-_:sk_0 :dy 3.5838531634528574 .
+_:sk_0 :dy "3.5838531634528574"^^xsd:decimal .
 # ----------------------------------------------------------------------
 # Proof for derived triple:
-#   _:sk_0 :ds 3.720753081997118 .
+#   _:sk_0 :ds "3.720753081997118"^^xsd:decimal .
 # It holds because the following instance of the rule body is provable:
 #   :Simpson1 :samples (_:b1 _:b2 _:b3 _:b4 _:b5) .
 #   (_:b1 _:b2 _:b3 _:b4 _:b5) list:member _:b5 .
 #   _:b5 :x 2.0 .
 #   _:b5 :coef 1.0 .
-#   2.0 math:sin 0.9092974268256817 .
-#   (2.0 2.0) math:exponentiation 4 .
-#   (0.9092974268256817 4) math:sum 4.909297426825682 .
-#   2.0 math:cos -0.4161468365471424 .
-#   (2.0 2.0) math:product 4 .
-#   (-0.4161468365471424 4) math:sum 3.5838531634528574 .
-#   (3.5838531634528574 2.0) math:exponentiation 12.844003497191053 .
-#   (1.0 12.844003497191053) math:sum 13.844003497191053 .
-#   (13.844003497191053 0.5) math:exponentiation 3.720753081997118 .
+#   2.0 math:sin "0.9092974268256817"^^xsd:decimal .
+#   (2.0 2.0) math:exponentiation "4"^^xsd:decimal .
+#   ("0.9092974268256817"^^xsd:decimal "4"^^xsd:decimal) math:sum "4.909297426825682"^^xsd:decimal .
+#   2.0 math:cos "-0.4161468365471424"^^xsd:decimal .
+#   (2.0 2.0) math:product "4"^^xsd:decimal .
+#   ("-0.4161468365471424"^^xsd:decimal "4"^^xsd:decimal) math:sum "3.5838531634528574"^^xsd:decimal .
+#   ("3.5838531634528574"^^xsd:decimal 2.0) math:exponentiation "12.844003497191053"^^xsd:decimal .
+#   (1.0 "12.844003497191053"^^xsd:decimal) math:sum "13.844003497191053"^^xsd:decimal .
+#   ("13.844003497191053"^^xsd:decimal 0.5) math:exponentiation "3.720753081997118"^^xsd:decimal .
 # via the schematic forward rule:
 #   {
 #     :Simpson1 :samples ?ss .
@@ -550,22 +551,22 @@ _:sk_0 :dy 3.5838531634528574 .
 #   } .
 # with substitution (on rule variables):
 #   ?c = 1.0
-#   ?cosx = -0.4161468365471424
-#   ?ds = 3.720753081997118
-#   ?dy = 3.5838531634528574
-#   ?dy2 = 12.844003497191053
-#   ?onePlus = 13.844003497191053
+#   ?cosx = "-0.4161468365471424"^^xsd:decimal
+#   ?ds = "3.720753081997118"^^xsd:decimal
+#   ?dy = "3.5838531634528574"^^xsd:decimal
+#   ?dy2 = "12.844003497191053"^^xsd:decimal
+#   ?onePlus = "13.844003497191053"^^xsd:decimal
 #   ?s = _:b5
-#   ?sinx = 0.9092974268256817
+#   ?sinx = "0.9092974268256817"^^xsd:decimal
 #   ?ss = (_:b1 _:b2 _:b3 _:b4 _:b5)
-#   ?twox = 4
+#   ?twox = "4"^^xsd:decimal
 #   ?x = 2.0
-#   ?x2 = 4
-#   ?y = 4.909297426825682
+#   ?x2 = "4"^^xsd:decimal
+#   ?y = "4.909297426825682"^^xsd:decimal
 # Therefore the derived triple above is entailed by the rules and facts.
 # ----------------------------------------------------------------------
-_:sk_0 :ds 3.720753081997118 .
+_:sk_0 :ds "3.720753081997118"^^xsd:decimal .
 # ----------------------------------------------------------------------
 # Proof for derived triple:
@@ -575,15 +576,15 @@ _:sk_0 :ds 3.720753081997118 .
 #   (_:b1 _:b2 _:b3 _:b4 _:b5) list:member _:b5 .
 #   _:b5 :x 2.0 .
 #   _:b5 :coef 1.0 .
-#   2.0 math:sin 0.9092974268256817 .
-#   (2.0 2.0) math:exponentiation 4 .
-#   (0.9092974268256817 4) math:sum 4.909297426825682 .
-#   2.0 math:cos -0.4161468365471424 .
-#   (2.0 2.0) math:product 4 .
-#   (-0.4161468365471424 4) math:sum 3.5838531634528574 .
-#   (3.5838531634528574 2.0) math:exponentiation 12.844003497191053 .
-#   (1.0 12.844003497191053) math:sum 13.844003497191053 .
-#   (13.844003497191053 0.5) math:exponentiation 3.720753081997118 .
+#   2.0 math:sin "0.9092974268256817"^^xsd:decimal .
+#   (2.0 2.0) math:exponentiation "4"^^xsd:decimal .
+#   ("0.9092974268256817"^^xsd:decimal "4"^^xsd:decimal) math:sum "4.909297426825682"^^xsd:decimal .
+#   2.0 math:cos "-0.4161468365471424"^^xsd:decimal .
+#   (2.0 2.0) math:product "4"^^xsd:decimal .
+#   ("-0.4161468365471424"^^xsd:decimal "4"^^xsd:decimal) math:sum "3.5838531634528574"^^xsd:decimal .
+#   ("3.5838531634528574"^^xsd:decimal 2.0) math:exponentiation "12.844003497191053"^^xsd:decimal .
+#   (1.0 "12.844003497191053"^^xsd:decimal) math:sum "13.844003497191053"^^xsd:decimal .
+#   ("13.844003497191053"^^xsd:decimal 0.5) math:exponentiation "3.720753081997118"^^xsd:decimal .
 # via the schematic forward rule:
 #   {
 #     :Simpson1 :samples ?ss .
@@ -613,18 +614,18 @@ _:sk_0 :ds 3.720753081997118 .
 #   } .
 # with substitution (on rule variables):
 #   ?c = 1.0
-#   ?cosx = -0.4161468365471424
-#   ?ds = 3.720753081997118
-#   ?dy = 3.5838531634528574
-#   ?dy2 = 12.844003497191053
-#   ?onePlus = 13.844003497191053
+#   ?cosx = "-0.4161468365471424"^^xsd:decimal
+#   ?ds = "3.720753081997118"^^xsd:decimal
+#   ?dy = "3.5838531634528574"^^xsd:decimal
+#   ?dy2 = "12.844003497191053"^^xsd:decimal
+#   ?onePlus = "13.844003497191053"^^xsd:decimal
 #   ?s = _:b5
-#   ?sinx = 0.9092974268256817
+#   ?sinx = "0.9092974268256817"^^xsd:decimal
 #   ?ss = (_:b1 _:b2 _:b3 _:b4 _:b5)
-#   ?twox = 4
+#   ?twox = "4"^^xsd:decimal
 #   ?x = 2.0
-#   ?x2 = 4
-#   ?y = 4.909297426825682
+#   ?x2 = "4"^^xsd:decimal
+#   ?y = "4.909297426825682"^^xsd:decimal
 # Therefore the derived triple above is entailed by the rules and facts.
 # ----------------------------------------------------------------------
@@ -632,21 +633,21 @@ _:sk_0 :ds 3.720753081997118 .
 # ----------------------------------------------------------------------
 # Proof for derived triple:
-#   _:b4 :y 3.2474949866040546 .
+#   _:b4 :y "3.2474949866040546"^^xsd:decimal .
 # It holds because the following instance of the rule body is provable:
 #   :Simpson1 :samples (_:b1 _:b2 _:b3 _:b4 _:b5) .
 #   (_:b1 _:b2 _:b3 _:b4 _:b5) list:member _:b4 .
 #   _:b4 :x 1.5 .
 #   _:b4 :coef 4.0 .
-#   1.5 math:sin 0.9974949866040544 .
-#   (1.5 2.0) math:exponentiation 2.25 .
-#   (0.9974949866040544 2.25) math:sum 3.2474949866040546 .
-#   1.5 math:cos 0.0707372016677029 .
-#   (2.0 1.5) math:product 3 .
-#   (0.0707372016677029 3) math:sum 3.070737201667703 .
-#   (3.070737201667703 2.0) math:exponentiation 9.429426961705994 .
-#   (1.0 9.429426961705994) math:sum 10.429426961705994 .
-#   (10.429426961705994 0.5) math:exponentiation 3.229462333222977 .
+#   1.5 math:sin "0.9974949866040544"^^xsd:decimal .
+#   (1.5 2.0) math:exponentiation "2.25"^^xsd:decimal .
+#   ("0.9974949866040544"^^xsd:decimal "2.25"^^xsd:decimal) math:sum "3.2474949866040546"^^xsd:decimal .
+#   1.5 math:cos "0.0707372016677029"^^xsd:decimal .
+#   (2.0 1.5) math:product "3"^^xsd:decimal .
+#   ("0.0707372016677029"^^xsd:decimal "3"^^xsd:decimal) math:sum "3.070737201667703"^^xsd:decimal .
+#   ("3.070737201667703"^^xsd:decimal 2.0) math:exponentiation "9.429426961705994"^^xsd:decimal .
+#   (1.0 "9.429426961705994"^^xsd:decimal) math:sum "10.429426961705994"^^xsd:decimal .
+#   ("10.429426961705994"^^xsd:decimal 0.5) math:exponentiation "3.229462333222977"^^xsd:decimal .
 # via the schematic forward rule:
 #   {
 #     :Simpson1 :samples ?ss .
@@ -676,40 +677,40 @@ _:sk_0 :ds 3.720753081997118 .
 #   } .
 # with substitution (on rule variables):
 #   ?c = 4.0
-#   ?cosx = 0.0707372016677029
-#   ?ds = 3.229462333222977
-#   ?dy = 3.070737201667703
-#   ?dy2 = 9.429426961705994
-#   ?onePlus = 10.429426961705994
+#   ?cosx = "0.0707372016677029"^^xsd:decimal
+#   ?ds = "3.229462333222977"^^xsd:decimal
+#   ?dy = "3.070737201667703"^^xsd:decimal
+#   ?dy2 = "9.429426961705994"^^xsd:decimal
+#   ?onePlus = "10.429426961705994"^^xsd:decimal
 #   ?s = _:b4
-#   ?sinx = 0.9974949866040544
+#   ?sinx = "0.9974949866040544"^^xsd:decimal
 #   ?ss = (_:b1 _:b2 _:b3 _:b4 _:b5)
-#   ?twox = 3
+#   ?twox = "3"^^xsd:decimal
 #   ?x = 1.5
-#   ?x2 = 2.25
-#   ?y = 3.2474949866040546
+#   ?x2 = "2.25"^^xsd:decimal
+#   ?y = "3.2474949866040546"^^xsd:decimal
 # Therefore the derived triple above is entailed by the rules and facts.
 # ----------------------------------------------------------------------
-_:b4 :y 3.2474949866040546 .
+_:b4 :y "3.2474949866040546"^^xsd:decimal .
 # ----------------------------------------------------------------------
 # Proof for derived triple:
-#   _:b4 :dy 3.070737201667703 .
+#   _:b4 :dy "3.070737201667703"^^xsd:decimal .
 # It holds because the following instance of the rule body is provable:
 #   :Simpson1 :samples (_:b1 _:b2 _:b3 _:b4 _:b5) .
 #   (_:b1 _:b2 _:b3 _:b4 _:b5) list:member _:b4 .
 #   _:b4 :x 1.5 .
 #   _:b4 :coef 4.0 .
-#   1.5 math:sin 0.9974949866040544 .
-#   (1.5 2.0) math:exponentiation 2.25 .
-#   (0.9974949866040544 2.25) math:sum 3.2474949866040546 .
-#   1.5 math:cos 0.0707372016677029 .
-#   (2.0 1.5) math:product 3 .
-#   (0.0707372016677029 3) math:sum 3.070737201667703 .
-#   (3.070737201667703 2.0) math:exponentiation 9.429426961705994 .
-#   (1.0 9.429426961705994) math:sum 10.429426961705994 .
-#   (10.429426961705994 0.5) math:exponentiation 3.229462333222977 .
+#   1.5 math:sin "0.9974949866040544"^^xsd:decimal .
+#   (1.5 2.0) math:exponentiation "2.25"^^xsd:decimal .
+#   ("0.9974949866040544"^^xsd:decimal "2.25"^^xsd:decimal) math:sum "3.2474949866040546"^^xsd:decimal .
+#   1.5 math:cos "0.0707372016677029"^^xsd:decimal .
+#   (2.0 1.5) math:product "3"^^xsd:decimal .
+#   ("0.0707372016677029"^^xsd:decimal "3"^^xsd:decimal) math:sum "3.070737201667703"^^xsd:decimal .
+#   ("3.070737201667703"^^xsd:decimal 2.0) math:exponentiation "9.429426961705994"^^xsd:decimal .
+#   (1.0 "9.429426961705994"^^xsd:decimal) math:sum "10.429426961705994"^^xsd:decimal .
+#   ("10.429426961705994"^^xsd:decimal 0.5) math:exponentiation "3.229462333222977"^^xsd:decimal .
 # via the schematic forward rule:
 #   {
 #     :Simpson1 :samples ?ss .
@@ -739,40 +740,40 @@ _:b4 :y 3.2474949866040546 .
 #   } .
 # with substitution (on rule variables):
 #   ?c = 4.0
-#   ?cosx = 0.0707372016677029
-#   ?ds = 3.229462333222977
-#   ?dy = 3.070737201667703
-#   ?dy2 = 9.429426961705994
-#   ?onePlus = 10.429426961705994
+#   ?cosx = "0.0707372016677029"^^xsd:decimal
+#   ?ds = "3.229462333222977"^^xsd:decimal
+#   ?dy = "3.070737201667703"^^xsd:decimal
+#   ?dy2 = "9.429426961705994"^^xsd:decimal
+#   ?onePlus = "10.429426961705994"^^xsd:decimal
 #   ?s = _:b4
-#   ?sinx = 0.9974949866040544
+#   ?sinx = "0.9974949866040544"^^xsd:decimal
 #   ?ss = (_:b1 _:b2 _:b3 _:b4 _:b5)
-#   ?twox = 3
+#   ?twox = "3"^^xsd:decimal
 #   ?x = 1.5
-#   ?x2 = 2.25
-#   ?y = 3.2474949866040546
+#   ?x2 = "2.25"^^xsd:decimal
+#   ?y = "3.2474949866040546"^^xsd:decimal
 # Therefore the derived triple above is entailed by the rules and facts.
 # ----------------------------------------------------------------------
-_:b4 :dy 3.070737201667703 .
+_:b4 :dy "3.070737201667703"^^xsd:decimal .
 # ----------------------------------------------------------------------
 # Proof for derived triple:
-#   _:b4 :ds 3.229462333222977 .
+#   _:b4 :ds "3.229462333222977"^^xsd:decimal .
 # It holds because the following instance of the rule body is provable:
 #   :Simpson1 :samples (_:b1 _:b2 _:b3 _:b4 _:b5) .
 #   (_:b1 _:b2 _:b3 _:b4 _:b5) list:member _:b4 .
 #   _:b4 :x 1.5 .
 #   _:b4 :coef 4.0 .
-#   1.5 math:sin 0.9974949866040544 .
-#   (1.5 2.0) math:exponentiation 2.25 .
-#   (0.9974949866040544 2.25) math:sum 3.2474949866040546 .
-#   1.5 math:cos 0.0707372016677029 .
-#   (2.0 1.5) math:product 3 .
-#   (0.0707372016677029 3) math:sum 3.070737201667703 .
-#   (3.070737201667703 2.0) math:exponentiation 9.429426961705994 .
-#   (1.0 9.429426961705994) math:sum 10.429426961705994 .
-#   (10.429426961705994 0.5) math:exponentiation 3.229462333222977 .
+#   1.5 math:sin "0.9974949866040544"^^xsd:decimal .
+#   (1.5 2.0) math:exponentiation "2.25"^^xsd:decimal .
+#   ("0.9974949866040544"^^xsd:decimal "2.25"^^xsd:decimal) math:sum "3.2474949866040546"^^xsd:decimal .
+#   1.5 math:cos "0.0707372016677029"^^xsd:decimal .
+#   (2.0 1.5) math:product "3"^^xsd:decimal .
+#   ("0.0707372016677029"^^xsd:decimal "3"^^xsd:decimal) math:sum "3.070737201667703"^^xsd:decimal .
+#   ("3.070737201667703"^^xsd:decimal 2.0) math:exponentiation "9.429426961705994"^^xsd:decimal .
+#   (1.0 "9.429426961705994"^^xsd:decimal) math:sum "10.429426961705994"^^xsd:decimal .
+#   ("10.429426961705994"^^xsd:decimal 0.5) math:exponentiation "3.229462333222977"^^xsd:decimal .
 # via the schematic forward rule:
 #   {
 #     :Simpson1 :samples ?ss .
@@ -802,22 +803,22 @@ _:b4 :dy 3.070737201667703 .
 #   } .
 # with substitution (on rule variables):
 #   ?c = 4.0
-#   ?cosx = 0.0707372016677029
-#   ?ds = 3.229462333222977
-#   ?dy = 3.070737201667703
-#   ?dy2 = 9.429426961705994
-#   ?onePlus = 10.429426961705994
+#   ?cosx = "0.0707372016677029"^^xsd:decimal
+#   ?ds = "3.229462333222977"^^xsd:decimal
+#   ?dy = "3.070737201667703"^^xsd:decimal
+#   ?dy2 = "9.429426961705994"^^xsd:decimal
+#   ?onePlus = "10.429426961705994"^^xsd:decimal
 #   ?s = _:b4
-#   ?sinx = 0.9974949866040544
+#   ?sinx = "0.9974949866040544"^^xsd:decimal
 #   ?ss = (_:b1 _:b2 _:b3 _:b4 _:b5)
-#   ?twox = 3
+#   ?twox = "3"^^xsd:decimal
 #   ?x = 1.5
-#   ?x2 = 2.25
-#   ?y = 3.2474949866040546
+#   ?x2 = "2.25"^^xsd:decimal
+#   ?y = "3.2474949866040546"^^xsd:decimal
 # Therefore the derived triple above is entailed by the rules and facts.
 # ----------------------------------------------------------------------
-_:b4 :ds 3.229462333222977 .
+_:b4 :ds "3.229462333222977"^^xsd:decimal .
 # ----------------------------------------------------------------------
 # Proof for derived triple:
@@ -827,15 +828,15 @@ _:b4 :ds 3.229462333222977 .
 #   (_:b1 _:b2 _:b3 _:b4 _:b5) list:member _:b4 .
 #   _:b4 :x 1.5 .
 #   _:b4 :coef 4.0 .
-#   1.5 math:sin 0.9974949866040544 .
-#   (1.5 2.0) math:exponentiation 2.25 .
-#   (0.9974949866040544 2.25) math:sum 3.2474949866040546 .
-#   1.5 math:cos 0.0707372016677029 .
-#   (2.0 1.5) math:product 3 .
-#   (0.0707372016677029 3) math:sum 3.070737201667703 .
-#   (3.070737201667703 2.0) math:exponentiation 9.429426961705994 .
-#   (1.0 9.429426961705994) math:sum 10.429426961705994 .
-#   (10.429426961705994 0.5) math:exponentiation 3.229462333222977 .
+#   1.5 math:sin "0.9974949866040544"^^xsd:decimal .
+#   (1.5 2.0) math:exponentiation "2.25"^^xsd:decimal .
+#   ("0.9974949866040544"^^xsd:decimal "2.25"^^xsd:decimal) math:sum "3.2474949866040546"^^xsd:decimal .
+#   1.5 math:cos "0.0707372016677029"^^xsd:decimal .
+#   (2.0 1.5) math:product "3"^^xsd:decimal .
+#   ("0.0707372016677029"^^xsd:decimal "3"^^xsd:decimal) math:sum "3.070737201667703"^^xsd:decimal .
+#   ("3.070737201667703"^^xsd:decimal 2.0) math:exponentiation "9.429426961705994"^^xsd:decimal .
+#   (1.0 "9.429426961705994"^^xsd:decimal) math:sum "10.429426961705994"^^xsd:decimal .
+#   ("10.429426961705994"^^xsd:decimal 0.5) math:exponentiation "3.229462333222977"^^xsd:decimal .
 # via the schematic forward rule:
 #   {
 #     :Simpson1 :samples ?ss .
@@ -865,18 +866,18 @@ _:b4 :ds 3.229462333222977 .
 #   } .
 # with substitution (on rule variables):
 #   ?c = 4.0
-#   ?cosx = 0.0707372016677029
-#   ?ds = 3.229462333222977
-#   ?dy = 3.070737201667703
-#   ?dy2 = 9.429426961705994
-#   ?onePlus = 10.429426961705994
+#   ?cosx = "0.0707372016677029"^^xsd:decimal
+#   ?ds = "3.229462333222977"^^xsd:decimal
+#   ?dy = "3.070737201667703"^^xsd:decimal
+#   ?dy2 = "9.429426961705994"^^xsd:decimal
+#   ?onePlus = "10.429426961705994"^^xsd:decimal
 #   ?s = _:b4
-#   ?sinx = 0.9974949866040544
+#   ?sinx = "0.9974949866040544"^^xsd:decimal
 #   ?ss = (_:b1 _:b2 _:b3 _:b4 _:b5)
-#   ?twox = 3
+#   ?twox = "3"^^xsd:decimal
 #   ?x = 1.5
-#   ?x2 = 2.25
-#   ?y = 3.2474949866040546
+#   ?x2 = "2.25"^^xsd:decimal
+#   ?y = "3.2474949866040546"^^xsd:decimal
 # Therefore the derived triple above is entailed by the rules and facts.
 # ----------------------------------------------------------------------
@@ -890,15 +891,15 @@ _:sk_1 :sample _:b4 .
 #   (_:b1 _:b2 _:b3 _:b4 _:b5) list:member _:b4 .
 #   _:b4 :x 1.5 .
 #   _:b4 :coef 4.0 .
-#   1.5 math:sin 0.9974949866040544 .
-#   (1.5 2.0) math:exponentiation 2.25 .
-#   (0.9974949866040544 2.25) math:sum 3.2474949866040546 .
-#   1.5 math:cos 0.0707372016677029 .
-#   (2.0 1.5) math:product 3 .
-#   (0.0707372016677029 3) math:sum 3.070737201667703 .
-#   (3.070737201667703 2.0) math:exponentiation 9.429426961705994 .
-#   (1.0 9.429426961705994) math:sum 10.429426961705994 .
-#   (10.429426961705994 0.5) math:exponentiation 3.229462333222977 .
+#   1.5 math:sin "0.9974949866040544"^^xsd:decimal .
+#   (1.5 2.0) math:exponentiation "2.25"^^xsd:decimal .
+#   ("0.9974949866040544"^^xsd:decimal "2.25"^^xsd:decimal) math:sum "3.2474949866040546"^^xsd:decimal .
+#   1.5 math:cos "0.0707372016677029"^^xsd:decimal .
+#   (2.0 1.5) math:product "3"^^xsd:decimal .
+#   ("0.0707372016677029"^^xsd:decimal "3"^^xsd:decimal) math:sum "3.070737201667703"^^xsd:decimal .
+#   ("3.070737201667703"^^xsd:decimal 2.0) math:exponentiation "9.429426961705994"^^xsd:decimal .
+#   (1.0 "9.429426961705994"^^xsd:decimal) math:sum "10.429426961705994"^^xsd:decimal .
+#   ("10.429426961705994"^^xsd:decimal 0.5) math:exponentiation "3.229462333222977"^^xsd:decimal .
 # via the schematic forward rule:
 #   {
 #     :Simpson1 :samples ?ss .
@@ -928,18 +929,18 @@ _:sk_1 :sample _:b4 .
 #   } .
 # with substitution (on rule variables):
 #   ?c = 4.0
-#   ?cosx = 0.0707372016677029
-#   ?ds = 3.229462333222977
-#   ?dy = 3.070737201667703
-#   ?dy2 = 9.429426961705994
-#   ?onePlus = 10.429426961705994
+#   ?cosx = "0.0707372016677029"^^xsd:decimal
+#   ?ds = "3.229462333222977"^^xsd:decimal
+#   ?dy = "3.070737201667703"^^xsd:decimal
+#   ?dy2 = "9.429426961705994"^^xsd:decimal
+#   ?onePlus = "10.429426961705994"^^xsd:decimal
 #   ?s = _:b4
-#   ?sinx = 0.9974949866040544
+#   ?sinx = "0.9974949866040544"^^xsd:decimal
 #   ?ss = (_:b1 _:b2 _:b3 _:b4 _:b5)
-#   ?twox = 3
+#   ?twox = "3"^^xsd:decimal
 #   ?x = 1.5
-#   ?x2 = 2.25
-#   ?y = 3.2474949866040546
+#   ?x2 = "2.25"^^xsd:decimal
+#   ?y = "3.2474949866040546"^^xsd:decimal
 # Therefore the derived triple above is entailed by the rules and facts.
 # ----------------------------------------------------------------------
@@ -953,15 +954,15 @@ _:sk_1 :x 1.5 .
 #   (_:b1 _:b2 _:b3 _:b4 _:b5) list:member _:b4 .
 #   _:b4 :x 1.5 .
 #   _:b4 :coef 4.0 .
-#   1.5 math:sin 0.9974949866040544 .
-#   (1.5 2.0) math:exponentiation 2.25 .
-#   (0.9974949866040544 2.25) math:sum 3.2474949866040546 .
-#   1.5 math:cos 0.0707372016677029 .
-#   (2.0 1.5) math:product 3 .
-#   (0.0707372016677029 3) math:sum 3.070737201667703 .
-#   (3.070737201667703 2.0) math:exponentiation 9.429426961705994 .
-#   (1.0 9.429426961705994) math:sum 10.429426961705994 .
-#   (10.429426961705994 0.5) math:exponentiation 3.229462333222977 .
+#   1.5 math:sin "0.9974949866040544"^^xsd:decimal .
+#   (1.5 2.0) math:exponentiation "2.25"^^xsd:decimal .
+#   ("0.9974949866040544"^^xsd:decimal "2.25"^^xsd:decimal) math:sum "3.2474949866040546"^^xsd:decimal .
+#   1.5 math:cos "0.0707372016677029"^^xsd:decimal .
+#   (2.0 1.5) math:product "3"^^xsd:decimal .
+#   ("0.0707372016677029"^^xsd:decimal "3"^^xsd:decimal) math:sum "3.070737201667703"^^xsd:decimal .
+#   ("3.070737201667703"^^xsd:decimal 2.0) math:exponentiation "9.429426961705994"^^xsd:decimal .
+#   (1.0 "9.429426961705994"^^xsd:decimal) math:sum "10.429426961705994"^^xsd:decimal .
+#   ("10.429426961705994"^^xsd:decimal 0.5) math:exponentiation "3.229462333222977"^^xsd:decimal .
 # via the schematic forward rule:
 #   {
 #     :Simpson1 :samples ?ss .
@@ -991,18 +992,18 @@ _:sk_1 :x 1.5 .
 #   } .
 # with substitution (on rule variables):
 #   ?c = 4.0
-#   ?cosx = 0.0707372016677029
-#   ?ds = 3.229462333222977
-#   ?dy = 3.070737201667703
-#   ?dy2 = 9.429426961705994
-#   ?onePlus = 10.429426961705994
+#   ?cosx = "0.0707372016677029"^^xsd:decimal
+#   ?ds = "3.229462333222977"^^xsd:decimal
+#   ?dy = "3.070737201667703"^^xsd:decimal
+#   ?dy2 = "9.429426961705994"^^xsd:decimal
+#   ?onePlus = "10.429426961705994"^^xsd:decimal
 #   ?s = _:b4
-#   ?sinx = 0.9974949866040544
+#   ?sinx = "0.9974949866040544"^^xsd:decimal
 #   ?ss = (_:b1 _:b2 _:b3 _:b4 _:b5)
-#   ?twox = 3
+#   ?twox = "3"^^xsd:decimal
 #   ?x = 1.5
-#   ?x2 = 2.25
-#   ?y = 3.2474949866040546
+#   ?x2 = "2.25"^^xsd:decimal
+#   ?y = "3.2474949866040546"^^xsd:decimal
 # Therefore the derived triple above is entailed by the rules and facts.
 # ----------------------------------------------------------------------
@@ -1010,21 +1011,21 @@ _:sk_1 :coef 4.0 .
 # ----------------------------------------------------------------------
 # Proof for derived triple:
-#   _:sk_1 :y 3.2474949866040546 .
+#   _:sk_1 :y "3.2474949866040546"^^xsd:decimal .
 # It holds because the following instance of the rule body is provable:
 #   :Simpson1 :samples (_:b1 _:b2 _:b3 _:b4 _:b5) .
 #   (_:b1 _:b2 _:b3 _:b4 _:b5) list:member _:b4 .
 #   _:b4 :x 1.5 .
 #   _:b4 :coef 4.0 .
-#   1.5 math:sin 0.9974949866040544 .
-#   (1.5 2.0) math:exponentiation 2.25 .
-#   (0.9974949866040544 2.25) math:sum 3.2474949866040546 .
-#   1.5 math:cos 0.0707372016677029 .
-#   (2.0 1.5) math:product 3 .
-#   (0.0707372016677029 3) math:sum 3.070737201667703 .
-#   (3.070737201667703 2.0) math:exponentiation 9.429426961705994 .
-#   (1.0 9.429426961705994) math:sum 10.429426961705994 .
-#   (10.429426961705994 0.5) math:exponentiation 3.229462333222977 .
+#   1.5 math:sin "0.9974949866040544"^^xsd:decimal .
+#   (1.5 2.0) math:exponentiation "2.25"^^xsd:decimal .
+#   ("0.9974949866040544"^^xsd:decimal "2.25"^^xsd:decimal) math:sum "3.2474949866040546"^^xsd:decimal .
+#   1.5 math:cos "0.0707372016677029"^^xsd:decimal .
+#   (2.0 1.5) math:product "3"^^xsd:decimal .
+#   ("0.0707372016677029"^^xsd:decimal "3"^^xsd:decimal) math:sum "3.070737201667703"^^xsd:decimal .
+#   ("3.070737201667703"^^xsd:decimal 2.0) math:exponentiation "9.429426961705994"^^xsd:decimal .
+#   (1.0 "9.429426961705994"^^xsd:decimal) math:sum "10.429426961705994"^^xsd:decimal .
+#   ("10.429426961705994"^^xsd:decimal 0.5) math:exponentiation "3.229462333222977"^^xsd:decimal .
 # via the schematic forward rule:
 #   {
 #     :Simpson1 :samples ?ss .
@@ -1054,40 +1055,40 @@ _:sk_1 :coef 4.0 .
 #   } .
 # with substitution (on rule variables):
 #   ?c = 4.0
-#   ?cosx = 0.0707372016677029
-#   ?ds = 3.229462333222977
-#   ?dy = 3.070737201667703
-#   ?dy2 = 9.429426961705994
-#   ?onePlus = 10.429426961705994
+#   ?cosx = "0.0707372016677029"^^xsd:decimal
+#   ?ds = "3.229462333222977"^^xsd:decimal
+#   ?dy = "3.070737201667703"^^xsd:decimal
+#   ?dy2 = "9.429426961705994"^^xsd:decimal
+#   ?onePlus = "10.429426961705994"^^xsd:decimal
 #   ?s = _:b4
-#   ?sinx = 0.9974949866040544
+#   ?sinx = "0.9974949866040544"^^xsd:decimal
 #   ?ss = (_:b1 _:b2 _:b3 _:b4 _:b5)
-#   ?twox = 3
+#   ?twox = "3"^^xsd:decimal
 #   ?x = 1.5
-#   ?x2 = 2.25
-#   ?y = 3.2474949866040546
+#   ?x2 = "2.25"^^xsd:decimal
+#   ?y = "3.2474949866040546"^^xsd:decimal
 # Therefore the derived triple above is entailed by the rules and facts.
 # ----------------------------------------------------------------------
-_:sk_1 :y 3.2474949866040546 .
+_:sk_1 :y "3.2474949866040546"^^xsd:decimal .
 # ----------------------------------------------------------------------
 # Proof for derived triple:
-#   _:sk_1 :dy 3.070737201667703 .
+#   _:sk_1 :dy "3.070737201667703"^^xsd:decimal .
 # It holds because the following instance of the rule body is provable:
 #   :Simpson1 :samples (_:b1 _:b2 _:b3 _:b4 _:b5) .
 #   (_:b1 _:b2 _:b3 _:b4 _:b5) list:member _:b4 .
 #   _:b4 :x 1.5 .
 #   _:b4 :coef 4.0 .
-#   1.5 math:sin 0.9974949866040544 .
-#   (1.5 2.0) math:exponentiation 2.25 .
-#   (0.9974949866040544 2.25) math:sum 3.2474949866040546 .
-#   1.5 math:cos 0.0707372016677029 .
-#   (2.0 1.5) math:product 3 .
-#   (0.0707372016677029 3) math:sum 3.070737201667703 .
-#   (3.070737201667703 2.0) math:exponentiation 9.429426961705994 .
-#   (1.0 9.429426961705994) math:sum 10.429426961705994 .
-#   (10.429426961705994 0.5) math:exponentiation 3.229462333222977 .
+#   1.5 math:sin "0.9974949866040544"^^xsd:decimal .
+#   (1.5 2.0) math:exponentiation "2.25"^^xsd:decimal .
+#   ("0.9974949866040544"^^xsd:decimal "2.25"^^xsd:decimal) math:sum "3.2474949866040546"^^xsd:decimal .
+#   1.5 math:cos "0.0707372016677029"^^xsd:decimal .
+#   (2.0 1.5) math:product "3"^^xsd:decimal .
+#   ("0.0707372016677029"^^xsd:decimal "3"^^xsd:decimal) math:sum "3.070737201667703"^^xsd:decimal .
+#   ("3.070737201667703"^^xsd:decimal 2.0) math:exponentiation "9.429426961705994"^^xsd:decimal .
+#   (1.0 "9.429426961705994"^^xsd:decimal) math:sum "10.429426961705994"^^xsd:decimal .
+#   ("10.429426961705994"^^xsd:decimal 0.5) math:exponentiation "3.229462333222977"^^xsd:decimal .
 # via the schematic forward rule:
 #   {
 #     :Simpson1 :samples ?ss .
@@ -1117,40 +1118,40 @@ _:sk_1 :y 3.2474949866040546 .
 #   } .
 # with substitution (on rule variables):
 #   ?c = 4.0
-#   ?cosx = 0.0707372016677029
-#   ?ds = 3.229462333222977
-#   ?dy = 3.070737201667703
-#   ?dy2 = 9.429426961705994
-#   ?onePlus = 10.429426961705994
+#   ?cosx = "0.0707372016677029"^^xsd:decimal
+#   ?ds = "3.229462333222977"^^xsd:decimal
+#   ?dy = "3.070737201667703"^^xsd:decimal
+#   ?dy2 = "9.429426961705994"^^xsd:decimal
+#   ?onePlus = "10.429426961705994"^^xsd:decimal
 #   ?s = _:b4
-#   ?sinx = 0.9974949866040544
+#   ?sinx = "0.9974949866040544"^^xsd:decimal
 #   ?ss = (_:b1 _:b2 _:b3 _:b4 _:b5)
-#   ?twox = 3
+#   ?twox = "3"^^xsd:decimal
 #   ?x = 1.5
-#   ?x2 = 2.25
-#   ?y = 3.2474949866040546
+#   ?x2 = "2.25"^^xsd:decimal
+#   ?y = "3.2474949866040546"^^xsd:decimal
 # Therefore the derived triple above is entailed by the rules and facts.
 # ----------------------------------------------------------------------
-_:sk_1 :dy 3.070737201667703 .
+_:sk_1 :dy "3.070737201667703"^^xsd:decimal .
 # ----------------------------------------------------------------------
 # Proof for derived triple:
-#   _:sk_1 :ds 3.229462333222977 .
+#   _:sk_1 :ds "3.229462333222977"^^xsd:decimal .
 # It holds because the following instance of the rule body is provable:
 #   :Simpson1 :samples (_:b1 _:b2 _:b3 _:b4 _:b5) .
 #   (_:b1 _:b2 _:b3 _:b4 _:b5) list:member _:b4 .
 #   _:b4 :x 1.5 .
 #   _:b4 :coef 4.0 .
-#   1.5 math:sin 0.9974949866040544 .
-#   (1.5 2.0) math:exponentiation 2.25 .
-#   (0.9974949866040544 2.25) math:sum 3.2474949866040546 .
-#   1.5 math:cos 0.0707372016677029 .
-#   (2.0 1.5) math:product 3 .
-#   (0.0707372016677029 3) math:sum 3.070737201667703 .
-#   (3.070737201667703 2.0) math:exponentiation 9.429426961705994 .
-#   (1.0 9.429426961705994) math:sum 10.429426961705994 .
-#   (10.429426961705994 0.5) math:exponentiation 3.229462333222977 .
+#   1.5 math:sin "0.9974949866040544"^^xsd:decimal .
+#   (1.5 2.0) math:exponentiation "2.25"^^xsd:decimal .
+#   ("0.9974949866040544"^^xsd:decimal "2.25"^^xsd:decimal) math:sum "3.2474949866040546"^^xsd:decimal .
+#   1.5 math:cos "0.0707372016677029"^^xsd:decimal .
+#   (2.0 1.5) math:product "3"^^xsd:decimal .
+#   ("0.0707372016677029"^^xsd:decimal "3"^^xsd:decimal) math:sum "3.070737201667703"^^xsd:decimal .
+#   ("3.070737201667703"^^xsd:decimal 2.0) math:exponentiation "9.429426961705994"^^xsd:decimal .
+#   (1.0 "9.429426961705994"^^xsd:decimal) math:sum "10.429426961705994"^^xsd:decimal .
+#   ("10.429426961705994"^^xsd:decimal 0.5) math:exponentiation "3.229462333222977"^^xsd:decimal .
 # via the schematic forward rule:
 #   {
 #     :Simpson1 :samples ?ss .
@@ -1180,22 +1181,22 @@ _:sk_1 :dy 3.070737201667703 .
 #   } .
 # with substitution (on rule variables):
 #   ?c = 4.0
-#   ?cosx = 0.0707372016677029
-#   ?ds = 3.229462333222977
-#   ?dy = 3.070737201667703
-#   ?dy2 = 9.429426961705994
-#   ?onePlus = 10.429426961705994
+#   ?cosx = "0.0707372016677029"^^xsd:decimal
+#   ?ds = "3.229462333222977"^^xsd:decimal
+#   ?dy = "3.070737201667703"^^xsd:decimal
+#   ?dy2 = "9.429426961705994"^^xsd:decimal
+#   ?onePlus = "10.429426961705994"^^xsd:decimal
 #   ?s = _:b4
-#   ?sinx = 0.9974949866040544
+#   ?sinx = "0.9974949866040544"^^xsd:decimal
 #   ?ss = (_:b1 _:b2 _:b3 _:b4 _:b5)
-#   ?twox = 3
+#   ?twox = "3"^^xsd:decimal
 #   ?x = 1.5
-#   ?x2 = 2.25
-#   ?y = 3.2474949866040546
+#   ?x2 = "2.25"^^xsd:decimal
+#   ?y = "3.2474949866040546"^^xsd:decimal
 # Therefore the derived triple above is entailed by the rules and facts.
 # ----------------------------------------------------------------------
-_:sk_1 :ds 3.229462333222977 .
+_:sk_1 :ds "3.229462333222977"^^xsd:decimal .
 # ----------------------------------------------------------------------
 # Proof for derived triple:
@@ -1205,15 +1206,15 @@ _:sk_1 :ds 3.229462333222977 .
 #   (_:b1 _:b2 _:b3 _:b4 _:b5) list:member _:b4 .
 #   _:b4 :x 1.5 .
 #   _:b4 :coef 4.0 .
-#   1.5 math:sin 0.9974949866040544 .
-#   (1.5 2.0) math:exponentiation 2.25 .
-#   (0.9974949866040544 2.25) math:sum 3.2474949866040546 .
-#   1.5 math:cos 0.0707372016677029 .
-#   (2.0 1.5) math:product 3 .
-#   (0.0707372016677029 3) math:sum 3.070737201667703 .
-#   (3.070737201667703 2.0) math:exponentiation 9.429426961705994 .
-#   (1.0 9.429426961705994) math:sum 10.429426961705994 .
-#   (10.429426961705994 0.5) math:exponentiation 3.229462333222977 .
+#   1.5 math:sin "0.9974949866040544"^^xsd:decimal .
+#   (1.5 2.0) math:exponentiation "2.25"^^xsd:decimal .
+#   ("0.9974949866040544"^^xsd:decimal "2.25"^^xsd:decimal) math:sum "3.2474949866040546"^^xsd:decimal .
+#   1.5 math:cos "0.0707372016677029"^^xsd:decimal .
+#   (2.0 1.5) math:product "3"^^xsd:decimal .
+#   ("0.0707372016677029"^^xsd:decimal "3"^^xsd:decimal) math:sum "3.070737201667703"^^xsd:decimal .
+#   ("3.070737201667703"^^xsd:decimal 2.0) math:exponentiation "9.429426961705994"^^xsd:decimal .
+#   (1.0 "9.429426961705994"^^xsd:decimal) math:sum "10.429426961705994"^^xsd:decimal .
+#   ("10.429426961705994"^^xsd:decimal 0.5) math:exponentiation "3.229462333222977"^^xsd:decimal .
 # via the schematic forward rule:
 #   {
 #     :Simpson1 :samples ?ss .
@@ -1243,18 +1244,18 @@ _:sk_1 :ds 3.229462333222977 .
 #   } .
 # with substitution (on rule variables):
 #   ?c = 4.0
-#   ?cosx = 0.0707372016677029
-#   ?ds = 3.229462333222977
-#   ?dy = 3.070737201667703
-#   ?dy2 = 9.429426961705994
-#   ?onePlus = 10.429426961705994
+#   ?cosx = "0.0707372016677029"^^xsd:decimal
+#   ?ds = "3.229462333222977"^^xsd:decimal
+#   ?dy = "3.070737201667703"^^xsd:decimal
+#   ?dy2 = "9.429426961705994"^^xsd:decimal
+#   ?onePlus = "10.429426961705994"^^xsd:decimal
 #   ?s = _:b4
-#   ?sinx = 0.9974949866040544
+#   ?sinx = "0.9974949866040544"^^xsd:decimal
 #   ?ss = (_:b1 _:b2 _:b3 _:b4 _:b5)
-#   ?twox = 3
+#   ?twox = "3"^^xsd:decimal
 #   ?x = 1.5
-#   ?x2 = 2.25
-#   ?y = 3.2474949866040546
+#   ?x2 = "2.25"^^xsd:decimal
+#   ?y = "3.2474949866040546"^^xsd:decimal
 # Therefore the derived triple above is entailed by the rules and facts.
 # ----------------------------------------------------------------------
@@ -1262,21 +1263,21 @@ _:sk_1 :ds 3.229462333222977 .
 # ----------------------------------------------------------------------
 # Proof for derived triple:
-#   _:b3 :y 1.8414709848078965 .
+#   _:b3 :y "1.8414709848078965"^^xsd:decimal .
 # It holds because the following instance of the rule body is provable:
 #   :Simpson1 :samples (_:b1 _:b2 _:b3 _:b4 _:b5) .
 #   (_:b1 _:b2 _:b3 _:b4 _:b5) list:member _:b3 .
 #   _:b3 :x 1.0 .
 #   _:b3 :coef 2.0 .
-#   1.0 math:sin 0.8414709848078965 .
-#   (1.0 2.0) math:exponentiation 1 .
-#   (0.8414709848078965 1) math:sum 1.8414709848078965 .
-#   1.0 math:cos 0.5403023058681398 .
-#   (2.0 1.0) math:product 2 .
-#   (0.5403023058681398 2) math:sum 2.5403023058681398 .
-#   (2.5403023058681398 2.0) math:exponentiation 6.453135805198988 .
-#   (1.0 6.453135805198988) math:sum 7.453135805198988 .
-#   (7.453135805198988 0.5) math:exponentiation 2.7300431874237794 .
+#   1.0 math:sin "0.8414709848078965"^^xsd:decimal .
+#   (1.0 2.0) math:exponentiation "1"^^xsd:decimal .
+#   ("0.8414709848078965"^^xsd:decimal "1"^^xsd:decimal) math:sum "1.8414709848078965"^^xsd:decimal .
+#   1.0 math:cos "0.5403023058681398"^^xsd:decimal .
+#   (2.0 1.0) math:product "2"^^xsd:decimal .
+#   ("0.5403023058681398"^^xsd:decimal "2"^^xsd:decimal) math:sum "2.5403023058681398"^^xsd:decimal .
+#   ("2.5403023058681398"^^xsd:decimal 2.0) math:exponentiation "6.453135805198988"^^xsd:decimal .
+#   (1.0 "6.453135805198988"^^xsd:decimal) math:sum "7.453135805198988"^^xsd:decimal .
+#   ("7.453135805198988"^^xsd:decimal 0.5) math:exponentiation "2.7300431874237794"^^xsd:decimal .
 # via the schematic forward rule:
 #   {
 #     :Simpson1 :samples ?ss .
@@ -1306,40 +1307,40 @@ _:sk_1 :ds 3.229462333222977 .
 #   } .
 # with substitution (on rule variables):
 #   ?c = 2.0
-#   ?cosx = 0.5403023058681398
-#   ?ds = 2.7300431874237794
-#   ?dy = 2.5403023058681398
-#   ?dy2 = 6.453135805198988
-#   ?onePlus = 7.453135805198988
+#   ?cosx = "0.5403023058681398"^^xsd:decimal
+#   ?ds = "2.7300431874237794"^^xsd:decimal
+#   ?dy = "2.5403023058681398"^^xsd:decimal
+#   ?dy2 = "6.453135805198988"^^xsd:decimal
+#   ?onePlus = "7.453135805198988"^^xsd:decimal
 #   ?s = _:b3
-#   ?sinx = 0.8414709848078965
+#   ?sinx = "0.8414709848078965"^^xsd:decimal
 #   ?ss = (_:b1 _:b2 _:b3 _:b4 _:b5)
-#   ?twox = 2
+#   ?twox = "2"^^xsd:decimal
 #   ?x = 1.0
-#   ?x2 = 1
-#   ?y = 1.8414709848078965
+#   ?x2 = "1"^^xsd:decimal
+#   ?y = "1.8414709848078965"^^xsd:decimal
 # Therefore the derived triple above is entailed by the rules and facts.
 # ----------------------------------------------------------------------
-_:b3 :y 1.8414709848078965 .
+_:b3 :y "1.8414709848078965"^^xsd:decimal .
 # ----------------------------------------------------------------------
 # Proof for derived triple:
-#   _:b3 :dy 2.5403023058681398 .
+#   _:b3 :dy "2.5403023058681398"^^xsd:decimal .
 # It holds because the following instance of the rule body is provable:
 #   :Simpson1 :samples (_:b1 _:b2 _:b3 _:b4 _:b5) .
 #   (_:b1 _:b2 _:b3 _:b4 _:b5) list:member _:b3 .
 #   _:b3 :x 1.0 .
 #   _:b3 :coef 2.0 .
-#   1.0 math:sin 0.8414709848078965 .
-#   (1.0 2.0) math:exponentiation 1 .
-#   (0.8414709848078965 1) math:sum 1.8414709848078965 .
-#   1.0 math:cos 0.5403023058681398 .
-#   (2.0 1.0) math:product 2 .
-#   (0.5403023058681398 2) math:sum 2.5403023058681398 .
-#   (2.5403023058681398 2.0) math:exponentiation 6.453135805198988 .
-#   (1.0 6.453135805198988) math:sum 7.453135805198988 .
-#   (7.453135805198988 0.5) math:exponentiation 2.7300431874237794 .
+#   1.0 math:sin "0.8414709848078965"^^xsd:decimal .
+#   (1.0 2.0) math:exponentiation "1"^^xsd:decimal .
+#   ("0.8414709848078965"^^xsd:decimal "1"^^xsd:decimal) math:sum "1.8414709848078965"^^xsd:decimal .
+#   1.0 math:cos "0.5403023058681398"^^xsd:decimal .
+#   (2.0 1.0) math:product "2"^^xsd:decimal .
+#   ("0.5403023058681398"^^xsd:decimal "2"^^xsd:decimal) math:sum "2.5403023058681398"^^xsd:decimal .
+#   ("2.5403023058681398"^^xsd:decimal 2.0) math:exponentiation "6.453135805198988"^^xsd:decimal .
+#   (1.0 "6.453135805198988"^^xsd:decimal) math:sum "7.453135805198988"^^xsd:decimal .
+#   ("7.453135805198988"^^xsd:decimal 0.5) math:exponentiation "2.7300431874237794"^^xsd:decimal .
 # via the schematic forward rule:
 #   {
 #     :Simpson1 :samples ?ss .
@@ -1369,40 +1370,40 @@ _:b3 :y 1.8414709848078965 .
 #   } .
 # with substitution (on rule variables):
 #   ?c = 2.0
-#   ?cosx = 0.5403023058681398
-#   ?ds = 2.7300431874237794
-#   ?dy = 2.5403023058681398
-#   ?dy2 = 6.453135805198988
-#   ?onePlus = 7.453135805198988
+#   ?cosx = "0.5403023058681398"^^xsd:decimal
+#   ?ds = "2.7300431874237794"^^xsd:decimal
+#   ?dy = "2.5403023058681398"^^xsd:decimal
+#   ?dy2 = "6.453135805198988"^^xsd:decimal
+#   ?onePlus = "7.453135805198988"^^xsd:decimal
 #   ?s = _:b3
-#   ?sinx = 0.8414709848078965
+#   ?sinx = "0.8414709848078965"^^xsd:decimal
 #   ?ss = (_:b1 _:b2 _:b3 _:b4 _:b5)
-#   ?twox = 2
+#   ?twox = "2"^^xsd:decimal
 #   ?x = 1.0
-#   ?x2 = 1
-#   ?y = 1.8414709848078965
+#   ?x2 = "1"^^xsd:decimal
+#   ?y = "1.8414709848078965"^^xsd:decimal
 # Therefore the derived triple above is entailed by the rules and facts.
 # ----------------------------------------------------------------------
-_:b3 :dy 2.5403023058681398 .
+_:b3 :dy "2.5403023058681398"^^xsd:decimal .
 # ----------------------------------------------------------------------
 # Proof for derived triple:
-#   _:b3 :ds 2.7300431874237794 .
+#   _:b3 :ds "2.7300431874237794"^^xsd:decimal .
 # It holds because the following instance of the rule body is provable:
 #   :Simpson1 :samples (_:b1 _:b2 _:b3 _:b4 _:b5) .
 #   (_:b1 _:b2 _:b3 _:b4 _:b5) list:member _:b3 .
 #   _:b3 :x 1.0 .
 #   _:b3 :coef 2.0 .
-#   1.0 math:sin 0.8414709848078965 .
-#   (1.0 2.0) math:exponentiation 1 .
-#   (0.8414709848078965 1) math:sum 1.8414709848078965 .
-#   1.0 math:cos 0.5403023058681398 .
-#   (2.0 1.0) math:product 2 .
-#   (0.5403023058681398 2) math:sum 2.5403023058681398 .
-#   (2.5403023058681398 2.0) math:exponentiation 6.453135805198988 .
-#   (1.0 6.453135805198988) math:sum 7.453135805198988 .
-#   (7.453135805198988 0.5) math:exponentiation 2.7300431874237794 .
+#   1.0 math:sin "0.8414709848078965"^^xsd:decimal .
+#   (1.0 2.0) math:exponentiation "1"^^xsd:decimal .
+#   ("0.8414709848078965"^^xsd:decimal "1"^^xsd:decimal) math:sum "1.8414709848078965"^^xsd:decimal .
+#   1.0 math:cos "0.5403023058681398"^^xsd:decimal .
+#   (2.0 1.0) math:product "2"^^xsd:decimal .
+#   ("0.5403023058681398"^^xsd:decimal "2"^^xsd:decimal) math:sum "2.5403023058681398"^^xsd:decimal .
+#   ("2.5403023058681398"^^xsd:decimal 2.0) math:exponentiation "6.453135805198988"^^xsd:decimal .
+#   (1.0 "6.453135805198988"^^xsd:decimal) math:sum "7.453135805198988"^^xsd:decimal .
+#   ("7.453135805198988"^^xsd:decimal 0.5) math:exponentiation "2.7300431874237794"^^xsd:decimal .
 # via the schematic forward rule:
 #   {
 #     :Simpson1 :samples ?ss .
@@ -1432,22 +1433,22 @@ _:b3 :dy 2.5403023058681398 .
 #   } .
 # with substitution (on rule variables):
 #   ?c = 2.0
-#   ?cosx = 0.5403023058681398
-#   ?ds = 2.7300431874237794
-#   ?dy = 2.5403023058681398
-#   ?dy2 = 6.453135805198988
-#   ?onePlus = 7.453135805198988
+#   ?cosx = "0.5403023058681398"^^xsd:decimal
+#   ?ds = "2.7300431874237794"^^xsd:decimal
+#   ?dy = "2.5403023058681398"^^xsd:decimal
+#   ?dy2 = "6.453135805198988"^^xsd:decimal
+#   ?onePlus = "7.453135805198988"^^xsd:decimal
 #   ?s = _:b3
-#   ?sinx = 0.8414709848078965
+#   ?sinx = "0.8414709848078965"^^xsd:decimal
 #   ?ss = (_:b1 _:b2 _:b3 _:b4 _:b5)
-#   ?twox = 2
+#   ?twox = "2"^^xsd:decimal
 #   ?x = 1.0
-#   ?x2 = 1
-#   ?y = 1.8414709848078965
+#   ?x2 = "1"^^xsd:decimal
+#   ?y = "1.8414709848078965"^^xsd:decimal
 # Therefore the derived triple above is entailed by the rules and facts.
 # ----------------------------------------------------------------------
-_:b3 :ds 2.7300431874237794 .
+_:b3 :ds "2.7300431874237794"^^xsd:decimal .
 # ----------------------------------------------------------------------
 # Proof for derived triple:
@@ -1457,15 +1458,15 @@ _:b3 :ds 2.7300431874237794 .
 #   (_:b1 _:b2 _:b3 _:b4 _:b5) list:member _:b3 .
 #   _:b3 :x 1.0 .
 #   _:b3 :coef 2.0 .
-#   1.0 math:sin 0.8414709848078965 .
-#   (1.0 2.0) math:exponentiation 1 .
-#   (0.8414709848078965 1) math:sum 1.8414709848078965 .
-#   1.0 math:cos 0.5403023058681398 .
-#   (2.0 1.0) math:product 2 .
-#   (0.5403023058681398 2) math:sum 2.5403023058681398 .
-#   (2.5403023058681398 2.0) math:exponentiation 6.453135805198988 .
-#   (1.0 6.453135805198988) math:sum 7.453135805198988 .
-#   (7.453135805198988 0.5) math:exponentiation 2.7300431874237794 .
+#   1.0 math:sin "0.8414709848078965"^^xsd:decimal .
+#   (1.0 2.0) math:exponentiation "1"^^xsd:decimal .
+#   ("0.8414709848078965"^^xsd:decimal "1"^^xsd:decimal) math:sum "1.8414709848078965"^^xsd:decimal .
+#   1.0 math:cos "0.5403023058681398"^^xsd:decimal .
+#   (2.0 1.0) math:product "2"^^xsd:decimal .
+#   ("0.5403023058681398"^^xsd:decimal "2"^^xsd:decimal) math:sum "2.5403023058681398"^^xsd:decimal .
+#   ("2.5403023058681398"^^xsd:decimal 2.0) math:exponentiation "6.453135805198988"^^xsd:decimal .
+#   (1.0 "6.453135805198988"^^xsd:decimal) math:sum "7.453135805198988"^^xsd:decimal .
+#   ("7.453135805198988"^^xsd:decimal 0.5) math:exponentiation "2.7300431874237794"^^xsd:decimal .
 # via the schematic forward rule:
 #   {
 #     :Simpson1 :samples ?ss .
@@ -1495,18 +1496,18 @@ _:b3 :ds 2.7300431874237794 .
 #   } .
 # with substitution (on rule variables):
 #   ?c = 2.0
-#   ?cosx = 0.5403023058681398
-#   ?ds = 2.7300431874237794
-#   ?dy = 2.5403023058681398
-#   ?dy2 = 6.453135805198988
-#   ?onePlus = 7.453135805198988
+#   ?cosx = "0.5403023058681398"^^xsd:decimal
+#   ?ds = "2.7300431874237794"^^xsd:decimal
+#   ?dy = "2.5403023058681398"^^xsd:decimal
+#   ?dy2 = "6.453135805198988"^^xsd:decimal
+#   ?onePlus = "7.453135805198988"^^xsd:decimal
 #   ?s = _:b3
-#   ?sinx = 0.8414709848078965
+#   ?sinx = "0.8414709848078965"^^xsd:decimal
 #   ?ss = (_:b1 _:b2 _:b3 _:b4 _:b5)
-#   ?twox = 2
+#   ?twox = "2"^^xsd:decimal
 #   ?x = 1.0
-#   ?x2 = 1
-#   ?y = 1.8414709848078965
+#   ?x2 = "1"^^xsd:decimal
+#   ?y = "1.8414709848078965"^^xsd:decimal
 # Therefore the derived triple above is entailed by the rules and facts.
 # ----------------------------------------------------------------------
@@ -1520,15 +1521,15 @@ _:sk_2 :sample _:b3 .
 #   (_:b1 _:b2 _:b3 _:b4 _:b5) list:member _:b3 .
 #   _:b3 :x 1.0 .
 #   _:b3 :coef 2.0 .
-#   1.0 math:sin 0.8414709848078965 .
-#   (1.0 2.0) math:exponentiation 1 .
-#   (0.8414709848078965 1) math:sum 1.8414709848078965 .
-#   1.0 math:cos 0.5403023058681398 .
-#   (2.0 1.0) math:product 2 .
-#   (0.5403023058681398 2) math:sum 2.5403023058681398 .
-#   (2.5403023058681398 2.0) math:exponentiation 6.453135805198988 .
-#   (1.0 6.453135805198988) math:sum 7.453135805198988 .
-#   (7.453135805198988 0.5) math:exponentiation 2.7300431874237794 .
+#   1.0 math:sin "0.8414709848078965"^^xsd:decimal .
+#   (1.0 2.0) math:exponentiation "1"^^xsd:decimal .
+#   ("0.8414709848078965"^^xsd:decimal "1"^^xsd:decimal) math:sum "1.8414709848078965"^^xsd:decimal .
+#   1.0 math:cos "0.5403023058681398"^^xsd:decimal .
+#   (2.0 1.0) math:product "2"^^xsd:decimal .
+#   ("0.5403023058681398"^^xsd:decimal "2"^^xsd:decimal) math:sum "2.5403023058681398"^^xsd:decimal .
+#   ("2.5403023058681398"^^xsd:decimal 2.0) math:exponentiation "6.453135805198988"^^xsd:decimal .
+#   (1.0 "6.453135805198988"^^xsd:decimal) math:sum "7.453135805198988"^^xsd:decimal .
+#   ("7.453135805198988"^^xsd:decimal 0.5) math:exponentiation "2.7300431874237794"^^xsd:decimal .
 # via the schematic forward rule:
 #   {
 #     :Simpson1 :samples ?ss .
@@ -1558,18 +1559,18 @@ _:sk_2 :sample _:b3 .
 #   } .
 # with substitution (on rule variables):
 #   ?c = 2.0
-#   ?cosx = 0.5403023058681398
-#   ?ds = 2.7300431874237794
-#   ?dy = 2.5403023058681398
-#   ?dy2 = 6.453135805198988
-#   ?onePlus = 7.453135805198988
+#   ?cosx = "0.5403023058681398"^^xsd:decimal
+#   ?ds = "2.7300431874237794"^^xsd:decimal
+#   ?dy = "2.5403023058681398"^^xsd:decimal
+#   ?dy2 = "6.453135805198988"^^xsd:decimal
+#   ?onePlus = "7.453135805198988"^^xsd:decimal
 #   ?s = _:b3
-#   ?sinx = 0.8414709848078965
+#   ?sinx = "0.8414709848078965"^^xsd:decimal
 #   ?ss = (_:b1 _:b2 _:b3 _:b4 _:b5)
-#   ?twox = 2
+#   ?twox = "2"^^xsd:decimal
 #   ?x = 1.0
-#   ?x2 = 1
-#   ?y = 1.8414709848078965
+#   ?x2 = "1"^^xsd:decimal
+#   ?y = "1.8414709848078965"^^xsd:decimal
 # Therefore the derived triple above is entailed by the rules and facts.
 # ----------------------------------------------------------------------
@@ -1583,15 +1584,15 @@ _:sk_2 :x 1.0 .
 #   (_:b1 _:b2 _:b3 _:b4 _:b5) list:member _:b3 .
 #   _:b3 :x 1.0 .
 #   _:b3 :coef 2.0 .
-#   1.0 math:sin 0.8414709848078965 .
-#   (1.0 2.0) math:exponentiation 1 .
-#   (0.8414709848078965 1) math:sum 1.8414709848078965 .
-#   1.0 math:cos 0.5403023058681398 .
-#   (2.0 1.0) math:product 2 .
-#   (0.5403023058681398 2) math:sum 2.5403023058681398 .
-#   (2.5403023058681398 2.0) math:exponentiation 6.453135805198988 .
-#   (1.0 6.453135805198988) math:sum 7.453135805198988 .
-#   (7.453135805198988 0.5) math:exponentiation 2.7300431874237794 .
+#   1.0 math:sin "0.8414709848078965"^^xsd:decimal .
+#   (1.0 2.0) math:exponentiation "1"^^xsd:decimal .
+#   ("0.8414709848078965"^^xsd:decimal "1"^^xsd:decimal) math:sum "1.8414709848078965"^^xsd:decimal .
+#   1.0 math:cos "0.5403023058681398"^^xsd:decimal .
+#   (2.0 1.0) math:product "2"^^xsd:decimal .
+#   ("0.5403023058681398"^^xsd:decimal "2"^^xsd:decimal) math:sum "2.5403023058681398"^^xsd:decimal .
+#   ("2.5403023058681398"^^xsd:decimal 2.0) math:exponentiation "6.453135805198988"^^xsd:decimal .
+#   (1.0 "6.453135805198988"^^xsd:decimal) math:sum "7.453135805198988"^^xsd:decimal .
+#   ("7.453135805198988"^^xsd:decimal 0.5) math:exponentiation "2.7300431874237794"^^xsd:decimal .
 # via the schematic forward rule:
 #   {
 #     :Simpson1 :samples ?ss .
@@ -1621,18 +1622,18 @@ _:sk_2 :x 1.0 .
 #   } .
 # with substitution (on rule variables):
 #   ?c = 2.0
-#   ?cosx = 0.5403023058681398
-#   ?ds = 2.7300431874237794
-#   ?dy = 2.5403023058681398
-#   ?dy2 = 6.453135805198988
-#   ?onePlus = 7.453135805198988
+#   ?cosx = "0.5403023058681398"^^xsd:decimal
+#   ?ds = "2.7300431874237794"^^xsd:decimal
+#   ?dy = "2.5403023058681398"^^xsd:decimal
+#   ?dy2 = "6.453135805198988"^^xsd:decimal
+#   ?onePlus = "7.453135805198988"^^xsd:decimal
 #   ?s = _:b3
-#   ?sinx = 0.8414709848078965
+#   ?sinx = "0.8414709848078965"^^xsd:decimal
 #   ?ss = (_:b1 _:b2 _:b3 _:b4 _:b5)
-#   ?twox = 2
+#   ?twox = "2"^^xsd:decimal
 #   ?x = 1.0
-#   ?x2 = 1
-#   ?y = 1.8414709848078965
+#   ?x2 = "1"^^xsd:decimal
+#   ?y = "1.8414709848078965"^^xsd:decimal
 # Therefore the derived triple above is entailed by the rules and facts.
 # ----------------------------------------------------------------------
@@ -1640,21 +1641,21 @@ _:sk_2 :coef 2.0 .
 # ----------------------------------------------------------------------
 # Proof for derived triple:
-#   _:sk_2 :y 1.8414709848078965 .
+#   _:sk_2 :y "1.8414709848078965"^^xsd:decimal .
 # It holds because the following instance of the rule body is provable:
 #   :Simpson1 :samples (_:b1 _:b2 _:b3 _:b4 _:b5) .
 #   (_:b1 _:b2 _:b3 _:b4 _:b5) list:member _:b3 .
 #   _:b3 :x 1.0 .
 #   _:b3 :coef 2.0 .
-#   1.0 math:sin 0.8414709848078965 .
-#   (1.0 2.0) math:exponentiation 1 .
-#   (0.8414709848078965 1) math:sum 1.8414709848078965 .
-#   1.0 math:cos 0.5403023058681398 .
-#   (2.0 1.0) math:product 2 .
-#   (0.5403023058681398 2) math:sum 2.5403023058681398 .
-#   (2.5403023058681398 2.0) math:exponentiation 6.453135805198988 .
-#   (1.0 6.453135805198988) math:sum 7.453135805198988 .
-#   (7.453135805198988 0.5) math:exponentiation 2.7300431874237794 .
+#   1.0 math:sin "0.8414709848078965"^^xsd:decimal .
+#   (1.0 2.0) math:exponentiation "1"^^xsd:decimal .
+#   ("0.8414709848078965"^^xsd:decimal "1"^^xsd:decimal) math:sum "1.8414709848078965"^^xsd:decimal .
+#   1.0 math:cos "0.5403023058681398"^^xsd:decimal .
+#   (2.0 1.0) math:product "2"^^xsd:decimal .
+#   ("0.5403023058681398"^^xsd:decimal "2"^^xsd:decimal) math:sum "2.5403023058681398"^^xsd:decimal .
+#   ("2.5403023058681398"^^xsd:decimal 2.0) math:exponentiation "6.453135805198988"^^xsd:decimal .
+#   (1.0 "6.453135805198988"^^xsd:decimal) math:sum "7.453135805198988"^^xsd:decimal .
+#   ("7.453135805198988"^^xsd:decimal 0.5) math:exponentiation "2.7300431874237794"^^xsd:decimal .
 # via the schematic forward rule:
 #   {
 #     :Simpson1 :samples ?ss .
@@ -1684,40 +1685,40 @@ _:sk_2 :coef 2.0 .
 #   } .
 # with substitution (on rule variables):
 #   ?c = 2.0
-#   ?cosx = 0.5403023058681398
-#   ?ds = 2.7300431874237794
-#   ?dy = 2.5403023058681398
-#   ?dy2 = 6.453135805198988
-#   ?onePlus = 7.453135805198988
+#   ?cosx = "0.5403023058681398"^^xsd:decimal
+#   ?ds = "2.7300431874237794"^^xsd:decimal
+#   ?dy = "2.5403023058681398"^^xsd:decimal
+#   ?dy2 = "6.453135805198988"^^xsd:decimal
+#   ?onePlus = "7.453135805198988"^^xsd:decimal
 #   ?s = _:b3
-#   ?sinx = 0.8414709848078965
+#   ?sinx = "0.8414709848078965"^^xsd:decimal
 #   ?ss = (_:b1 _:b2 _:b3 _:b4 _:b5)
-#   ?twox = 2
+#   ?twox = "2"^^xsd:decimal
 #   ?x = 1.0
-#   ?x2 = 1
-#   ?y = 1.8414709848078965
+#   ?x2 = "1"^^xsd:decimal
+#   ?y = "1.8414709848078965"^^xsd:decimal
 # Therefore the derived triple above is entailed by the rules and facts.
 # ----------------------------------------------------------------------
-_:sk_2 :y 1.8414709848078965 .
+_:sk_2 :y "1.8414709848078965"^^xsd:decimal .
 # ----------------------------------------------------------------------
 # Proof for derived triple:
-#   _:sk_2 :dy 2.5403023058681398 .
+#   _:sk_2 :dy "2.5403023058681398"^^xsd:decimal .
 # It holds because the following instance of the rule body is provable:
 #   :Simpson1 :samples (_:b1 _:b2 _:b3 _:b4 _:b5) .
 #   (_:b1 _:b2 _:b3 _:b4 _:b5) list:member _:b3 .
 #   _:b3 :x 1.0 .
 #   _:b3 :coef 2.0 .
-#   1.0 math:sin 0.8414709848078965 .
-#   (1.0 2.0) math:exponentiation 1 .
-#   (0.8414709848078965 1) math:sum 1.8414709848078965 .
-#   1.0 math:cos 0.5403023058681398 .
-#   (2.0 1.0) math:product 2 .
-#   (0.5403023058681398 2) math:sum 2.5403023058681398 .
-#   (2.5403023058681398 2.0) math:exponentiation 6.453135805198988 .
-#   (1.0 6.453135805198988) math:sum 7.453135805198988 .
-#   (7.453135805198988 0.5) math:exponentiation 2.7300431874237794 .
+#   1.0 math:sin "0.8414709848078965"^^xsd:decimal .
+#   (1.0 2.0) math:exponentiation "1"^^xsd:decimal .
+#   ("0.8414709848078965"^^xsd:decimal "1"^^xsd:decimal) math:sum "1.8414709848078965"^^xsd:decimal .
+#   1.0 math:cos "0.5403023058681398"^^xsd:decimal .
+#   (2.0 1.0) math:product "2"^^xsd:decimal .
+#   ("0.5403023058681398"^^xsd:decimal "2"^^xsd:decimal) math:sum "2.5403023058681398"^^xsd:decimal .
+#   ("2.5403023058681398"^^xsd:decimal 2.0) math:exponentiation "6.453135805198988"^^xsd:decimal .
+#   (1.0 "6.453135805198988"^^xsd:decimal) math:sum "7.453135805198988"^^xsd:decimal .
+#   ("7.453135805198988"^^xsd:decimal 0.5) math:exponentiation "2.7300431874237794"^^xsd:decimal .
 # via the schematic forward rule:
 #   {
 #     :Simpson1 :samples ?ss .
@@ -1747,40 +1748,40 @@ _:sk_2 :y 1.8414709848078965 .
 #   } .
 # with substitution (on rule variables):
 #   ?c = 2.0
-#   ?cosx = 0.5403023058681398
-#   ?ds = 2.7300431874237794
-#   ?dy = 2.5403023058681398
-#   ?dy2 = 6.453135805198988
-#   ?onePlus = 7.453135805198988
+#   ?cosx = "0.5403023058681398"^^xsd:decimal
+#   ?ds = "2.7300431874237794"^^xsd:decimal
+#   ?dy = "2.5403023058681398"^^xsd:decimal
+#   ?dy2 = "6.453135805198988"^^xsd:decimal
+#   ?onePlus = "7.453135805198988"^^xsd:decimal
 #   ?s = _:b3
-#   ?sinx = 0.8414709848078965
+#   ?sinx = "0.8414709848078965"^^xsd:decimal
 #   ?ss = (_:b1 _:b2 _:b3 _:b4 _:b5)
-#   ?twox = 2
+#   ?twox = "2"^^xsd:decimal
 #   ?x = 1.0
-#   ?x2 = 1
-#   ?y = 1.8414709848078965
+#   ?x2 = "1"^^xsd:decimal
+#   ?y = "1.8414709848078965"^^xsd:decimal
 # Therefore the derived triple above is entailed by the rules and facts.
 # ----------------------------------------------------------------------
-_:sk_2 :dy 2.5403023058681398 .
+_:sk_2 :dy "2.5403023058681398"^^xsd:decimal .
 # ----------------------------------------------------------------------
 # Proof for derived triple:
-#   _:sk_2 :ds 2.7300431874237794 .
+#   _:sk_2 :ds "2.7300431874237794"^^xsd:decimal .
 # It holds because the following instance of the rule body is provable:
 #   :Simpson1 :samples (_:b1 _:b2 _:b3 _:b4 _:b5) .
 #   (_:b1 _:b2 _:b3 _:b4 _:b5) list:member _:b3 .
 #   _:b3 :x 1.0 .
 #   _:b3 :coef 2.0 .
-#   1.0 math:sin 0.8414709848078965 .
-#   (1.0 2.0) math:exponentiation 1 .
-#   (0.8414709848078965 1) math:sum 1.8414709848078965 .
-#   1.0 math:cos 0.5403023058681398 .
-#   (2.0 1.0) math:product 2 .
-#   (0.5403023058681398 2) math:sum 2.5403023058681398 .
-#   (2.5403023058681398 2.0) math:exponentiation 6.453135805198988 .
-#   (1.0 6.453135805198988) math:sum 7.453135805198988 .
-#   (7.453135805198988 0.5) math:exponentiation 2.7300431874237794 .
+#   1.0 math:sin "0.8414709848078965"^^xsd:decimal .
+#   (1.0 2.0) math:exponentiation "1"^^xsd:decimal .
+#   ("0.8414709848078965"^^xsd:decimal "1"^^xsd:decimal) math:sum "1.8414709848078965"^^xsd:decimal .
+#   1.0 math:cos "0.5403023058681398"^^xsd:decimal .
+#   (2.0 1.0) math:product "2"^^xsd:decimal .
+#   ("0.5403023058681398"^^xsd:decimal "2"^^xsd:decimal) math:sum "2.5403023058681398"^^xsd:decimal .
+#   ("2.5403023058681398"^^xsd:decimal 2.0) math:exponentiation "6.453135805198988"^^xsd:decimal .
+#   (1.0 "6.453135805198988"^^xsd:decimal) math:sum "7.453135805198988"^^xsd:decimal .
+#   ("7.453135805198988"^^xsd:decimal 0.5) math:exponentiation "2.7300431874237794"^^xsd:decimal .
 # via the schematic forward rule:
 #   {
 #     :Simpson1 :samples ?ss .
@@ -1810,22 +1811,22 @@ _:sk_2 :dy 2.5403023058681398 .
 #   } .
 # with substitution (on rule variables):
 #   ?c = 2.0
-#   ?cosx = 0.5403023058681398
-#   ?ds = 2.7300431874237794
-#   ?dy = 2.5403023058681398
-#   ?dy2 = 6.453135805198988
-#   ?onePlus = 7.453135805198988
+#   ?cosx = "0.5403023058681398"^^xsd:decimal
+#   ?ds = "2.7300431874237794"^^xsd:decimal
+#   ?dy = "2.5403023058681398"^^xsd:decimal
+#   ?dy2 = "6.453135805198988"^^xsd:decimal
+#   ?onePlus = "7.453135805198988"^^xsd:decimal
 #   ?s = _:b3
-#   ?sinx = 0.8414709848078965
+#   ?sinx = "0.8414709848078965"^^xsd:decimal
 #   ?ss = (_:b1 _:b2 _:b3 _:b4 _:b5)
-#   ?twox = 2
+#   ?twox = "2"^^xsd:decimal
 #   ?x = 1.0
-#   ?x2 = 1
-#   ?y = 1.8414709848078965
+#   ?x2 = "1"^^xsd:decimal
+#   ?y = "1.8414709848078965"^^xsd:decimal
 # Therefore the derived triple above is entailed by the rules and facts.
 # ----------------------------------------------------------------------
-_:sk_2 :ds 2.7300431874237794 .
+_:sk_2 :ds "2.7300431874237794"^^xsd:decimal .
 # ----------------------------------------------------------------------
 # Proof for derived triple:
@@ -1835,15 +1836,15 @@ _:sk_2 :ds 2.7300431874237794 .
 #   (_:b1 _:b2 _:b3 _:b4 _:b5) list:member _:b3 .
 #   _:b3 :x 1.0 .
 #   _:b3 :coef 2.0 .
-#   1.0 math:sin 0.8414709848078965 .
-#   (1.0 2.0) math:exponentiation 1 .
-#   (0.8414709848078965 1) math:sum 1.8414709848078965 .
-#   1.0 math:cos 0.5403023058681398 .
-#   (2.0 1.0) math:product 2 .
-#   (0.5403023058681398 2) math:sum 2.5403023058681398 .
-#   (2.5403023058681398 2.0) math:exponentiation 6.453135805198988 .
-#   (1.0 6.453135805198988) math:sum 7.453135805198988 .
-#   (7.453135805198988 0.5) math:exponentiation 2.7300431874237794 .
+#   1.0 math:sin "0.8414709848078965"^^xsd:decimal .
+#   (1.0 2.0) math:exponentiation "1"^^xsd:decimal .
+#   ("0.8414709848078965"^^xsd:decimal "1"^^xsd:decimal) math:sum "1.8414709848078965"^^xsd:decimal .
+#   1.0 math:cos "0.5403023058681398"^^xsd:decimal .
+#   (2.0 1.0) math:product "2"^^xsd:decimal .
+#   ("0.5403023058681398"^^xsd:decimal "2"^^xsd:decimal) math:sum "2.5403023058681398"^^xsd:decimal .
+#   ("2.5403023058681398"^^xsd:decimal 2.0) math:exponentiation "6.453135805198988"^^xsd:decimal .
+#   (1.0 "6.453135805198988"^^xsd:decimal) math:sum "7.453135805198988"^^xsd:decimal .
+#   ("7.453135805198988"^^xsd:decimal 0.5) math:exponentiation "2.7300431874237794"^^xsd:decimal .
 # via the schematic forward rule:
 #   {
 #     :Simpson1 :samples ?ss .
@@ -1873,18 +1874,18 @@ _:sk_2 :ds 2.7300431874237794 .
 #   } .
 # with substitution (on rule variables):
 #   ?c = 2.0
-#   ?cosx = 0.5403023058681398
-#   ?ds = 2.7300431874237794
-#   ?dy = 2.5403023058681398
-#   ?dy2 = 6.453135805198988
-#   ?onePlus = 7.453135805198988
+#   ?cosx = "0.5403023058681398"^^xsd:decimal
+#   ?ds = "2.7300431874237794"^^xsd:decimal
+#   ?dy = "2.5403023058681398"^^xsd:decimal
+#   ?dy2 = "6.453135805198988"^^xsd:decimal
+#   ?onePlus = "7.453135805198988"^^xsd:decimal
 #   ?s = _:b3
-#   ?sinx = 0.8414709848078965
+#   ?sinx = "0.8414709848078965"^^xsd:decimal
 #   ?ss = (_:b1 _:b2 _:b3 _:b4 _:b5)
-#   ?twox = 2
+#   ?twox = "2"^^xsd:decimal
 #   ?x = 1.0
-#   ?x2 = 1
-#   ?y = 1.8414709848078965
+#   ?x2 = "1"^^xsd:decimal
+#   ?y = "1.8414709848078965"^^xsd:decimal
 # Therefore the derived triple above is entailed by the rules and facts.
 # ----------------------------------------------------------------------
@@ -1892,21 +1893,21 @@ _:sk_2 :ds 2.7300431874237794 .
 # ----------------------------------------------------------------------
 # Proof for derived triple:
-#   _:b2 :y 0.729425538604203 .
+#   _:b2 :y "0.729425538604203"^^xsd:decimal .
 # It holds because the following instance of the rule body is provable:
 #   :Simpson1 :samples (_:b1 _:b2 _:b3 _:b4 _:b5) .
 #   (_:b1 _:b2 _:b3 _:b4 _:b5) list:member _:b2 .
 #   _:b2 :x 0.5 .
 #   _:b2 :coef 4.0 .
-#   0.5 math:sin 0.479425538604203 .
-#   (0.5 2.0) math:exponentiation 0.25 .
-#   (0.479425538604203 0.25) math:sum 0.729425538604203 .
-#   0.5 math:cos 0.8775825618903728 .
-#   (2.0 0.5) math:product 1 .
-#   (0.8775825618903728 1) math:sum 1.8775825618903728 .
-#   (1.8775825618903728 2.0) math:exponentiation 3.5253162767148156 .
-#   (1.0 3.5253162767148156) math:sum 4.525316276714816 .
-#   (4.525316276714816 0.5) math:exponentiation 2.12727907823934 .
+#   0.5 math:sin "0.479425538604203"^^xsd:decimal .
+#   (0.5 2.0) math:exponentiation "0.25"^^xsd:decimal .
+#   ("0.479425538604203"^^xsd:decimal "0.25"^^xsd:decimal) math:sum "0.729425538604203"^^xsd:decimal .
+#   0.5 math:cos "0.8775825618903728"^^xsd:decimal .
+#   (2.0 0.5) math:product "1"^^xsd:decimal .
+#   ("0.8775825618903728"^^xsd:decimal "1"^^xsd:decimal) math:sum "1.8775825618903728"^^xsd:decimal .
+#   ("1.8775825618903728"^^xsd:decimal 2.0) math:exponentiation "3.5253162767148156"^^xsd:decimal .
+#   (1.0 "3.5253162767148156"^^xsd:decimal) math:sum "4.525316276714816"^^xsd:decimal .
+#   ("4.525316276714816"^^xsd:decimal 0.5) math:exponentiation "2.12727907823934"^^xsd:decimal .
 # via the schematic forward rule:
 #   {
 #     :Simpson1 :samples ?ss .
@@ -1936,40 +1937,40 @@ _:sk_2 :ds 2.7300431874237794 .
 #   } .
 # with substitution (on rule variables):
 #   ?c = 4.0
-#   ?cosx = 0.8775825618903728
-#   ?ds = 2.12727907823934
-#   ?dy = 1.8775825618903728
-#   ?dy2 = 3.5253162767148156
-#   ?onePlus = 4.525316276714816
+#   ?cosx = "0.8775825618903728"^^xsd:decimal
+#   ?ds = "2.12727907823934"^^xsd:decimal
+#   ?dy = "1.8775825618903728"^^xsd:decimal
+#   ?dy2 = "3.5253162767148156"^^xsd:decimal
+#   ?onePlus = "4.525316276714816"^^xsd:decimal
 #   ?s = _:b2
-#   ?sinx = 0.479425538604203
+#   ?sinx = "0.479425538604203"^^xsd:decimal
 #   ?ss = (_:b1 _:b2 _:b3 _:b4 _:b5)
-#   ?twox = 1
+#   ?twox = "1"^^xsd:decimal
 #   ?x = 0.5
-#   ?x2 = 0.25
-#   ?y = 0.729425538604203
+#   ?x2 = "0.25"^^xsd:decimal
+#   ?y = "0.729425538604203"^^xsd:decimal
 # Therefore the derived triple above is entailed by the rules and facts.
 # ----------------------------------------------------------------------
-_:b2 :y 0.729425538604203 .
+_:b2 :y "0.729425538604203"^^xsd:decimal .
 # ----------------------------------------------------------------------
 # Proof for derived triple:
-#   _:b2 :dy 1.8775825618903728 .
+#   _:b2 :dy "1.8775825618903728"^^xsd:decimal .
 # It holds because the following instance of the rule body is provable:
 #   :Simpson1 :samples (_:b1 _:b2 _:b3 _:b4 _:b5) .
 #   (_:b1 _:b2 _:b3 _:b4 _:b5) list:member _:b2 .
 #   _:b2 :x 0.5 .
 #   _:b2 :coef 4.0 .
-#   0.5 math:sin 0.479425538604203 .
-#   (0.5 2.0) math:exponentiation 0.25 .
-#   (0.479425538604203 0.25) math:sum 0.729425538604203 .
-#   0.5 math:cos 0.8775825618903728 .
-#   (2.0 0.5) math:product 1 .
-#   (0.8775825618903728 1) math:sum 1.8775825618903728 .
-#   (1.8775825618903728 2.0) math:exponentiation 3.5253162767148156 .
-#   (1.0 3.5253162767148156) math:sum 4.525316276714816 .
-#   (4.525316276714816 0.5) math:exponentiation 2.12727907823934 .
+#   0.5 math:sin "0.479425538604203"^^xsd:decimal .
+#   (0.5 2.0) math:exponentiation "0.25"^^xsd:decimal .
+#   ("0.479425538604203"^^xsd:decimal "0.25"^^xsd:decimal) math:sum "0.729425538604203"^^xsd:decimal .
+#   0.5 math:cos "0.8775825618903728"^^xsd:decimal .
+#   (2.0 0.5) math:product "1"^^xsd:decimal .
+#   ("0.8775825618903728"^^xsd:decimal "1"^^xsd:decimal) math:sum "1.8775825618903728"^^xsd:decimal .
+#   ("1.8775825618903728"^^xsd:decimal 2.0) math:exponentiation "3.5253162767148156"^^xsd:decimal .
+#   (1.0 "3.5253162767148156"^^xsd:decimal) math:sum "4.525316276714816"^^xsd:decimal .
+#   ("4.525316276714816"^^xsd:decimal 0.5) math:exponentiation "2.12727907823934"^^xsd:decimal .
 # via the schematic forward rule:
 #   {
 #     :Simpson1 :samples ?ss .
@@ -1999,40 +2000,40 @@ _:b2 :y 0.729425538604203 .
 #   } .
 # with substitution (on rule variables):
 #   ?c = 4.0
-#   ?cosx = 0.8775825618903728
-#   ?ds = 2.12727907823934
-#   ?dy = 1.8775825618903728
-#   ?dy2 = 3.5253162767148156
-#   ?onePlus = 4.525316276714816
+#   ?cosx = "0.8775825618903728"^^xsd:decimal
+#   ?ds = "2.12727907823934"^^xsd:decimal
+#   ?dy = "1.8775825618903728"^^xsd:decimal
+#   ?dy2 = "3.5253162767148156"^^xsd:decimal
+#   ?onePlus = "4.525316276714816"^^xsd:decimal
 #   ?s = _:b2
-#   ?sinx = 0.479425538604203
+#   ?sinx = "0.479425538604203"^^xsd:decimal
 #   ?ss = (_:b1 _:b2 _:b3 _:b4 _:b5)
-#   ?twox = 1
+#   ?twox = "1"^^xsd:decimal
 #   ?x = 0.5
-#   ?x2 = 0.25
-#   ?y = 0.729425538604203
+#   ?x2 = "0.25"^^xsd:decimal
+#   ?y = "0.729425538604203"^^xsd:decimal
 # Therefore the derived triple above is entailed by the rules and facts.
 # ----------------------------------------------------------------------
-_:b2 :dy 1.8775825618903728 .
+_:b2 :dy "1.8775825618903728"^^xsd:decimal .
 # ----------------------------------------------------------------------
 # Proof for derived triple:
-#   _:b2 :ds 2.12727907823934 .
+#   _:b2 :ds "2.12727907823934"^^xsd:decimal .
 # It holds because the following instance of the rule body is provable:
 #   :Simpson1 :samples (_:b1 _:b2 _:b3 _:b4 _:b5) .
 #   (_:b1 _:b2 _:b3 _:b4 _:b5) list:member _:b2 .
 #   _:b2 :x 0.5 .
 #   _:b2 :coef 4.0 .
-#   0.5 math:sin 0.479425538604203 .
-#   (0.5 2.0) math:exponentiation 0.25 .
-#   (0.479425538604203 0.25) math:sum 0.729425538604203 .
-#   0.5 math:cos 0.8775825618903728 .
-#   (2.0 0.5) math:product 1 .
-#   (0.8775825618903728 1) math:sum 1.8775825618903728 .
-#   (1.8775825618903728 2.0) math:exponentiation 3.5253162767148156 .
-#   (1.0 3.5253162767148156) math:sum 4.525316276714816 .
-#   (4.525316276714816 0.5) math:exponentiation 2.12727907823934 .
+#   0.5 math:sin "0.479425538604203"^^xsd:decimal .
+#   (0.5 2.0) math:exponentiation "0.25"^^xsd:decimal .
+#   ("0.479425538604203"^^xsd:decimal "0.25"^^xsd:decimal) math:sum "0.729425538604203"^^xsd:decimal .
+#   0.5 math:cos "0.8775825618903728"^^xsd:decimal .
+#   (2.0 0.5) math:product "1"^^xsd:decimal .
+#   ("0.8775825618903728"^^xsd:decimal "1"^^xsd:decimal) math:sum "1.8775825618903728"^^xsd:decimal .
+#   ("1.8775825618903728"^^xsd:decimal 2.0) math:exponentiation "3.5253162767148156"^^xsd:decimal .
+#   (1.0 "3.5253162767148156"^^xsd:decimal) math:sum "4.525316276714816"^^xsd:decimal .
+#   ("4.525316276714816"^^xsd:decimal 0.5) math:exponentiation "2.12727907823934"^^xsd:decimal .
 # via the schematic forward rule:
 #   {
 #     :Simpson1 :samples ?ss .
@@ -2062,22 +2063,22 @@ _:b2 :dy 1.8775825618903728 .
 #   } .
 # with substitution (on rule variables):
 #   ?c = 4.0
-#   ?cosx = 0.8775825618903728
-#   ?ds = 2.12727907823934
-#   ?dy = 1.8775825618903728
-#   ?dy2 = 3.5253162767148156
-#   ?onePlus = 4.525316276714816
+#   ?cosx = "0.8775825618903728"^^xsd:decimal
+#   ?ds = "2.12727907823934"^^xsd:decimal
+#   ?dy = "1.8775825618903728"^^xsd:decimal
+#   ?dy2 = "3.5253162767148156"^^xsd:decimal
+#   ?onePlus = "4.525316276714816"^^xsd:decimal
 #   ?s = _:b2
-#   ?sinx = 0.479425538604203
+#   ?sinx = "0.479425538604203"^^xsd:decimal
 #   ?ss = (_:b1 _:b2 _:b3 _:b4 _:b5)
-#   ?twox = 1
+#   ?twox = "1"^^xsd:decimal
 #   ?x = 0.5
-#   ?x2 = 0.25
-#   ?y = 0.729425538604203
+#   ?x2 = "0.25"^^xsd:decimal
+#   ?y = "0.729425538604203"^^xsd:decimal
 # Therefore the derived triple above is entailed by the rules and facts.
 # ----------------------------------------------------------------------
-_:b2 :ds 2.12727907823934 .
+_:b2 :ds "2.12727907823934"^^xsd:decimal .
 # ----------------------------------------------------------------------
 # Proof for derived triple:
@@ -2087,15 +2088,15 @@ _:b2 :ds 2.12727907823934 .
 #   (_:b1 _:b2 _:b3 _:b4 _:b5) list:member _:b2 .
 #   _:b2 :x 0.5 .
 #   _:b2 :coef 4.0 .
-#   0.5 math:sin 0.479425538604203 .
-#   (0.5 2.0) math:exponentiation 0.25 .
-#   (0.479425538604203 0.25) math:sum 0.729425538604203 .
-#   0.5 math:cos 0.8775825618903728 .
-#   (2.0 0.5) math:product 1 .
-#   (0.8775825618903728 1) math:sum 1.8775825618903728 .
-#   (1.8775825618903728 2.0) math:exponentiation 3.5253162767148156 .
-#   (1.0 3.5253162767148156) math:sum 4.525316276714816 .
-#   (4.525316276714816 0.5) math:exponentiation 2.12727907823934 .
+#   0.5 math:sin "0.479425538604203"^^xsd:decimal .
+#   (0.5 2.0) math:exponentiation "0.25"^^xsd:decimal .
+#   ("0.479425538604203"^^xsd:decimal "0.25"^^xsd:decimal) math:sum "0.729425538604203"^^xsd:decimal .
+#   0.5 math:cos "0.8775825618903728"^^xsd:decimal .
+#   (2.0 0.5) math:product "1"^^xsd:decimal .
+#   ("0.8775825618903728"^^xsd:decimal "1"^^xsd:decimal) math:sum "1.8775825618903728"^^xsd:decimal .
+#   ("1.8775825618903728"^^xsd:decimal 2.0) math:exponentiation "3.5253162767148156"^^xsd:decimal .
+#   (1.0 "3.5253162767148156"^^xsd:decimal) math:sum "4.525316276714816"^^xsd:decimal .
+#   ("4.525316276714816"^^xsd:decimal 0.5) math:exponentiation "2.12727907823934"^^xsd:decimal .
 # via the schematic forward rule:
 #   {
 #     :Simpson1 :samples ?ss .
@@ -2125,18 +2126,18 @@ _:b2 :ds 2.12727907823934 .
 #   } .
 # with substitution (on rule variables):
 #   ?c = 4.0
-#   ?cosx = 0.8775825618903728
-#   ?ds = 2.12727907823934
-#   ?dy = 1.8775825618903728
-#   ?dy2 = 3.5253162767148156
-#   ?onePlus = 4.525316276714816
+#   ?cosx = "0.8775825618903728"^^xsd:decimal
+#   ?ds = "2.12727907823934"^^xsd:decimal
+#   ?dy = "1.8775825618903728"^^xsd:decimal
+#   ?dy2 = "3.5253162767148156"^^xsd:decimal
+#   ?onePlus = "4.525316276714816"^^xsd:decimal
 #   ?s = _:b2
-#   ?sinx = 0.479425538604203
+#   ?sinx = "0.479425538604203"^^xsd:decimal
 #   ?ss = (_:b1 _:b2 _:b3 _:b4 _:b5)
-#   ?twox = 1
+#   ?twox = "1"^^xsd:decimal
 #   ?x = 0.5
-#   ?x2 = 0.25
-#   ?y = 0.729425538604203
+#   ?x2 = "0.25"^^xsd:decimal
+#   ?y = "0.729425538604203"^^xsd:decimal
 # Therefore the derived triple above is entailed by the rules and facts.
 # ----------------------------------------------------------------------
@@ -2150,15 +2151,15 @@ _:sk_3 :sample _:b2 .
 #   (_:b1 _:b2 _:b3 _:b4 _:b5) list:member _:b2 .
 #   _:b2 :x 0.5 .
 #   _:b2 :coef 4.0 .
-#   0.5 math:sin 0.479425538604203 .
-#   (0.5 2.0) math:exponentiation 0.25 .
-#   (0.479425538604203 0.25) math:sum 0.729425538604203 .
-#   0.5 math:cos 0.8775825618903728 .
-#   (2.0 0.5) math:product 1 .
-#   (0.8775825618903728 1) math:sum 1.8775825618903728 .
-#   (1.8775825618903728 2.0) math:exponentiation 3.5253162767148156 .
-#   (1.0 3.5253162767148156) math:sum 4.525316276714816 .
-#   (4.525316276714816 0.5) math:exponentiation 2.12727907823934 .
+#   0.5 math:sin "0.479425538604203"^^xsd:decimal .
+#   (0.5 2.0) math:exponentiation "0.25"^^xsd:decimal .
+#   ("0.479425538604203"^^xsd:decimal "0.25"^^xsd:decimal) math:sum "0.729425538604203"^^xsd:decimal .
+#   0.5 math:cos "0.8775825618903728"^^xsd:decimal .
+#   (2.0 0.5) math:product "1"^^xsd:decimal .
+#   ("0.8775825618903728"^^xsd:decimal "1"^^xsd:decimal) math:sum "1.8775825618903728"^^xsd:decimal .
+#   ("1.8775825618903728"^^xsd:decimal 2.0) math:exponentiation "3.5253162767148156"^^xsd:decimal .
+#   (1.0 "3.5253162767148156"^^xsd:decimal) math:sum "4.525316276714816"^^xsd:decimal .
+#   ("4.525316276714816"^^xsd:decimal 0.5) math:exponentiation "2.12727907823934"^^xsd:decimal .
 # via the schematic forward rule:
 #   {
 #     :Simpson1 :samples ?ss .
@@ -2188,18 +2189,18 @@ _:sk_3 :sample _:b2 .
 #   } .
 # with substitution (on rule variables):
 #   ?c = 4.0
-#   ?cosx = 0.8775825618903728
-#   ?ds = 2.12727907823934
-#   ?dy = 1.8775825618903728
-#   ?dy2 = 3.5253162767148156
-#   ?onePlus = 4.525316276714816
+#   ?cosx = "0.8775825618903728"^^xsd:decimal
+#   ?ds = "2.12727907823934"^^xsd:decimal
+#   ?dy = "1.8775825618903728"^^xsd:decimal
+#   ?dy2 = "3.5253162767148156"^^xsd:decimal
+#   ?onePlus = "4.525316276714816"^^xsd:decimal
 #   ?s = _:b2
-#   ?sinx = 0.479425538604203
+#   ?sinx = "0.479425538604203"^^xsd:decimal
 #   ?ss = (_:b1 _:b2 _:b3 _:b4 _:b5)
-#   ?twox = 1
+#   ?twox = "1"^^xsd:decimal
 #   ?x = 0.5
-#   ?x2 = 0.25
-#   ?y = 0.729425538604203
+#   ?x2 = "0.25"^^xsd:decimal
+#   ?y = "0.729425538604203"^^xsd:decimal
 # Therefore the derived triple above is entailed by the rules and facts.
 # ----------------------------------------------------------------------
@@ -2213,15 +2214,15 @@ _:sk_3 :x 0.5 .
 #   (_:b1 _:b2 _:b3 _:b4 _:b5) list:member _:b2 .
 #   _:b2 :x 0.5 .
 #   _:b2 :coef 4.0 .
-#   0.5 math:sin 0.479425538604203 .
-#   (0.5 2.0) math:exponentiation 0.25 .
-#   (0.479425538604203 0.25) math:sum 0.729425538604203 .
-#   0.5 math:cos 0.8775825618903728 .
-#   (2.0 0.5) math:product 1 .
-#   (0.8775825618903728 1) math:sum 1.8775825618903728 .
-#   (1.8775825618903728 2.0) math:exponentiation 3.5253162767148156 .
-#   (1.0 3.5253162767148156) math:sum 4.525316276714816 .
-#   (4.525316276714816 0.5) math:exponentiation 2.12727907823934 .
+#   0.5 math:sin "0.479425538604203"^^xsd:decimal .
+#   (0.5 2.0) math:exponentiation "0.25"^^xsd:decimal .
+#   ("0.479425538604203"^^xsd:decimal "0.25"^^xsd:decimal) math:sum "0.729425538604203"^^xsd:decimal .
+#   0.5 math:cos "0.8775825618903728"^^xsd:decimal .
+#   (2.0 0.5) math:product "1"^^xsd:decimal .
+#   ("0.8775825618903728"^^xsd:decimal "1"^^xsd:decimal) math:sum "1.8775825618903728"^^xsd:decimal .
+#   ("1.8775825618903728"^^xsd:decimal 2.0) math:exponentiation "3.5253162767148156"^^xsd:decimal .
+#   (1.0 "3.5253162767148156"^^xsd:decimal) math:sum "4.525316276714816"^^xsd:decimal .
+#   ("4.525316276714816"^^xsd:decimal 0.5) math:exponentiation "2.12727907823934"^^xsd:decimal .
 # via the schematic forward rule:
 #   {
 #     :Simpson1 :samples ?ss .
@@ -2251,18 +2252,18 @@ _:sk_3 :x 0.5 .
 #   } .
 # with substitution (on rule variables):
 #   ?c = 4.0
-#   ?cosx = 0.8775825618903728
-#   ?ds = 2.12727907823934
-#   ?dy = 1.8775825618903728
-#   ?dy2 = 3.5253162767148156
-#   ?onePlus = 4.525316276714816
+#   ?cosx = "0.8775825618903728"^^xsd:decimal
+#   ?ds = "2.12727907823934"^^xsd:decimal
+#   ?dy = "1.8775825618903728"^^xsd:decimal
+#   ?dy2 = "3.5253162767148156"^^xsd:decimal
+#   ?onePlus = "4.525316276714816"^^xsd:decimal
 #   ?s = _:b2
-#   ?sinx = 0.479425538604203
+#   ?sinx = "0.479425538604203"^^xsd:decimal
 #   ?ss = (_:b1 _:b2 _:b3 _:b4 _:b5)
-#   ?twox = 1
+#   ?twox = "1"^^xsd:decimal
 #   ?x = 0.5
-#   ?x2 = 0.25
-#   ?y = 0.729425538604203
+#   ?x2 = "0.25"^^xsd:decimal
+#   ?y = "0.729425538604203"^^xsd:decimal
 # Therefore the derived triple above is entailed by the rules and facts.
 # ----------------------------------------------------------------------
@@ -2270,21 +2271,21 @@ _:sk_3 :coef 4.0 .
 # ----------------------------------------------------------------------
 # Proof for derived triple:
-#   _:sk_3 :y 0.729425538604203 .
+#   _:sk_3 :y "0.729425538604203"^^xsd:decimal .
 # It holds because the following instance of the rule body is provable:
 #   :Simpson1 :samples (_:b1 _:b2 _:b3 _:b4 _:b5) .
 #   (_:b1 _:b2 _:b3 _:b4 _:b5) list:member _:b2 .
 #   _:b2 :x 0.5 .
 #   _:b2 :coef 4.0 .
-#   0.5 math:sin 0.479425538604203 .
-#   (0.5 2.0) math:exponentiation 0.25 .
-#   (0.479425538604203 0.25) math:sum 0.729425538604203 .
-#   0.5 math:cos 0.8775825618903728 .
-#   (2.0 0.5) math:product 1 .
-#   (0.8775825618903728 1) math:sum 1.8775825618903728 .
-#   (1.8775825618903728 2.0) math:exponentiation 3.5253162767148156 .
-#   (1.0 3.5253162767148156) math:sum 4.525316276714816 .
-#   (4.525316276714816 0.5) math:exponentiation 2.12727907823934 .
+#   0.5 math:sin "0.479425538604203"^^xsd:decimal .
+#   (0.5 2.0) math:exponentiation "0.25"^^xsd:decimal .
+#   ("0.479425538604203"^^xsd:decimal "0.25"^^xsd:decimal) math:sum "0.729425538604203"^^xsd:decimal .
+#   0.5 math:cos "0.8775825618903728"^^xsd:decimal .
+#   (2.0 0.5) math:product "1"^^xsd:decimal .
+#   ("0.8775825618903728"^^xsd:decimal "1"^^xsd:decimal) math:sum "1.8775825618903728"^^xsd:decimal .
+#   ("1.8775825618903728"^^xsd:decimal 2.0) math:exponentiation "3.5253162767148156"^^xsd:decimal .
+#   (1.0 "3.5253162767148156"^^xsd:decimal) math:sum "4.525316276714816"^^xsd:decimal .
+#   ("4.525316276714816"^^xsd:decimal 0.5) math:exponentiation "2.12727907823934"^^xsd:decimal .
 # via the schematic forward rule:
 #   {
 #     :Simpson1 :samples ?ss .
@@ -2314,40 +2315,40 @@ _:sk_3 :coef 4.0 .
 #   } .
 # with substitution (on rule variables):
 #   ?c = 4.0
-#   ?cosx = 0.8775825618903728
-#   ?ds = 2.12727907823934
-#   ?dy = 1.8775825618903728
-#   ?dy2 = 3.5253162767148156
-#   ?onePlus = 4.525316276714816
+#   ?cosx = "0.8775825618903728"^^xsd:decimal
+#   ?ds = "2.12727907823934"^^xsd:decimal
+#   ?dy = "1.8775825618903728"^^xsd:decimal
+#   ?dy2 = "3.5253162767148156"^^xsd:decimal
+#   ?onePlus = "4.525316276714816"^^xsd:decimal
 #   ?s = _:b2
-#   ?sinx = 0.479425538604203
+#   ?sinx = "0.479425538604203"^^xsd:decimal
 #   ?ss = (_:b1 _:b2 _:b3 _:b4 _:b5)
-#   ?twox = 1
+#   ?twox = "1"^^xsd:decimal
 #   ?x = 0.5
-#   ?x2 = 0.25
-#   ?y = 0.729425538604203
+#   ?x2 = "0.25"^^xsd:decimal
+#   ?y = "0.729425538604203"^^xsd:decimal
 # Therefore the derived triple above is entailed by the rules and facts.
 # ----------------------------------------------------------------------
-_:sk_3 :y 0.729425538604203 .
+_:sk_3 :y "0.729425538604203"^^xsd:decimal .
 # ----------------------------------------------------------------------
 # Proof for derived triple:
-#   _:sk_3 :dy 1.8775825618903728 .
+#   _:sk_3 :dy "1.8775825618903728"^^xsd:decimal .
 # It holds because the following instance of the rule body is provable:
 #   :Simpson1 :samples (_:b1 _:b2 _:b3 _:b4 _:b5) .
 #   (_:b1 _:b2 _:b3 _:b4 _:b5) list:member _:b2 .
 #   _:b2 :x 0.5 .
 #   _:b2 :coef 4.0 .
-#   0.5 math:sin 0.479425538604203 .
-#   (0.5 2.0) math:exponentiation 0.25 .
-#   (0.479425538604203 0.25) math:sum 0.729425538604203 .
-#   0.5 math:cos 0.8775825618903728 .
-#   (2.0 0.5) math:product 1 .
-#   (0.8775825618903728 1) math:sum 1.8775825618903728 .
-#   (1.8775825618903728 2.0) math:exponentiation 3.5253162767148156 .
-#   (1.0 3.5253162767148156) math:sum 4.525316276714816 .
-#   (4.525316276714816 0.5) math:exponentiation 2.12727907823934 .
+#   0.5 math:sin "0.479425538604203"^^xsd:decimal .
+#   (0.5 2.0) math:exponentiation "0.25"^^xsd:decimal .
+#   ("0.479425538604203"^^xsd:decimal "0.25"^^xsd:decimal) math:sum "0.729425538604203"^^xsd:decimal .
+#   0.5 math:cos "0.8775825618903728"^^xsd:decimal .
+#   (2.0 0.5) math:product "1"^^xsd:decimal .
+#   ("0.8775825618903728"^^xsd:decimal "1"^^xsd:decimal) math:sum "1.8775825618903728"^^xsd:decimal .
+#   ("1.8775825618903728"^^xsd:decimal 2.0) math:exponentiation "3.5253162767148156"^^xsd:decimal .
+#   (1.0 "3.5253162767148156"^^xsd:decimal) math:sum "4.525316276714816"^^xsd:decimal .
+#   ("4.525316276714816"^^xsd:decimal 0.5) math:exponentiation "2.12727907823934"^^xsd:decimal .
 # via the schematic forward rule:
 #   {
 #     :Simpson1 :samples ?ss .
@@ -2377,40 +2378,40 @@ _:sk_3 :y 0.729425538604203 .
 #   } .
 # with substitution (on rule variables):
 #   ?c = 4.0
-#   ?cosx = 0.8775825618903728
-#   ?ds = 2.12727907823934
-#   ?dy = 1.8775825618903728
-#   ?dy2 = 3.5253162767148156
-#   ?onePlus = 4.525316276714816
+#   ?cosx = "0.8775825618903728"^^xsd:decimal
+#   ?ds = "2.12727907823934"^^xsd:decimal
+#   ?dy = "1.8775825618903728"^^xsd:decimal
+#   ?dy2 = "3.5253162767148156"^^xsd:decimal
+#   ?onePlus = "4.525316276714816"^^xsd:decimal
 #   ?s = _:b2
-#   ?sinx = 0.479425538604203
+#   ?sinx = "0.479425538604203"^^xsd:decimal
 #   ?ss = (_:b1 _:b2 _:b3 _:b4 _:b5)
-#   ?twox = 1
+#   ?twox = "1"^^xsd:decimal
 #   ?x = 0.5
-#   ?x2 = 0.25
-#   ?y = 0.729425538604203
+#   ?x2 = "0.25"^^xsd:decimal
+#   ?y = "0.729425538604203"^^xsd:decimal
 # Therefore the derived triple above is entailed by the rules and facts.
 # ----------------------------------------------------------------------
-_:sk_3 :dy 1.8775825618903728 .
+_:sk_3 :dy "1.8775825618903728"^^xsd:decimal .
 # ----------------------------------------------------------------------
 # Proof for derived triple:
-#   _:sk_3 :ds 2.12727907823934 .
+#   _:sk_3 :ds "2.12727907823934"^^xsd:decimal .
 # It holds because the following instance of the rule body is provable:
 #   :Simpson1 :samples (_:b1 _:b2 _:b3 _:b4 _:b5) .
 #   (_:b1 _:b2 _:b3 _:b4 _:b5) list:member _:b2 .
 #   _:b2 :x 0.5 .
 #   _:b2 :coef 4.0 .
-#   0.5 math:sin 0.479425538604203 .
-#   (0.5 2.0) math:exponentiation 0.25 .
-#   (0.479425538604203 0.25) math:sum 0.729425538604203 .
-#   0.5 math:cos 0.8775825618903728 .
-#   (2.0 0.5) math:product 1 .
-#   (0.8775825618903728 1) math:sum 1.8775825618903728 .
-#   (1.8775825618903728 2.0) math:exponentiation 3.5253162767148156 .
-#   (1.0 3.5253162767148156) math:sum 4.525316276714816 .
-#   (4.525316276714816 0.5) math:exponentiation 2.12727907823934 .
+#   0.5 math:sin "0.479425538604203"^^xsd:decimal .
+#   (0.5 2.0) math:exponentiation "0.25"^^xsd:decimal .
+#   ("0.479425538604203"^^xsd:decimal "0.25"^^xsd:decimal) math:sum "0.729425538604203"^^xsd:decimal .
+#   0.5 math:cos "0.8775825618903728"^^xsd:decimal .
+#   (2.0 0.5) math:product "1"^^xsd:decimal .
+#   ("0.8775825618903728"^^xsd:decimal "1"^^xsd:decimal) math:sum "1.8775825618903728"^^xsd:decimal .
+#   ("1.8775825618903728"^^xsd:decimal 2.0) math:exponentiation "3.5253162767148156"^^xsd:decimal .
+#   (1.0 "3.5253162767148156"^^xsd:decimal) math:sum "4.525316276714816"^^xsd:decimal .
+#   ("4.525316276714816"^^xsd:decimal 0.5) math:exponentiation "2.12727907823934"^^xsd:decimal .
 # via the schematic forward rule:
 #   {
 #     :Simpson1 :samples ?ss .
@@ -2440,22 +2441,22 @@ _:sk_3 :dy 1.8775825618903728 .
 #   } .
 # with substitution (on rule variables):
 #   ?c = 4.0
-#   ?cosx = 0.8775825618903728
-#   ?ds = 2.12727907823934
-#   ?dy = 1.8775825618903728
-#   ?dy2 = 3.5253162767148156
-#   ?onePlus = 4.525316276714816
+#   ?cosx = "0.8775825618903728"^^xsd:decimal
+#   ?ds = "2.12727907823934"^^xsd:decimal
+#   ?dy = "1.8775825618903728"^^xsd:decimal
+#   ?dy2 = "3.5253162767148156"^^xsd:decimal
+#   ?onePlus = "4.525316276714816"^^xsd:decimal
 #   ?s = _:b2
-#   ?sinx = 0.479425538604203
+#   ?sinx = "0.479425538604203"^^xsd:decimal
 #   ?ss = (_:b1 _:b2 _:b3 _:b4 _:b5)
-#   ?twox = 1
+#   ?twox = "1"^^xsd:decimal
 #   ?x = 0.5
-#   ?x2 = 0.25
-#   ?y = 0.729425538604203
+#   ?x2 = "0.25"^^xsd:decimal
+#   ?y = "0.729425538604203"^^xsd:decimal
 # Therefore the derived triple above is entailed by the rules and facts.
 # ----------------------------------------------------------------------
-_:sk_3 :ds 2.12727907823934 .
+_:sk_3 :ds "2.12727907823934"^^xsd:decimal .
 # ----------------------------------------------------------------------
 # Proof for derived triple:
@@ -2465,15 +2466,15 @@ _:sk_3 :ds 2.12727907823934 .
 #   (_:b1 _:b2 _:b3 _:b4 _:b5) list:member _:b2 .
 #   _:b2 :x 0.5 .
 #   _:b2 :coef 4.0 .
-#   0.5 math:sin 0.479425538604203 .
-#   (0.5 2.0) math:exponentiation 0.25 .
-#   (0.479425538604203 0.25) math:sum 0.729425538604203 .
-#   0.5 math:cos 0.8775825618903728 .
-#   (2.0 0.5) math:product 1 .
-#   (0.8775825618903728 1) math:sum 1.8775825618903728 .
-#   (1.8775825618903728 2.0) math:exponentiation 3.5253162767148156 .
-#   (1.0 3.5253162767148156) math:sum 4.525316276714816 .
-#   (4.525316276714816 0.5) math:exponentiation 2.12727907823934 .
+#   0.5 math:sin "0.479425538604203"^^xsd:decimal .
+#   (0.5 2.0) math:exponentiation "0.25"^^xsd:decimal .
+#   ("0.479425538604203"^^xsd:decimal "0.25"^^xsd:decimal) math:sum "0.729425538604203"^^xsd:decimal .
+#   0.5 math:cos "0.8775825618903728"^^xsd:decimal .
+#   (2.0 0.5) math:product "1"^^xsd:decimal .
+#   ("0.8775825618903728"^^xsd:decimal "1"^^xsd:decimal) math:sum "1.8775825618903728"^^xsd:decimal .
+#   ("1.8775825618903728"^^xsd:decimal 2.0) math:exponentiation "3.5253162767148156"^^xsd:decimal .
+#   (1.0 "3.5253162767148156"^^xsd:decimal) math:sum "4.525316276714816"^^xsd:decimal .
+#   ("4.525316276714816"^^xsd:decimal 0.5) math:exponentiation "2.12727907823934"^^xsd:decimal .
 # via the schematic forward rule:
 #   {
 #     :Simpson1 :samples ?ss .
@@ -2503,18 +2504,18 @@ _:sk_3 :ds 2.12727907823934 .
 #   } .
 # with substitution (on rule variables):
 #   ?c = 4.0
-#   ?cosx = 0.8775825618903728
-#   ?ds = 2.12727907823934
-#   ?dy = 1.8775825618903728
-#   ?dy2 = 3.5253162767148156
-#   ?onePlus = 4.525316276714816
+#   ?cosx = "0.8775825618903728"^^xsd:decimal
+#   ?ds = "2.12727907823934"^^xsd:decimal
+#   ?dy = "1.8775825618903728"^^xsd:decimal
+#   ?dy2 = "3.5253162767148156"^^xsd:decimal
+#   ?onePlus = "4.525316276714816"^^xsd:decimal
 #   ?s = _:b2
-#   ?sinx = 0.479425538604203
+#   ?sinx = "0.479425538604203"^^xsd:decimal
 #   ?ss = (_:b1 _:b2 _:b3 _:b4 _:b5)
-#   ?twox = 1
+#   ?twox = "1"^^xsd:decimal
 #   ?x = 0.5
-#   ?x2 = 0.25
-#   ?y = 0.729425538604203
+#   ?x2 = "0.25"^^xsd:decimal
+#   ?y = "0.729425538604203"^^xsd:decimal
 # Therefore the derived triple above is entailed by the rules and facts.
 # ----------------------------------------------------------------------
@@ -2522,21 +2523,21 @@ _:sk_3 :ds 2.12727907823934 .
 # ----------------------------------------------------------------------
 # Proof for derived triple:
-#   _:b1 :y 0 .
+#   _:b1 :y "0"^^xsd:decimal .
 # It holds because the following instance of the rule body is provable:
 #   :Simpson1 :samples (_:b1 _:b2 _:b3 _:b4 _:b5) .
 #   (_:b1 _:b2 _:b3 _:b4 _:b5) list:member _:b1 .
 #   _:b1 :x 0.0 .
 #   _:b1 :coef 1.0 .
-#   0.0 math:sin 0 .
-#   (0.0 2.0) math:exponentiation 0 .
-#   (0 0) math:sum 0 .
-#   0.0 math:cos 1 .
-#   (2.0 0.0) math:product 0 .
-#   (1 0) math:sum 1 .
-#   (1 2.0) math:exponentiation 1 .
-#   (1.0 1) math:sum 2 .
-#   (2 0.5) math:exponentiation 1.4142135623730951 .
+#   0.0 math:sin "0"^^xsd:decimal .
+#   (0.0 2.0) math:exponentiation "0"^^xsd:decimal .
+#   ("0"^^xsd:decimal "0"^^xsd:decimal) math:sum "0"^^xsd:decimal .
+#   0.0 math:cos "1"^^xsd:decimal .
+#   (2.0 0.0) math:product "0"^^xsd:decimal .
+#   ("1"^^xsd:decimal "0"^^xsd:decimal) math:sum "1"^^xsd:decimal .
+#   ("1"^^xsd:decimal 2.0) math:exponentiation "1"^^xsd:decimal .
+#   (1.0 "1"^^xsd:decimal) math:sum "2"^^xsd:decimal .
+#   ("2"^^xsd:decimal 0.5) math:exponentiation "1.4142135623730951"^^xsd:decimal .
 # via the schematic forward rule:
 #   {
 #     :Simpson1 :samples ?ss .
@@ -2566,40 +2567,40 @@ _:sk_3 :ds 2.12727907823934 .
 #   } .
 # with substitution (on rule variables):
 #   ?c = 1.0
-#   ?cosx = 1
-#   ?ds = 1.4142135623730951
-#   ?dy = 1
-#   ?dy2 = 1
-#   ?onePlus = 2
+#   ?cosx = "1"^^xsd:decimal
+#   ?ds = "1.4142135623730951"^^xsd:decimal
+#   ?dy = "1"^^xsd:decimal
+#   ?dy2 = "1"^^xsd:decimal
+#   ?onePlus = "2"^^xsd:decimal
 #   ?s = _:b1
-#   ?sinx = 0
+#   ?sinx = "0"^^xsd:decimal
 #   ?ss = (_:b1 _:b2 _:b3 _:b4 _:b5)
-#   ?twox = 0
+#   ?twox = "0"^^xsd:decimal
 #   ?x = 0.0
-#   ?x2 = 0
-#   ?y = 0
+#   ?x2 = "0"^^xsd:decimal
+#   ?y = "0"^^xsd:decimal
 # Therefore the derived triple above is entailed by the rules and facts.
 # ----------------------------------------------------------------------
-_:b1 :y 0 .
+_:b1 :y "0"^^xsd:decimal .
 # ----------------------------------------------------------------------
 # Proof for derived triple:
-#   _:b1 :dy 1 .
+#   _:b1 :dy "1"^^xsd:decimal .
 # It holds because the following instance of the rule body is provable:
 #   :Simpson1 :samples (_:b1 _:b2 _:b3 _:b4 _:b5) .
 #   (_:b1 _:b2 _:b3 _:b4 _:b5) list:member _:b1 .
 #   _:b1 :x 0.0 .
 #   _:b1 :coef 1.0 .
-#   0.0 math:sin 0 .
-#   (0.0 2.0) math:exponentiation 0 .
-#   (0 0) math:sum 0 .
-#   0.0 math:cos 1 .
-#   (2.0 0.0) math:product 0 .
-#   (1 0) math:sum 1 .
-#   (1 2.0) math:exponentiation 1 .
-#   (1.0 1) math:sum 2 .
-#   (2 0.5) math:exponentiation 1.4142135623730951 .
+#   0.0 math:sin "0"^^xsd:decimal .
+#   (0.0 2.0) math:exponentiation "0"^^xsd:decimal .
+#   ("0"^^xsd:decimal "0"^^xsd:decimal) math:sum "0"^^xsd:decimal .
+#   0.0 math:cos "1"^^xsd:decimal .
+#   (2.0 0.0) math:product "0"^^xsd:decimal .
+#   ("1"^^xsd:decimal "0"^^xsd:decimal) math:sum "1"^^xsd:decimal .
+#   ("1"^^xsd:decimal 2.0) math:exponentiation "1"^^xsd:decimal .
+#   (1.0 "1"^^xsd:decimal) math:sum "2"^^xsd:decimal .
+#   ("2"^^xsd:decimal 0.5) math:exponentiation "1.4142135623730951"^^xsd:decimal .
 # via the schematic forward rule:
 #   {
 #     :Simpson1 :samples ?ss .
@@ -2629,40 +2630,40 @@ _:b1 :y 0 .
 #   } .
 # with substitution (on rule variables):
 #   ?c = 1.0
-#   ?cosx = 1
-#   ?ds = 1.4142135623730951
-#   ?dy = 1
-#   ?dy2 = 1
-#   ?onePlus = 2
+#   ?cosx = "1"^^xsd:decimal
+#   ?ds = "1.4142135623730951"^^xsd:decimal
+#   ?dy = "1"^^xsd:decimal
+#   ?dy2 = "1"^^xsd:decimal
+#   ?onePlus = "2"^^xsd:decimal
 #   ?s = _:b1
-#   ?sinx = 0
+#   ?sinx = "0"^^xsd:decimal
 #   ?ss = (_:b1 _:b2 _:b3 _:b4 _:b5)
-#   ?twox = 0
+#   ?twox = "0"^^xsd:decimal
 #   ?x = 0.0
-#   ?x2 = 0
-#   ?y = 0
+#   ?x2 = "0"^^xsd:decimal
+#   ?y = "0"^^xsd:decimal
 # Therefore the derived triple above is entailed by the rules and facts.
 # ----------------------------------------------------------------------
-_:b1 :dy 1 .
+_:b1 :dy "1"^^xsd:decimal .
 # ----------------------------------------------------------------------
 # Proof for derived triple:
-#   _:b1 :ds 1.4142135623730951 .
+#   _:b1 :ds "1.4142135623730951"^^xsd:decimal .
 # It holds because the following instance of the rule body is provable:
 #   :Simpson1 :samples (_:b1 _:b2 _:b3 _:b4 _:b5) .
 #   (_:b1 _:b2 _:b3 _:b4 _:b5) list:member _:b1 .
 #   _:b1 :x 0.0 .
 #   _:b1 :coef 1.0 .
-#   0.0 math:sin 0 .
-#   (0.0 2.0) math:exponentiation 0 .
-#   (0 0) math:sum 0 .
-#   0.0 math:cos 1 .
-#   (2.0 0.0) math:product 0 .
-#   (1 0) math:sum 1 .
-#   (1 2.0) math:exponentiation 1 .
-#   (1.0 1) math:sum 2 .
-#   (2 0.5) math:exponentiation 1.4142135623730951 .
+#   0.0 math:sin "0"^^xsd:decimal .
+#   (0.0 2.0) math:exponentiation "0"^^xsd:decimal .
+#   ("0"^^xsd:decimal "0"^^xsd:decimal) math:sum "0"^^xsd:decimal .
+#   0.0 math:cos "1"^^xsd:decimal .
+#   (2.0 0.0) math:product "0"^^xsd:decimal .
+#   ("1"^^xsd:decimal "0"^^xsd:decimal) math:sum "1"^^xsd:decimal .
+#   ("1"^^xsd:decimal 2.0) math:exponentiation "1"^^xsd:decimal .
+#   (1.0 "1"^^xsd:decimal) math:sum "2"^^xsd:decimal .
+#   ("2"^^xsd:decimal 0.5) math:exponentiation "1.4142135623730951"^^xsd:decimal .
 # via the schematic forward rule:
 #   {
 #     :Simpson1 :samples ?ss .
@@ -2692,22 +2693,22 @@ _:b1 :dy 1 .
 #   } .
 # with substitution (on rule variables):
 #   ?c = 1.0
-#   ?cosx = 1
-#   ?ds = 1.4142135623730951
-#   ?dy = 1
-#   ?dy2 = 1
-#   ?onePlus = 2
+#   ?cosx = "1"^^xsd:decimal
+#   ?ds = "1.4142135623730951"^^xsd:decimal
+#   ?dy = "1"^^xsd:decimal
+#   ?dy2 = "1"^^xsd:decimal
+#   ?onePlus = "2"^^xsd:decimal
 #   ?s = _:b1
-#   ?sinx = 0
+#   ?sinx = "0"^^xsd:decimal
 #   ?ss = (_:b1 _:b2 _:b3 _:b4 _:b5)
-#   ?twox = 0
+#   ?twox = "0"^^xsd:decimal
 #   ?x = 0.0
-#   ?x2 = 0
-#   ?y = 0
+#   ?x2 = "0"^^xsd:decimal
+#   ?y = "0"^^xsd:decimal
 # Therefore the derived triple above is entailed by the rules and facts.
 # ----------------------------------------------------------------------
-_:b1 :ds 1.4142135623730951 .
+_:b1 :ds "1.4142135623730951"^^xsd:decimal .
 # ----------------------------------------------------------------------
 # Proof for derived triple:
@@ -2717,15 +2718,15 @@ _:b1 :ds 1.4142135623730951 .
 #   (_:b1 _:b2 _:b3 _:b4 _:b5) list:member _:b1 .
 #   _:b1 :x 0.0 .
 #   _:b1 :coef 1.0 .
-#   0.0 math:sin 0 .
-#   (0.0 2.0) math:exponentiation 0 .
-#   (0 0) math:sum 0 .
-#   0.0 math:cos 1 .
-#   (2.0 0.0) math:product 0 .
-#   (1 0) math:sum 1 .
-#   (1 2.0) math:exponentiation 1 .
-#   (1.0 1) math:sum 2 .
-#   (2 0.5) math:exponentiation 1.4142135623730951 .
+#   0.0 math:sin "0"^^xsd:decimal .
+#   (0.0 2.0) math:exponentiation "0"^^xsd:decimal .
+#   ("0"^^xsd:decimal "0"^^xsd:decimal) math:sum "0"^^xsd:decimal .
+#   0.0 math:cos "1"^^xsd:decimal .
+#   (2.0 0.0) math:product "0"^^xsd:decimal .
+#   ("1"^^xsd:decimal "0"^^xsd:decimal) math:sum "1"^^xsd:decimal .
+#   ("1"^^xsd:decimal 2.0) math:exponentiation "1"^^xsd:decimal .
+#   (1.0 "1"^^xsd:decimal) math:sum "2"^^xsd:decimal .
+#   ("2"^^xsd:decimal 0.5) math:exponentiation "1.4142135623730951"^^xsd:decimal .
 # via the schematic forward rule:
 #   {
 #     :Simpson1 :samples ?ss .
@@ -2755,18 +2756,18 @@ _:b1 :ds 1.4142135623730951 .
 #   } .
 # with substitution (on rule variables):
 #   ?c = 1.0
-#   ?cosx = 1
-#   ?ds = 1.4142135623730951
-#   ?dy = 1
-#   ?dy2 = 1
-#   ?onePlus = 2
+#   ?cosx = "1"^^xsd:decimal
+#   ?ds = "1.4142135623730951"^^xsd:decimal
+#   ?dy = "1"^^xsd:decimal
+#   ?dy2 = "1"^^xsd:decimal
+#   ?onePlus = "2"^^xsd:decimal
 #   ?s = _:b1
-#   ?sinx = 0
+#   ?sinx = "0"^^xsd:decimal
 #   ?ss = (_:b1 _:b2 _:b3 _:b4 _:b5)
-#   ?twox = 0
+#   ?twox = "0"^^xsd:decimal
 #   ?x = 0.0
-#   ?x2 = 0
-#   ?y = 0
+#   ?x2 = "0"^^xsd:decimal
+#   ?y = "0"^^xsd:decimal
 # Therefore the derived triple above is entailed by the rules and facts.
 # ----------------------------------------------------------------------
@@ -2780,15 +2781,15 @@ _:sk_4 :sample _:b1 .
 #   (_:b1 _:b2 _:b3 _:b4 _:b5) list:member _:b1 .
 #   _:b1 :x 0.0 .
 #   _:b1 :coef 1.0 .
-#   0.0 math:sin 0 .
-#   (0.0 2.0) math:exponentiation 0 .
-#   (0 0) math:sum 0 .
-#   0.0 math:cos 1 .
-#   (2.0 0.0) math:product 0 .
-#   (1 0) math:sum 1 .
-#   (1 2.0) math:exponentiation 1 .
-#   (1.0 1) math:sum 2 .
-#   (2 0.5) math:exponentiation 1.4142135623730951 .
+#   0.0 math:sin "0"^^xsd:decimal .
+#   (0.0 2.0) math:exponentiation "0"^^xsd:decimal .
+#   ("0"^^xsd:decimal "0"^^xsd:decimal) math:sum "0"^^xsd:decimal .
+#   0.0 math:cos "1"^^xsd:decimal .
+#   (2.0 0.0) math:product "0"^^xsd:decimal .
+#   ("1"^^xsd:decimal "0"^^xsd:decimal) math:sum "1"^^xsd:decimal .
+#   ("1"^^xsd:decimal 2.0) math:exponentiation "1"^^xsd:decimal .
+#   (1.0 "1"^^xsd:decimal) math:sum "2"^^xsd:decimal .
+#   ("2"^^xsd:decimal 0.5) math:exponentiation "1.4142135623730951"^^xsd:decimal .
 # via the schematic forward rule:
 #   {
 #     :Simpson1 :samples ?ss .
@@ -2818,18 +2819,18 @@ _:sk_4 :sample _:b1 .
 #   } .
 # with substitution (on rule variables):
 #   ?c = 1.0
-#   ?cosx = 1
-#   ?ds = 1.4142135623730951
-#   ?dy = 1
-#   ?dy2 = 1
-#   ?onePlus = 2
+#   ?cosx = "1"^^xsd:decimal
+#   ?ds = "1.4142135623730951"^^xsd:decimal
+#   ?dy = "1"^^xsd:decimal
+#   ?dy2 = "1"^^xsd:decimal
+#   ?onePlus = "2"^^xsd:decimal
 #   ?s = _:b1
-#   ?sinx = 0
+#   ?sinx = "0"^^xsd:decimal
 #   ?ss = (_:b1 _:b2 _:b3 _:b4 _:b5)
-#   ?twox = 0
+#   ?twox = "0"^^xsd:decimal
 #   ?x = 0.0
-#   ?x2 = 0
-#   ?y = 0
+#   ?x2 = "0"^^xsd:decimal
+#   ?y = "0"^^xsd:decimal
 # Therefore the derived triple above is entailed by the rules and facts.
 # ----------------------------------------------------------------------
@@ -2843,15 +2844,15 @@ _:sk_4 :x 0.0 .
 #   (_:b1 _:b2 _:b3 _:b4 _:b5) list:member _:b1 .
 #   _:b1 :x 0.0 .
 #   _:b1 :coef 1.0 .
-#   0.0 math:sin 0 .
-#   (0.0 2.0) math:exponentiation 0 .
-#   (0 0) math:sum 0 .
-#   0.0 math:cos 1 .
-#   (2.0 0.0) math:product 0 .
-#   (1 0) math:sum 1 .
-#   (1 2.0) math:exponentiation 1 .
-#   (1.0 1) math:sum 2 .
-#   (2 0.5) math:exponentiation 1.4142135623730951 .
+#   0.0 math:sin "0"^^xsd:decimal .
+#   (0.0 2.0) math:exponentiation "0"^^xsd:decimal .
+#   ("0"^^xsd:decimal "0"^^xsd:decimal) math:sum "0"^^xsd:decimal .
+#   0.0 math:cos "1"^^xsd:decimal .
+#   (2.0 0.0) math:product "0"^^xsd:decimal .
+#   ("1"^^xsd:decimal "0"^^xsd:decimal) math:sum "1"^^xsd:decimal .
+#   ("1"^^xsd:decimal 2.0) math:exponentiation "1"^^xsd:decimal .
+#   (1.0 "1"^^xsd:decimal) math:sum "2"^^xsd:decimal .
+#   ("2"^^xsd:decimal 0.5) math:exponentiation "1.4142135623730951"^^xsd:decimal .
 # via the schematic forward rule:
 #   {
 #     :Simpson1 :samples ?ss .
@@ -2881,18 +2882,18 @@ _:sk_4 :x 0.0 .
 #   } .
 # with substitution (on rule variables):
 #   ?c = 1.0
-#   ?cosx = 1
-#   ?ds = 1.4142135623730951
-#   ?dy = 1
-#   ?dy2 = 1
-#   ?onePlus = 2
+#   ?cosx = "1"^^xsd:decimal
+#   ?ds = "1.4142135623730951"^^xsd:decimal
+#   ?dy = "1"^^xsd:decimal
+#   ?dy2 = "1"^^xsd:decimal
+#   ?onePlus = "2"^^xsd:decimal
 #   ?s = _:b1
-#   ?sinx = 0
+#   ?sinx = "0"^^xsd:decimal
 #   ?ss = (_:b1 _:b2 _:b3 _:b4 _:b5)
-#   ?twox = 0
+#   ?twox = "0"^^xsd:decimal
 #   ?x = 0.0
-#   ?x2 = 0
-#   ?y = 0
+#   ?x2 = "0"^^xsd:decimal
+#   ?y = "0"^^xsd:decimal
 # Therefore the derived triple above is entailed by the rules and facts.
 # ----------------------------------------------------------------------
@@ -2900,21 +2901,21 @@ _:sk_4 :coef 1.0 .
 # ----------------------------------------------------------------------
 # Proof for derived triple:
-#   _:sk_4 :y 0 .
+#   _:sk_4 :y "0"^^xsd:decimal .
 # It holds because the following instance of the rule body is provable:
 #   :Simpson1 :samples (_:b1 _:b2 _:b3 _:b4 _:b5) .
 #   (_:b1 _:b2 _:b3 _:b4 _:b5) list:member _:b1 .
 #   _:b1 :x 0.0 .
 #   _:b1 :coef 1.0 .
-#   0.0 math:sin 0 .
-#   (0.0 2.0) math:exponentiation 0 .
-#   (0 0) math:sum 0 .
-#   0.0 math:cos 1 .
-#   (2.0 0.0) math:product 0 .
-#   (1 0) math:sum 1 .
-#   (1 2.0) math:exponentiation 1 .
-#   (1.0 1) math:sum 2 .
-#   (2 0.5) math:exponentiation 1.4142135623730951 .
+#   0.0 math:sin "0"^^xsd:decimal .
+#   (0.0 2.0) math:exponentiation "0"^^xsd:decimal .
+#   ("0"^^xsd:decimal "0"^^xsd:decimal) math:sum "0"^^xsd:decimal .
+#   0.0 math:cos "1"^^xsd:decimal .
+#   (2.0 0.0) math:product "0"^^xsd:decimal .
+#   ("1"^^xsd:decimal "0"^^xsd:decimal) math:sum "1"^^xsd:decimal .
+#   ("1"^^xsd:decimal 2.0) math:exponentiation "1"^^xsd:decimal .
+#   (1.0 "1"^^xsd:decimal) math:sum "2"^^xsd:decimal .
+#   ("2"^^xsd:decimal 0.5) math:exponentiation "1.4142135623730951"^^xsd:decimal .
 # via the schematic forward rule:
 #   {
 #     :Simpson1 :samples ?ss .
@@ -2944,40 +2945,40 @@ _:sk_4 :coef 1.0 .
 #   } .
 # with substitution (on rule variables):
 #   ?c = 1.0
-#   ?cosx = 1
-#   ?ds = 1.4142135623730951
-#   ?dy = 1
-#   ?dy2 = 1
-#   ?onePlus = 2
+#   ?cosx = "1"^^xsd:decimal
+#   ?ds = "1.4142135623730951"^^xsd:decimal
+#   ?dy = "1"^^xsd:decimal
+#   ?dy2 = "1"^^xsd:decimal
+#   ?onePlus = "2"^^xsd:decimal
 #   ?s = _:b1
-#   ?sinx = 0
+#   ?sinx = "0"^^xsd:decimal
 #   ?ss = (_:b1 _:b2 _:b3 _:b4 _:b5)
-#   ?twox = 0
+#   ?twox = "0"^^xsd:decimal
 #   ?x = 0.0
-#   ?x2 = 0
-#   ?y = 0
+#   ?x2 = "0"^^xsd:decimal
+#   ?y = "0"^^xsd:decimal
 # Therefore the derived triple above is entailed by the rules and facts.
 # ----------------------------------------------------------------------
-_:sk_4 :y 0 .
+_:sk_4 :y "0"^^xsd:decimal .
 # ----------------------------------------------------------------------
 # Proof for derived triple:
-#   _:sk_4 :dy 1 .
+#   _:sk_4 :dy "1"^^xsd:decimal .
 # It holds because the following instance of the rule body is provable:
 #   :Simpson1 :samples (_:b1 _:b2 _:b3 _:b4 _:b5) .
 #   (_:b1 _:b2 _:b3 _:b4 _:b5) list:member _:b1 .
 #   _:b1 :x 0.0 .
 #   _:b1 :coef 1.0 .
-#   0.0 math:sin 0 .
-#   (0.0 2.0) math:exponentiation 0 .
-#   (0 0) math:sum 0 .
-#   0.0 math:cos 1 .
-#   (2.0 0.0) math:product 0 .
-#   (1 0) math:sum 1 .
-#   (1 2.0) math:exponentiation 1 .
-#   (1.0 1) math:sum 2 .
-#   (2 0.5) math:exponentiation 1.4142135623730951 .
+#   0.0 math:sin "0"^^xsd:decimal .
+#   (0.0 2.0) math:exponentiation "0"^^xsd:decimal .
+#   ("0"^^xsd:decimal "0"^^xsd:decimal) math:sum "0"^^xsd:decimal .
+#   0.0 math:cos "1"^^xsd:decimal .
+#   (2.0 0.0) math:product "0"^^xsd:decimal .
+#   ("1"^^xsd:decimal "0"^^xsd:decimal) math:sum "1"^^xsd:decimal .
+#   ("1"^^xsd:decimal 2.0) math:exponentiation "1"^^xsd:decimal .
+#   (1.0 "1"^^xsd:decimal) math:sum "2"^^xsd:decimal .
+#   ("2"^^xsd:decimal 0.5) math:exponentiation "1.4142135623730951"^^xsd:decimal .
 # via the schematic forward rule:
 #   {
 #     :Simpson1 :samples ?ss .
@@ -3007,40 +3008,40 @@ _:sk_4 :y 0 .
 #   } .
 # with substitution (on rule variables):
 #   ?c = 1.0
-#   ?cosx = 1
-#   ?ds = 1.4142135623730951
-#   ?dy = 1
-#   ?dy2 = 1
-#   ?onePlus = 2
+#   ?cosx = "1"^^xsd:decimal
+#   ?ds = "1.4142135623730951"^^xsd:decimal
+#   ?dy = "1"^^xsd:decimal
+#   ?dy2 = "1"^^xsd:decimal
+#   ?onePlus = "2"^^xsd:decimal
 #   ?s = _:b1
-#   ?sinx = 0
+#   ?sinx = "0"^^xsd:decimal
 #   ?ss = (_:b1 _:b2 _:b3 _:b4 _:b5)
-#   ?twox = 0
+#   ?twox = "0"^^xsd:decimal
 #   ?x = 0.0
-#   ?x2 = 0
-#   ?y = 0
+#   ?x2 = "0"^^xsd:decimal
+#   ?y = "0"^^xsd:decimal
 # Therefore the derived triple above is entailed by the rules and facts.
 # ----------------------------------------------------------------------
-_:sk_4 :dy 1 .
+_:sk_4 :dy "1"^^xsd:decimal .
 # ----------------------------------------------------------------------
 # Proof for derived triple:
-#   _:sk_4 :ds 1.4142135623730951 .
+#   _:sk_4 :ds "1.4142135623730951"^^xsd:decimal .
 # It holds because the following instance of the rule body is provable:
 #   :Simpson1 :samples (_:b1 _:b2 _:b3 _:b4 _:b5) .
 #   (_:b1 _:b2 _:b3 _:b4 _:b5) list:member _:b1 .
 #   _:b1 :x 0.0 .
 #   _:b1 :coef 1.0 .
-#   0.0 math:sin 0 .
-#   (0.0 2.0) math:exponentiation 0 .
-#   (0 0) math:sum 0 .
-#   0.0 math:cos 1 .
-#   (2.0 0.0) math:product 0 .
-#   (1 0) math:sum 1 .
-#   (1 2.0) math:exponentiation 1 .
-#   (1.0 1) math:sum 2 .
-#   (2 0.5) math:exponentiation 1.4142135623730951 .
+#   0.0 math:sin "0"^^xsd:decimal .
+#   (0.0 2.0) math:exponentiation "0"^^xsd:decimal .
+#   ("0"^^xsd:decimal "0"^^xsd:decimal) math:sum "0"^^xsd:decimal .
+#   0.0 math:cos "1"^^xsd:decimal .
+#   (2.0 0.0) math:product "0"^^xsd:decimal .
+#   ("1"^^xsd:decimal "0"^^xsd:decimal) math:sum "1"^^xsd:decimal .
+#   ("1"^^xsd:decimal 2.0) math:exponentiation "1"^^xsd:decimal .
+#   (1.0 "1"^^xsd:decimal) math:sum "2"^^xsd:decimal .
+#   ("2"^^xsd:decimal 0.5) math:exponentiation "1.4142135623730951"^^xsd:decimal .
 # via the schematic forward rule:
 #   {
 #     :Simpson1 :samples ?ss .
@@ -3070,22 +3071,22 @@ _:sk_4 :dy 1 .
 #   } .
 # with substitution (on rule variables):
 #   ?c = 1.0
-#   ?cosx = 1
-#   ?ds = 1.4142135623730951
-#   ?dy = 1
-#   ?dy2 = 1
-#   ?onePlus = 2
+#   ?cosx = "1"^^xsd:decimal
+#   ?ds = "1.4142135623730951"^^xsd:decimal
+#   ?dy = "1"^^xsd:decimal
+#   ?dy2 = "1"^^xsd:decimal
+#   ?onePlus = "2"^^xsd:decimal
 #   ?s = _:b1
-#   ?sinx = 0
+#   ?sinx = "0"^^xsd:decimal
 #   ?ss = (_:b1 _:b2 _:b3 _:b4 _:b5)
-#   ?twox = 0
+#   ?twox = "0"^^xsd:decimal
 #   ?x = 0.0
-#   ?x2 = 0
-#   ?y = 0
+#   ?x2 = "0"^^xsd:decimal
+#   ?y = "0"^^xsd:decimal
 # Therefore the derived triple above is entailed by the rules and facts.
 # ----------------------------------------------------------------------
-_:sk_4 :ds 1.4142135623730951 .
+_:sk_4 :ds "1.4142135623730951"^^xsd:decimal .
 # ----------------------------------------------------------------------
 # Proof for derived triple:
@@ -3095,15 +3096,15 @@ _:sk_4 :ds 1.4142135623730951 .
 #   (_:b1 _:b2 _:b3 _:b4 _:b5) list:member _:b1 .
 #   _:b1 :x 0.0 .
 #   _:b1 :coef 1.0 .
-#   0.0 math:sin 0 .
-#   (0.0 2.0) math:exponentiation 0 .
-#   (0 0) math:sum 0 .
-#   0.0 math:cos 1 .
-#   (2.0 0.0) math:product 0 .
-#   (1 0) math:sum 1 .
-#   (1 2.0) math:exponentiation 1 .
-#   (1.0 1) math:sum 2 .
-#   (2 0.5) math:exponentiation 1.4142135623730951 .
+#   0.0 math:sin "0"^^xsd:decimal .
+#   (0.0 2.0) math:exponentiation "0"^^xsd:decimal .
+#   ("0"^^xsd:decimal "0"^^xsd:decimal) math:sum "0"^^xsd:decimal .
+#   0.0 math:cos "1"^^xsd:decimal .
+#   (2.0 0.0) math:product "0"^^xsd:decimal .
+#   ("1"^^xsd:decimal "0"^^xsd:decimal) math:sum "1"^^xsd:decimal .
+#   ("1"^^xsd:decimal 2.0) math:exponentiation "1"^^xsd:decimal .
+#   (1.0 "1"^^xsd:decimal) math:sum "2"^^xsd:decimal .
+#   ("2"^^xsd:decimal 0.5) math:exponentiation "1.4142135623730951"^^xsd:decimal .
 # via the schematic forward rule:
 #   {
 #     :Simpson1 :samples ?ss .
@@ -3133,18 +3134,18 @@ _:sk_4 :ds 1.4142135623730951 .
 #   } .
 # with substitution (on rule variables):
 #   ?c = 1.0
-#   ?cosx = 1
-#   ?ds = 1.4142135623730951
-#   ?dy = 1
-#   ?dy2 = 1
-#   ?onePlus = 2
+#   ?cosx = "1"^^xsd:decimal
+#   ?ds = "1.4142135623730951"^^xsd:decimal
+#   ?dy = "1"^^xsd:decimal
+#   ?dy2 = "1"^^xsd:decimal
+#   ?onePlus = "2"^^xsd:decimal
 #   ?s = _:b1
-#   ?sinx = 0
+#   ?sinx = "0"^^xsd:decimal
 #   ?ss = (_:b1 _:b2 _:b3 _:b4 _:b5)
-#   ?twox = 0
+#   ?twox = "0"^^xsd:decimal
 #   ?x = 0.0
-#   ?x2 = 0
-#   ?y = 0
+#   ?x2 = "0"^^xsd:decimal
+#   ?y = "0"^^xsd:decimal
 # Therefore the derived triple above is entailed by the rules and facts.
 # ----------------------------------------------------------------------
@@ -3152,7 +3153,7 @@ _:sk_4 :ds 1.4142135623730951 .
 # ----------------------------------------------------------------------
 # Proof for derived triple:
-#   :Simpson1 :sumWY 24.499921497274507 .
+#   :Simpson1 :sumWY "24.499921497274507"^^xsd:decimal .
 # It holds because the following instance of the rule body is provable:
 #   :Simpson1 :samples (_:b1 _:b2 _:b3 _:b4 _:b5) .
 #   (?wy {
@@ -3160,8 +3161,8 @@ _:sk_4 :ds 1.4142135623730951 .
 #       ?s :coef ?c .
 #       ?s :y ?y .
 #       (?c ?y) math:product ?wy .
-#   } (4.909297426825682 12.989979946416218 3.682941969615793 2.917702154416812 0)) log:collectAllIn ?_b1 .
-#   (4.909297426825682 12.989979946416218 3.682941969615793 2.917702154416812 0) math:sum 24.499921497274507 .
+#   } ("4.909297426825682"^^xsd:decimal "12.989979946416218"^^xsd:decimal "3.682941969615793"^^xsd:decimal "2.917702154416812"^^xsd:decimal "0"^^xsd:decimal)) log:collectAllIn ?_b1 .
+#   ("4.909297426825682"^^xsd:decimal "12.989979946416218"^^xsd:decimal "3.682941969615793"^^xsd:decimal "2.917702154416812"^^xsd:decimal "0"^^xsd:decimal) math:sum "24.499921497274507"^^xsd:decimal .
 #   (?wxy {
 #       (_:b1 _:b2 _:b3 _:b4 _:b5) list:member ?s .
 #       ?s :coef ?c .
@@ -3169,23 +3170,23 @@ _:sk_4 :ds 1.4142135623730951 .
 #       ?s :y ?y .
 #       (?x ?y) math:product ?xy .
 #       (?c ?xy) math:product ?wxy .
-#   } (9.818594853651364 19.484969919624326 3.682941969615793 1.458851077208406 0)) log:collectAllIn ?_b2 .
-#   (9.818594853651364 19.484969919624326 3.682941969615793 1.458851077208406 0) math:sum 34.445357820099886 .
+#   } ("9.818594853651364"^^xsd:decimal "19.484969919624326"^^xsd:decimal "3.682941969615793"^^xsd:decimal "1.458851077208406"^^xsd:decimal "0"^^xsd:decimal)) log:collectAllIn ?_b2 .
+#   ("9.818594853651364"^^xsd:decimal "19.484969919624326"^^xsd:decimal "3.682941969615793"^^xsd:decimal "1.458851077208406"^^xsd:decimal "0"^^xsd:decimal) math:sum "34.445357820099886"^^xsd:decimal .
 #   (?wy2 {
 #       (_:b1 _:b2 _:b3 _:b4 _:b5) list:member ?s .
 #       ?s :coef ?c .
 #       ?s :y ?y .
 #       (?y 2.0) math:exponentiation ?y2 .
 #       (?c ?y2) math:product ?wy2 .
-#   } (24.10120122503726 42.18489475207387 6.782030775778728 2.1282464654721265 0)) log:collectAllIn ?_b3 .
-#   (24.10120122503726 42.18489475207387 6.782030775778728 2.1282464654721265 0) math:sum 75.19637321836198 .
+#   } ("24.10120122503726"^^xsd:decimal "42.18489475207387"^^xsd:decimal "6.782030775778728"^^xsd:decimal "2.1282464654721265"^^xsd:decimal "0"^^xsd:decimal)) log:collectAllIn ?_b3 .
+#   ("24.10120122503726"^^xsd:decimal "42.18489475207387"^^xsd:decimal "6.782030775778728"^^xsd:decimal "2.1282464654721265"^^xsd:decimal "0"^^xsd:decimal) math:sum "75.19637321836198"^^xsd:decimal .
 #   (?wds {
 #       (_:b1 _:b2 _:b3 _:b4 _:b5) list:member ?s .
 #       ?s :coef ?c .
 #       ?s :ds ?ds .
 #       (?c ?ds) math:product ?wds .
-#   } (3.720753081997118 12.917849332891908 5.460086374847559 8.50911631295736 1.4142135623730951)) log:collectAllIn ?_b4 .
-#   (3.720753081997118 12.917849332891908 5.460086374847559 8.50911631295736 1.4142135623730951) math:sum 32.02201866506704 .
+#   } ("3.720753081997118"^^xsd:decimal "12.917849332891908"^^xsd:decimal "5.460086374847559"^^xsd:decimal "8.50911631295736"^^xsd:decimal "1.4142135623730951"^^xsd:decimal)) log:collectAllIn ?_b4 .
+#   ("3.720753081997118"^^xsd:decimal "12.917849332891908"^^xsd:decimal "5.460086374847559"^^xsd:decimal "8.50911631295736"^^xsd:decimal "1.4142135623730951"^^xsd:decimal) math:sum "32.02201866506704"^^xsd:decimal .
 # via the schematic forward rule:
 #   {
 #     :Simpson1 :samples ?ss .
@@ -3228,22 +3229,22 @@ _:sk_4 :ds 1.4142135623730951 .
 #   } .
 # with substitution (on rule variables):
 #   ?ss = (_:b1 _:b2 _:b3 _:b4 _:b5)
-#   ?sumWDS = 32.02201866506704
-#   ?sumWXY = 34.445357820099886
-#   ?sumWY = 24.499921497274507
-#   ?sumWY2 = 75.19637321836198
-#   ?wdss = (3.720753081997118 12.917849332891908 5.460086374847559 8.50911631295736 1.4142135623730951)
-#   ?wxys = (9.818594853651364 19.484969919624326 3.682941969615793 1.458851077208406 0)
-#   ?wy2s = (24.10120122503726 42.18489475207387 6.782030775778728 2.1282464654721265 0)
-#   ?wys = (4.909297426825682 12.989979946416218 3.682941969615793 2.917702154416812 0)
+#   ?sumWDS = "32.02201866506704"^^xsd:decimal
+#   ?sumWXY = "34.445357820099886"^^xsd:decimal
+#   ?sumWY = "24.499921497274507"^^xsd:decimal
+#   ?sumWY2 = "75.19637321836198"^^xsd:decimal
+#   ?wdss = ("3.720753081997118"^^xsd:decimal "12.917849332891908"^^xsd:decimal "5.460086374847559"^^xsd:decimal "8.50911631295736"^^xsd:decimal "1.4142135623730951"^^xsd:decimal)
+#   ?wxys = ("9.818594853651364"^^xsd:decimal "19.484969919624326"^^xsd:decimal "3.682941969615793"^^xsd:decimal "1.458851077208406"^^xsd:decimal "0"^^xsd:decimal)
+#   ?wy2s = ("24.10120122503726"^^xsd:decimal "42.18489475207387"^^xsd:decimal "6.782030775778728"^^xsd:decimal "2.1282464654721265"^^xsd:decimal "0"^^xsd:decimal)
+#   ?wys = ("4.909297426825682"^^xsd:decimal "12.989979946416218"^^xsd:decimal "3.682941969615793"^^xsd:decimal "2.917702154416812"^^xsd:decimal "0"^^xsd:decimal)
 # Therefore the derived triple above is entailed by the rules and facts.
 # ----------------------------------------------------------------------
-:Simpson1 :sumWY 24.499921497274507 .
+:Simpson1 :sumWY "24.499921497274507"^^xsd:decimal .
 # ----------------------------------------------------------------------
 # Proof for derived triple:
-#   :Simpson1 :sumWXY 34.445357820099886 .
+#   :Simpson1 :sumWXY "34.445357820099886"^^xsd:decimal .
 # It holds because the following instance of the rule body is provable:
 #   :Simpson1 :samples (_:b1 _:b2 _:b3 _:b4 _:b5) .
 #   (?wy {
@@ -3251,8 +3252,8 @@ _:sk_4 :ds 1.4142135623730951 .
 #       ?s :coef ?c .
 #       ?s :y ?y .
 #       (?c ?y) math:product ?wy .
-#   } (4.909297426825682 12.989979946416218 3.682941969615793 2.917702154416812 0)) log:collectAllIn ?_b1 .
-#   (4.909297426825682 12.989979946416218 3.682941969615793 2.917702154416812 0) math:sum 24.499921497274507 .
+#   } ("4.909297426825682"^^xsd:decimal "12.989979946416218"^^xsd:decimal "3.682941969615793"^^xsd:decimal "2.917702154416812"^^xsd:decimal "0"^^xsd:decimal)) log:collectAllIn ?_b1 .
+#   ("4.909297426825682"^^xsd:decimal "12.989979946416218"^^xsd:decimal "3.682941969615793"^^xsd:decimal "2.917702154416812"^^xsd:decimal "0"^^xsd:decimal) math:sum "24.499921497274507"^^xsd:decimal .
 #   (?wxy {
 #       (_:b1 _:b2 _:b3 _:b4 _:b5) list:member ?s .
 #       ?s :coef ?c .
@@ -3260,23 +3261,23 @@ _:sk_4 :ds 1.4142135623730951 .
 #       ?s :y ?y .
 #       (?x ?y) math:product ?xy .
 #       (?c ?xy) math:product ?wxy .
-#   } (9.818594853651364 19.484969919624326 3.682941969615793 1.458851077208406 0)) log:collectAllIn ?_b2 .
-#   (9.818594853651364 19.484969919624326 3.682941969615793 1.458851077208406 0) math:sum 34.445357820099886 .
+#   } ("9.818594853651364"^^xsd:decimal "19.484969919624326"^^xsd:decimal "3.682941969615793"^^xsd:decimal "1.458851077208406"^^xsd:decimal "0"^^xsd:decimal)) log:collectAllIn ?_b2 .
+#   ("9.818594853651364"^^xsd:decimal "19.484969919624326"^^xsd:decimal "3.682941969615793"^^xsd:decimal "1.458851077208406"^^xsd:decimal "0"^^xsd:decimal) math:sum "34.445357820099886"^^xsd:decimal .
 #   (?wy2 {
 #       (_:b1 _:b2 _:b3 _:b4 _:b5) list:member ?s .
 #       ?s :coef ?c .
 #       ?s :y ?y .
 #       (?y 2.0) math:exponentiation ?y2 .
 #       (?c ?y2) math:product ?wy2 .
-#   } (24.10120122503726 42.18489475207387 6.782030775778728 2.1282464654721265 0)) log:collectAllIn ?_b3 .
-#   (24.10120122503726 42.18489475207387 6.782030775778728 2.1282464654721265 0) math:sum 75.19637321836198 .
+#   } ("24.10120122503726"^^xsd:decimal "42.18489475207387"^^xsd:decimal "6.782030775778728"^^xsd:decimal "2.1282464654721265"^^xsd:decimal "0"^^xsd:decimal)) log:collectAllIn ?_b3 .
+#   ("24.10120122503726"^^xsd:decimal "42.18489475207387"^^xsd:decimal "6.782030775778728"^^xsd:decimal "2.1282464654721265"^^xsd:decimal "0"^^xsd:decimal) math:sum "75.19637321836198"^^xsd:decimal .
 #   (?wds {
 #       (_:b1 _:b2 _:b3 _:b4 _:b5) list:member ?s .
 #       ?s :coef ?c .
 #       ?s :ds ?ds .
 #       (?c ?ds) math:product ?wds .
-#   } (3.720753081997118 12.917849332891908 5.460086374847559 8.50911631295736 1.4142135623730951)) log:collectAllIn ?_b4 .
-#   (3.720753081997118 12.917849332891908 5.460086374847559 8.50911631295736 1.4142135623730951) math:sum 32.02201866506704 .
+#   } ("3.720753081997118"^^xsd:decimal "12.917849332891908"^^xsd:decimal "5.460086374847559"^^xsd:decimal "8.50911631295736"^^xsd:decimal "1.4142135623730951"^^xsd:decimal)) log:collectAllIn ?_b4 .
+#   ("3.720753081997118"^^xsd:decimal "12.917849332891908"^^xsd:decimal "5.460086374847559"^^xsd:decimal "8.50911631295736"^^xsd:decimal "1.4142135623730951"^^xsd:decimal) math:sum "32.02201866506704"^^xsd:decimal .
 # via the schematic forward rule:
 #   {
 #     :Simpson1 :samples ?ss .
@@ -3319,22 +3320,22 @@ _:sk_4 :ds 1.4142135623730951 .
 #   } .
 # with substitution (on rule variables):
 #   ?ss = (_:b1 _:b2 _:b3 _:b4 _:b5)
-#   ?sumWDS = 32.02201866506704
-#   ?sumWXY = 34.445357820099886
-#   ?sumWY = 24.499921497274507
-#   ?sumWY2 = 75.19637321836198
-#   ?wdss = (3.720753081997118 12.917849332891908 5.460086374847559 8.50911631295736 1.4142135623730951)
-#   ?wxys = (9.818594853651364 19.484969919624326 3.682941969615793 1.458851077208406 0)
-#   ?wy2s = (24.10120122503726 42.18489475207387 6.782030775778728 2.1282464654721265 0)
-#   ?wys = (4.909297426825682 12.989979946416218 3.682941969615793 2.917702154416812 0)
+#   ?sumWDS = "32.02201866506704"^^xsd:decimal
+#   ?sumWXY = "34.445357820099886"^^xsd:decimal
+#   ?sumWY = "24.499921497274507"^^xsd:decimal
+#   ?sumWY2 = "75.19637321836198"^^xsd:decimal
+#   ?wdss = ("3.720753081997118"^^xsd:decimal "12.917849332891908"^^xsd:decimal "5.460086374847559"^^xsd:decimal "8.50911631295736"^^xsd:decimal "1.4142135623730951"^^xsd:decimal)
+#   ?wxys = ("9.818594853651364"^^xsd:decimal "19.484969919624326"^^xsd:decimal "3.682941969615793"^^xsd:decimal "1.458851077208406"^^xsd:decimal "0"^^xsd:decimal)
+#   ?wy2s = ("24.10120122503726"^^xsd:decimal "42.18489475207387"^^xsd:decimal "6.782030775778728"^^xsd:decimal "2.1282464654721265"^^xsd:decimal "0"^^xsd:decimal)
+#   ?wys = ("4.909297426825682"^^xsd:decimal "12.989979946416218"^^xsd:decimal "3.682941969615793"^^xsd:decimal "2.917702154416812"^^xsd:decimal "0"^^xsd:decimal)
 # Therefore the derived triple above is entailed by the rules and facts.
 # ----------------------------------------------------------------------
-:Simpson1 :sumWXY 34.445357820099886 .
+:Simpson1 :sumWXY "34.445357820099886"^^xsd:decimal .
 # ----------------------------------------------------------------------
 # Proof for derived triple:
-#   :Simpson1 :sumWY2 75.19637321836198 .
+#   :Simpson1 :sumWY2 "75.19637321836198"^^xsd:decimal .
 # It holds because the following instance of the rule body is provable:
 #   :Simpson1 :samples (_:b1 _:b2 _:b3 _:b4 _:b5) .
 #   (?wy {
@@ -3342,8 +3343,8 @@ _:sk_4 :ds 1.4142135623730951 .
 #       ?s :coef ?c .
 #       ?s :y ?y .
 #       (?c ?y) math:product ?wy .
-#   } (4.909297426825682 12.989979946416218 3.682941969615793 2.917702154416812 0)) log:collectAllIn ?_b1 .
-#   (4.909297426825682 12.989979946416218 3.682941969615793 2.917702154416812 0) math:sum 24.499921497274507 .
+#   } ("4.909297426825682"^^xsd:decimal "12.989979946416218"^^xsd:decimal "3.682941969615793"^^xsd:decimal "2.917702154416812"^^xsd:decimal "0"^^xsd:decimal)) log:collectAllIn ?_b1 .
+#   ("4.909297426825682"^^xsd:decimal "12.989979946416218"^^xsd:decimal "3.682941969615793"^^xsd:decimal "2.917702154416812"^^xsd:decimal "0"^^xsd:decimal) math:sum "24.499921497274507"^^xsd:decimal .
 #   (?wxy {
 #       (_:b1 _:b2 _:b3 _:b4 _:b5) list:member ?s .
 #       ?s :coef ?c .
@@ -3351,23 +3352,23 @@ _:sk_4 :ds 1.4142135623730951 .
 #       ?s :y ?y .
 #       (?x ?y) math:product ?xy .
 #       (?c ?xy) math:product ?wxy .
-#   } (9.818594853651364 19.484969919624326 3.682941969615793 1.458851077208406 0)) log:collectAllIn ?_b2 .
-#   (9.818594853651364 19.484969919624326 3.682941969615793 1.458851077208406 0) math:sum 34.445357820099886 .
+#   } ("9.818594853651364"^^xsd:decimal "19.484969919624326"^^xsd:decimal "3.682941969615793"^^xsd:decimal "1.458851077208406"^^xsd:decimal "0"^^xsd:decimal)) log:collectAllIn ?_b2 .
+#   ("9.818594853651364"^^xsd:decimal "19.484969919624326"^^xsd:decimal "3.682941969615793"^^xsd:decimal "1.458851077208406"^^xsd:decimal "0"^^xsd:decimal) math:sum "34.445357820099886"^^xsd:decimal .
 #   (?wy2 {
 #       (_:b1 _:b2 _:b3 _:b4 _:b5) list:member ?s .
 #       ?s :coef ?c .
 #       ?s :y ?y .
 #       (?y 2.0) math:exponentiation ?y2 .
 #       (?c ?y2) math:product ?wy2 .
-#   } (24.10120122503726 42.18489475207387 6.782030775778728 2.1282464654721265 0)) log:collectAllIn ?_b3 .
-#   (24.10120122503726 42.18489475207387 6.782030775778728 2.1282464654721265 0) math:sum 75.19637321836198 .
+#   } ("24.10120122503726"^^xsd:decimal "42.18489475207387"^^xsd:decimal "6.782030775778728"^^xsd:decimal "2.1282464654721265"^^xsd:decimal "0"^^xsd:decimal)) log:collectAllIn ?_b3 .
+#   ("24.10120122503726"^^xsd:decimal "42.18489475207387"^^xsd:decimal "6.782030775778728"^^xsd:decimal "2.1282464654721265"^^xsd:decimal "0"^^xsd:decimal) math:sum "75.19637321836198"^^xsd:decimal .
 #   (?wds {
 #       (_:b1 _:b2 _:b3 _:b4 _:b5) list:member ?s .
 #       ?s :coef ?c .
 #       ?s :ds ?ds .
 #       (?c ?ds) math:product ?wds .
-#   } (3.720753081997118 12.917849332891908 5.460086374847559 8.50911631295736 1.4142135623730951)) log:collectAllIn ?_b4 .
-#   (3.720753081997118 12.917849332891908 5.460086374847559 8.50911631295736 1.4142135623730951) math:sum 32.02201866506704 .
+#   } ("3.720753081997118"^^xsd:decimal "12.917849332891908"^^xsd:decimal "5.460086374847559"^^xsd:decimal "8.50911631295736"^^xsd:decimal "1.4142135623730951"^^xsd:decimal)) log:collectAllIn ?_b4 .
+#   ("3.720753081997118"^^xsd:decimal "12.917849332891908"^^xsd:decimal "5.460086374847559"^^xsd:decimal "8.50911631295736"^^xsd:decimal "1.4142135623730951"^^xsd:decimal) math:sum "32.02201866506704"^^xsd:decimal .
 # via the schematic forward rule:
 #   {
 #     :Simpson1 :samples ?ss .
@@ -3410,22 +3411,22 @@ _:sk_4 :ds 1.4142135623730951 .
 #   } .
 # with substitution (on rule variables):
 #   ?ss = (_:b1 _:b2 _:b3 _:b4 _:b5)
-#   ?sumWDS = 32.02201866506704
-#   ?sumWXY = 34.445357820099886
-#   ?sumWY = 24.499921497274507
-#   ?sumWY2 = 75.19637321836198
-#   ?wdss = (3.720753081997118 12.917849332891908 5.460086374847559 8.50911631295736 1.4142135623730951)
-#   ?wxys = (9.818594853651364 19.484969919624326 3.682941969615793 1.458851077208406 0)
-#   ?wy2s = (24.10120122503726 42.18489475207387 6.782030775778728 2.1282464654721265 0)
-#   ?wys = (4.909297426825682 12.989979946416218 3.682941969615793 2.917702154416812 0)
+#   ?sumWDS = "32.02201866506704"^^xsd:decimal
+#   ?sumWXY = "34.445357820099886"^^xsd:decimal
+#   ?sumWY = "24.499921497274507"^^xsd:decimal
+#   ?sumWY2 = "75.19637321836198"^^xsd:decimal
+#   ?wdss = ("3.720753081997118"^^xsd:decimal "12.917849332891908"^^xsd:decimal "5.460086374847559"^^xsd:decimal "8.50911631295736"^^xsd:decimal "1.4142135623730951"^^xsd:decimal)
+#   ?wxys = ("9.818594853651364"^^xsd:decimal "19.484969919624326"^^xsd:decimal "3.682941969615793"^^xsd:decimal "1.458851077208406"^^xsd:decimal "0"^^xsd:decimal)
+#   ?wy2s = ("24.10120122503726"^^xsd:decimal "42.18489475207387"^^xsd:decimal "6.782030775778728"^^xsd:decimal "2.1282464654721265"^^xsd:decimal "0"^^xsd:decimal)
+#   ?wys = ("4.909297426825682"^^xsd:decimal "12.989979946416218"^^xsd:decimal "3.682941969615793"^^xsd:decimal "2.917702154416812"^^xsd:decimal "0"^^xsd:decimal)
 # Therefore the derived triple above is entailed by the rules and facts.
 # ----------------------------------------------------------------------
-:Simpson1 :sumWY2 75.19637321836198 .
+:Simpson1 :sumWY2 "75.19637321836198"^^xsd:decimal .
 # ----------------------------------------------------------------------
 # Proof for derived triple:
-#   :Simpson1 :sumWDS 32.02201866506704 .
+#   :Simpson1 :sumWDS "32.02201866506704"^^xsd:decimal .
 # It holds because the following instance of the rule body is provable:
 #   :Simpson1 :samples (_:b1 _:b2 _:b3 _:b4 _:b5) .
 #   (?wy {
@@ -3433,8 +3434,8 @@ _:sk_4 :ds 1.4142135623730951 .
 #       ?s :coef ?c .
 #       ?s :y ?y .
 #       (?c ?y) math:product ?wy .
-#   } (4.909297426825682 12.989979946416218 3.682941969615793 2.917702154416812 0)) log:collectAllIn ?_b1 .
-#   (4.909297426825682 12.989979946416218 3.682941969615793 2.917702154416812 0) math:sum 24.499921497274507 .
+#   } ("4.909297426825682"^^xsd:decimal "12.989979946416218"^^xsd:decimal "3.682941969615793"^^xsd:decimal "2.917702154416812"^^xsd:decimal "0"^^xsd:decimal)) log:collectAllIn ?_b1 .
+#   ("4.909297426825682"^^xsd:decimal "12.989979946416218"^^xsd:decimal "3.682941969615793"^^xsd:decimal "2.917702154416812"^^xsd:decimal "0"^^xsd:decimal) math:sum "24.499921497274507"^^xsd:decimal .
 #   (?wxy {
 #       (_:b1 _:b2 _:b3 _:b4 _:b5) list:member ?s .
 #       ?s :coef ?c .
@@ -3442,23 +3443,23 @@ _:sk_4 :ds 1.4142135623730951 .
 #       ?s :y ?y .
 #       (?x ?y) math:product ?xy .
 #       (?c ?xy) math:product ?wxy .
-#   } (9.818594853651364 19.484969919624326 3.682941969615793 1.458851077208406 0)) log:collectAllIn ?_b2 .
-#   (9.818594853651364 19.484969919624326 3.682941969615793 1.458851077208406 0) math:sum 34.445357820099886 .
+#   } ("9.818594853651364"^^xsd:decimal "19.484969919624326"^^xsd:decimal "3.682941969615793"^^xsd:decimal "1.458851077208406"^^xsd:decimal "0"^^xsd:decimal)) log:collectAllIn ?_b2 .
+#   ("9.818594853651364"^^xsd:decimal "19.484969919624326"^^xsd:decimal "3.682941969615793"^^xsd:decimal "1.458851077208406"^^xsd:decimal "0"^^xsd:decimal) math:sum "34.445357820099886"^^xsd:decimal .
 #   (?wy2 {
 #       (_:b1 _:b2 _:b3 _:b4 _:b5) list:member ?s .
 #       ?s :coef ?c .
 #       ?s :y ?y .
 #       (?y 2.0) math:exponentiation ?y2 .
 #       (?c ?y2) math:product ?wy2 .
-#   } (24.10120122503726 42.18489475207387 6.782030775778728 2.1282464654721265 0)) log:collectAllIn ?_b3 .
-#   (24.10120122503726 42.18489475207387 6.782030775778728 2.1282464654721265 0) math:sum 75.19637321836198 .
+#   } ("24.10120122503726"^^xsd:decimal "42.18489475207387"^^xsd:decimal "6.782030775778728"^^xsd:decimal "2.1282464654721265"^^xsd:decimal "0"^^xsd:decimal)) log:collectAllIn ?_b3 .
+#   ("24.10120122503726"^^xsd:decimal "42.18489475207387"^^xsd:decimal "6.782030775778728"^^xsd:decimal "2.1282464654721265"^^xsd:decimal "0"^^xsd:decimal) math:sum "75.19637321836198"^^xsd:decimal .
 #   (?wds {
 #       (_:b1 _:b2 _:b3 _:b4 _:b5) list:member ?s .
 #       ?s :coef ?c .
 #       ?s :ds ?ds .
 #       (?c ?ds) math:product ?wds .
-#   } (3.720753081997118 12.917849332891908 5.460086374847559 8.50911631295736 1.4142135623730951)) log:collectAllIn ?_b4 .
-#   (3.720753081997118 12.917849332891908 5.460086374847559 8.50911631295736 1.4142135623730951) math:sum 32.02201866506704 .
+#   } ("3.720753081997118"^^xsd:decimal "12.917849332891908"^^xsd:decimal "5.460086374847559"^^xsd:decimal "8.50911631295736"^^xsd:decimal "1.4142135623730951"^^xsd:decimal)) log:collectAllIn ?_b4 .
+#   ("3.720753081997118"^^xsd:decimal "12.917849332891908"^^xsd:decimal "5.460086374847559"^^xsd:decimal "8.50911631295736"^^xsd:decimal "1.4142135623730951"^^xsd:decimal) math:sum "32.02201866506704"^^xsd:decimal .
 # via the schematic forward rule:
 #   {
 #     :Simpson1 :samples ?ss .
@@ -3501,36 +3502,36 @@ _:sk_4 :ds 1.4142135623730951 .
 #   } .
 # with substitution (on rule variables):
 #   ?ss = (_:b1 _:b2 _:b3 _:b4 _:b5)
-#   ?sumWDS = 32.02201866506704
-#   ?sumWXY = 34.445357820099886
-#   ?sumWY = 24.499921497274507
-#   ?sumWY2 = 75.19637321836198
-#   ?wdss = (3.720753081997118 12.917849332891908 5.460086374847559 8.50911631295736 1.4142135623730951)
-#   ?wxys = (9.818594853651364 19.484969919624326 3.682941969615793 1.458851077208406 0)
-#   ?wy2s = (24.10120122503726 42.18489475207387 6.782030775778728 2.1282464654721265 0)
-#   ?wys = (4.909297426825682 12.989979946416218 3.682941969615793 2.917702154416812 0)
+#   ?sumWDS = "32.02201866506704"^^xsd:decimal
+#   ?sumWXY = "34.445357820099886"^^xsd:decimal
+#   ?sumWY = "24.499921497274507"^^xsd:decimal
+#   ?sumWY2 = "75.19637321836198"^^xsd:decimal
+#   ?wdss = ("3.720753081997118"^^xsd:decimal "12.917849332891908"^^xsd:decimal "5.460086374847559"^^xsd:decimal "8.50911631295736"^^xsd:decimal "1.4142135623730951"^^xsd:decimal)
+#   ?wxys = ("9.818594853651364"^^xsd:decimal "19.484969919624326"^^xsd:decimal "3.682941969615793"^^xsd:decimal "1.458851077208406"^^xsd:decimal "0"^^xsd:decimal)
+#   ?wy2s = ("24.10120122503726"^^xsd:decimal "42.18489475207387"^^xsd:decimal "6.782030775778728"^^xsd:decimal "2.1282464654721265"^^xsd:decimal "0"^^xsd:decimal)
+#   ?wys = ("4.909297426825682"^^xsd:decimal "12.989979946416218"^^xsd:decimal "3.682941969615793"^^xsd:decimal "2.917702154416812"^^xsd:decimal "0"^^xsd:decimal)
 # Therefore the derived triple above is entailed by the rules and facts.
 # ----------------------------------------------------------------------
-:Simpson1 :sumWDS 32.02201866506704 .
+:Simpson1 :sumWDS "32.02201866506704"^^xsd:decimal .
 # ----------------------------------------------------------------------
 # Proof for derived triple:
-#   :Simpson1 :areaUnderCurve 4.083320249545751 .
+#   :Simpson1 :areaUnderCurve "4.083320249545751"^^xsd:decimal .
 # It holds because the following instance of the rule body is provable:
 #   :Simpson1 :h 0.5 .
-#   :Simpson1 :sumWY 24.499921497274507 .
-#   :Simpson1 :sumWXY 34.445357820099886 .
-#   :Simpson1 :sumWY2 75.19637321836198 .
-#   :Simpson1 :sumWDS 32.02201866506704 .
-#   (0.5 3.0) math:quotient 0.16666666666666666 .
-#   (0.16666666666666666 24.499921497274507) math:product 4.083320249545751 .
-#   (0.16666666666666666 34.445357820099886) math:product 5.740892970016647 .
-#   (0.16666666666666666 75.19637321836198) math:product 12.532728869726997 .
-#   (0.5 12.532728869726997) math:product 6.266364434863498 .
-#   (0.16666666666666666 32.02201866506704) math:product 5.337003110844506 .
-#   (5.740892970016647 4.083320249545751) math:quotient 1.405937477143825 .
-#   (6.266364434863498 4.083320249545751) math:quotient 1.5346247788330099 .
+#   :Simpson1 :sumWY "24.499921497274507"^^xsd:decimal .
+#   :Simpson1 :sumWXY "34.445357820099886"^^xsd:decimal .
+#   :Simpson1 :sumWY2 "75.19637321836198"^^xsd:decimal .
+#   :Simpson1 :sumWDS "32.02201866506704"^^xsd:decimal .
+#   (0.5 3.0) math:quotient "0.16666666666666666"^^xsd:decimal .
+#   ("0.16666666666666666"^^xsd:decimal "24.499921497274507"^^xsd:decimal) math:product "4.083320249545751"^^xsd:decimal .
+#   ("0.16666666666666666"^^xsd:decimal "34.445357820099886"^^xsd:decimal) math:product "5.740892970016647"^^xsd:decimal .
+#   ("0.16666666666666666"^^xsd:decimal "75.19637321836198"^^xsd:decimal) math:product "12.532728869726997"^^xsd:decimal .
+#   (0.5 "12.532728869726997"^^xsd:decimal) math:product "6.266364434863498"^^xsd:decimal .
+#   ("0.16666666666666666"^^xsd:decimal "32.02201866506704"^^xsd:decimal) math:product "5.337003110844506"^^xsd:decimal .
+#   ("5.740892970016647"^^xsd:decimal "4.083320249545751"^^xsd:decimal) math:quotient "1.405937477143825"^^xsd:decimal .
+#   ("6.266364434863498"^^xsd:decimal "4.083320249545751"^^xsd:decimal) math:quotient "1.5346247788330099"^^xsd:decimal .
 # via the schematic forward rule:
 #   {
 #     :Simpson1 :h ?h .
@@ -3556,41 +3557,41 @@ _:sk_4 :ds 1.4142135623730951 .
 #     :Simpson1 :centroid _:b7 .
 #   } .
 # with substitution (on rule variables):
-#   ?A = 4.083320249545751
-#   ?Iy2 = 12.532728869726997
-#   ?L = 5.337003110844506
-#   ?Mx = 6.266364434863498
-#   ?My = 5.740892970016647
-#   ?fac = 0.16666666666666666
+#   ?A = "4.083320249545751"^^xsd:decimal
+#   ?Iy2 = "12.532728869726997"^^xsd:decimal
+#   ?L = "5.337003110844506"^^xsd:decimal
+#   ?Mx = "6.266364434863498"^^xsd:decimal
+#   ?My = "5.740892970016647"^^xsd:decimal
+#   ?fac = "0.16666666666666666"^^xsd:decimal
 #   ?h = 0.5
-#   ?sumWDS = 32.02201866506704
-#   ?sumWXY = 34.445357820099886
-#   ?sumWY = 24.499921497274507
-#   ?sumWY2 = 75.19637321836198
-#   ?xbar = 1.405937477143825
-#   ?ybar = 1.5346247788330099
+#   ?sumWDS = "32.02201866506704"^^xsd:decimal
+#   ?sumWXY = "34.445357820099886"^^xsd:decimal
+#   ?sumWY = "24.499921497274507"^^xsd:decimal
+#   ?sumWY2 = "75.19637321836198"^^xsd:decimal
+#   ?xbar = "1.405937477143825"^^xsd:decimal
+#   ?ybar = "1.5346247788330099"^^xsd:decimal
 # Therefore the derived triple above is entailed by the rules and facts.
 # ----------------------------------------------------------------------
-:Simpson1 :areaUnderCurve 4.083320249545751 .
+:Simpson1 :areaUnderCurve "4.083320249545751"^^xsd:decimal .
 # ----------------------------------------------------------------------
 # Proof for derived triple:
-#   :Simpson1 :arcLength 5.337003110844506 .
+#   :Simpson1 :arcLength "5.337003110844506"^^xsd:decimal .
 # It holds because the following instance of the rule body is provable:
 #   :Simpson1 :h 0.5 .
-#   :Simpson1 :sumWY 24.499921497274507 .
-#   :Simpson1 :sumWXY 34.445357820099886 .
-#   :Simpson1 :sumWY2 75.19637321836198 .
-#   :Simpson1 :sumWDS 32.02201866506704 .
-#   (0.5 3.0) math:quotient 0.16666666666666666 .
-#   (0.16666666666666666 24.499921497274507) math:product 4.083320249545751 .
-#   (0.16666666666666666 34.445357820099886) math:product 5.740892970016647 .
-#   (0.16666666666666666 75.19637321836198) math:product 12.532728869726997 .
-#   (0.5 12.532728869726997) math:product 6.266364434863498 .
-#   (0.16666666666666666 32.02201866506704) math:product 5.337003110844506 .
-#   (5.740892970016647 4.083320249545751) math:quotient 1.405937477143825 .
-#   (6.266364434863498 4.083320249545751) math:quotient 1.5346247788330099 .
+#   :Simpson1 :sumWY "24.499921497274507"^^xsd:decimal .
+#   :Simpson1 :sumWXY "34.445357820099886"^^xsd:decimal .
+#   :Simpson1 :sumWY2 "75.19637321836198"^^xsd:decimal .
+#   :Simpson1 :sumWDS "32.02201866506704"^^xsd:decimal .
+#   (0.5 3.0) math:quotient "0.16666666666666666"^^xsd:decimal .
+#   ("0.16666666666666666"^^xsd:decimal "24.499921497274507"^^xsd:decimal) math:product "4.083320249545751"^^xsd:decimal .
+#   ("0.16666666666666666"^^xsd:decimal "34.445357820099886"^^xsd:decimal) math:product "5.740892970016647"^^xsd:decimal .
+#   ("0.16666666666666666"^^xsd:decimal "75.19637321836198"^^xsd:decimal) math:product "12.532728869726997"^^xsd:decimal .
+#   (0.5 "12.532728869726997"^^xsd:decimal) math:product "6.266364434863498"^^xsd:decimal .
+#   ("0.16666666666666666"^^xsd:decimal "32.02201866506704"^^xsd:decimal) math:product "5.337003110844506"^^xsd:decimal .
+#   ("5.740892970016647"^^xsd:decimal "4.083320249545751"^^xsd:decimal) math:quotient "1.405937477143825"^^xsd:decimal .
+#   ("6.266364434863498"^^xsd:decimal "4.083320249545751"^^xsd:decimal) math:quotient "1.5346247788330099"^^xsd:decimal .
 # via the schematic forward rule:
 #   {
 #     :Simpson1 :h ?h .
@@ -3616,41 +3617,41 @@ _:sk_4 :ds 1.4142135623730951 .
 #     :Simpson1 :centroid _:b7 .
 #   } .
 # with substitution (on rule variables):
-#   ?A = 4.083320249545751
-#   ?Iy2 = 12.532728869726997
-#   ?L = 5.337003110844506
-#   ?Mx = 6.266364434863498
-#   ?My = 5.740892970016647
-#   ?fac = 0.16666666666666666
+#   ?A = "4.083320249545751"^^xsd:decimal
+#   ?Iy2 = "12.532728869726997"^^xsd:decimal
+#   ?L = "5.337003110844506"^^xsd:decimal
+#   ?Mx = "6.266364434863498"^^xsd:decimal
+#   ?My = "5.740892970016647"^^xsd:decimal
+#   ?fac = "0.16666666666666666"^^xsd:decimal
 #   ?h = 0.5
-#   ?sumWDS = 32.02201866506704
-#   ?sumWXY = 34.445357820099886
-#   ?sumWY = 24.499921497274507
-#   ?sumWY2 = 75.19637321836198
-#   ?xbar = 1.405937477143825
-#   ?ybar = 1.5346247788330099
+#   ?sumWDS = "32.02201866506704"^^xsd:decimal
+#   ?sumWXY = "34.445357820099886"^^xsd:decimal
+#   ?sumWY = "24.499921497274507"^^xsd:decimal
+#   ?sumWY2 = "75.19637321836198"^^xsd:decimal
+#   ?xbar = "1.405937477143825"^^xsd:decimal
+#   ?ybar = "1.5346247788330099"^^xsd:decimal
 # Therefore the derived triple above is entailed by the rules and facts.
 # ----------------------------------------------------------------------
-:Simpson1 :arcLength 5.337003110844506 .
+:Simpson1 :arcLength "5.337003110844506"^^xsd:decimal .
 # ----------------------------------------------------------------------
 # Proof for derived triple:
-#   :Simpson1 :momentAboutY 5.740892970016647 .
+#   :Simpson1 :momentAboutY "5.740892970016647"^^xsd:decimal .
 # It holds because the following instance of the rule body is provable:
 #   :Simpson1 :h 0.5 .
-#   :Simpson1 :sumWY 24.499921497274507 .
-#   :Simpson1 :sumWXY 34.445357820099886 .
-#   :Simpson1 :sumWY2 75.19637321836198 .
-#   :Simpson1 :sumWDS 32.02201866506704 .
-#   (0.5 3.0) math:quotient 0.16666666666666666 .
-#   (0.16666666666666666 24.499921497274507) math:product 4.083320249545751 .
-#   (0.16666666666666666 34.445357820099886) math:product 5.740892970016647 .
-#   (0.16666666666666666 75.19637321836198) math:product 12.532728869726997 .
-#   (0.5 12.532728869726997) math:product 6.266364434863498 .
-#   (0.16666666666666666 32.02201866506704) math:product 5.337003110844506 .
-#   (5.740892970016647 4.083320249545751) math:quotient 1.405937477143825 .
-#   (6.266364434863498 4.083320249545751) math:quotient 1.5346247788330099 .
+#   :Simpson1 :sumWY "24.499921497274507"^^xsd:decimal .
+#   :Simpson1 :sumWXY "34.445357820099886"^^xsd:decimal .
+#   :Simpson1 :sumWY2 "75.19637321836198"^^xsd:decimal .
+#   :Simpson1 :sumWDS "32.02201866506704"^^xsd:decimal .
+#   (0.5 3.0) math:quotient "0.16666666666666666"^^xsd:decimal .
+#   ("0.16666666666666666"^^xsd:decimal "24.499921497274507"^^xsd:decimal) math:product "4.083320249545751"^^xsd:decimal .
+#   ("0.16666666666666666"^^xsd:decimal "34.445357820099886"^^xsd:decimal) math:product "5.740892970016647"^^xsd:decimal .
+#   ("0.16666666666666666"^^xsd:decimal "75.19637321836198"^^xsd:decimal) math:product "12.532728869726997"^^xsd:decimal .
+#   (0.5 "12.532728869726997"^^xsd:decimal) math:product "6.266364434863498"^^xsd:decimal .
+#   ("0.16666666666666666"^^xsd:decimal "32.02201866506704"^^xsd:decimal) math:product "5.337003110844506"^^xsd:decimal .
+#   ("5.740892970016647"^^xsd:decimal "4.083320249545751"^^xsd:decimal) math:quotient "1.405937477143825"^^xsd:decimal .
+#   ("6.266364434863498"^^xsd:decimal "4.083320249545751"^^xsd:decimal) math:quotient "1.5346247788330099"^^xsd:decimal .
 # via the schematic forward rule:
 #   {
 #     :Simpson1 :h ?h .
@@ -3676,41 +3677,41 @@ _:sk_4 :ds 1.4142135623730951 .
 #     :Simpson1 :centroid _:b7 .
 #   } .
 # with substitution (on rule variables):
-#   ?A = 4.083320249545751
-#   ?Iy2 = 12.532728869726997
-#   ?L = 5.337003110844506
-#   ?Mx = 6.266364434863498
-#   ?My = 5.740892970016647
-#   ?fac = 0.16666666666666666
+#   ?A = "4.083320249545751"^^xsd:decimal
+#   ?Iy2 = "12.532728869726997"^^xsd:decimal
+#   ?L = "5.337003110844506"^^xsd:decimal
+#   ?Mx = "6.266364434863498"^^xsd:decimal
+#   ?My = "5.740892970016647"^^xsd:decimal
+#   ?fac = "0.16666666666666666"^^xsd:decimal
 #   ?h = 0.5
-#   ?sumWDS = 32.02201866506704
-#   ?sumWXY = 34.445357820099886
-#   ?sumWY = 24.499921497274507
-#   ?sumWY2 = 75.19637321836198
-#   ?xbar = 1.405937477143825
-#   ?ybar = 1.5346247788330099
+#   ?sumWDS = "32.02201866506704"^^xsd:decimal
+#   ?sumWXY = "34.445357820099886"^^xsd:decimal
+#   ?sumWY = "24.499921497274507"^^xsd:decimal
+#   ?sumWY2 = "75.19637321836198"^^xsd:decimal
+#   ?xbar = "1.405937477143825"^^xsd:decimal
+#   ?ybar = "1.5346247788330099"^^xsd:decimal
 # Therefore the derived triple above is entailed by the rules and facts.
 # ----------------------------------------------------------------------
-:Simpson1 :momentAboutY 5.740892970016647 .
+:Simpson1 :momentAboutY "5.740892970016647"^^xsd:decimal .
 # ----------------------------------------------------------------------
 # Proof for derived triple:
-#   :Simpson1 :momentAboutX 6.266364434863498 .
+#   :Simpson1 :momentAboutX "6.266364434863498"^^xsd:decimal .
 # It holds because the following instance of the rule body is provable:
 #   :Simpson1 :h 0.5 .
-#   :Simpson1 :sumWY 24.499921497274507 .
-#   :Simpson1 :sumWXY 34.445357820099886 .
-#   :Simpson1 :sumWY2 75.19637321836198 .
-#   :Simpson1 :sumWDS 32.02201866506704 .
-#   (0.5 3.0) math:quotient 0.16666666666666666 .
-#   (0.16666666666666666 24.499921497274507) math:product 4.083320249545751 .
-#   (0.16666666666666666 34.445357820099886) math:product 5.740892970016647 .
-#   (0.16666666666666666 75.19637321836198) math:product 12.532728869726997 .
-#   (0.5 12.532728869726997) math:product 6.266364434863498 .
-#   (0.16666666666666666 32.02201866506704) math:product 5.337003110844506 .
-#   (5.740892970016647 4.083320249545751) math:quotient 1.405937477143825 .
-#   (6.266364434863498 4.083320249545751) math:quotient 1.5346247788330099 .
+#   :Simpson1 :sumWY "24.499921497274507"^^xsd:decimal .
+#   :Simpson1 :sumWXY "34.445357820099886"^^xsd:decimal .
+#   :Simpson1 :sumWY2 "75.19637321836198"^^xsd:decimal .
+#   :Simpson1 :sumWDS "32.02201866506704"^^xsd:decimal .
+#   (0.5 3.0) math:quotient "0.16666666666666666"^^xsd:decimal .
+#   ("0.16666666666666666"^^xsd:decimal "24.499921497274507"^^xsd:decimal) math:product "4.083320249545751"^^xsd:decimal .
+#   ("0.16666666666666666"^^xsd:decimal "34.445357820099886"^^xsd:decimal) math:product "5.740892970016647"^^xsd:decimal .
+#   ("0.16666666666666666"^^xsd:decimal "75.19637321836198"^^xsd:decimal) math:product "12.532728869726997"^^xsd:decimal .
+#   (0.5 "12.532728869726997"^^xsd:decimal) math:product "6.266364434863498"^^xsd:decimal .
+#   ("0.16666666666666666"^^xsd:decimal "32.02201866506704"^^xsd:decimal) math:product "5.337003110844506"^^xsd:decimal .
+#   ("5.740892970016647"^^xsd:decimal "4.083320249545751"^^xsd:decimal) math:quotient "1.405937477143825"^^xsd:decimal .
+#   ("6.266364434863498"^^xsd:decimal "4.083320249545751"^^xsd:decimal) math:quotient "1.5346247788330099"^^xsd:decimal .
 # via the schematic forward rule:
 #   {
 #     :Simpson1 :h ?h .
@@ -3736,41 +3737,41 @@ _:sk_4 :ds 1.4142135623730951 .
 #     :Simpson1 :centroid _:b7 .
 #   } .
 # with substitution (on rule variables):
-#   ?A = 4.083320249545751
-#   ?Iy2 = 12.532728869726997
-#   ?L = 5.337003110844506
-#   ?Mx = 6.266364434863498
-#   ?My = 5.740892970016647
-#   ?fac = 0.16666666666666666
+#   ?A = "4.083320249545751"^^xsd:decimal
+#   ?Iy2 = "12.532728869726997"^^xsd:decimal
+#   ?L = "5.337003110844506"^^xsd:decimal
+#   ?Mx = "6.266364434863498"^^xsd:decimal
+#   ?My = "5.740892970016647"^^xsd:decimal
+#   ?fac = "0.16666666666666666"^^xsd:decimal
 #   ?h = 0.5
-#   ?sumWDS = 32.02201866506704
-#   ?sumWXY = 34.445357820099886
-#   ?sumWY = 24.499921497274507
-#   ?sumWY2 = 75.19637321836198
-#   ?xbar = 1.405937477143825
-#   ?ybar = 1.5346247788330099
+#   ?sumWDS = "32.02201866506704"^^xsd:decimal
+#   ?sumWXY = "34.445357820099886"^^xsd:decimal
+#   ?sumWY = "24.499921497274507"^^xsd:decimal
+#   ?sumWY2 = "75.19637321836198"^^xsd:decimal
+#   ?xbar = "1.405937477143825"^^xsd:decimal
+#   ?ybar = "1.5346247788330099"^^xsd:decimal
 # Therefore the derived triple above is entailed by the rules and facts.
 # ----------------------------------------------------------------------
-:Simpson1 :momentAboutX 6.266364434863498 .
+:Simpson1 :momentAboutX "6.266364434863498"^^xsd:decimal .
 # ----------------------------------------------------------------------
 # Proof for derived triple:
-#   _:sk_5 :xbar 1.405937477143825 .
+#   _:sk_5 :xbar "1.405937477143825"^^xsd:decimal .
 # It holds because the following instance of the rule body is provable:
 #   :Simpson1 :h 0.5 .
-#   :Simpson1 :sumWY 24.499921497274507 .
-#   :Simpson1 :sumWXY 34.445357820099886 .
-#   :Simpson1 :sumWY2 75.19637321836198 .
-#   :Simpson1 :sumWDS 32.02201866506704 .
-#   (0.5 3.0) math:quotient 0.16666666666666666 .
-#   (0.16666666666666666 24.499921497274507) math:product 4.083320249545751 .
-#   (0.16666666666666666 34.445357820099886) math:product 5.740892970016647 .
-#   (0.16666666666666666 75.19637321836198) math:product 12.532728869726997 .
-#   (0.5 12.532728869726997) math:product 6.266364434863498 .
-#   (0.16666666666666666 32.02201866506704) math:product 5.337003110844506 .
-#   (5.740892970016647 4.083320249545751) math:quotient 1.405937477143825 .
-#   (6.266364434863498 4.083320249545751) math:quotient 1.5346247788330099 .
+#   :Simpson1 :sumWY "24.499921497274507"^^xsd:decimal .
+#   :Simpson1 :sumWXY "34.445357820099886"^^xsd:decimal .
+#   :Simpson1 :sumWY2 "75.19637321836198"^^xsd:decimal .
+#   :Simpson1 :sumWDS "32.02201866506704"^^xsd:decimal .
+#   (0.5 3.0) math:quotient "0.16666666666666666"^^xsd:decimal .
+#   ("0.16666666666666666"^^xsd:decimal "24.499921497274507"^^xsd:decimal) math:product "4.083320249545751"^^xsd:decimal .
+#   ("0.16666666666666666"^^xsd:decimal "34.445357820099886"^^xsd:decimal) math:product "5.740892970016647"^^xsd:decimal .
+#   ("0.16666666666666666"^^xsd:decimal "75.19637321836198"^^xsd:decimal) math:product "12.532728869726997"^^xsd:decimal .
+#   (0.5 "12.532728869726997"^^xsd:decimal) math:product "6.266364434863498"^^xsd:decimal .
+#   ("0.16666666666666666"^^xsd:decimal "32.02201866506704"^^xsd:decimal) math:product "5.337003110844506"^^xsd:decimal .
+#   ("5.740892970016647"^^xsd:decimal "4.083320249545751"^^xsd:decimal) math:quotient "1.405937477143825"^^xsd:decimal .
+#   ("6.266364434863498"^^xsd:decimal "4.083320249545751"^^xsd:decimal) math:quotient "1.5346247788330099"^^xsd:decimal .
 # via the schematic forward rule:
 #   {
 #     :Simpson1 :h ?h .
@@ -3796,41 +3797,41 @@ _:sk_4 :ds 1.4142135623730951 .
 #     :Simpson1 :centroid _:b7 .
 #   } .
 # with substitution (on rule variables):
-#   ?A = 4.083320249545751
-#   ?Iy2 = 12.532728869726997
-#   ?L = 5.337003110844506
-#   ?Mx = 6.266364434863498
-#   ?My = 5.740892970016647
-#   ?fac = 0.16666666666666666
+#   ?A = "4.083320249545751"^^xsd:decimal
+#   ?Iy2 = "12.532728869726997"^^xsd:decimal
+#   ?L = "5.337003110844506"^^xsd:decimal
+#   ?Mx = "6.266364434863498"^^xsd:decimal
+#   ?My = "5.740892970016647"^^xsd:decimal
+#   ?fac = "0.16666666666666666"^^xsd:decimal
 #   ?h = 0.5
-#   ?sumWDS = 32.02201866506704
-#   ?sumWXY = 34.445357820099886
-#   ?sumWY = 24.499921497274507
-#   ?sumWY2 = 75.19637321836198
-#   ?xbar = 1.405937477143825
-#   ?ybar = 1.5346247788330099
+#   ?sumWDS = "32.02201866506704"^^xsd:decimal
+#   ?sumWXY = "34.445357820099886"^^xsd:decimal
+#   ?sumWY = "24.499921497274507"^^xsd:decimal
+#   ?sumWY2 = "75.19637321836198"^^xsd:decimal
+#   ?xbar = "1.405937477143825"^^xsd:decimal
+#   ?ybar = "1.5346247788330099"^^xsd:decimal
 # Therefore the derived triple above is entailed by the rules and facts.
 # ----------------------------------------------------------------------
-_:sk_5 :xbar 1.405937477143825 .
+_:sk_5 :xbar "1.405937477143825"^^xsd:decimal .
 # ----------------------------------------------------------------------
 # Proof for derived triple:
-#   _:sk_5 :ybar 1.5346247788330099 .
+#   _:sk_5 :ybar "1.5346247788330099"^^xsd:decimal .
 # It holds because the following instance of the rule body is provable:
 #   :Simpson1 :h 0.5 .
-#   :Simpson1 :sumWY 24.499921497274507 .
-#   :Simpson1 :sumWXY 34.445357820099886 .
-#   :Simpson1 :sumWY2 75.19637321836198 .
-#   :Simpson1 :sumWDS 32.02201866506704 .
-#   (0.5 3.0) math:quotient 0.16666666666666666 .
-#   (0.16666666666666666 24.499921497274507) math:product 4.083320249545751 .
-#   (0.16666666666666666 34.445357820099886) math:product 5.740892970016647 .
-#   (0.16666666666666666 75.19637321836198) math:product 12.532728869726997 .
-#   (0.5 12.532728869726997) math:product 6.266364434863498 .
-#   (0.16666666666666666 32.02201866506704) math:product 5.337003110844506 .
-#   (5.740892970016647 4.083320249545751) math:quotient 1.405937477143825 .
-#   (6.266364434863498 4.083320249545751) math:quotient 1.5346247788330099 .
+#   :Simpson1 :sumWY "24.499921497274507"^^xsd:decimal .
+#   :Simpson1 :sumWXY "34.445357820099886"^^xsd:decimal .
+#   :Simpson1 :sumWY2 "75.19637321836198"^^xsd:decimal .
+#   :Simpson1 :sumWDS "32.02201866506704"^^xsd:decimal .
+#   (0.5 3.0) math:quotient "0.16666666666666666"^^xsd:decimal .
+#   ("0.16666666666666666"^^xsd:decimal "24.499921497274507"^^xsd:decimal) math:product "4.083320249545751"^^xsd:decimal .
+#   ("0.16666666666666666"^^xsd:decimal "34.445357820099886"^^xsd:decimal) math:product "5.740892970016647"^^xsd:decimal .
+#   ("0.16666666666666666"^^xsd:decimal "75.19637321836198"^^xsd:decimal) math:product "12.532728869726997"^^xsd:decimal .
+#   (0.5 "12.532728869726997"^^xsd:decimal) math:product "6.266364434863498"^^xsd:decimal .
+#   ("0.16666666666666666"^^xsd:decimal "32.02201866506704"^^xsd:decimal) math:product "5.337003110844506"^^xsd:decimal .
+#   ("5.740892970016647"^^xsd:decimal "4.083320249545751"^^xsd:decimal) math:quotient "1.405937477143825"^^xsd:decimal .
+#   ("6.266364434863498"^^xsd:decimal "4.083320249545751"^^xsd:decimal) math:quotient "1.5346247788330099"^^xsd:decimal .
 # via the schematic forward rule:
 #   {
 #     :Simpson1 :h ?h .
@@ -3856,41 +3857,41 @@ _:sk_5 :xbar 1.405937477143825 .
 #     :Simpson1 :centroid _:b7 .
 #   } .
 # with substitution (on rule variables):
-#   ?A = 4.083320249545751
-#   ?Iy2 = 12.532728869726997
-#   ?L = 5.337003110844506
-#   ?Mx = 6.266364434863498
-#   ?My = 5.740892970016647
-#   ?fac = 0.16666666666666666
+#   ?A = "4.083320249545751"^^xsd:decimal
+#   ?Iy2 = "12.532728869726997"^^xsd:decimal
+#   ?L = "5.337003110844506"^^xsd:decimal
+#   ?Mx = "6.266364434863498"^^xsd:decimal
+#   ?My = "5.740892970016647"^^xsd:decimal
+#   ?fac = "0.16666666666666666"^^xsd:decimal
 #   ?h = 0.5
-#   ?sumWDS = 32.02201866506704
-#   ?sumWXY = 34.445357820099886
-#   ?sumWY = 24.499921497274507
-#   ?sumWY2 = 75.19637321836198
-#   ?xbar = 1.405937477143825
-#   ?ybar = 1.5346247788330099
+#   ?sumWDS = "32.02201866506704"^^xsd:decimal
+#   ?sumWXY = "34.445357820099886"^^xsd:decimal
+#   ?sumWY = "24.499921497274507"^^xsd:decimal
+#   ?sumWY2 = "75.19637321836198"^^xsd:decimal
+#   ?xbar = "1.405937477143825"^^xsd:decimal
+#   ?ybar = "1.5346247788330099"^^xsd:decimal
 # Therefore the derived triple above is entailed by the rules and facts.
 # ----------------------------------------------------------------------
-_:sk_5 :ybar 1.5346247788330099 .
+_:sk_5 :ybar "1.5346247788330099"^^xsd:decimal .
 # ----------------------------------------------------------------------
 # Proof for derived triple:
 #   :Simpson1 :centroid _:sk_5 .
 # It holds because the following instance of the rule body is provable:
 #   :Simpson1 :h 0.5 .
-#   :Simpson1 :sumWY 24.499921497274507 .
-#   :Simpson1 :sumWXY 34.445357820099886 .
-#   :Simpson1 :sumWY2 75.19637321836198 .
-#   :Simpson1 :sumWDS 32.02201866506704 .
-#   (0.5 3.0) math:quotient 0.16666666666666666 .
-#   (0.16666666666666666 24.499921497274507) math:product 4.083320249545751 .
-#   (0.16666666666666666 34.445357820099886) math:product 5.740892970016647 .
-#   (0.16666666666666666 75.19637321836198) math:product 12.532728869726997 .
-#   (0.5 12.532728869726997) math:product 6.266364434863498 .
-#   (0.16666666666666666 32.02201866506704) math:product 5.337003110844506 .
-#   (5.740892970016647 4.083320249545751) math:quotient 1.405937477143825 .
-#   (6.266364434863498 4.083320249545751) math:quotient 1.5346247788330099 .
+#   :Simpson1 :sumWY "24.499921497274507"^^xsd:decimal .
+#   :Simpson1 :sumWXY "34.445357820099886"^^xsd:decimal .
+#   :Simpson1 :sumWY2 "75.19637321836198"^^xsd:decimal .
+#   :Simpson1 :sumWDS "32.02201866506704"^^xsd:decimal .
+#   (0.5 3.0) math:quotient "0.16666666666666666"^^xsd:decimal .
+#   ("0.16666666666666666"^^xsd:decimal "24.499921497274507"^^xsd:decimal) math:product "4.083320249545751"^^xsd:decimal .
+#   ("0.16666666666666666"^^xsd:decimal "34.445357820099886"^^xsd:decimal) math:product "5.740892970016647"^^xsd:decimal .
+#   ("0.16666666666666666"^^xsd:decimal "75.19637321836198"^^xsd:decimal) math:product "12.532728869726997"^^xsd:decimal .
+#   (0.5 "12.532728869726997"^^xsd:decimal) math:product "6.266364434863498"^^xsd:decimal .
+#   ("0.16666666666666666"^^xsd:decimal "32.02201866506704"^^xsd:decimal) math:product "5.337003110844506"^^xsd:decimal .
+#   ("5.740892970016647"^^xsd:decimal "4.083320249545751"^^xsd:decimal) math:quotient "1.405937477143825"^^xsd:decimal .
+#   ("6.266364434863498"^^xsd:decimal "4.083320249545751"^^xsd:decimal) math:quotient "1.5346247788330099"^^xsd:decimal .
 # via the schematic forward rule:
 #   {
 #     :Simpson1 :h ?h .
@@ -3916,19 +3917,19 @@ _:sk_5 :ybar 1.5346247788330099 .
 #     :Simpson1 :centroid _:b7 .
 #   } .
 # with substitution (on rule variables):
-#   ?A = 4.083320249545751
-#   ?Iy2 = 12.532728869726997
-#   ?L = 5.337003110844506
-#   ?Mx = 6.266364434863498
-#   ?My = 5.740892970016647
-#   ?fac = 0.16666666666666666
+#   ?A = "4.083320249545751"^^xsd:decimal
+#   ?Iy2 = "12.532728869726997"^^xsd:decimal
+#   ?L = "5.337003110844506"^^xsd:decimal
+#   ?Mx = "6.266364434863498"^^xsd:decimal
+#   ?My = "5.740892970016647"^^xsd:decimal
+#   ?fac = "0.16666666666666666"^^xsd:decimal
 #   ?h = 0.5
-#   ?sumWDS = 32.02201866506704
-#   ?sumWXY = 34.445357820099886
-#   ?sumWY = 24.499921497274507
-#   ?sumWY2 = 75.19637321836198
-#   ?xbar = 1.405937477143825
-#   ?ybar = 1.5346247788330099
+#   ?sumWDS = "32.02201866506704"^^xsd:decimal
+#   ?sumWXY = "34.445357820099886"^^xsd:decimal
+#   ?sumWY = "24.499921497274507"^^xsd:decimal
+#   ?sumWY2 = "75.19637321836198"^^xsd:decimal
+#   ?xbar = "1.405937477143825"^^xsd:decimal
+#   ?ybar = "1.5346247788330099"^^xsd:decimal
 # Therefore the derived triple above is entailed by the rules and facts.
 # ----------------------------------------------------------------------