eyeling 1.6.13 → 1.6.15

package/examples/output/lldm.n3

@@ -1,1001 +1,41 @@
 @prefix : <http://www.agfa.com/w3c/2002/10/medicad/op/lldmP#> .
 @prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
 
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   :meas47 :dx12Cm "-35"^^xsd:decimal .
-# It holds because the following instance of the rule body is provable:
-#   :meas47 a :Measurement .
-#   :meas47 :p1xCm 10.1 .
-#   :meas47 :p2xCm 45.1 .
-#   (10.1 45.1) math:difference "-35"^^xsd:decimal .
-# via the schematic forward rule:
-#   {
-#     ?M a :Measurement .
-#     ?M :p1xCm ?X .
-#     ?M :p2xCm ?Y .
-#     (?X ?Y) math:difference ?Z .
-#   } => {
-#     ?M :dx12Cm ?Z .
-#   } .
-# with substitution (on rule variables):
-#   ?M = :meas47
-#   ?X = 10.1
-#   ?Y = 45.1
-#   ?Z = "-35"^^xsd:decimal
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 :meas47 :dx12Cm "-35"^^xsd:decimal .
-
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   :meas47 :dy12Cm "2.2"^^xsd:decimal .
-# It holds because the following instance of the rule body is provable:
-#   :meas47 a :Measurement .
-#   :meas47 :p1yCm 7.8 .
-#   :meas47 :p2yCm 5.6 .
-#   (7.8 5.6) math:difference "2.2"^^xsd:decimal .
-# via the schematic forward rule:
-#   {
-#     ?M a :Measurement .
-#     ?M :p1yCm ?X .
-#     ?M :p2yCm ?Y .
-#     (?X ?Y) math:difference ?Z .
-#   } => {
-#     ?M :dy12Cm ?Z .
-#   } .
-# with substitution (on rule variables):
-#   ?M = :meas47
-#   ?X = 7.8
-#   ?Y = 5.6
-#   ?Z = "2.2"^^xsd:decimal
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 :meas47 :dy12Cm "2.2"^^xsd:decimal .
-
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   :meas47 :dy13Cm "-22"^^xsd:decimal .
-# It holds because the following instance of the rule body is provable:
-#   :meas47 a :Measurement .
-#   :meas47 :p1yCm 7.8 .
-#   :meas47 :p3yCm 29.8 .
-#   (7.8 29.8) math:difference "-22"^^xsd:decimal .
-# via the schematic forward rule:
-#   {
-#     ?M a :Measurement .
-#     ?M :p1yCm ?X .
-#     ?M :p3yCm ?Y .
-#     (?X ?Y) math:difference ?Z .
-#   } => {
-#     ?M :dy13Cm ?Z .
-#   } .
-# with substitution (on rule variables):
-#   ?M = :meas47
-#   ?X = 7.8
-#   ?Y = 29.8
-#   ?Z = "-22"^^xsd:decimal
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 :meas47 :dy13Cm "-22"^^xsd:decimal .
-
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   :meas47 :dy24Cm "-22.9"^^xsd:decimal .
-# It holds because the following instance of the rule body is provable:
-#   :meas47 a :Measurement .
-#   :meas47 :p2yCm 5.6 .
-#   :meas47 :p4yCm 28.5 .
-#   (5.6 28.5) math:difference "-22.9"^^xsd:decimal .
-# via the schematic forward rule:
-#   {
-#     ?M a :Measurement .
-#     ?M :p2yCm ?X .
-#     ?M :p4yCm ?Y .
-#     (?X ?Y) math:difference ?Z .
-#   } => {
-#     ?M :dy24Cm ?Z .
-#   } .
-# with substitution (on rule variables):
-#   ?M = :meas47
-#   ?X = 5.6
-#   ?Y = 28.5
-#   ?Z = "-22.9"^^xsd:decimal
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 :meas47 :dy24Cm "-22.9"^^xsd:decimal .
-
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   :meas47 :cL1 "-0.06285714285714286"^^xsd:decimal .
-# It holds because the following instance of the rule body is provable:
-#   :meas47 a :Measurement .
-#   :meas47 :dy12Cm "2.2"^^xsd:decimal .
-#   :meas47 :dx12Cm "-35"^^xsd:decimal .
-#   ("2.2"^^xsd:decimal "-35"^^xsd:decimal) math:quotient "-0.06285714285714286"^^xsd:decimal .
-# via the schematic forward rule:
-#   {
-#     ?M a :Measurement .
-#     ?M :dy12Cm ?Y .
-#     ?M :dx12Cm ?X .
-#     (?Y ?X) math:quotient ?Z .
-#   } => {
-#     ?M :cL1 ?Z .
-#   } .
-# with substitution (on rule variables):
-#   ?M = :meas47
-#   ?X = "-35"^^xsd:decimal
-#   ?Y = "2.2"^^xsd:decimal
-#   ?Z = "-0.06285714285714286"^^xsd:decimal
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 :meas47 :cL1 "-0.06285714285714286"^^xsd:decimal .
-
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   :meas47 :dL3m "-15.909090909090908"^^xsd:decimal .
-# It holds because the following instance of the rule body is provable:
-#   :meas47 a :Measurement .
-#   :meas47 :cL1 "-0.06285714285714286"^^xsd:decimal .
-#   (1 "-0.06285714285714286"^^xsd:decimal) math:quotient "-15.909090909090908"^^xsd:decimal .
-# via the schematic forward rule:
-#   {
-#     ?M a :Measurement .
-#     ?M :cL1 ?X .
-#     (1 ?X) math:quotient ?Z .
-#   } => {
-#     ?M :dL3m ?Z .
-#   } .
-# with substitution (on rule variables):
-#   ?M = :meas47
-#   ?X = "-0.06285714285714286"^^xsd:decimal
-#   ?Z = "-15.909090909090908"^^xsd:decimal
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 :meas47 :dL3m "-15.909090909090908"^^xsd:decimal .
-
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   :meas47 :cL3 "15.909090909090908"^^xsd:decimal .
-# It holds because the following instance of the rule body is provable:
-#   :meas47 a :Measurement .
-#   :meas47 :dL3m "-15.909090909090908"^^xsd:decimal .
-#   (0 "-15.909090909090908"^^xsd:decimal) math:difference "15.909090909090908"^^xsd:decimal .
-# via the schematic forward rule:
-#   {
-#     ?M a :Measurement .
-#     ?M :dL3m ?X .
-#     (0 ?X) math:difference ?Z .
-#   } => {
-#     ?M :cL3 ?Z .
-#   } .
-# with substitution (on rule variables):
-#   ?M = :meas47
-#   ?X = "-15.909090909090908"^^xsd:decimal
-#   ?Z = "15.909090909090908"^^xsd:decimal
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 :meas47 :cL3 "15.909090909090908"^^xsd:decimal .
-
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   :meas47 :pL1x1Cm "-0.6348571428571429"^^xsd:decimal .
-# It holds because the following instance of the rule body is provable:
-#   :meas47 a :Measurement .
-#   :meas47 :cL1 "-0.06285714285714286"^^xsd:decimal .
-#   :meas47 :p1xCm 10.1 .
-#   ("-0.06285714285714286"^^xsd:decimal 10.1) math:product "-0.6348571428571429"^^xsd:decimal .
-# via the schematic forward rule:
-#   {
-#     ?M a :Measurement .
-#     ?M :cL1 ?X .
-#     ?M :p1xCm ?Y .
-#     (?X ?Y) math:product ?Z .
-#   } => {
-#     ?M :pL1x1Cm ?Z .
-#   } .
-# with substitution (on rule variables):
-#   ?M = :meas47
-#   ?X = "-0.06285714285714286"^^xsd:decimal
-#   ?Y = 10.1
-#   ?Z = "-0.6348571428571429"^^xsd:decimal
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 :meas47 :pL1x1Cm "-0.6348571428571429"^^xsd:decimal .
-
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   :meas47 :pL1x2Cm "-2.834857142857143"^^xsd:decimal .
-# It holds because the following instance of the rule body is provable:
-#   :meas47 a :Measurement .
-#   :meas47 :cL1 "-0.06285714285714286"^^xsd:decimal .
-#   :meas47 :p2xCm 45.1 .
-#   ("-0.06285714285714286"^^xsd:decimal 45.1) math:product "-2.834857142857143"^^xsd:decimal .
-# via the schematic forward rule:
-#   {
-#     ?M a :Measurement .
-#     ?M :cL1 ?X .
-#     ?M :p2xCm ?Y .
-#     (?X ?Y) math:product ?Z .
-#   } => {
-#     ?M :pL1x2Cm ?Z .
-#   } .
-# with substitution (on rule variables):
-#   ?M = :meas47
-#   ?X = "-0.06285714285714286"^^xsd:decimal
-#   ?Y = 45.1
-#   ?Z = "-2.834857142857143"^^xsd:decimal
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 :meas47 :pL1x2Cm "-2.834857142857143"^^xsd:decimal .
-
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   :meas47 :pL3x3Cm "57.27272727272727"^^xsd:decimal .
-# It holds because the following instance of the rule body is provable:
-#   :meas47 a :Measurement .
-#   :meas47 :cL3 "15.909090909090908"^^xsd:decimal .
-#   :meas47 :p3xCm 3.6 .
-#   ("15.909090909090908"^^xsd:decimal 3.6) math:product "57.27272727272727"^^xsd:decimal .
-# via the schematic forward rule:
-#   {
-#     ?M a :Measurement .
-#     ?M :cL3 ?X .
-#     ?M :p3xCm ?Y .
-#     (?X ?Y) math:product ?Z .
-#   } => {
-#     ?M :pL3x3Cm ?Z .
-#   } .
-# with substitution (on rule variables):
-#   ?M = :meas47
-#   ?X = "15.909090909090908"^^xsd:decimal
-#   ?Y = 3.6
-#   ?Z = "57.27272727272727"^^xsd:decimal
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 :meas47 :pL3x3Cm "57.27272727272727"^^xsd:decimal .
-
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   :meas47 :pL3x4Cm "870.2272727272727"^^xsd:decimal .
-# It holds because the following instance of the rule body is provable:
-#   :meas47 a :Measurement .
-#   :meas47 :cL3 "15.909090909090908"^^xsd:decimal .
-#   :meas47 :p4xCm 54.7 .
-#   ("15.909090909090908"^^xsd:decimal 54.7) math:product "870.2272727272727"^^xsd:decimal .
-# via the schematic forward rule:
-#   {
-#     ?M a :Measurement .
-#     ?M :cL3 ?X .
-#     ?M :p4xCm ?Y .
-#     (?X ?Y) math:product ?Z .
-#   } => {
-#     ?M :pL3x4Cm ?Z .
-#   } .
-# with substitution (on rule variables):
-#   ?M = :meas47
-#   ?X = "15.909090909090908"^^xsd:decimal
-#   ?Y = 54.7
-#   ?Z = "870.2272727272727"^^xsd:decimal
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 :meas47 :pL3x4Cm "870.2272727272727"^^xsd:decimal .
-
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   :meas47 :dd13Cm "-57.90758441558442"^^xsd:decimal .
-# It holds because the following instance of the rule body is provable:
-#   :meas47 a :Measurement .
-#   :meas47 :pL1x1Cm "-0.6348571428571429"^^xsd:decimal .
-#   :meas47 :pL3x3Cm "57.27272727272727"^^xsd:decimal .
-#   ("-0.6348571428571429"^^xsd:decimal "57.27272727272727"^^xsd:decimal) math:difference "-57.90758441558442"^^xsd:decimal .
-# via the schematic forward rule:
-#   {
-#     ?M a :Measurement .
-#     ?M :pL1x1Cm ?X .
-#     ?M :pL3x3Cm ?Y .
-#     (?X ?Y) math:difference ?Z .
-#   } => {
-#     ?M :dd13Cm ?Z .
-#   } .
-# with substitution (on rule variables):
-#   ?M = :meas47
-#   ?X = "-0.6348571428571429"^^xsd:decimal
-#   ?Y = "57.27272727272727"^^xsd:decimal
-#   ?Z = "-57.90758441558442"^^xsd:decimal
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 :meas47 :dd13Cm "-57.90758441558442"^^xsd:decimal .
-
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   :meas47 :ddy13Cm "-35.90758441558442"^^xsd:decimal .
-# It holds because the following instance of the rule body is provable:
-#   :meas47 a :Measurement .
-#   :meas47 :dd13Cm "-57.90758441558442"^^xsd:decimal .
-#   :meas47 :dy13Cm "-22"^^xsd:decimal .
-#   ("-57.90758441558442"^^xsd:decimal "-22"^^xsd:decimal) math:difference "-35.90758441558442"^^xsd:decimal .
-# via the schematic forward rule:
-#   {
-#     ?M a :Measurement .
-#     ?M :dd13Cm ?X .
-#     ?M :dy13Cm ?Y .
-#     (?X ?Y) math:difference ?Z .
-#   } => {
-#     ?M :ddy13Cm ?Z .
-#   } .
-# with substitution (on rule variables):
-#   ?M = :meas47
-#   ?X = "-57.90758441558442"^^xsd:decimal
-#   ?Y = "-22"^^xsd:decimal
-#   ?Z = "-35.90758441558442"^^xsd:decimal
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 :meas47 :ddy13Cm "-35.90758441558442"^^xsd:decimal .
-
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   :meas47 :dd24Cm "-873.0621298701299"^^xsd:decimal .
-# It holds because the following instance of the rule body is provable:
-#   :meas47 a :Measurement .
-#   :meas47 :pL1x2Cm "-2.834857142857143"^^xsd:decimal .
-#   :meas47 :pL3x4Cm "870.2272727272727"^^xsd:decimal .
-#   ("-2.834857142857143"^^xsd:decimal "870.2272727272727"^^xsd:decimal) math:difference "-873.0621298701299"^^xsd:decimal .
-# via the schematic forward rule:
-#   {
-#     ?M a :Measurement .
-#     ?M :pL1x2Cm ?X .
-#     ?M :pL3x4Cm ?Y .
-#     (?X ?Y) math:difference ?Z .
-#   } => {
-#     ?M :dd24Cm ?Z .
-#   } .
-# with substitution (on rule variables):
-#   ?M = :meas47
-#   ?X = "-2.834857142857143"^^xsd:decimal
-#   ?Y = "870.2272727272727"^^xsd:decimal
-#   ?Z = "-873.0621298701299"^^xsd:decimal
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 :meas47 :dd24Cm "-873.0621298701299"^^xsd:decimal .
-
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   :meas47 :ddy24Cm "-850.1621298701299"^^xsd:decimal .
-# It holds because the following instance of the rule body is provable:
-#   :meas47 a :Measurement .
-#   :meas47 :dd24Cm "-873.0621298701299"^^xsd:decimal .
-#   :meas47 :dy24Cm "-22.9"^^xsd:decimal .
-#   ("-873.0621298701299"^^xsd:decimal "-22.9"^^xsd:decimal) math:difference "-850.1621298701299"^^xsd:decimal .
-# via the schematic forward rule:
-#   {
-#     ?M a :Measurement .
-#     ?M :dd24Cm ?X .
-#     ?M :dy24Cm ?Y .
-#     (?X ?Y) math:difference ?Z .
-#   } => {
-#     ?M :ddy24Cm ?Z .
-#   } .
-# with substitution (on rule variables):
-#   ?M = :meas47
-#   ?X = "-873.0621298701299"^^xsd:decimal
-#   ?Y = "-22.9"^^xsd:decimal
-#   ?Z = "-850.1621298701299"^^xsd:decimal
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 :meas47 :ddy24Cm "-850.1621298701299"^^xsd:decimal .
-
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   :meas47 :ddL13 "-15.97194805194805"^^xsd:decimal .
-# It holds because the following instance of the rule body is provable:
-#   :meas47 a :Measurement .
-#   :meas47 :cL1 "-0.06285714285714286"^^xsd:decimal .
-#   :meas47 :cL3 "15.909090909090908"^^xsd:decimal .
-#   ("-0.06285714285714286"^^xsd:decimal "15.909090909090908"^^xsd:decimal) math:difference "-15.97194805194805"^^xsd:decimal .
-# via the schematic forward rule:
-#   {
-#     ?M a :Measurement .
-#     ?M :cL1 ?X .
-#     ?M :cL3 ?Y .
-#     (?X ?Y) math:difference ?Z .
-#   } => {
-#     ?M :ddL13 ?Z .
-#   } .
-# with substitution (on rule variables):
-#   ?M = :meas47
-#   ?X = "-0.06285714285714286"^^xsd:decimal
-#   ?Y = "15.909090909090908"^^xsd:decimal
-#   ?Z = "-15.97194805194805"^^xsd:decimal
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 :meas47 :ddL13 "-15.97194805194805"^^xsd:decimal .
-
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   :meas47 :p5xCm "2.248165615039355"^^xsd:decimal .
-# It holds because the following instance of the rule body is provable:
-#   :meas47 a :Measurement .
-#   :meas47 :ddy13Cm "-35.90758441558442"^^xsd:decimal .
-#   :meas47 :ddL13 "-15.97194805194805"^^xsd:decimal .
-#   ("-35.90758441558442"^^xsd:decimal "-15.97194805194805"^^xsd:decimal) math:quotient "2.248165615039355"^^xsd:decimal .
-# via the schematic forward rule:
-#   {
-#     ?M a :Measurement .
-#     ?M :ddy13Cm ?X .
-#     ?M :ddL13 ?Y .
-#     (?X ?Y) math:quotient ?Z .
-#   } => {
-#     ?M :p5xCm ?Z .
-#   } .
-# with substitution (on rule variables):
-#   ?M = :meas47
-#   ?X = "-35.90758441558442"^^xsd:decimal
-#   ?Y = "-15.97194805194805"^^xsd:decimal
-#   ?Z = "2.248165615039355"^^xsd:decimal
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 :meas47 :p5xCm "2.248165615039355"^^xsd:decimal .
-
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   :meas47 :p6xCm "53.22845573407923"^^xsd:decimal .
-# It holds because the following instance of the rule body is provable:
-#   :meas47 a :Measurement .
-#   :meas47 :ddy24Cm "-850.1621298701299"^^xsd:decimal .
-#   :meas47 :ddL13 "-15.97194805194805"^^xsd:decimal .
-#   ("-850.1621298701299"^^xsd:decimal "-15.97194805194805"^^xsd:decimal) math:quotient "53.22845573407923"^^xsd:decimal .
-# via the schematic forward rule:
-#   {
-#     ?M a :Measurement .
-#     ?M :ddy24Cm ?X .
-#     ?M :ddL13 ?Y .
-#     (?X ?Y) math:quotient ?Z .
-#   } => {
-#     ?M :p6xCm ?Z .
-#   } .
-# with substitution (on rule variables):
-#   ?M = :meas47
-#   ?X = "-850.1621298701299"^^xsd:decimal
-#   ?Y = "-15.97194805194805"^^xsd:decimal
-#   ?Z = "53.22845573407923"^^xsd:decimal
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 :meas47 :p6xCm "53.22845573407923"^^xsd:decimal .
-
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   :meas47 :dx51Cm "-7.851834384960645"^^xsd:decimal .
-# It holds because the following instance of the rule body is provable:
-#   :meas47 a :Measurement .
-#   :meas47 :p5xCm "2.248165615039355"^^xsd:decimal .
-#   :meas47 :p1xCm 10.1 .
-#   ("2.248165615039355"^^xsd:decimal 10.1) math:difference "-7.851834384960645"^^xsd:decimal .
-# via the schematic forward rule:
-#   {
-#     ?M a :Measurement .
-#     ?M :p5xCm ?X .
-#     ?M :p1xCm ?Y .
-#     (?X ?Y) math:difference ?Z .
-#   } => {
-#     ?M :dx51Cm ?Z .
-#   } .
-# with substitution (on rule variables):
-#   ?M = :meas47
-#   ?X = "2.248165615039355"^^xsd:decimal
-#   ?Y = 10.1
-#   ?Z = "-7.851834384960645"^^xsd:decimal
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 :meas47 :dx51Cm "-7.851834384960645"^^xsd:decimal .
-
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   :meas47 :dx53Cm "-1.351834384960645"^^xsd:decimal .
-# It holds because the following instance of the rule body is provable:
-#   :meas47 a :Measurement .
-#   :meas47 :p5xCm "2.248165615039355"^^xsd:decimal .
-#   :meas47 :p3xCm 3.6 .
-#   ("2.248165615039355"^^xsd:decimal 3.6) math:difference "-1.351834384960645"^^xsd:decimal .
-# via the schematic forward rule:
-#   {
-#     ?M a :Measurement .
-#     ?M :p5xCm ?X .
-#     ?M :p3xCm ?Y .
-#     (?X ?Y) math:difference ?Z .
-#   } => {
-#     ?M :dx53Cm ?Z .
-#   } .
-# with substitution (on rule variables):
-#   ?M = :meas47
-#   ?X = "2.248165615039355"^^xsd:decimal
-#   ?Y = 3.6
-#   ?Z = "-1.351834384960645"^^xsd:decimal
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 :meas47 :dx53Cm "-1.351834384960645"^^xsd:decimal .
-
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   :meas47 :dx62Cm "8.128455734079232"^^xsd:decimal .
-# It holds because the following instance of the rule body is provable:
-#   :meas47 a :Measurement .
-#   :meas47 :p6xCm "53.22845573407923"^^xsd:decimal .
-#   :meas47 :p2xCm 45.1 .
-#   ("53.22845573407923"^^xsd:decimal 45.1) math:difference "8.128455734079232"^^xsd:decimal .
-# via the schematic forward rule:
-#   {
-#     ?M a :Measurement .
-#     ?M :p6xCm ?X .
-#     ?M :p2xCm ?Y .
-#     (?X ?Y) math:difference ?Z .
-#   } => {
-#     ?M :dx62Cm ?Z .
-#   } .
-# with substitution (on rule variables):
-#   ?M = :meas47
-#   ?X = "53.22845573407923"^^xsd:decimal
-#   ?Y = 45.1
-#   ?Z = "8.128455734079232"^^xsd:decimal
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 :meas47 :dx62Cm "8.128455734079232"^^xsd:decimal .
-
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   :meas47 :dx64Cm "-1.4715442659207696"^^xsd:decimal .
-# It holds because the following instance of the rule body is provable:
-#   :meas47 a :Measurement .
-#   :meas47 :p6xCm "53.22845573407923"^^xsd:decimal .
-#   :meas47 :p4xCm 54.7 .
-#   ("53.22845573407923"^^xsd:decimal 54.7) math:difference "-1.4715442659207696"^^xsd:decimal .
-# via the schematic forward rule:
-#   {
-#     ?M a :Measurement .
-#     ?M :p6xCm ?X .
-#     ?M :p4xCm ?Y .
-#     (?X ?Y) math:difference ?Z .
-#   } => {
-#     ?M :dx64Cm ?Z .
-#   } .
-# with substitution (on rule variables):
-#   ?M = :meas47
-#   ?X = "53.22845573407923"^^xsd:decimal
-#   ?Y = 54.7
-#   ?Z = "-1.4715442659207696"^^xsd:decimal
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 :meas47 :dx64Cm "-1.4715442659207696"^^xsd:decimal .
-
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   :meas47 :pL1dx51Cm "0.4935438756260977"^^xsd:decimal .
-# It holds because the following instance of the rule body is provable:
-#   :meas47 a :Measurement .
-#   :meas47 :cL1 "-0.06285714285714286"^^xsd:decimal .
-#   :meas47 :dx51Cm "-7.851834384960645"^^xsd:decimal .
-#   ("-0.06285714285714286"^^xsd:decimal "-7.851834384960645"^^xsd:decimal) math:product "0.4935438756260977"^^xsd:decimal .
-# via the schematic forward rule:
-#   {
-#     ?M a :Measurement .
-#     ?M :cL1 ?X .
-#     ?M :dx51Cm ?Y .
-#     (?X ?Y) math:product ?Z .
-#   } => {
-#     ?M :pL1dx51Cm ?Z .
-#   } .
-# with substitution (on rule variables):
-#   ?M = :meas47
-#   ?X = "-0.06285714285714286"^^xsd:decimal
-#   ?Y = "-7.851834384960645"^^xsd:decimal
-#   ?Z = "0.4935438756260977"^^xsd:decimal
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 :meas47 :pL1dx51Cm "0.4935438756260977"^^xsd:decimal .
-
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   :meas47 :pL1dx62Cm "-0.5109315032849803"^^xsd:decimal .
-# It holds because the following instance of the rule body is provable:
-#   :meas47 a :Measurement .
-#   :meas47 :cL1 "-0.06285714285714286"^^xsd:decimal .
-#   :meas47 :dx62Cm "8.128455734079232"^^xsd:decimal .
-#   ("-0.06285714285714286"^^xsd:decimal "8.128455734079232"^^xsd:decimal) math:product "-0.5109315032849803"^^xsd:decimal .
-# via the schematic forward rule:
-#   {
-#     ?M a :Measurement .
-#     ?M :cL1 ?X .
-#     ?M :dx62Cm ?Y .
-#     (?X ?Y) math:product ?Z .
-#   } => {
-#     ?M :pL1dx62Cm ?Z .
-#   } .
-# with substitution (on rule variables):
-#   ?M = :meas47
-#   ?X = "-0.06285714285714286"^^xsd:decimal
-#   ?Y = "8.128455734079232"^^xsd:decimal
-#   ?Z = "-0.5109315032849803"^^xsd:decimal
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 :meas47 :pL1dx62Cm "-0.5109315032849803"^^xsd:decimal .
-
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   :meas47 :p5yCm "8.293543875626098"^^xsd:decimal .
-# It holds because the following instance of the rule body is provable:
-#   :meas47 a :Measurement .
-#   :meas47 :pL1dx51Cm "0.4935438756260977"^^xsd:decimal .
-#   :meas47 :p1yCm 7.8 .
-#   ("0.4935438756260977"^^xsd:decimal 7.8) math:sum "8.293543875626098"^^xsd:decimal .
-# via the schematic forward rule:
-#   {
-#     ?M a :Measurement .
-#     ?M :pL1dx51Cm ?X .
-#     ?M :p1yCm ?Y .
-#     (?X ?Y) math:sum ?Z .
-#   } => {
-#     ?M :p5yCm ?Z .
-#   } .
-# with substitution (on rule variables):
-#   ?M = :meas47
-#   ?X = "0.4935438756260977"^^xsd:decimal
-#   ?Y = 7.8
-#   ?Z = "8.293543875626098"^^xsd:decimal
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 :meas47 :p5yCm "8.293543875626098"^^xsd:decimal .
-
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   :meas47 :p6yCm "5.0890684967150195"^^xsd:decimal .
-# It holds because the following instance of the rule body is provable:
-#   :meas47 a :Measurement .
-#   :meas47 :pL1dx62Cm "-0.5109315032849803"^^xsd:decimal .
-#   :meas47 :p2yCm 5.6 .
-#   ("-0.5109315032849803"^^xsd:decimal 5.6) math:sum "5.0890684967150195"^^xsd:decimal .
-# via the schematic forward rule:
-#   {
-#     ?M a :Measurement .
-#     ?M :pL1dx62Cm ?X .
-#     ?M :p2yCm ?Y .
-#     (?X ?Y) math:sum ?Z .
-#   } => {
-#     ?M :p6yCm ?Z .
-#   } .
-# with substitution (on rule variables):
-#   ?M = :meas47
-#   ?X = "-0.5109315032849803"^^xsd:decimal
-#   ?Y = 5.6
-#   ?Z = "5.0890684967150195"^^xsd:decimal
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 :meas47 :p6yCm "5.0890684967150195"^^xsd:decimal .
-
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   :meas47 :sdx53Cm2 "1.8274562043619251"^^xsd:decimal .
-# It holds because the following instance of the rule body is provable:
-#   :meas47 a :Measurement .
-#   :meas47 :dx53Cm "-1.351834384960645"^^xsd:decimal .
-#   ("-1.351834384960645"^^xsd:decimal 2) math:exponentiation "1.8274562043619251"^^xsd:decimal .
-# via the schematic forward rule:
-#   {
-#     ?M a :Measurement .
-#     ?M :dx53Cm ?X .
-#     (?X 2) math:exponentiation ?Z .
-#   } => {
-#     ?M :sdx53Cm2 ?Z .
-#   } .
-# with substitution (on rule variables):
-#   ?M = :meas47
-#   ?X = "-1.351834384960645"^^xsd:decimal
-#   ?Z = "1.8274562043619251"^^xsd:decimal
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 :meas47 :sdx53Cm2 "1.8274562043619251"^^xsd:decimal .
-
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   :meas47 :sdx64Cm2 "2.1654425265642967"^^xsd:decimal .
-# It holds because the following instance of the rule body is provable:
-#   :meas47 a :Measurement .
-#   :meas47 :dx64Cm "-1.4715442659207696"^^xsd:decimal .
-#   ("-1.4715442659207696"^^xsd:decimal 2) math:exponentiation "2.1654425265642967"^^xsd:decimal .
-# via the schematic forward rule:
-#   {
-#     ?M a :Measurement .
-#     ?M :dx64Cm ?X .
-#     (?X 2) math:exponentiation ?Z .
-#   } => {
-#     ?M :sdx64Cm2 ?Z .
-#   } .
-# with substitution (on rule variables):
-#   ?M = :meas47
-#   ?X = "-1.4715442659207696"^^xsd:decimal
-#   ?Z = "2.1654425265642967"^^xsd:decimal
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 :meas47 :sdx64Cm2 "2.1654425265642967"^^xsd:decimal .
-
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   :meas47 :dy53Cm "-21.506456124373905"^^xsd:decimal .
-# It holds because the following instance of the rule body is provable:
-#   :meas47 a :Measurement .
-#   :meas47 :p5yCm "8.293543875626098"^^xsd:decimal .
-#   :meas47 :p3yCm 29.8 .
-#   ("8.293543875626098"^^xsd:decimal 29.8) math:difference "-21.506456124373905"^^xsd:decimal .
-# via the schematic forward rule:
-#   {
-#     ?M a :Measurement .
-#     ?M :p5yCm ?X .
-#     ?M :p3yCm ?Y .
-#     (?X ?Y) math:difference ?Z .
-#   } => {
-#     ?M :dy53Cm ?Z .
-#   } .
-# with substitution (on rule variables):
-#   ?M = :meas47
-#   ?X = "8.293543875626098"^^xsd:decimal
-#   ?Y = 29.8
-#   ?Z = "-21.506456124373905"^^xsd:decimal
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 :meas47 :dy53Cm "-21.506456124373905"^^xsd:decimal .
-
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   :meas47 :dy64Cm "-23.41093150328498"^^xsd:decimal .
-# It holds because the following instance of the rule body is provable:
-#   :meas47 a :Measurement .
-#   :meas47 :p6yCm "5.0890684967150195"^^xsd:decimal .
-#   :meas47 :p4yCm 28.5 .
-#   ("5.0890684967150195"^^xsd:decimal 28.5) math:difference "-23.41093150328498"^^xsd:decimal .
-# via the schematic forward rule:
-#   {
-#     ?M a :Measurement .
-#     ?M :p6yCm ?X .
-#     ?M :p4yCm ?Y .
-#     (?X ?Y) math:difference ?Z .
-#   } => {
-#     ?M :dy64Cm ?Z .
-#   } .
-# with substitution (on rule variables):
-#   ?M = :meas47
-#   ?X = "5.0890684967150195"^^xsd:decimal
-#   ?Y = 28.5
-#   ?Z = "-23.41093150328498"^^xsd:decimal
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 :meas47 :dy64Cm "-23.41093150328498"^^xsd:decimal .
-
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   :meas47 :sdy53Cm2 "462.52765502961984"^^xsd:decimal .
-# It holds because the following instance of the rule body is provable:
-#   :meas47 a :Measurement .
-#   :meas47 :dy53Cm "-21.506456124373905"^^xsd:decimal .
-#   ("-21.506456124373905"^^xsd:decimal 2) math:exponentiation "462.52765502961984"^^xsd:decimal .
-# via the schematic forward rule:
-#   {
-#     ?M a :Measurement .
-#     ?M :dy53Cm ?X .
-#     (?X 2) math:exponentiation ?Z .
-#   } => {
-#     ?M :sdy53Cm2 ?Z .
-#   } .
-# with substitution (on rule variables):
-#   ?M = :meas47
-#   ?X = "-21.506456124373905"^^xsd:decimal
-#   ?Z = "462.52765502961984"^^xsd:decimal
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 :meas47 :sdy53Cm2 "462.52765502961984"^^xsd:decimal .
-
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   :meas47 :sdy64Cm2 "548.0717138515012"^^xsd:decimal .
-# It holds because the following instance of the rule body is provable:
-#   :meas47 a :Measurement .
-#   :meas47 :dy64Cm "-23.41093150328498"^^xsd:decimal .
-#   ("-23.41093150328498"^^xsd:decimal 2) math:exponentiation "548.0717138515012"^^xsd:decimal .
-# via the schematic forward rule:
-#   {
-#     ?M a :Measurement .
-#     ?M :dy64Cm ?X .
-#     (?X 2) math:exponentiation ?Z .
-#   } => {
-#     ?M :sdy64Cm2 ?Z .
-#   } .
-# with substitution (on rule variables):
-#   ?M = :meas47
-#   ?X = "-23.41093150328498"^^xsd:decimal
-#   ?Z = "548.0717138515012"^^xsd:decimal
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 :meas47 :sdy64Cm2 "548.0717138515012"^^xsd:decimal .
-
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   :meas47 :ssd53Cm2 "464.35511123398175"^^xsd:decimal .
-# It holds because the following instance of the rule body is provable:
-#   :meas47 a :Measurement .
-#   :meas47 :sdx53Cm2 "1.8274562043619251"^^xsd:decimal .
-#   :meas47 :sdy53Cm2 "462.52765502961984"^^xsd:decimal .
-#   ("1.8274562043619251"^^xsd:decimal "462.52765502961984"^^xsd:decimal) math:sum "464.35511123398175"^^xsd:decimal .
-# via the schematic forward rule:
-#   {
-#     ?M a :Measurement .
-#     ?M :sdx53Cm2 ?X .
-#     ?M :sdy53Cm2 ?Y .
-#     (?X ?Y) math:sum ?Z .
-#   } => {
-#     ?M :ssd53Cm2 ?Z .
-#   } .
-# with substitution (on rule variables):
-#   ?M = :meas47
-#   ?X = "1.8274562043619251"^^xsd:decimal
-#   ?Y = "462.52765502961984"^^xsd:decimal
-#   ?Z = "464.35511123398175"^^xsd:decimal
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 :meas47 :ssd53Cm2 "464.35511123398175"^^xsd:decimal .
-
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   :meas47 :ssd64Cm2 "550.2371563780655"^^xsd:decimal .
-# It holds because the following instance of the rule body is provable:
-#   :meas47 a :Measurement .
-#   :meas47 :sdx64Cm2 "2.1654425265642967"^^xsd:decimal .
-#   :meas47 :sdy64Cm2 "548.0717138515012"^^xsd:decimal .
-#   ("2.1654425265642967"^^xsd:decimal "548.0717138515012"^^xsd:decimal) math:sum "550.2371563780655"^^xsd:decimal .
-# via the schematic forward rule:
-#   {
-#     ?M a :Measurement .
-#     ?M :sdx64Cm2 ?X .
-#     ?M :sdy64Cm2 ?Y .
-#     (?X ?Y) math:sum ?Z .
-#   } => {
-#     ?M :ssd64Cm2 ?Z .
-#   } .
-# with substitution (on rule variables):
-#   ?M = :meas47
-#   ?X = "2.1654425265642967"^^xsd:decimal
-#   ?Y = "548.0717138515012"^^xsd:decimal
-#   ?Z = "550.2371563780655"^^xsd:decimal
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 :meas47 :ssd64Cm2 "550.2371563780655"^^xsd:decimal .
-
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   :meas47 :d53Cm "21.548900464617255"^^xsd:decimal .
-# It holds because the following instance of the rule body is provable:
-#   :meas47 a :Measurement .
-#   :meas47 :ssd53Cm2 "464.35511123398175"^^xsd:decimal .
-#   ("464.35511123398175"^^xsd:decimal 0.5) math:exponentiation "21.548900464617255"^^xsd:decimal .
-# via the schematic forward rule:
-#   {
-#     ?M a :Measurement .
-#     ?M :ssd53Cm2 ?X .
-#     (?X 0.5) math:exponentiation ?Z .
-#   } => {
-#     ?M :d53Cm ?Z .
-#   } .
-# with substitution (on rule variables):
-#   ?M = :meas47
-#   ?X = "464.35511123398175"^^xsd:decimal
-#   ?Z = "21.548900464617255"^^xsd:decimal
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 :meas47 :d53Cm "21.548900464617255"^^xsd:decimal .
-
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   :meas47 :d64Cm "23.45713444515475"^^xsd:decimal .
-# It holds because the following instance of the rule body is provable:
-#   :meas47 a :Measurement .
-#   :meas47 :ssd64Cm2 "550.2371563780655"^^xsd:decimal .
-#   ("550.2371563780655"^^xsd:decimal 0.5) math:exponentiation "23.45713444515475"^^xsd:decimal .
-# via the schematic forward rule:
-#   {
-#     ?M a :Measurement .
-#     ?M :ssd64Cm2 ?X .
-#     (?X 0.5) math:exponentiation ?Z .
-#   } => {
-#     ?M :d64Cm ?Z .
-#   } .
-# with substitution (on rule variables):
-#   ?M = :meas47
-#   ?X = "550.2371563780655"^^xsd:decimal
-#   ?Z = "23.45713444515475"^^xsd:decimal
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 :meas47 :d64Cm "23.45713444515475"^^xsd:decimal .
-
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   :meas47 :dCm "-1.9082339805374957"^^xsd:decimal .
-# It holds because the following instance of the rule body is provable:
-#   :meas47 a :Measurement .
-#   :meas47 :d53Cm "21.548900464617255"^^xsd:decimal .
-#   :meas47 :d64Cm "23.45713444515475"^^xsd:decimal .
-#   ("21.548900464617255"^^xsd:decimal "23.45713444515475"^^xsd:decimal) math:difference "-1.9082339805374957"^^xsd:decimal .
-# via the schematic forward rule:
-#   {
-#     ?M a :Measurement .
-#     ?M :d53Cm ?X .
-#     ?M :d64Cm ?Y .
-#     (?X ?Y) math:difference ?Z .
-#   } => {
-#     ?M :dCm ?Z .
-#   } .
-# with substitution (on rule variables):
-#   ?M = :meas47
-#   ?X = "21.548900464617255"^^xsd:decimal
-#   ?Y = "23.45713444515475"^^xsd:decimal
-#   ?Z = "-1.9082339805374957"^^xsd:decimal
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 :meas47 :dCm "-1.9082339805374957"^^xsd:decimal .
-
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   :meas47 a :LLDAlarm .
-# It holds because the following instance of the rule body is provable:
-#   :meas47 a :Measurement .
-#   :meas47 :dCm "-1.9082339805374957"^^xsd:decimal .
-#   "-1.9082339805374957"^^xsd:decimal math:lessThan -1.25 .
-# via the schematic forward rule:
-#   {
-#     ?M a :Measurement .
-#     ?M :dCm ?X .
-#     ?X math:lessThan -1.25 .
-#   } => {
-#     ?M a :LLDAlarm .
-#   } .
-# with substitution (on rule variables):
-#   ?M = :meas47
-#   ?X = "-1.9082339805374957"^^xsd:decimal
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 :meas47 a :LLDAlarm .
-