npm - eyeling - Versions diffs - 1.6.13 → 1.6.15 - Mend

eyeling 1.6.13 → 1.6.15

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 (77) hide show

package/README.md +8 -19
package/examples/output/age.n3 +0 -17
package/examples/output/alignment-demo.n3 +0 -572
package/examples/output/backward.n3 +0 -15
package/examples/output/basic-monadic.n3 +0 -105
package/examples/output/brussels-brew-club.n3 +0 -476
package/examples/output/cat-koko.n3 +0 -108
package/examples/output/cobalt-kepler-kitchen.n3 +0 -7064
package/examples/output/complex.n3 +0 -46
package/examples/output/control-system.n3 +0 -75
package/examples/output/cranberry-calculus.n3 +0 -1313
package/examples/output/crypto-builtins-tests.n3 +0 -60
package/examples/output/deep-taxonomy-10.n3 +0 -602
package/examples/output/deep-taxonomy-100.n3 +1 -5733
package/examples/output/deep-taxonomy-1000.n3 +1 -57033
package/examples/output/deep-taxonomy-10000.n3 +1 -570033
package/examples/output/derived-backward-rule-2.n3 +0 -58
package/examples/output/derived-backward-rule.n3 +0 -44
package/examples/output/derived-rule.n3 +0 -42
package/examples/output/dijkstra.n3 +0 -297
package/examples/output/dog.n3 +0 -30
package/examples/output/drone-corridor-planner.n3 +0 -799
package/examples/output/easter.n3 +0 -3570
package/examples/output/equals.n3 +0 -15
package/examples/output/ev-roundtrip-planner.n3 +0 -392
package/examples/output/existential-rule.n3 +0 -34
package/examples/output/expression-eval.n3 +0 -20
package/examples/output/family-cousins.n3 +0 -636
package/examples/output/fibonacci.n3 +0 -36
package/examples/output/french-cities.n3 +0 -484
package/examples/output/good-cobbler.n3 +0 -22
package/examples/output/gps.n3 +0 -62
package/examples/output/gray-code-counter.n3 +0 -17
package/examples/output/hanoi.n3 +0 -17
package/examples/output/jade-eigen-loom.n3 +0 -4690
package/examples/output/json-pointer.n3 +0 -529
package/examples/output/json-reconcile-vat.n3 +0 -12882
package/examples/output/light-eaters.n3 +0 -311
package/examples/output/list-builtins-tests.n3 +0 -167
package/examples/output/list-iterate.n3 +0 -124
package/examples/output/lldm.n3 +0 -960
package/examples/output/log-collect-all-in.n3 +0 -117
package/examples/output/log-for-all-in.n3 +0 -27
package/examples/output/log-not-includes.n3 +0 -59
package/examples/output/log-skolem.n3 +0 -17
package/examples/output/log-uri.n3 +0 -42
package/examples/output/math-builtins-tests.n3 +0 -4434
package/examples/output/minimal-skos-alignment.n3 +0 -39
package/examples/output/monkey.n3 +0 -36
package/examples/output/odrl-trust.n3 +0 -46
package/examples/output/oslo-steps-library-scholarly.n3 +0 -1260
package/examples/output/oslo-steps-workflow-composition.n3 +0 -180
package/examples/output/peano.n3 +0 -23
package/examples/output/pi.n3 +0 -17
package/examples/output/pillar.n3 +0 -32
package/examples/output/polygon.n3 +0 -17
package/examples/output/rdf-list.n3 +0 -28
package/examples/output/reordering.n3 +0 -26
package/examples/output/ruby-runge-workshop.n3 +0 -613
package/examples/output/rule-matching.n3 +0 -26
package/examples/output/saffron-slopeworks.n3 +0 -1447
package/examples/output/self-referential.n3 +0 -81
package/examples/output/similar.n3 +0 -15
package/examples/output/snaf.n3 +0 -23
package/examples/output/socrates.n3 +0 -21
package/examples/output/spectral-week.n3 +0 -350
package/examples/output/string-builtins-tests.n3 +0 -240
package/examples/output/topaz-markov-mill.n3 +0 -4178
package/examples/output/traffic-skos-aggregate.n3 +0 -3151
package/examples/output/turing.n3 +0 -36
package/examples/output/ultramarine-simpson-forge.n3 +0 -3873
package/examples/output/witch.n3 +0 -107
package/examples/output/zebra.n3 +0 -111
package/eyeling.js +129 -25
package/index.js +13 -6
package/package.json +1 -1
package/test/examples.test.js +1 -1

package/examples/output/cranberry-calculus.n3 CHANGED Viewed

@@ -1,1335 +1,22 @@
 @prefix : <http://example.org/cranberry-calculus#> .
 @prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   :VecA :dotWithVecB "12"^^xsd:decimal .
-# It holds because the following instance of the rule body is provable:
-#   :VecA :x 3.0 .
-#   :VecA :y 4.0 .
-#   :VecB :x 4.0 .
-#   :VecB :y 0.0 .
-#   (3.0 4.0) math:product "12"^^xsd:decimal .
-#   (4.0 0.0) math:product "0"^^xsd:decimal .
-#   ("12"^^xsd:decimal "0"^^xsd:decimal) math:sum "12"^^xsd:decimal .
-#   (3.0 2.0) math:exponentiation "9"^^xsd:decimal .
-#   (4.0 2.0) math:exponentiation "16"^^xsd:decimal .
-#   ("9"^^xsd:decimal "16"^^xsd:decimal) math:sum "25"^^xsd:decimal .
-#   ("25"^^xsd:decimal 0.5) math:exponentiation "5"^^xsd:decimal .
-#   (4.0 2.0) math:exponentiation "16"^^xsd:decimal .
-#   (0.0 2.0) math:exponentiation "0"^^xsd:decimal .
-#   ("16"^^xsd:decimal "0"^^xsd:decimal) math:sum "16"^^xsd:decimal .
-#   ("16"^^xsd:decimal 0.5) math:exponentiation "4"^^xsd:decimal .
-#   ("5"^^xsd:decimal "4"^^xsd:decimal) math:product "20"^^xsd:decimal .
-#   ("12"^^xsd:decimal "20"^^xsd:decimal) math:quotient "0.6"^^xsd:decimal .
-#   "0.6"^^xsd:decimal math:acos "0.9272952180016123"^^xsd:decimal .
-#   "0.9272952180016123"^^xsd:decimal math:degrees "53.13010235415598"^^xsd:decimal .
-# via the schematic forward rule:
-#   {
-#     :VecA :x ?ax .
-#     :VecA :y ?ay .
-#     :VecB :x ?bx .
-#     :VecB :y ?by .
-#     (?ax ?bx) math:product ?axbx .
-#     (?ay ?by) math:product ?ayby .
-#     (?axbx ?ayby) math:sum ?dot .
-#     (?ax 2.0) math:exponentiation ?ax2 .
-#     (?ay 2.0) math:exponentiation ?ay2 .
-#     (?ax2 ?ay2) math:sum ?a2 .
-#     (?a2 0.5) math:exponentiation ?aNorm .
-#     (?bx 2.0) math:exponentiation ?bx2 .
-#     (?by 2.0) math:exponentiation ?by2 .
-#     (?bx2 ?by2) math:sum ?b2 .
-#     (?b2 0.5) math:exponentiation ?bNorm .
-#     (?aNorm ?bNorm) math:product ?den .
-#     (?dot ?den) math:quotient ?cosTheta .
-#     ?cosTheta math:acos ?thetaRad .
-#     ?thetaRad math:degrees ?thetaDeg .
-#   } => {
-#     :VecA :dotWithVecB ?dot .
-#     _:b2 :radians ?thetaRad .
-#     _:b2 :degrees ?thetaDeg .
-#     :VecA :angleToVecB _:b2 .
-#   } .
-# with substitution (on rule variables):
-#   ?a2 = "25"^^xsd:decimal
-#   ?aNorm = "5"^^xsd:decimal
-#   ?ax = 3.0
-#   ?ax2 = "9"^^xsd:decimal
-#   ?axbx = "12"^^xsd:decimal
-#   ?ay = 4.0
-#   ?ay2 = "16"^^xsd:decimal
-#   ?ayby = "0"^^xsd:decimal
-#   ?b2 = "16"^^xsd:decimal
-#   ?bNorm = "4"^^xsd:decimal
-#   ?bx = 4.0
-#   ?bx2 = "16"^^xsd:decimal
-#   ?by = 0.0
-#   ?by2 = "0"^^xsd:decimal
-#   ?cosTheta = "0.6"^^xsd:decimal
-#   ?den = "20"^^xsd:decimal
-#   ?dot = "12"^^xsd:decimal
-#   ?thetaDeg = "53.13010235415598"^^xsd:decimal
-#   ?thetaRad = "0.9272952180016123"^^xsd:decimal
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
 :VecA :dotWithVecB "12"^^xsd:decimal .
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   _:sk_0 :radians "0.9272952180016123"^^xsd:decimal .
-# It holds because the following instance of the rule body is provable:
-#   :VecA :x 3.0 .
-#   :VecA :y 4.0 .
-#   :VecB :x 4.0 .
-#   :VecB :y 0.0 .
-#   (3.0 4.0) math:product "12"^^xsd:decimal .
-#   (4.0 0.0) math:product "0"^^xsd:decimal .
-#   ("12"^^xsd:decimal "0"^^xsd:decimal) math:sum "12"^^xsd:decimal .
-#   (3.0 2.0) math:exponentiation "9"^^xsd:decimal .
-#   (4.0 2.0) math:exponentiation "16"^^xsd:decimal .
-#   ("9"^^xsd:decimal "16"^^xsd:decimal) math:sum "25"^^xsd:decimal .
-#   ("25"^^xsd:decimal 0.5) math:exponentiation "5"^^xsd:decimal .
-#   (4.0 2.0) math:exponentiation "16"^^xsd:decimal .
-#   (0.0 2.0) math:exponentiation "0"^^xsd:decimal .
-#   ("16"^^xsd:decimal "0"^^xsd:decimal) math:sum "16"^^xsd:decimal .
-#   ("16"^^xsd:decimal 0.5) math:exponentiation "4"^^xsd:decimal .
-#   ("5"^^xsd:decimal "4"^^xsd:decimal) math:product "20"^^xsd:decimal .
-#   ("12"^^xsd:decimal "20"^^xsd:decimal) math:quotient "0.6"^^xsd:decimal .
-#   "0.6"^^xsd:decimal math:acos "0.9272952180016123"^^xsd:decimal .
-#   "0.9272952180016123"^^xsd:decimal math:degrees "53.13010235415598"^^xsd:decimal .
-# via the schematic forward rule:
-#   {
-#     :VecA :x ?ax .
-#     :VecA :y ?ay .
-#     :VecB :x ?bx .
-#     :VecB :y ?by .
-#     (?ax ?bx) math:product ?axbx .
-#     (?ay ?by) math:product ?ayby .
-#     (?axbx ?ayby) math:sum ?dot .
-#     (?ax 2.0) math:exponentiation ?ax2 .
-#     (?ay 2.0) math:exponentiation ?ay2 .
-#     (?ax2 ?ay2) math:sum ?a2 .
-#     (?a2 0.5) math:exponentiation ?aNorm .
-#     (?bx 2.0) math:exponentiation ?bx2 .
-#     (?by 2.0) math:exponentiation ?by2 .
-#     (?bx2 ?by2) math:sum ?b2 .
-#     (?b2 0.5) math:exponentiation ?bNorm .
-#     (?aNorm ?bNorm) math:product ?den .
-#     (?dot ?den) math:quotient ?cosTheta .
-#     ?cosTheta math:acos ?thetaRad .
-#     ?thetaRad math:degrees ?thetaDeg .
-#   } => {
-#     :VecA :dotWithVecB ?dot .
-#     _:b2 :radians ?thetaRad .
-#     _:b2 :degrees ?thetaDeg .
-#     :VecA :angleToVecB _:b2 .
-#   } .
-# with substitution (on rule variables):
-#   ?a2 = "25"^^xsd:decimal
-#   ?aNorm = "5"^^xsd:decimal
-#   ?ax = 3.0
-#   ?ax2 = "9"^^xsd:decimal
-#   ?axbx = "12"^^xsd:decimal
-#   ?ay = 4.0
-#   ?ay2 = "16"^^xsd:decimal
-#   ?ayby = "0"^^xsd:decimal
-#   ?b2 = "16"^^xsd:decimal
-#   ?bNorm = "4"^^xsd:decimal
-#   ?bx = 4.0
-#   ?bx2 = "16"^^xsd:decimal
-#   ?by = 0.0
-#   ?by2 = "0"^^xsd:decimal
-#   ?cosTheta = "0.6"^^xsd:decimal
-#   ?den = "20"^^xsd:decimal
-#   ?dot = "12"^^xsd:decimal
-#   ?thetaDeg = "53.13010235415598"^^xsd:decimal
-#   ?thetaRad = "0.9272952180016123"^^xsd:decimal
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
 _:sk_0 :radians "0.9272952180016123"^^xsd:decimal .
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   _:sk_0 :degrees "53.13010235415598"^^xsd:decimal .
-# It holds because the following instance of the rule body is provable:
-#   :VecA :x 3.0 .
-#   :VecA :y 4.0 .
-#   :VecB :x 4.0 .
-#   :VecB :y 0.0 .
-#   (3.0 4.0) math:product "12"^^xsd:decimal .
-#   (4.0 0.0) math:product "0"^^xsd:decimal .
-#   ("12"^^xsd:decimal "0"^^xsd:decimal) math:sum "12"^^xsd:decimal .
-#   (3.0 2.0) math:exponentiation "9"^^xsd:decimal .
-#   (4.0 2.0) math:exponentiation "16"^^xsd:decimal .
-#   ("9"^^xsd:decimal "16"^^xsd:decimal) math:sum "25"^^xsd:decimal .
-#   ("25"^^xsd:decimal 0.5) math:exponentiation "5"^^xsd:decimal .
-#   (4.0 2.0) math:exponentiation "16"^^xsd:decimal .
-#   (0.0 2.0) math:exponentiation "0"^^xsd:decimal .
-#   ("16"^^xsd:decimal "0"^^xsd:decimal) math:sum "16"^^xsd:decimal .
-#   ("16"^^xsd:decimal 0.5) math:exponentiation "4"^^xsd:decimal .
-#   ("5"^^xsd:decimal "4"^^xsd:decimal) math:product "20"^^xsd:decimal .
-#   ("12"^^xsd:decimal "20"^^xsd:decimal) math:quotient "0.6"^^xsd:decimal .
-#   "0.6"^^xsd:decimal math:acos "0.9272952180016123"^^xsd:decimal .
-#   "0.9272952180016123"^^xsd:decimal math:degrees "53.13010235415598"^^xsd:decimal .
-# via the schematic forward rule:
-#   {
-#     :VecA :x ?ax .
-#     :VecA :y ?ay .
-#     :VecB :x ?bx .
-#     :VecB :y ?by .
-#     (?ax ?bx) math:product ?axbx .
-#     (?ay ?by) math:product ?ayby .
-#     (?axbx ?ayby) math:sum ?dot .
-#     (?ax 2.0) math:exponentiation ?ax2 .
-#     (?ay 2.0) math:exponentiation ?ay2 .
-#     (?ax2 ?ay2) math:sum ?a2 .
-#     (?a2 0.5) math:exponentiation ?aNorm .
-#     (?bx 2.0) math:exponentiation ?bx2 .
-#     (?by 2.0) math:exponentiation ?by2 .
-#     (?bx2 ?by2) math:sum ?b2 .
-#     (?b2 0.5) math:exponentiation ?bNorm .
-#     (?aNorm ?bNorm) math:product ?den .
-#     (?dot ?den) math:quotient ?cosTheta .
-#     ?cosTheta math:acos ?thetaRad .
-#     ?thetaRad math:degrees ?thetaDeg .
-#   } => {
-#     :VecA :dotWithVecB ?dot .
-#     _:b2 :radians ?thetaRad .
-#     _:b2 :degrees ?thetaDeg .
-#     :VecA :angleToVecB _:b2 .
-#   } .
-# with substitution (on rule variables):
-#   ?a2 = "25"^^xsd:decimal
-#   ?aNorm = "5"^^xsd:decimal
-#   ?ax = 3.0
-#   ?ax2 = "9"^^xsd:decimal
-#   ?axbx = "12"^^xsd:decimal
-#   ?ay = 4.0
-#   ?ay2 = "16"^^xsd:decimal
-#   ?ayby = "0"^^xsd:decimal
-#   ?b2 = "16"^^xsd:decimal
-#   ?bNorm = "4"^^xsd:decimal
-#   ?bx = 4.0
-#   ?bx2 = "16"^^xsd:decimal
-#   ?by = 0.0
-#   ?by2 = "0"^^xsd:decimal
-#   ?cosTheta = "0.6"^^xsd:decimal
-#   ?den = "20"^^xsd:decimal
-#   ?dot = "12"^^xsd:decimal
-#   ?thetaDeg = "53.13010235415598"^^xsd:decimal
-#   ?thetaRad = "0.9272952180016123"^^xsd:decimal
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
 _:sk_0 :degrees "53.13010235415598"^^xsd:decimal .
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   :VecA :angleToVecB _:sk_0 .
-# It holds because the following instance of the rule body is provable:
-#   :VecA :x 3.0 .
-#   :VecA :y 4.0 .
-#   :VecB :x 4.0 .
-#   :VecB :y 0.0 .
-#   (3.0 4.0) math:product "12"^^xsd:decimal .
-#   (4.0 0.0) math:product "0"^^xsd:decimal .
-#   ("12"^^xsd:decimal "0"^^xsd:decimal) math:sum "12"^^xsd:decimal .
-#   (3.0 2.0) math:exponentiation "9"^^xsd:decimal .
-#   (4.0 2.0) math:exponentiation "16"^^xsd:decimal .
-#   ("9"^^xsd:decimal "16"^^xsd:decimal) math:sum "25"^^xsd:decimal .
-#   ("25"^^xsd:decimal 0.5) math:exponentiation "5"^^xsd:decimal .
-#   (4.0 2.0) math:exponentiation "16"^^xsd:decimal .
-#   (0.0 2.0) math:exponentiation "0"^^xsd:decimal .
-#   ("16"^^xsd:decimal "0"^^xsd:decimal) math:sum "16"^^xsd:decimal .
-#   ("16"^^xsd:decimal 0.5) math:exponentiation "4"^^xsd:decimal .
-#   ("5"^^xsd:decimal "4"^^xsd:decimal) math:product "20"^^xsd:decimal .
-#   ("12"^^xsd:decimal "20"^^xsd:decimal) math:quotient "0.6"^^xsd:decimal .
-#   "0.6"^^xsd:decimal math:acos "0.9272952180016123"^^xsd:decimal .
-#   "0.9272952180016123"^^xsd:decimal math:degrees "53.13010235415598"^^xsd:decimal .
-# via the schematic forward rule:
-#   {
-#     :VecA :x ?ax .
-#     :VecA :y ?ay .
-#     :VecB :x ?bx .
-#     :VecB :y ?by .
-#     (?ax ?bx) math:product ?axbx .
-#     (?ay ?by) math:product ?ayby .
-#     (?axbx ?ayby) math:sum ?dot .
-#     (?ax 2.0) math:exponentiation ?ax2 .
-#     (?ay 2.0) math:exponentiation ?ay2 .
-#     (?ax2 ?ay2) math:sum ?a2 .
-#     (?a2 0.5) math:exponentiation ?aNorm .
-#     (?bx 2.0) math:exponentiation ?bx2 .
-#     (?by 2.0) math:exponentiation ?by2 .
-#     (?bx2 ?by2) math:sum ?b2 .
-#     (?b2 0.5) math:exponentiation ?bNorm .
-#     (?aNorm ?bNorm) math:product ?den .
-#     (?dot ?den) math:quotient ?cosTheta .
-#     ?cosTheta math:acos ?thetaRad .
-#     ?thetaRad math:degrees ?thetaDeg .
-#   } => {
-#     :VecA :dotWithVecB ?dot .
-#     _:b2 :radians ?thetaRad .
-#     _:b2 :degrees ?thetaDeg .
-#     :VecA :angleToVecB _:b2 .
-#   } .
-# with substitution (on rule variables):
-#   ?a2 = "25"^^xsd:decimal
-#   ?aNorm = "5"^^xsd:decimal
-#   ?ax = 3.0
-#   ?ax2 = "9"^^xsd:decimal
-#   ?axbx = "12"^^xsd:decimal
-#   ?ay = 4.0
-#   ?ay2 = "16"^^xsd:decimal
-#   ?ayby = "0"^^xsd:decimal
-#   ?b2 = "16"^^xsd:decimal
-#   ?bNorm = "4"^^xsd:decimal
-#   ?bx = 4.0
-#   ?bx2 = "16"^^xsd:decimal
-#   ?by = 0.0
-#   ?by2 = "0"^^xsd:decimal
-#   ?cosTheta = "0.6"^^xsd:decimal
-#   ?den = "20"^^xsd:decimal
-#   ?dot = "12"^^xsd:decimal
-#   ?thetaDeg = "53.13010235415598"^^xsd:decimal
-#   ?thetaRad = "0.9272952180016123"^^xsd:decimal
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
 :VecA :angleToVecB _:sk_0 .
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   :Shot1 :vx "21.213203435596427"^^xsd:decimal .
-# It holds because the following instance of the rule body is provable:
-#   :Shot1 :speed 30.0 .
-#   :Shot1 :angleRad 0.7853981633974483 .
-#   :Shot1 :g 9.81 .
-#   :Shot1 :tSample 2.5 .
-#   0.7853981633974483 math:sin "0.7071067811865475"^^xsd:decimal .
-#   0.7853981633974483 math:cos "0.7071067811865476"^^xsd:decimal .
-#   (30.0 "0.7071067811865476"^^xsd:decimal) math:product "21.213203435596427"^^xsd:decimal .
-#   (30.0 "0.7071067811865475"^^xsd:decimal) math:product "21.213203435596423"^^xsd:decimal .
-#   (2.0 "21.213203435596423"^^xsd:decimal) math:product "42.426406871192846"^^xsd:decimal .
-#   ("42.426406871192846"^^xsd:decimal 9.81) math:quotient "4.324812117348913"^^xsd:decimal .
-#   ("21.213203435596427"^^xsd:decimal "4.324812117348913"^^xsd:decimal) math:product "91.74311926605502"^^xsd:decimal .
-#   ("21.213203435596423"^^xsd:decimal 2.0) math:exponentiation "449.9999999999999"^^xsd:decimal .
-#   (2.0 9.81) math:product "19.62"^^xsd:decimal .
-#   ("449.9999999999999"^^xsd:decimal "19.62"^^xsd:decimal) math:quotient "22.935779816513755"^^xsd:decimal .
-#   ("21.213203435596427"^^xsd:decimal 2.5) math:product "53.033008588991066"^^xsd:decimal .
-#   ("21.213203435596423"^^xsd:decimal 2.5) math:product "53.03300858899106"^^xsd:decimal .
-#   (2.5 2.0) math:exponentiation "6.25"^^xsd:decimal .
-#   (9.81 "6.25"^^xsd:decimal) math:product "61.3125"^^xsd:decimal .
-#   (0.5 "61.3125"^^xsd:decimal) math:product "30.65625"^^xsd:decimal .
-#   ("53.03300858899106"^^xsd:decimal "30.65625"^^xsd:decimal) math:difference "22.37675858899106"^^xsd:decimal .
-# via the schematic forward rule:
-#   {
-#     :Shot1 :speed ?v .
-#     :Shot1 :angleRad ?theta .
-#     :Shot1 :g ?g .
-#     :Shot1 :tSample ?t .
-#     ?theta math:sin ?sinT .
-#     ?theta math:cos ?cosT .
-#     (?v ?cosT) math:product ?vx .
-#     (?v ?sinT) math:product ?vy .
-#     (2.0 ?vy) math:product ?twoVy .
-#     (?twoVy ?g) math:quotient ?tFlight .
-#     (?vx ?tFlight) math:product ?range .
-#     (?vy 2.0) math:exponentiation ?vy2 .
-#     (2.0 ?g) math:product ?twoG .
-#     (?vy2 ?twoG) math:quotient ?hMax .
-#     (?vx ?t) math:product ?xAtT .
-#     (?vy ?t) math:product ?vy_t .
-#     (?t 2.0) math:exponentiation ?t2 .
-#     (?g ?t2) math:product ?g_t2 .
-#     (0.5 ?g_t2) math:product ?half_g_t2 .
-#     (?vy_t ?half_g_t2) math:difference ?yAtT .
-#   } => {
-#     :Shot1 :vx ?vx .
-#     :Shot1 :vy ?vy .
-#     :Shot1 :timeOfFlight ?tFlight .
-#     :Shot1 :range ?range .
-#     :Shot1 :maxHeight ?hMax .
-#     _:b3 :t ?t .
-#     _:b3 :x ?xAtT .
-#     _:b3 :y ?yAtT .
-#     :Shot1 :positionAtSample _:b3 .
-#   } .
-# with substitution (on rule variables):
-#   ?cosT = "0.7071067811865476"^^xsd:decimal
-#   ?g = 9.81
-#   ?g_t2 = "61.3125"^^xsd:decimal
-#   ?hMax = "22.935779816513755"^^xsd:decimal
-#   ?half_g_t2 = "30.65625"^^xsd:decimal
-#   ?range = "91.74311926605502"^^xsd:decimal
-#   ?sinT = "0.7071067811865475"^^xsd:decimal
-#   ?t = 2.5
-#   ?t2 = "6.25"^^xsd:decimal
-#   ?tFlight = "4.324812117348913"^^xsd:decimal
-#   ?theta = 0.7853981633974483
-#   ?twoG = "19.62"^^xsd:decimal
-#   ?twoVy = "42.426406871192846"^^xsd:decimal
-#   ?v = 30.0
-#   ?vx = "21.213203435596427"^^xsd:decimal
-#   ?vy = "21.213203435596423"^^xsd:decimal
-#   ?vy2 = "449.9999999999999"^^xsd:decimal
-#   ?vy_t = "53.03300858899106"^^xsd:decimal
-#   ?xAtT = "53.033008588991066"^^xsd:decimal
-#   ?yAtT = "22.37675858899106"^^xsd:decimal
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
 :Shot1 :vx "21.213203435596427"^^xsd:decimal .
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   :Shot1 :vy "21.213203435596423"^^xsd:decimal .
-# It holds because the following instance of the rule body is provable:
-#   :Shot1 :speed 30.0 .
-#   :Shot1 :angleRad 0.7853981633974483 .
-#   :Shot1 :g 9.81 .
-#   :Shot1 :tSample 2.5 .
-#   0.7853981633974483 math:sin "0.7071067811865475"^^xsd:decimal .
-#   0.7853981633974483 math:cos "0.7071067811865476"^^xsd:decimal .
-#   (30.0 "0.7071067811865476"^^xsd:decimal) math:product "21.213203435596427"^^xsd:decimal .
-#   (30.0 "0.7071067811865475"^^xsd:decimal) math:product "21.213203435596423"^^xsd:decimal .
-#   (2.0 "21.213203435596423"^^xsd:decimal) math:product "42.426406871192846"^^xsd:decimal .
-#   ("42.426406871192846"^^xsd:decimal 9.81) math:quotient "4.324812117348913"^^xsd:decimal .
-#   ("21.213203435596427"^^xsd:decimal "4.324812117348913"^^xsd:decimal) math:product "91.74311926605502"^^xsd:decimal .
-#   ("21.213203435596423"^^xsd:decimal 2.0) math:exponentiation "449.9999999999999"^^xsd:decimal .
-#   (2.0 9.81) math:product "19.62"^^xsd:decimal .
-#   ("449.9999999999999"^^xsd:decimal "19.62"^^xsd:decimal) math:quotient "22.935779816513755"^^xsd:decimal .
-#   ("21.213203435596427"^^xsd:decimal 2.5) math:product "53.033008588991066"^^xsd:decimal .
-#   ("21.213203435596423"^^xsd:decimal 2.5) math:product "53.03300858899106"^^xsd:decimal .
-#   (2.5 2.0) math:exponentiation "6.25"^^xsd:decimal .
-#   (9.81 "6.25"^^xsd:decimal) math:product "61.3125"^^xsd:decimal .
-#   (0.5 "61.3125"^^xsd:decimal) math:product "30.65625"^^xsd:decimal .
-#   ("53.03300858899106"^^xsd:decimal "30.65625"^^xsd:decimal) math:difference "22.37675858899106"^^xsd:decimal .
-# via the schematic forward rule:
-#   {
-#     :Shot1 :speed ?v .
-#     :Shot1 :angleRad ?theta .
-#     :Shot1 :g ?g .
-#     :Shot1 :tSample ?t .
-#     ?theta math:sin ?sinT .
-#     ?theta math:cos ?cosT .
-#     (?v ?cosT) math:product ?vx .
-#     (?v ?sinT) math:product ?vy .
-#     (2.0 ?vy) math:product ?twoVy .
-#     (?twoVy ?g) math:quotient ?tFlight .
-#     (?vx ?tFlight) math:product ?range .
-#     (?vy 2.0) math:exponentiation ?vy2 .
-#     (2.0 ?g) math:product ?twoG .
-#     (?vy2 ?twoG) math:quotient ?hMax .
-#     (?vx ?t) math:product ?xAtT .
-#     (?vy ?t) math:product ?vy_t .
-#     (?t 2.0) math:exponentiation ?t2 .
-#     (?g ?t2) math:product ?g_t2 .
-#     (0.5 ?g_t2) math:product ?half_g_t2 .
-#     (?vy_t ?half_g_t2) math:difference ?yAtT .
-#   } => {
-#     :Shot1 :vx ?vx .
-#     :Shot1 :vy ?vy .
-#     :Shot1 :timeOfFlight ?tFlight .
-#     :Shot1 :range ?range .
-#     :Shot1 :maxHeight ?hMax .
-#     _:b3 :t ?t .
-#     _:b3 :x ?xAtT .
-#     _:b3 :y ?yAtT .
-#     :Shot1 :positionAtSample _:b3 .
-#   } .
-# with substitution (on rule variables):
-#   ?cosT = "0.7071067811865476"^^xsd:decimal
-#   ?g = 9.81
-#   ?g_t2 = "61.3125"^^xsd:decimal
-#   ?hMax = "22.935779816513755"^^xsd:decimal
-#   ?half_g_t2 = "30.65625"^^xsd:decimal
-#   ?range = "91.74311926605502"^^xsd:decimal
-#   ?sinT = "0.7071067811865475"^^xsd:decimal
-#   ?t = 2.5
-#   ?t2 = "6.25"^^xsd:decimal
-#   ?tFlight = "4.324812117348913"^^xsd:decimal
-#   ?theta = 0.7853981633974483
-#   ?twoG = "19.62"^^xsd:decimal
-#   ?twoVy = "42.426406871192846"^^xsd:decimal
-#   ?v = 30.0
-#   ?vx = "21.213203435596427"^^xsd:decimal
-#   ?vy = "21.213203435596423"^^xsd:decimal
-#   ?vy2 = "449.9999999999999"^^xsd:decimal
-#   ?vy_t = "53.03300858899106"^^xsd:decimal
-#   ?xAtT = "53.033008588991066"^^xsd:decimal
-#   ?yAtT = "22.37675858899106"^^xsd:decimal
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
 :Shot1 :vy "21.213203435596423"^^xsd:decimal .
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   :Shot1 :timeOfFlight "4.324812117348913"^^xsd:decimal .
-# It holds because the following instance of the rule body is provable:
-#   :Shot1 :speed 30.0 .
-#   :Shot1 :angleRad 0.7853981633974483 .
-#   :Shot1 :g 9.81 .
-#   :Shot1 :tSample 2.5 .
-#   0.7853981633974483 math:sin "0.7071067811865475"^^xsd:decimal .
-#   0.7853981633974483 math:cos "0.7071067811865476"^^xsd:decimal .
-#   (30.0 "0.7071067811865476"^^xsd:decimal) math:product "21.213203435596427"^^xsd:decimal .
-#   (30.0 "0.7071067811865475"^^xsd:decimal) math:product "21.213203435596423"^^xsd:decimal .
-#   (2.0 "21.213203435596423"^^xsd:decimal) math:product "42.426406871192846"^^xsd:decimal .
-#   ("42.426406871192846"^^xsd:decimal 9.81) math:quotient "4.324812117348913"^^xsd:decimal .
-#   ("21.213203435596427"^^xsd:decimal "4.324812117348913"^^xsd:decimal) math:product "91.74311926605502"^^xsd:decimal .
-#   ("21.213203435596423"^^xsd:decimal 2.0) math:exponentiation "449.9999999999999"^^xsd:decimal .
-#   (2.0 9.81) math:product "19.62"^^xsd:decimal .
-#   ("449.9999999999999"^^xsd:decimal "19.62"^^xsd:decimal) math:quotient "22.935779816513755"^^xsd:decimal .
-#   ("21.213203435596427"^^xsd:decimal 2.5) math:product "53.033008588991066"^^xsd:decimal .
-#   ("21.213203435596423"^^xsd:decimal 2.5) math:product "53.03300858899106"^^xsd:decimal .
-#   (2.5 2.0) math:exponentiation "6.25"^^xsd:decimal .
-#   (9.81 "6.25"^^xsd:decimal) math:product "61.3125"^^xsd:decimal .
-#   (0.5 "61.3125"^^xsd:decimal) math:product "30.65625"^^xsd:decimal .
-#   ("53.03300858899106"^^xsd:decimal "30.65625"^^xsd:decimal) math:difference "22.37675858899106"^^xsd:decimal .
-# via the schematic forward rule:
-#   {
-#     :Shot1 :speed ?v .
-#     :Shot1 :angleRad ?theta .
-#     :Shot1 :g ?g .
-#     :Shot1 :tSample ?t .
-#     ?theta math:sin ?sinT .
-#     ?theta math:cos ?cosT .
-#     (?v ?cosT) math:product ?vx .
-#     (?v ?sinT) math:product ?vy .
-#     (2.0 ?vy) math:product ?twoVy .
-#     (?twoVy ?g) math:quotient ?tFlight .
-#     (?vx ?tFlight) math:product ?range .
-#     (?vy 2.0) math:exponentiation ?vy2 .
-#     (2.0 ?g) math:product ?twoG .
-#     (?vy2 ?twoG) math:quotient ?hMax .
-#     (?vx ?t) math:product ?xAtT .
-#     (?vy ?t) math:product ?vy_t .
-#     (?t 2.0) math:exponentiation ?t2 .
-#     (?g ?t2) math:product ?g_t2 .
-#     (0.5 ?g_t2) math:product ?half_g_t2 .
-#     (?vy_t ?half_g_t2) math:difference ?yAtT .
-#   } => {
-#     :Shot1 :vx ?vx .
-#     :Shot1 :vy ?vy .
-#     :Shot1 :timeOfFlight ?tFlight .
-#     :Shot1 :range ?range .
-#     :Shot1 :maxHeight ?hMax .
-#     _:b3 :t ?t .
-#     _:b3 :x ?xAtT .
-#     _:b3 :y ?yAtT .
-#     :Shot1 :positionAtSample _:b3 .
-#   } .
-# with substitution (on rule variables):
-#   ?cosT = "0.7071067811865476"^^xsd:decimal
-#   ?g = 9.81
-#   ?g_t2 = "61.3125"^^xsd:decimal
-#   ?hMax = "22.935779816513755"^^xsd:decimal
-#   ?half_g_t2 = "30.65625"^^xsd:decimal
-#   ?range = "91.74311926605502"^^xsd:decimal
-#   ?sinT = "0.7071067811865475"^^xsd:decimal
-#   ?t = 2.5
-#   ?t2 = "6.25"^^xsd:decimal
-#   ?tFlight = "4.324812117348913"^^xsd:decimal
-#   ?theta = 0.7853981633974483
-#   ?twoG = "19.62"^^xsd:decimal
-#   ?twoVy = "42.426406871192846"^^xsd:decimal
-#   ?v = 30.0
-#   ?vx = "21.213203435596427"^^xsd:decimal
-#   ?vy = "21.213203435596423"^^xsd:decimal
-#   ?vy2 = "449.9999999999999"^^xsd:decimal
-#   ?vy_t = "53.03300858899106"^^xsd:decimal
-#   ?xAtT = "53.033008588991066"^^xsd:decimal
-#   ?yAtT = "22.37675858899106"^^xsd:decimal
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
 :Shot1 :timeOfFlight "4.324812117348913"^^xsd:decimal .
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   :Shot1 :range "91.74311926605502"^^xsd:decimal .
-# It holds because the following instance of the rule body is provable:
-#   :Shot1 :speed 30.0 .
-#   :Shot1 :angleRad 0.7853981633974483 .
-#   :Shot1 :g 9.81 .
-#   :Shot1 :tSample 2.5 .
-#   0.7853981633974483 math:sin "0.7071067811865475"^^xsd:decimal .
-#   0.7853981633974483 math:cos "0.7071067811865476"^^xsd:decimal .
-#   (30.0 "0.7071067811865476"^^xsd:decimal) math:product "21.213203435596427"^^xsd:decimal .
-#   (30.0 "0.7071067811865475"^^xsd:decimal) math:product "21.213203435596423"^^xsd:decimal .
-#   (2.0 "21.213203435596423"^^xsd:decimal) math:product "42.426406871192846"^^xsd:decimal .
-#   ("42.426406871192846"^^xsd:decimal 9.81) math:quotient "4.324812117348913"^^xsd:decimal .
-#   ("21.213203435596427"^^xsd:decimal "4.324812117348913"^^xsd:decimal) math:product "91.74311926605502"^^xsd:decimal .
-#   ("21.213203435596423"^^xsd:decimal 2.0) math:exponentiation "449.9999999999999"^^xsd:decimal .
-#   (2.0 9.81) math:product "19.62"^^xsd:decimal .
-#   ("449.9999999999999"^^xsd:decimal "19.62"^^xsd:decimal) math:quotient "22.935779816513755"^^xsd:decimal .
-#   ("21.213203435596427"^^xsd:decimal 2.5) math:product "53.033008588991066"^^xsd:decimal .
-#   ("21.213203435596423"^^xsd:decimal 2.5) math:product "53.03300858899106"^^xsd:decimal .
-#   (2.5 2.0) math:exponentiation "6.25"^^xsd:decimal .
-#   (9.81 "6.25"^^xsd:decimal) math:product "61.3125"^^xsd:decimal .
-#   (0.5 "61.3125"^^xsd:decimal) math:product "30.65625"^^xsd:decimal .
-#   ("53.03300858899106"^^xsd:decimal "30.65625"^^xsd:decimal) math:difference "22.37675858899106"^^xsd:decimal .
-# via the schematic forward rule:
-#   {
-#     :Shot1 :speed ?v .
-#     :Shot1 :angleRad ?theta .
-#     :Shot1 :g ?g .
-#     :Shot1 :tSample ?t .
-#     ?theta math:sin ?sinT .
-#     ?theta math:cos ?cosT .
-#     (?v ?cosT) math:product ?vx .
-#     (?v ?sinT) math:product ?vy .
-#     (2.0 ?vy) math:product ?twoVy .
-#     (?twoVy ?g) math:quotient ?tFlight .
-#     (?vx ?tFlight) math:product ?range .
-#     (?vy 2.0) math:exponentiation ?vy2 .
-#     (2.0 ?g) math:product ?twoG .
-#     (?vy2 ?twoG) math:quotient ?hMax .
-#     (?vx ?t) math:product ?xAtT .
-#     (?vy ?t) math:product ?vy_t .
-#     (?t 2.0) math:exponentiation ?t2 .
-#     (?g ?t2) math:product ?g_t2 .
-#     (0.5 ?g_t2) math:product ?half_g_t2 .
-#     (?vy_t ?half_g_t2) math:difference ?yAtT .
-#   } => {
-#     :Shot1 :vx ?vx .
-#     :Shot1 :vy ?vy .
-#     :Shot1 :timeOfFlight ?tFlight .
-#     :Shot1 :range ?range .
-#     :Shot1 :maxHeight ?hMax .
-#     _:b3 :t ?t .
-#     _:b3 :x ?xAtT .
-#     _:b3 :y ?yAtT .
-#     :Shot1 :positionAtSample _:b3 .
-#   } .
-# with substitution (on rule variables):
-#   ?cosT = "0.7071067811865476"^^xsd:decimal
-#   ?g = 9.81
-#   ?g_t2 = "61.3125"^^xsd:decimal
-#   ?hMax = "22.935779816513755"^^xsd:decimal
-#   ?half_g_t2 = "30.65625"^^xsd:decimal
-#   ?range = "91.74311926605502"^^xsd:decimal
-#   ?sinT = "0.7071067811865475"^^xsd:decimal
-#   ?t = 2.5
-#   ?t2 = "6.25"^^xsd:decimal
-#   ?tFlight = "4.324812117348913"^^xsd:decimal
-#   ?theta = 0.7853981633974483
-#   ?twoG = "19.62"^^xsd:decimal
-#   ?twoVy = "42.426406871192846"^^xsd:decimal
-#   ?v = 30.0
-#   ?vx = "21.213203435596427"^^xsd:decimal
-#   ?vy = "21.213203435596423"^^xsd:decimal
-#   ?vy2 = "449.9999999999999"^^xsd:decimal
-#   ?vy_t = "53.03300858899106"^^xsd:decimal
-#   ?xAtT = "53.033008588991066"^^xsd:decimal
-#   ?yAtT = "22.37675858899106"^^xsd:decimal
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
 :Shot1 :range "91.74311926605502"^^xsd:decimal .
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   :Shot1 :maxHeight "22.935779816513755"^^xsd:decimal .
-# It holds because the following instance of the rule body is provable:
-#   :Shot1 :speed 30.0 .
-#   :Shot1 :angleRad 0.7853981633974483 .
-#   :Shot1 :g 9.81 .
-#   :Shot1 :tSample 2.5 .
-#   0.7853981633974483 math:sin "0.7071067811865475"^^xsd:decimal .
-#   0.7853981633974483 math:cos "0.7071067811865476"^^xsd:decimal .
-#   (30.0 "0.7071067811865476"^^xsd:decimal) math:product "21.213203435596427"^^xsd:decimal .
-#   (30.0 "0.7071067811865475"^^xsd:decimal) math:product "21.213203435596423"^^xsd:decimal .
-#   (2.0 "21.213203435596423"^^xsd:decimal) math:product "42.426406871192846"^^xsd:decimal .
-#   ("42.426406871192846"^^xsd:decimal 9.81) math:quotient "4.324812117348913"^^xsd:decimal .
-#   ("21.213203435596427"^^xsd:decimal "4.324812117348913"^^xsd:decimal) math:product "91.74311926605502"^^xsd:decimal .
-#   ("21.213203435596423"^^xsd:decimal 2.0) math:exponentiation "449.9999999999999"^^xsd:decimal .
-#   (2.0 9.81) math:product "19.62"^^xsd:decimal .
-#   ("449.9999999999999"^^xsd:decimal "19.62"^^xsd:decimal) math:quotient "22.935779816513755"^^xsd:decimal .
-#   ("21.213203435596427"^^xsd:decimal 2.5) math:product "53.033008588991066"^^xsd:decimal .
-#   ("21.213203435596423"^^xsd:decimal 2.5) math:product "53.03300858899106"^^xsd:decimal .
-#   (2.5 2.0) math:exponentiation "6.25"^^xsd:decimal .
-#   (9.81 "6.25"^^xsd:decimal) math:product "61.3125"^^xsd:decimal .
-#   (0.5 "61.3125"^^xsd:decimal) math:product "30.65625"^^xsd:decimal .
-#   ("53.03300858899106"^^xsd:decimal "30.65625"^^xsd:decimal) math:difference "22.37675858899106"^^xsd:decimal .
-# via the schematic forward rule:
-#   {
-#     :Shot1 :speed ?v .
-#     :Shot1 :angleRad ?theta .
-#     :Shot1 :g ?g .
-#     :Shot1 :tSample ?t .
-#     ?theta math:sin ?sinT .
-#     ?theta math:cos ?cosT .
-#     (?v ?cosT) math:product ?vx .
-#     (?v ?sinT) math:product ?vy .
-#     (2.0 ?vy) math:product ?twoVy .
-#     (?twoVy ?g) math:quotient ?tFlight .
-#     (?vx ?tFlight) math:product ?range .
-#     (?vy 2.0) math:exponentiation ?vy2 .
-#     (2.0 ?g) math:product ?twoG .
-#     (?vy2 ?twoG) math:quotient ?hMax .
-#     (?vx ?t) math:product ?xAtT .
-#     (?vy ?t) math:product ?vy_t .
-#     (?t 2.0) math:exponentiation ?t2 .
-#     (?g ?t2) math:product ?g_t2 .
-#     (0.5 ?g_t2) math:product ?half_g_t2 .
-#     (?vy_t ?half_g_t2) math:difference ?yAtT .
-#   } => {
-#     :Shot1 :vx ?vx .
-#     :Shot1 :vy ?vy .
-#     :Shot1 :timeOfFlight ?tFlight .
-#     :Shot1 :range ?range .
-#     :Shot1 :maxHeight ?hMax .
-#     _:b3 :t ?t .
-#     _:b3 :x ?xAtT .
-#     _:b3 :y ?yAtT .
-#     :Shot1 :positionAtSample _:b3 .
-#   } .
-# with substitution (on rule variables):
-#   ?cosT = "0.7071067811865476"^^xsd:decimal
-#   ?g = 9.81
-#   ?g_t2 = "61.3125"^^xsd:decimal
-#   ?hMax = "22.935779816513755"^^xsd:decimal
-#   ?half_g_t2 = "30.65625"^^xsd:decimal
-#   ?range = "91.74311926605502"^^xsd:decimal
-#   ?sinT = "0.7071067811865475"^^xsd:decimal
-#   ?t = 2.5
-#   ?t2 = "6.25"^^xsd:decimal
-#   ?tFlight = "4.324812117348913"^^xsd:decimal
-#   ?theta = 0.7853981633974483
-#   ?twoG = "19.62"^^xsd:decimal
-#   ?twoVy = "42.426406871192846"^^xsd:decimal
-#   ?v = 30.0
-#   ?vx = "21.213203435596427"^^xsd:decimal
-#   ?vy = "21.213203435596423"^^xsd:decimal
-#   ?vy2 = "449.9999999999999"^^xsd:decimal
-#   ?vy_t = "53.03300858899106"^^xsd:decimal
-#   ?xAtT = "53.033008588991066"^^xsd:decimal
-#   ?yAtT = "22.37675858899106"^^xsd:decimal
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
 :Shot1 :maxHeight "22.935779816513755"^^xsd:decimal .
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   _:sk_1 :t 2.5 .
-# It holds because the following instance of the rule body is provable:
-#   :Shot1 :speed 30.0 .
-#   :Shot1 :angleRad 0.7853981633974483 .
-#   :Shot1 :g 9.81 .
-#   :Shot1 :tSample 2.5 .
-#   0.7853981633974483 math:sin "0.7071067811865475"^^xsd:decimal .
-#   0.7853981633974483 math:cos "0.7071067811865476"^^xsd:decimal .
-#   (30.0 "0.7071067811865476"^^xsd:decimal) math:product "21.213203435596427"^^xsd:decimal .
-#   (30.0 "0.7071067811865475"^^xsd:decimal) math:product "21.213203435596423"^^xsd:decimal .
-#   (2.0 "21.213203435596423"^^xsd:decimal) math:product "42.426406871192846"^^xsd:decimal .
-#   ("42.426406871192846"^^xsd:decimal 9.81) math:quotient "4.324812117348913"^^xsd:decimal .
-#   ("21.213203435596427"^^xsd:decimal "4.324812117348913"^^xsd:decimal) math:product "91.74311926605502"^^xsd:decimal .
-#   ("21.213203435596423"^^xsd:decimal 2.0) math:exponentiation "449.9999999999999"^^xsd:decimal .
-#   (2.0 9.81) math:product "19.62"^^xsd:decimal .
-#   ("449.9999999999999"^^xsd:decimal "19.62"^^xsd:decimal) math:quotient "22.935779816513755"^^xsd:decimal .
-#   ("21.213203435596427"^^xsd:decimal 2.5) math:product "53.033008588991066"^^xsd:decimal .
-#   ("21.213203435596423"^^xsd:decimal 2.5) math:product "53.03300858899106"^^xsd:decimal .
-#   (2.5 2.0) math:exponentiation "6.25"^^xsd:decimal .
-#   (9.81 "6.25"^^xsd:decimal) math:product "61.3125"^^xsd:decimal .
-#   (0.5 "61.3125"^^xsd:decimal) math:product "30.65625"^^xsd:decimal .
-#   ("53.03300858899106"^^xsd:decimal "30.65625"^^xsd:decimal) math:difference "22.37675858899106"^^xsd:decimal .
-# via the schematic forward rule:
-#   {
-#     :Shot1 :speed ?v .
-#     :Shot1 :angleRad ?theta .
-#     :Shot1 :g ?g .
-#     :Shot1 :tSample ?t .
-#     ?theta math:sin ?sinT .
-#     ?theta math:cos ?cosT .
-#     (?v ?cosT) math:product ?vx .
-#     (?v ?sinT) math:product ?vy .
-#     (2.0 ?vy) math:product ?twoVy .
-#     (?twoVy ?g) math:quotient ?tFlight .
-#     (?vx ?tFlight) math:product ?range .
-#     (?vy 2.0) math:exponentiation ?vy2 .
-#     (2.0 ?g) math:product ?twoG .
-#     (?vy2 ?twoG) math:quotient ?hMax .
-#     (?vx ?t) math:product ?xAtT .
-#     (?vy ?t) math:product ?vy_t .
-#     (?t 2.0) math:exponentiation ?t2 .
-#     (?g ?t2) math:product ?g_t2 .
-#     (0.5 ?g_t2) math:product ?half_g_t2 .
-#     (?vy_t ?half_g_t2) math:difference ?yAtT .
-#   } => {
-#     :Shot1 :vx ?vx .
-#     :Shot1 :vy ?vy .
-#     :Shot1 :timeOfFlight ?tFlight .
-#     :Shot1 :range ?range .
-#     :Shot1 :maxHeight ?hMax .
-#     _:b3 :t ?t .
-#     _:b3 :x ?xAtT .
-#     _:b3 :y ?yAtT .
-#     :Shot1 :positionAtSample _:b3 .
-#   } .
-# with substitution (on rule variables):
-#   ?cosT = "0.7071067811865476"^^xsd:decimal
-#   ?g = 9.81
-#   ?g_t2 = "61.3125"^^xsd:decimal
-#   ?hMax = "22.935779816513755"^^xsd:decimal
-#   ?half_g_t2 = "30.65625"^^xsd:decimal
-#   ?range = "91.74311926605502"^^xsd:decimal
-#   ?sinT = "0.7071067811865475"^^xsd:decimal
-#   ?t = 2.5
-#   ?t2 = "6.25"^^xsd:decimal
-#   ?tFlight = "4.324812117348913"^^xsd:decimal
-#   ?theta = 0.7853981633974483
-#   ?twoG = "19.62"^^xsd:decimal
-#   ?twoVy = "42.426406871192846"^^xsd:decimal
-#   ?v = 30.0
-#   ?vx = "21.213203435596427"^^xsd:decimal
-#   ?vy = "21.213203435596423"^^xsd:decimal
-#   ?vy2 = "449.9999999999999"^^xsd:decimal
-#   ?vy_t = "53.03300858899106"^^xsd:decimal
-#   ?xAtT = "53.033008588991066"^^xsd:decimal
-#   ?yAtT = "22.37675858899106"^^xsd:decimal
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
 _:sk_1 :t 2.5 .
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   _:sk_1 :x "53.033008588991066"^^xsd:decimal .
-# It holds because the following instance of the rule body is provable:
-#   :Shot1 :speed 30.0 .
-#   :Shot1 :angleRad 0.7853981633974483 .
-#   :Shot1 :g 9.81 .
-#   :Shot1 :tSample 2.5 .
-#   0.7853981633974483 math:sin "0.7071067811865475"^^xsd:decimal .
-#   0.7853981633974483 math:cos "0.7071067811865476"^^xsd:decimal .
-#   (30.0 "0.7071067811865476"^^xsd:decimal) math:product "21.213203435596427"^^xsd:decimal .
-#   (30.0 "0.7071067811865475"^^xsd:decimal) math:product "21.213203435596423"^^xsd:decimal .
-#   (2.0 "21.213203435596423"^^xsd:decimal) math:product "42.426406871192846"^^xsd:decimal .
-#   ("42.426406871192846"^^xsd:decimal 9.81) math:quotient "4.324812117348913"^^xsd:decimal .
-#   ("21.213203435596427"^^xsd:decimal "4.324812117348913"^^xsd:decimal) math:product "91.74311926605502"^^xsd:decimal .
-#   ("21.213203435596423"^^xsd:decimal 2.0) math:exponentiation "449.9999999999999"^^xsd:decimal .
-#   (2.0 9.81) math:product "19.62"^^xsd:decimal .
-#   ("449.9999999999999"^^xsd:decimal "19.62"^^xsd:decimal) math:quotient "22.935779816513755"^^xsd:decimal .
-#   ("21.213203435596427"^^xsd:decimal 2.5) math:product "53.033008588991066"^^xsd:decimal .
-#   ("21.213203435596423"^^xsd:decimal 2.5) math:product "53.03300858899106"^^xsd:decimal .
-#   (2.5 2.0) math:exponentiation "6.25"^^xsd:decimal .
-#   (9.81 "6.25"^^xsd:decimal) math:product "61.3125"^^xsd:decimal .
-#   (0.5 "61.3125"^^xsd:decimal) math:product "30.65625"^^xsd:decimal .
-#   ("53.03300858899106"^^xsd:decimal "30.65625"^^xsd:decimal) math:difference "22.37675858899106"^^xsd:decimal .
-# via the schematic forward rule:
-#   {
-#     :Shot1 :speed ?v .
-#     :Shot1 :angleRad ?theta .
-#     :Shot1 :g ?g .
-#     :Shot1 :tSample ?t .
-#     ?theta math:sin ?sinT .
-#     ?theta math:cos ?cosT .
-#     (?v ?cosT) math:product ?vx .
-#     (?v ?sinT) math:product ?vy .
-#     (2.0 ?vy) math:product ?twoVy .
-#     (?twoVy ?g) math:quotient ?tFlight .
-#     (?vx ?tFlight) math:product ?range .
-#     (?vy 2.0) math:exponentiation ?vy2 .
-#     (2.0 ?g) math:product ?twoG .
-#     (?vy2 ?twoG) math:quotient ?hMax .
-#     (?vx ?t) math:product ?xAtT .
-#     (?vy ?t) math:product ?vy_t .
-#     (?t 2.0) math:exponentiation ?t2 .
-#     (?g ?t2) math:product ?g_t2 .
-#     (0.5 ?g_t2) math:product ?half_g_t2 .
-#     (?vy_t ?half_g_t2) math:difference ?yAtT .
-#   } => {
-#     :Shot1 :vx ?vx .
-#     :Shot1 :vy ?vy .
-#     :Shot1 :timeOfFlight ?tFlight .
-#     :Shot1 :range ?range .
-#     :Shot1 :maxHeight ?hMax .
-#     _:b3 :t ?t .
-#     _:b3 :x ?xAtT .
-#     _:b3 :y ?yAtT .
-#     :Shot1 :positionAtSample _:b3 .
-#   } .
-# with substitution (on rule variables):
-#   ?cosT = "0.7071067811865476"^^xsd:decimal
-#   ?g = 9.81
-#   ?g_t2 = "61.3125"^^xsd:decimal
-#   ?hMax = "22.935779816513755"^^xsd:decimal
-#   ?half_g_t2 = "30.65625"^^xsd:decimal
-#   ?range = "91.74311926605502"^^xsd:decimal
-#   ?sinT = "0.7071067811865475"^^xsd:decimal
-#   ?t = 2.5
-#   ?t2 = "6.25"^^xsd:decimal
-#   ?tFlight = "4.324812117348913"^^xsd:decimal
-#   ?theta = 0.7853981633974483
-#   ?twoG = "19.62"^^xsd:decimal
-#   ?twoVy = "42.426406871192846"^^xsd:decimal
-#   ?v = 30.0
-#   ?vx = "21.213203435596427"^^xsd:decimal
-#   ?vy = "21.213203435596423"^^xsd:decimal
-#   ?vy2 = "449.9999999999999"^^xsd:decimal
-#   ?vy_t = "53.03300858899106"^^xsd:decimal
-#   ?xAtT = "53.033008588991066"^^xsd:decimal
-#   ?yAtT = "22.37675858899106"^^xsd:decimal
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
 _:sk_1 :x "53.033008588991066"^^xsd:decimal .
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   _:sk_1 :y "22.37675858899106"^^xsd:decimal .
-# It holds because the following instance of the rule body is provable:
-#   :Shot1 :speed 30.0 .
-#   :Shot1 :angleRad 0.7853981633974483 .
-#   :Shot1 :g 9.81 .
-#   :Shot1 :tSample 2.5 .
-#   0.7853981633974483 math:sin "0.7071067811865475"^^xsd:decimal .
-#   0.7853981633974483 math:cos "0.7071067811865476"^^xsd:decimal .
-#   (30.0 "0.7071067811865476"^^xsd:decimal) math:product "21.213203435596427"^^xsd:decimal .
-#   (30.0 "0.7071067811865475"^^xsd:decimal) math:product "21.213203435596423"^^xsd:decimal .
-#   (2.0 "21.213203435596423"^^xsd:decimal) math:product "42.426406871192846"^^xsd:decimal .
-#   ("42.426406871192846"^^xsd:decimal 9.81) math:quotient "4.324812117348913"^^xsd:decimal .
-#   ("21.213203435596427"^^xsd:decimal "4.324812117348913"^^xsd:decimal) math:product "91.74311926605502"^^xsd:decimal .
-#   ("21.213203435596423"^^xsd:decimal 2.0) math:exponentiation "449.9999999999999"^^xsd:decimal .
-#   (2.0 9.81) math:product "19.62"^^xsd:decimal .
-#   ("449.9999999999999"^^xsd:decimal "19.62"^^xsd:decimal) math:quotient "22.935779816513755"^^xsd:decimal .
-#   ("21.213203435596427"^^xsd:decimal 2.5) math:product "53.033008588991066"^^xsd:decimal .
-#   ("21.213203435596423"^^xsd:decimal 2.5) math:product "53.03300858899106"^^xsd:decimal .
-#   (2.5 2.0) math:exponentiation "6.25"^^xsd:decimal .
-#   (9.81 "6.25"^^xsd:decimal) math:product "61.3125"^^xsd:decimal .
-#   (0.5 "61.3125"^^xsd:decimal) math:product "30.65625"^^xsd:decimal .
-#   ("53.03300858899106"^^xsd:decimal "30.65625"^^xsd:decimal) math:difference "22.37675858899106"^^xsd:decimal .
-# via the schematic forward rule:
-#   {
-#     :Shot1 :speed ?v .
-#     :Shot1 :angleRad ?theta .
-#     :Shot1 :g ?g .
-#     :Shot1 :tSample ?t .
-#     ?theta math:sin ?sinT .
-#     ?theta math:cos ?cosT .
-#     (?v ?cosT) math:product ?vx .
-#     (?v ?sinT) math:product ?vy .
-#     (2.0 ?vy) math:product ?twoVy .
-#     (?twoVy ?g) math:quotient ?tFlight .
-#     (?vx ?tFlight) math:product ?range .
-#     (?vy 2.0) math:exponentiation ?vy2 .
-#     (2.0 ?g) math:product ?twoG .
-#     (?vy2 ?twoG) math:quotient ?hMax .
-#     (?vx ?t) math:product ?xAtT .
-#     (?vy ?t) math:product ?vy_t .
-#     (?t 2.0) math:exponentiation ?t2 .
-#     (?g ?t2) math:product ?g_t2 .
-#     (0.5 ?g_t2) math:product ?half_g_t2 .
-#     (?vy_t ?half_g_t2) math:difference ?yAtT .
-#   } => {
-#     :Shot1 :vx ?vx .
-#     :Shot1 :vy ?vy .
-#     :Shot1 :timeOfFlight ?tFlight .
-#     :Shot1 :range ?range .
-#     :Shot1 :maxHeight ?hMax .
-#     _:b3 :t ?t .
-#     _:b3 :x ?xAtT .
-#     _:b3 :y ?yAtT .
-#     :Shot1 :positionAtSample _:b3 .
-#   } .
-# with substitution (on rule variables):
-#   ?cosT = "0.7071067811865476"^^xsd:decimal
-#   ?g = 9.81
-#   ?g_t2 = "61.3125"^^xsd:decimal
-#   ?hMax = "22.935779816513755"^^xsd:decimal
-#   ?half_g_t2 = "30.65625"^^xsd:decimal
-#   ?range = "91.74311926605502"^^xsd:decimal
-#   ?sinT = "0.7071067811865475"^^xsd:decimal
-#   ?t = 2.5
-#   ?t2 = "6.25"^^xsd:decimal
-#   ?tFlight = "4.324812117348913"^^xsd:decimal
-#   ?theta = 0.7853981633974483
-#   ?twoG = "19.62"^^xsd:decimal
-#   ?twoVy = "42.426406871192846"^^xsd:decimal
-#   ?v = 30.0
-#   ?vx = "21.213203435596427"^^xsd:decimal
-#   ?vy = "21.213203435596423"^^xsd:decimal
-#   ?vy2 = "449.9999999999999"^^xsd:decimal
-#   ?vy_t = "53.03300858899106"^^xsd:decimal
-#   ?xAtT = "53.033008588991066"^^xsd:decimal
-#   ?yAtT = "22.37675858899106"^^xsd:decimal
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
 _:sk_1 :y "22.37675858899106"^^xsd:decimal .
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   :Shot1 :positionAtSample _:sk_1 .
-# It holds because the following instance of the rule body is provable:
-#   :Shot1 :speed 30.0 .
-#   :Shot1 :angleRad 0.7853981633974483 .
-#   :Shot1 :g 9.81 .
-#   :Shot1 :tSample 2.5 .
-#   0.7853981633974483 math:sin "0.7071067811865475"^^xsd:decimal .
-#   0.7853981633974483 math:cos "0.7071067811865476"^^xsd:decimal .
-#   (30.0 "0.7071067811865476"^^xsd:decimal) math:product "21.213203435596427"^^xsd:decimal .
-#   (30.0 "0.7071067811865475"^^xsd:decimal) math:product "21.213203435596423"^^xsd:decimal .
-#   (2.0 "21.213203435596423"^^xsd:decimal) math:product "42.426406871192846"^^xsd:decimal .
-#   ("42.426406871192846"^^xsd:decimal 9.81) math:quotient "4.324812117348913"^^xsd:decimal .
-#   ("21.213203435596427"^^xsd:decimal "4.324812117348913"^^xsd:decimal) math:product "91.74311926605502"^^xsd:decimal .
-#   ("21.213203435596423"^^xsd:decimal 2.0) math:exponentiation "449.9999999999999"^^xsd:decimal .
-#   (2.0 9.81) math:product "19.62"^^xsd:decimal .
-#   ("449.9999999999999"^^xsd:decimal "19.62"^^xsd:decimal) math:quotient "22.935779816513755"^^xsd:decimal .
-#   ("21.213203435596427"^^xsd:decimal 2.5) math:product "53.033008588991066"^^xsd:decimal .
-#   ("21.213203435596423"^^xsd:decimal 2.5) math:product "53.03300858899106"^^xsd:decimal .
-#   (2.5 2.0) math:exponentiation "6.25"^^xsd:decimal .
-#   (9.81 "6.25"^^xsd:decimal) math:product "61.3125"^^xsd:decimal .
-#   (0.5 "61.3125"^^xsd:decimal) math:product "30.65625"^^xsd:decimal .
-#   ("53.03300858899106"^^xsd:decimal "30.65625"^^xsd:decimal) math:difference "22.37675858899106"^^xsd:decimal .
-# via the schematic forward rule:
-#   {
-#     :Shot1 :speed ?v .
-#     :Shot1 :angleRad ?theta .
-#     :Shot1 :g ?g .
-#     :Shot1 :tSample ?t .
-#     ?theta math:sin ?sinT .
-#     ?theta math:cos ?cosT .
-#     (?v ?cosT) math:product ?vx .
-#     (?v ?sinT) math:product ?vy .
-#     (2.0 ?vy) math:product ?twoVy .
-#     (?twoVy ?g) math:quotient ?tFlight .
-#     (?vx ?tFlight) math:product ?range .
-#     (?vy 2.0) math:exponentiation ?vy2 .
-#     (2.0 ?g) math:product ?twoG .
-#     (?vy2 ?twoG) math:quotient ?hMax .
-#     (?vx ?t) math:product ?xAtT .
-#     (?vy ?t) math:product ?vy_t .
-#     (?t 2.0) math:exponentiation ?t2 .
-#     (?g ?t2) math:product ?g_t2 .
-#     (0.5 ?g_t2) math:product ?half_g_t2 .
-#     (?vy_t ?half_g_t2) math:difference ?yAtT .
-#   } => {
-#     :Shot1 :vx ?vx .
-#     :Shot1 :vy ?vy .
-#     :Shot1 :timeOfFlight ?tFlight .
-#     :Shot1 :range ?range .
-#     :Shot1 :maxHeight ?hMax .
-#     _:b3 :t ?t .
-#     _:b3 :x ?xAtT .
-#     _:b3 :y ?yAtT .
-#     :Shot1 :positionAtSample _:b3 .
-#   } .
-# with substitution (on rule variables):
-#   ?cosT = "0.7071067811865476"^^xsd:decimal
-#   ?g = 9.81
-#   ?g_t2 = "61.3125"^^xsd:decimal
-#   ?hMax = "22.935779816513755"^^xsd:decimal
-#   ?half_g_t2 = "30.65625"^^xsd:decimal
-#   ?range = "91.74311926605502"^^xsd:decimal
-#   ?sinT = "0.7071067811865475"^^xsd:decimal
-#   ?t = 2.5
-#   ?t2 = "6.25"^^xsd:decimal
-#   ?tFlight = "4.324812117348913"^^xsd:decimal
-#   ?theta = 0.7853981633974483
-#   ?twoG = "19.62"^^xsd:decimal
-#   ?twoVy = "42.426406871192846"^^xsd:decimal
-#   ?v = 30.0
-#   ?vx = "21.213203435596427"^^xsd:decimal
-#   ?vy = "21.213203435596423"^^xsd:decimal
-#   ?vy2 = "449.9999999999999"^^xsd:decimal
-#   ?vy_t = "53.03300858899106"^^xsd:decimal
-#   ?xAtT = "53.033008588991066"^^xsd:decimal
-#   ?yAtT = "22.37675858899106"^^xsd:decimal
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
 :Shot1 :positionAtSample _:sk_1 .
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   :DataSet1 :mean "2.642857142857143"^^xsd:decimal .
-# It holds because the following instance of the rule body is provable:
-#   :DataSet1 :values (1.2 1.3 1.4 1.25 1.35 2.0 10.0) .
-#   :DataSet1 :zThreshold 2.0 .
-#   (1.2 1.3 1.4 1.25 1.35 2.0 10.0) list:length 7 .
-#   (1.2 1.3 1.4 1.25 1.35 2.0 10.0) math:sum "18.5"^^xsd:decimal .
-#   ("18.5"^^xsd:decimal 7) math:quotient "2.642857142857143"^^xsd:decimal .
-#   (?sq {
-#       (1.2 1.3 1.4 1.25 1.35 2.0 10.0) list:member ?x .
-#       (?x "2.642857142857143"^^xsd:decimal) math:difference ?d .
-#       (?d 2.0) math:exponentiation ?sq .
-#   } ("54.12755102040817"^^xsd:decimal "0.4132653061224489"^^xsd:decimal "1.6714795918367342"^^xsd:decimal "1.9400510204081631"^^xsd:decimal "1.5446938775510204"^^xsd:decimal "1.8032653061224486"^^xsd:decimal "2.0818367346938773"^^xsd:decimal)) log:collectAllIn ?_b1 .
-#   ("54.12755102040817"^^xsd:decimal "0.4132653061224489"^^xsd:decimal "1.6714795918367342"^^xsd:decimal "1.9400510204081631"^^xsd:decimal "1.5446938775510204"^^xsd:decimal "1.8032653061224486"^^xsd:decimal "2.0818367346938773"^^xsd:decimal) math:sum "63.58214285714286"^^xsd:decimal .
-#   ("63.58214285714286"^^xsd:decimal 7) math:quotient "9.083163265306123"^^xsd:decimal .
-#   ("9.083163265306123"^^xsd:decimal 0.5) math:exponentiation "3.0138286721886036"^^xsd:decimal .
-# via the schematic forward rule:
-#   {
-#     :DataSet1 :values ?xs .
-#     :DataSet1 :zThreshold ?thr .
-#     ?xs list:length ?n .
-#     ?xs math:sum ?sum .
-#     (?sum ?n) math:quotient ?mean .
-#     (?sq {
-#         ?xs list:member ?x .
-#         (?x ?mean) math:difference ?d .
-#         (?d 2.0) math:exponentiation ?sq .
-#     } ?sqList) log:collectAllIn ?_b1 .
-#     ?sqList math:sum ?sse .
-#     (?sse ?n) math:quotient ?var .
-#     (?var 0.5) math:exponentiation ?std .
-#   } => {
-#     :DataSet1 :mean ?mean .
-#     :DataSet1 :variance ?var .
-#     :DataSet1 :stddev ?std .
-#   } .
-# with substitution (on rule variables):
-#   ?mean = "2.642857142857143"^^xsd:decimal
-#   ?n = 7
-#   ?sqList = ("54.12755102040817"^^xsd:decimal "0.4132653061224489"^^xsd:decimal "1.6714795918367342"^^xsd:decimal "1.9400510204081631"^^xsd:decimal "1.5446938775510204"^^xsd:decimal "1.8032653061224486"^^xsd:decimal "2.0818367346938773"^^xsd:decimal)
-#   ?sse = "63.58214285714286"^^xsd:decimal
-#   ?std = "3.0138286721886036"^^xsd:decimal
-#   ?sum = "18.5"^^xsd:decimal
-#   ?thr = 2.0
-#   ?var = "9.083163265306123"^^xsd:decimal
-#   ?xs = (1.2 1.3 1.4 1.25 1.35 2.0 10.0)
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
 :DataSet1 :mean "2.642857142857143"^^xsd:decimal .
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   :DataSet1 :variance "9.083163265306123"^^xsd:decimal .
-# It holds because the following instance of the rule body is provable:
-#   :DataSet1 :values (1.2 1.3 1.4 1.25 1.35 2.0 10.0) .
-#   :DataSet1 :zThreshold 2.0 .
-#   (1.2 1.3 1.4 1.25 1.35 2.0 10.0) list:length 7 .
-#   (1.2 1.3 1.4 1.25 1.35 2.0 10.0) math:sum "18.5"^^xsd:decimal .
-#   ("18.5"^^xsd:decimal 7) math:quotient "2.642857142857143"^^xsd:decimal .
-#   (?sq {
-#       (1.2 1.3 1.4 1.25 1.35 2.0 10.0) list:member ?x .
-#       (?x "2.642857142857143"^^xsd:decimal) math:difference ?d .
-#       (?d 2.0) math:exponentiation ?sq .
-#   } ("54.12755102040817"^^xsd:decimal "0.4132653061224489"^^xsd:decimal "1.6714795918367342"^^xsd:decimal "1.9400510204081631"^^xsd:decimal "1.5446938775510204"^^xsd:decimal "1.8032653061224486"^^xsd:decimal "2.0818367346938773"^^xsd:decimal)) log:collectAllIn ?_b1 .
-#   ("54.12755102040817"^^xsd:decimal "0.4132653061224489"^^xsd:decimal "1.6714795918367342"^^xsd:decimal "1.9400510204081631"^^xsd:decimal "1.5446938775510204"^^xsd:decimal "1.8032653061224486"^^xsd:decimal "2.0818367346938773"^^xsd:decimal) math:sum "63.58214285714286"^^xsd:decimal .
-#   ("63.58214285714286"^^xsd:decimal 7) math:quotient "9.083163265306123"^^xsd:decimal .
-#   ("9.083163265306123"^^xsd:decimal 0.5) math:exponentiation "3.0138286721886036"^^xsd:decimal .
-# via the schematic forward rule:
-#   {
-#     :DataSet1 :values ?xs .
-#     :DataSet1 :zThreshold ?thr .
-#     ?xs list:length ?n .
-#     ?xs math:sum ?sum .
-#     (?sum ?n) math:quotient ?mean .
-#     (?sq {
-#         ?xs list:member ?x .
-#         (?x ?mean) math:difference ?d .
-#         (?d 2.0) math:exponentiation ?sq .
-#     } ?sqList) log:collectAllIn ?_b1 .
-#     ?sqList math:sum ?sse .
-#     (?sse ?n) math:quotient ?var .
-#     (?var 0.5) math:exponentiation ?std .
-#   } => {
-#     :DataSet1 :mean ?mean .
-#     :DataSet1 :variance ?var .
-#     :DataSet1 :stddev ?std .
-#   } .
-# with substitution (on rule variables):
-#   ?mean = "2.642857142857143"^^xsd:decimal
-#   ?n = 7
-#   ?sqList = ("54.12755102040817"^^xsd:decimal "0.4132653061224489"^^xsd:decimal "1.6714795918367342"^^xsd:decimal "1.9400510204081631"^^xsd:decimal "1.5446938775510204"^^xsd:decimal "1.8032653061224486"^^xsd:decimal "2.0818367346938773"^^xsd:decimal)
-#   ?sse = "63.58214285714286"^^xsd:decimal
-#   ?std = "3.0138286721886036"^^xsd:decimal
-#   ?sum = "18.5"^^xsd:decimal
-#   ?thr = 2.0
-#   ?var = "9.083163265306123"^^xsd:decimal
-#   ?xs = (1.2 1.3 1.4 1.25 1.35 2.0 10.0)
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
 :DataSet1 :variance "9.083163265306123"^^xsd:decimal .
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   :DataSet1 :stddev "3.0138286721886036"^^xsd:decimal .
-# It holds because the following instance of the rule body is provable:
-#   :DataSet1 :values (1.2 1.3 1.4 1.25 1.35 2.0 10.0) .
-#   :DataSet1 :zThreshold 2.0 .
-#   (1.2 1.3 1.4 1.25 1.35 2.0 10.0) list:length 7 .
-#   (1.2 1.3 1.4 1.25 1.35 2.0 10.0) math:sum "18.5"^^xsd:decimal .
-#   ("18.5"^^xsd:decimal 7) math:quotient "2.642857142857143"^^xsd:decimal .
-#   (?sq {
-#       (1.2 1.3 1.4 1.25 1.35 2.0 10.0) list:member ?x .
-#       (?x "2.642857142857143"^^xsd:decimal) math:difference ?d .
-#       (?d 2.0) math:exponentiation ?sq .
-#   } ("54.12755102040817"^^xsd:decimal "0.4132653061224489"^^xsd:decimal "1.6714795918367342"^^xsd:decimal "1.9400510204081631"^^xsd:decimal "1.5446938775510204"^^xsd:decimal "1.8032653061224486"^^xsd:decimal "2.0818367346938773"^^xsd:decimal)) log:collectAllIn ?_b1 .
-#   ("54.12755102040817"^^xsd:decimal "0.4132653061224489"^^xsd:decimal "1.6714795918367342"^^xsd:decimal "1.9400510204081631"^^xsd:decimal "1.5446938775510204"^^xsd:decimal "1.8032653061224486"^^xsd:decimal "2.0818367346938773"^^xsd:decimal) math:sum "63.58214285714286"^^xsd:decimal .
-#   ("63.58214285714286"^^xsd:decimal 7) math:quotient "9.083163265306123"^^xsd:decimal .
-#   ("9.083163265306123"^^xsd:decimal 0.5) math:exponentiation "3.0138286721886036"^^xsd:decimal .
-# via the schematic forward rule:
-#   {
-#     :DataSet1 :values ?xs .
-#     :DataSet1 :zThreshold ?thr .
-#     ?xs list:length ?n .
-#     ?xs math:sum ?sum .
-#     (?sum ?n) math:quotient ?mean .
-#     (?sq {
-#         ?xs list:member ?x .
-#         (?x ?mean) math:difference ?d .
-#         (?d 2.0) math:exponentiation ?sq .
-#     } ?sqList) log:collectAllIn ?_b1 .
-#     ?sqList math:sum ?sse .
-#     (?sse ?n) math:quotient ?var .
-#     (?var 0.5) math:exponentiation ?std .
-#   } => {
-#     :DataSet1 :mean ?mean .
-#     :DataSet1 :variance ?var .
-#     :DataSet1 :stddev ?std .
-#   } .
-# with substitution (on rule variables):
-#   ?mean = "2.642857142857143"^^xsd:decimal
-#   ?n = 7
-#   ?sqList = ("54.12755102040817"^^xsd:decimal "0.4132653061224489"^^xsd:decimal "1.6714795918367342"^^xsd:decimal "1.9400510204081631"^^xsd:decimal "1.5446938775510204"^^xsd:decimal "1.8032653061224486"^^xsd:decimal "2.0818367346938773"^^xsd:decimal)
-#   ?sse = "63.58214285714286"^^xsd:decimal
-#   ?std = "3.0138286721886036"^^xsd:decimal
-#   ?sum = "18.5"^^xsd:decimal
-#   ?thr = 2.0
-#   ?var = "9.083163265306123"^^xsd:decimal
-#   ?xs = (1.2 1.3 1.4 1.25 1.35 2.0 10.0)
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
 :DataSet1 :stddev "3.0138286721886036"^^xsd:decimal .
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   _:sk_2 :value 10.0 .
-# It holds because the following instance of the rule body is provable:
-#   :DataSet1 :values (1.2 1.3 1.4 1.25 1.35 2.0 10.0) .
-#   :DataSet1 :mean "2.642857142857143"^^xsd:decimal .
-#   :DataSet1 :stddev "3.0138286721886036"^^xsd:decimal .
-#   :DataSet1 :zThreshold 2.0 .
-#   (1.2 1.3 1.4 1.25 1.35 2.0 10.0) list:member 10.0 .
-#   (10.0 "2.642857142857143"^^xsd:decimal) math:difference "7.357142857142858"^^xsd:decimal .
-#   ("7.357142857142858"^^xsd:decimal "3.0138286721886036"^^xsd:decimal) math:quotient "2.44112843076783"^^xsd:decimal .
-#   "2.44112843076783"^^xsd:decimal math:absoluteValue "2.44112843076783"^^xsd:decimal .
-#   "2.44112843076783"^^xsd:decimal math:greaterThan 2.0 .
-# via the schematic forward rule:
-#   {
-#     :DataSet1 :values ?xs .
-#     :DataSet1 :mean ?mean .
-#     :DataSet1 :stddev ?std .
-#     :DataSet1 :zThreshold ?thr .
-#     ?xs list:member ?x .
-#     (?x ?mean) math:difference ?d .
-#     (?d ?std) math:quotient ?z .
-#     ?z math:absoluteValue ?absz .
-#     ?absz math:greaterThan ?thr .
-#   } => {
-#     _:b1 :value ?x .
-#     _:b1 :zScore ?z .
-#     :DataSet1 :outlier _:b1 .
-#   } .
-# with substitution (on rule variables):
-#   ?absz = "2.44112843076783"^^xsd:decimal
-#   ?d = "7.357142857142858"^^xsd:decimal
-#   ?mean = "2.642857142857143"^^xsd:decimal
-#   ?std = "3.0138286721886036"^^xsd:decimal
-#   ?thr = 2.0
-#   ?x = 10.0
-#   ?xs = (1.2 1.3 1.4 1.25 1.35 2.0 10.0)
-#   ?z = "2.44112843076783"^^xsd:decimal
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
 _:sk_2 :value 10.0 .
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   _:sk_2 :zScore "2.44112843076783"^^xsd:decimal .
-# It holds because the following instance of the rule body is provable:
-#   :DataSet1 :values (1.2 1.3 1.4 1.25 1.35 2.0 10.0) .
-#   :DataSet1 :mean "2.642857142857143"^^xsd:decimal .
-#   :DataSet1 :stddev "3.0138286721886036"^^xsd:decimal .
-#   :DataSet1 :zThreshold 2.0 .
-#   (1.2 1.3 1.4 1.25 1.35 2.0 10.0) list:member 10.0 .
-#   (10.0 "2.642857142857143"^^xsd:decimal) math:difference "7.357142857142858"^^xsd:decimal .
-#   ("7.357142857142858"^^xsd:decimal "3.0138286721886036"^^xsd:decimal) math:quotient "2.44112843076783"^^xsd:decimal .
-#   "2.44112843076783"^^xsd:decimal math:absoluteValue "2.44112843076783"^^xsd:decimal .
-#   "2.44112843076783"^^xsd:decimal math:greaterThan 2.0 .
-# via the schematic forward rule:
-#   {
-#     :DataSet1 :values ?xs .
-#     :DataSet1 :mean ?mean .
-#     :DataSet1 :stddev ?std .
-#     :DataSet1 :zThreshold ?thr .
-#     ?xs list:member ?x .
-#     (?x ?mean) math:difference ?d .
-#     (?d ?std) math:quotient ?z .
-#     ?z math:absoluteValue ?absz .
-#     ?absz math:greaterThan ?thr .
-#   } => {
-#     _:b1 :value ?x .
-#     _:b1 :zScore ?z .
-#     :DataSet1 :outlier _:b1 .
-#   } .
-# with substitution (on rule variables):
-#   ?absz = "2.44112843076783"^^xsd:decimal
-#   ?d = "7.357142857142858"^^xsd:decimal
-#   ?mean = "2.642857142857143"^^xsd:decimal
-#   ?std = "3.0138286721886036"^^xsd:decimal
-#   ?thr = 2.0
-#   ?x = 10.0
-#   ?xs = (1.2 1.3 1.4 1.25 1.35 2.0 10.0)
-#   ?z = "2.44112843076783"^^xsd:decimal
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
 _:sk_2 :zScore "2.44112843076783"^^xsd:decimal .
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   :DataSet1 :outlier _:sk_2 .
-# It holds because the following instance of the rule body is provable:
-#   :DataSet1 :values (1.2 1.3 1.4 1.25 1.35 2.0 10.0) .
-#   :DataSet1 :mean "2.642857142857143"^^xsd:decimal .
-#   :DataSet1 :stddev "3.0138286721886036"^^xsd:decimal .
-#   :DataSet1 :zThreshold 2.0 .
-#   (1.2 1.3 1.4 1.25 1.35 2.0 10.0) list:member 10.0 .
-#   (10.0 "2.642857142857143"^^xsd:decimal) math:difference "7.357142857142858"^^xsd:decimal .
-#   ("7.357142857142858"^^xsd:decimal "3.0138286721886036"^^xsd:decimal) math:quotient "2.44112843076783"^^xsd:decimal .
-#   "2.44112843076783"^^xsd:decimal math:absoluteValue "2.44112843076783"^^xsd:decimal .
-#   "2.44112843076783"^^xsd:decimal math:greaterThan 2.0 .
-# via the schematic forward rule:
-#   {
-#     :DataSet1 :values ?xs .
-#     :DataSet1 :mean ?mean .
-#     :DataSet1 :stddev ?std .
-#     :DataSet1 :zThreshold ?thr .
-#     ?xs list:member ?x .
-#     (?x ?mean) math:difference ?d .
-#     (?d ?std) math:quotient ?z .
-#     ?z math:absoluteValue ?absz .
-#     ?absz math:greaterThan ?thr .
-#   } => {
-#     _:b1 :value ?x .
-#     _:b1 :zScore ?z .
-#     :DataSet1 :outlier _:b1 .
-#   } .
-# with substitution (on rule variables):
-#   ?absz = "2.44112843076783"^^xsd:decimal
-#   ?d = "7.357142857142858"^^xsd:decimal
-#   ?mean = "2.642857142857143"^^xsd:decimal
-#   ?std = "3.0138286721886036"^^xsd:decimal
-#   ?thr = 2.0
-#   ?x = 10.0
-#   ?xs = (1.2 1.3 1.4 1.25 1.35 2.0 10.0)
-#   ?z = "2.44112843076783"^^xsd:decimal
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
 :DataSet1 :outlier _:sk_2 .