eyeling 1.6.13 → 1.6.15

package/examples/output/equals.n3

@@ -1,18 +1,3 @@
 @prefix : <http://example.org/socrates#> .
 
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   :test :is true .
-# It holds because the following instance of the rule body is provable:
-#   :X = :Y .
-# via the schematic forward rule:
-#   {
-#     :X = :Y .
-#   } => {
-#     :test :is true .
-#   } .
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 :test :is true .
-

package/examples/output/ev-roundtrip-planner.n3

@@ -2,403 +2,11 @@
 @prefix gps: <https://eyereasoner.github.io/eye/reasoning/gps/gps-schema#> .
 @prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
 
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   :car1 gps:plan ((:buy_pass_brussels :drive_bru_liege :drive_liege_aachen :fast_charge_aachen_pass :public_road_aachen_cologne) "235"^^xsd:decimal "0.054000000000000006"^^xsd:decimal "0.94887065827125"^^xsd:decimal "0.8494295039999998"^^xsd:decimal :low :yes (:t :t :t)) .
-# It holds because the following instance of the rule body is provable:
-#   :fuel8 :value (:t :t :t :t :t :t :t :t) .
-#   ({
-#       :car1 :at :Brussels .
-#       :car1 :battery :high .
-#       :car1 :pass :none .
-#   } {
-#       :car1 :at :Cologne .
-#       :car1 :battery :low .
-#       :car1 :pass :yes .
-#   } (:buy_pass_brussels :drive_bru_liege :drive_liege_aachen :fast_charge_aachen_pass :public_road_aachen_cologne) "235"^^xsd:decimal "0.054000000000000006"^^xsd:decimal "0.94887065827125"^^xsd:decimal "0.8494295039999998"^^xsd:decimal (:t :t :t :t :t :t :t :t) (:t :t :t)) :path true .
-#   "0.94887065827125"^^xsd:decimal math:greaterThan 0.93 .
-#   "0.054000000000000006"^^xsd:decimal math:lessThan 0.090 .
-#   "235"^^xsd:decimal math:lessThan 260.0 .
-# via the schematic forward rule:
-#   {
-#     :fuel8 :value ?Fuel .
-#     ({
-#         :car1 :at :Brussels .
-#         :car1 :battery :high .
-#         :car1 :pass :none .
-#     } {
-#         :car1 :at :Cologne .
-#         :car1 :battery ?B .
-#         :car1 :pass ?P .
-#     } ?Acts ?Dur ?Cost ?Bel ?Comf ?Fuel ?FuelLeft) :path true .
-#     ?Bel math:greaterThan 0.93 .
-#     ?Cost math:lessThan 0.090 .
-#     ?Dur math:lessThan 260.0 .
-#   } => {
-#     :car1 gps:plan (?Acts ?Dur ?Cost ?Bel ?Comf ?B ?P ?FuelLeft) .
-#   } .
-# with substitution (on rule variables):
-#   ?Acts = (:buy_pass_brussels :drive_bru_liege :drive_liege_aachen :fast_charge_aachen_pass :public_road_aachen_cologne)
-#   ?B = :low
-#   ?Bel = "0.94887065827125"^^xsd:decimal
-#   ?Comf = "0.8494295039999998"^^xsd:decimal
-#   ?Cost = "0.054000000000000006"^^xsd:decimal
-#   ?Dur = "235"^^xsd:decimal
-#   ?Fuel = (:t :t :t :t :t :t :t :t)
-#   ?FuelLeft = (:t :t :t)
-#   ?P = :yes
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 :car1 gps:plan ((:buy_pass_brussels :drive_bru_liege :drive_liege_aachen :fast_charge_aachen_pass :public_road_aachen_cologne) "235"^^xsd:decimal "0.054000000000000006"^^xsd:decimal "0.94887065827125"^^xsd:decimal "0.8494295039999998"^^xsd:decimal :low :yes (:t :t :t)) .
-
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   :car1 gps:plan ((:buy_pass_brussels :drive_bru_liege :drive_liege_aachen :fast_charge_aachen_pass :premium_corridor_aachen_cologne) "220"^^xsd:decimal "0.063"^^xsd:decimal "0.953736661647"^^xsd:decimal "0.880398288"^^xsd:decimal :low :yes (:t :t :t)) .
-# It holds because the following instance of the rule body is provable:
-#   :fuel8 :value (:t :t :t :t :t :t :t :t) .
-#   ({
-#       :car1 :at :Brussels .
-#       :car1 :battery :high .
-#       :car1 :pass :none .
-#   } {
-#       :car1 :at :Cologne .
-#       :car1 :battery :low .
-#       :car1 :pass :yes .
-#   } (:buy_pass_brussels :drive_bru_liege :drive_liege_aachen :fast_charge_aachen_pass :premium_corridor_aachen_cologne) "220"^^xsd:decimal "0.063"^^xsd:decimal "0.953736661647"^^xsd:decimal "0.880398288"^^xsd:decimal (:t :t :t :t :t :t :t :t) (:t :t :t)) :path true .
-#   "0.953736661647"^^xsd:decimal math:greaterThan 0.93 .
-#   "0.063"^^xsd:decimal math:lessThan 0.090 .
-#   "220"^^xsd:decimal math:lessThan 260.0 .
-# via the schematic forward rule:
-#   {
-#     :fuel8 :value ?Fuel .
-#     ({
-#         :car1 :at :Brussels .
-#         :car1 :battery :high .
-#         :car1 :pass :none .
-#     } {
-#         :car1 :at :Cologne .
-#         :car1 :battery ?B .
-#         :car1 :pass ?P .
-#     } ?Acts ?Dur ?Cost ?Bel ?Comf ?Fuel ?FuelLeft) :path true .
-#     ?Bel math:greaterThan 0.93 .
-#     ?Cost math:lessThan 0.090 .
-#     ?Dur math:lessThan 260.0 .
-#   } => {
-#     :car1 gps:plan (?Acts ?Dur ?Cost ?Bel ?Comf ?B ?P ?FuelLeft) .
-#   } .
-# with substitution (on rule variables):
-#   ?Acts = (:buy_pass_brussels :drive_bru_liege :drive_liege_aachen :fast_charge_aachen_pass :premium_corridor_aachen_cologne)
-#   ?B = :low
-#   ?Bel = "0.953736661647"^^xsd:decimal
-#   ?Comf = "0.880398288"^^xsd:decimal
-#   ?Cost = "0.063"^^xsd:decimal
-#   ?Dur = "220"^^xsd:decimal
-#   ?Fuel = (:t :t :t :t :t :t :t :t)
-#   ?FuelLeft = (:t :t :t)
-#   ?P = :yes
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 :car1 gps:plan ((:buy_pass_brussels :drive_bru_liege :drive_liege_aachen :fast_charge_aachen_pass :premium_corridor_aachen_cologne) "220"^^xsd:decimal "0.063"^^xsd:decimal "0.953736661647"^^xsd:decimal "0.880398288"^^xsd:decimal :low :yes (:t :t :t)) .
-
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   :car1 gps:plan ((:buy_pass_brussels :drive_bru_liege :drive_liege_aachen :shuttle_aachen_cologne) "220"^^xsd:decimal "0.05800000000000001"^^xsd:decimal "0.97320067515"^^xsd:decimal "0.8893367999999999"^^xsd:decimal :low :yes (:t :t :t :t)) .
-# It holds because the following instance of the rule body is provable:
-#   :fuel8 :value (:t :t :t :t :t :t :t :t) .
-#   ({
-#       :car1 :at :Brussels .
-#       :car1 :battery :high .
-#       :car1 :pass :none .
-#   } {
-#       :car1 :at :Cologne .
-#       :car1 :battery :low .
-#       :car1 :pass :yes .
-#   } (:buy_pass_brussels :drive_bru_liege :drive_liege_aachen :shuttle_aachen_cologne) "220"^^xsd:decimal "0.05800000000000001"^^xsd:decimal "0.97320067515"^^xsd:decimal "0.8893367999999999"^^xsd:decimal (:t :t :t :t :t :t :t :t) (:t :t :t :t)) :path true .
-#   "0.97320067515"^^xsd:decimal math:greaterThan 0.93 .
-#   "0.05800000000000001"^^xsd:decimal math:lessThan 0.090 .
-#   "220"^^xsd:decimal math:lessThan 260.0 .
-# via the schematic forward rule:
-#   {
-#     :fuel8 :value ?Fuel .
-#     ({
-#         :car1 :at :Brussels .
-#         :car1 :battery :high .
-#         :car1 :pass :none .
-#     } {
-#         :car1 :at :Cologne .
-#         :car1 :battery ?B .
-#         :car1 :pass ?P .
-#     } ?Acts ?Dur ?Cost ?Bel ?Comf ?Fuel ?FuelLeft) :path true .
-#     ?Bel math:greaterThan 0.93 .
-#     ?Cost math:lessThan 0.090 .
-#     ?Dur math:lessThan 260.0 .
-#   } => {
-#     :car1 gps:plan (?Acts ?Dur ?Cost ?Bel ?Comf ?B ?P ?FuelLeft) .
-#   } .
-# with substitution (on rule variables):
-#   ?Acts = (:buy_pass_brussels :drive_bru_liege :drive_liege_aachen :shuttle_aachen_cologne)
-#   ?B = :low
-#   ?Bel = "0.97320067515"^^xsd:decimal
-#   ?Comf = "0.8893367999999999"^^xsd:decimal
-#   ?Cost = "0.05800000000000001"^^xsd:decimal
-#   ?Dur = "220"^^xsd:decimal
-#   ?Fuel = (:t :t :t :t :t :t :t :t)
-#   ?FuelLeft = (:t :t :t :t)
-#   ?P = :yes
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 :car1 gps:plan ((:buy_pass_brussels :drive_bru_liege :drive_liege_aachen :shuttle_aachen_cologne) "220"^^xsd:decimal "0.05800000000000001"^^xsd:decimal "0.97320067515"^^xsd:decimal "0.8893367999999999"^^xsd:decimal :low :yes (:t :t :t :t)) .
-
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   :car1 gps:plan ((:drive_bru_liege :buy_pass_liege :drive_liege_aachen :fast_charge_aachen_pass :public_road_aachen_cologne) "240"^^xsd:decimal "0.053000000000000005"^^xsd:decimal "0.9450713763562499"^^xsd:decimal "0.8408494079999999"^^xsd:decimal :low :yes (:t :t :t)) .
-# It holds because the following instance of the rule body is provable:
-#   :fuel8 :value (:t :t :t :t :t :t :t :t) .
-#   ({
-#       :car1 :at :Brussels .
-#       :car1 :battery :high .
-#       :car1 :pass :none .
-#   } {
-#       :car1 :at :Cologne .
-#       :car1 :battery :low .
-#       :car1 :pass :yes .
-#   } (:drive_bru_liege :buy_pass_liege :drive_liege_aachen :fast_charge_aachen_pass :public_road_aachen_cologne) "240"^^xsd:decimal "0.053000000000000005"^^xsd:decimal "0.9450713763562499"^^xsd:decimal "0.8408494079999999"^^xsd:decimal (:t :t :t :t :t :t :t :t) (:t :t :t)) :path true .
-#   "0.9450713763562499"^^xsd:decimal math:greaterThan 0.93 .
-#   "0.053000000000000005"^^xsd:decimal math:lessThan 0.090 .
-#   "240"^^xsd:decimal math:lessThan 260.0 .
-# via the schematic forward rule:
-#   {
-#     :fuel8 :value ?Fuel .
-#     ({
-#         :car1 :at :Brussels .
-#         :car1 :battery :high .
-#         :car1 :pass :none .
-#     } {
-#         :car1 :at :Cologne .
-#         :car1 :battery ?B .
-#         :car1 :pass ?P .
-#     } ?Acts ?Dur ?Cost ?Bel ?Comf ?Fuel ?FuelLeft) :path true .
-#     ?Bel math:greaterThan 0.93 .
-#     ?Cost math:lessThan 0.090 .
-#     ?Dur math:lessThan 260.0 .
-#   } => {
-#     :car1 gps:plan (?Acts ?Dur ?Cost ?Bel ?Comf ?B ?P ?FuelLeft) .
-#   } .
-# with substitution (on rule variables):
-#   ?Acts = (:drive_bru_liege :buy_pass_liege :drive_liege_aachen :fast_charge_aachen_pass :public_road_aachen_cologne)
-#   ?B = :low
-#   ?Bel = "0.9450713763562499"^^xsd:decimal
-#   ?Comf = "0.8408494079999999"^^xsd:decimal
-#   ?Cost = "0.053000000000000005"^^xsd:decimal
-#   ?Dur = "240"^^xsd:decimal
-#   ?Fuel = (:t :t :t :t :t :t :t :t)
-#   ?FuelLeft = (:t :t :t)
-#   ?P = :yes
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 :car1 gps:plan ((:drive_bru_liege :buy_pass_liege :drive_liege_aachen :fast_charge_aachen_pass :public_road_aachen_cologne) "240"^^xsd:decimal "0.053000000000000005"^^xsd:decimal "0.9450713763562499"^^xsd:decimal "0.8408494079999999"^^xsd:decimal :low :yes (:t :t :t)) .
-
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   :car1 gps:plan ((:drive_bru_liege :buy_pass_liege :drive_liege_aachen :fast_charge_aachen_pass :premium_corridor_aachen_cologne) "225"^^xsd:decimal "0.062"^^xsd:decimal "0.949917896235"^^xsd:decimal "0.8715053759999999"^^xsd:decimal :low :yes (:t :t :t)) .
-# It holds because the following instance of the rule body is provable:
-#   :fuel8 :value (:t :t :t :t :t :t :t :t) .
-#   ({
-#       :car1 :at :Brussels .
-#       :car1 :battery :high .
-#       :car1 :pass :none .
-#   } {
-#       :car1 :at :Cologne .
-#       :car1 :battery :low .
-#       :car1 :pass :yes .
-#   } (:drive_bru_liege :buy_pass_liege :drive_liege_aachen :fast_charge_aachen_pass :premium_corridor_aachen_cologne) "225"^^xsd:decimal "0.062"^^xsd:decimal "0.949917896235"^^xsd:decimal "0.8715053759999999"^^xsd:decimal (:t :t :t :t :t :t :t :t) (:t :t :t)) :path true .
-#   "0.949917896235"^^xsd:decimal math:greaterThan 0.93 .
-#   "0.062"^^xsd:decimal math:lessThan 0.090 .
-#   "225"^^xsd:decimal math:lessThan 260.0 .
-# via the schematic forward rule:
-#   {
-#     :fuel8 :value ?Fuel .
-#     ({
-#         :car1 :at :Brussels .
-#         :car1 :battery :high .
-#         :car1 :pass :none .
-#     } {
-#         :car1 :at :Cologne .
-#         :car1 :battery ?B .
-#         :car1 :pass ?P .
-#     } ?Acts ?Dur ?Cost ?Bel ?Comf ?Fuel ?FuelLeft) :path true .
-#     ?Bel math:greaterThan 0.93 .
-#     ?Cost math:lessThan 0.090 .
-#     ?Dur math:lessThan 260.0 .
-#   } => {
-#     :car1 gps:plan (?Acts ?Dur ?Cost ?Bel ?Comf ?B ?P ?FuelLeft) .
-#   } .
-# with substitution (on rule variables):
-#   ?Acts = (:drive_bru_liege :buy_pass_liege :drive_liege_aachen :fast_charge_aachen_pass :premium_corridor_aachen_cologne)
-#   ?B = :low
-#   ?Bel = "0.949917896235"^^xsd:decimal
-#   ?Comf = "0.8715053759999999"^^xsd:decimal
-#   ?Cost = "0.062"^^xsd:decimal
-#   ?Dur = "225"^^xsd:decimal
-#   ?Fuel = (:t :t :t :t :t :t :t :t)
-#   ?FuelLeft = (:t :t :t)
-#   ?P = :yes
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 :car1 gps:plan ((:drive_bru_liege :buy_pass_liege :drive_liege_aachen :fast_charge_aachen_pass :premium_corridor_aachen_cologne) "225"^^xsd:decimal "0.062"^^xsd:decimal "0.949917896235"^^xsd:decimal "0.8715053759999999"^^xsd:decimal :low :yes (:t :t :t)) .
-
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   :car1 gps:plan ((:drive_bru_liege :buy_pass_liege :drive_liege_aachen :shuttle_aachen_cologne) "225"^^xsd:decimal "0.05700000000000001"^^xsd:decimal "0.9693039757499999"^^xsd:decimal "0.8803536"^^xsd:decimal :low :yes (:t :t :t :t)) .
-# It holds because the following instance of the rule body is provable:
-#   :fuel8 :value (:t :t :t :t :t :t :t :t) .
-#   ({
-#       :car1 :at :Brussels .
-#       :car1 :battery :high .
-#       :car1 :pass :none .
-#   } {
-#       :car1 :at :Cologne .
-#       :car1 :battery :low .
-#       :car1 :pass :yes .
-#   } (:drive_bru_liege :buy_pass_liege :drive_liege_aachen :shuttle_aachen_cologne) "225"^^xsd:decimal "0.05700000000000001"^^xsd:decimal "0.9693039757499999"^^xsd:decimal "0.8803536"^^xsd:decimal (:t :t :t :t :t :t :t :t) (:t :t :t :t)) :path true .
-#   "0.9693039757499999"^^xsd:decimal math:greaterThan 0.93 .
-#   "0.05700000000000001"^^xsd:decimal math:lessThan 0.090 .
-#   "225"^^xsd:decimal math:lessThan 260.0 .
-# via the schematic forward rule:
-#   {
-#     :fuel8 :value ?Fuel .
-#     ({
-#         :car1 :at :Brussels .
-#         :car1 :battery :high .
-#         :car1 :pass :none .
-#     } {
-#         :car1 :at :Cologne .
-#         :car1 :battery ?B .
-#         :car1 :pass ?P .
-#     } ?Acts ?Dur ?Cost ?Bel ?Comf ?Fuel ?FuelLeft) :path true .
-#     ?Bel math:greaterThan 0.93 .
-#     ?Cost math:lessThan 0.090 .
-#     ?Dur math:lessThan 260.0 .
-#   } => {
-#     :car1 gps:plan (?Acts ?Dur ?Cost ?Bel ?Comf ?B ?P ?FuelLeft) .
-#   } .
-# with substitution (on rule variables):
-#   ?Acts = (:drive_bru_liege :buy_pass_liege :drive_liege_aachen :shuttle_aachen_cologne)
-#   ?B = :low
-#   ?Bel = "0.9693039757499999"^^xsd:decimal
-#   ?Comf = "0.8803536"^^xsd:decimal
-#   ?Cost = "0.05700000000000001"^^xsd:decimal
-#   ?Dur = "225"^^xsd:decimal
-#   ?Fuel = (:t :t :t :t :t :t :t :t)
-#   ?FuelLeft = (:t :t :t :t)
-#   ?P = :yes
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 :car1 gps:plan ((:drive_bru_liege :buy_pass_liege :drive_liege_aachen :shuttle_aachen_cologne) "225"^^xsd:decimal "0.05700000000000001"^^xsd:decimal "0.9693039757499999"^^xsd:decimal "0.8803536"^^xsd:decimal :low :yes (:t :t :t :t)) .
-
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   :car1 gps:plan ((:drive_bru_liege :drive_liege_aachen :fast_charge_aachen_payg :public_road_aachen_cologne) "230"^^xsd:decimal "0.056999999999999995"^^xsd:decimal "0.9412635375"^^xsd:decimal "0.8317439999999998"^^xsd:decimal :low :none (:t :t :t :t)) .
-# It holds because the following instance of the rule body is provable:
-#   :fuel8 :value (:t :t :t :t :t :t :t :t) .
-#   ({
-#       :car1 :at :Brussels .
-#       :car1 :battery :high .
-#       :car1 :pass :none .
-#   } {
-#       :car1 :at :Cologne .
-#       :car1 :battery :low .
-#       :car1 :pass :none .
-#   } (:drive_bru_liege :drive_liege_aachen :fast_charge_aachen_payg :public_road_aachen_cologne) "230"^^xsd:decimal "0.056999999999999995"^^xsd:decimal "0.9412635375"^^xsd:decimal "0.8317439999999998"^^xsd:decimal (:t :t :t :t :t :t :t :t) (:t :t :t :t)) :path true .
-#   "0.9412635375"^^xsd:decimal math:greaterThan 0.93 .
-#   "0.056999999999999995"^^xsd:decimal math:lessThan 0.090 .
-#   "230"^^xsd:decimal math:lessThan 260.0 .
-# via the schematic forward rule:
-#   {
-#     :fuel8 :value ?Fuel .
-#     ({
-#         :car1 :at :Brussels .
-#         :car1 :battery :high .
-#         :car1 :pass :none .
-#     } {
-#         :car1 :at :Cologne .
-#         :car1 :battery ?B .
-#         :car1 :pass ?P .
-#     } ?Acts ?Dur ?Cost ?Bel ?Comf ?Fuel ?FuelLeft) :path true .
-#     ?Bel math:greaterThan 0.93 .
-#     ?Cost math:lessThan 0.090 .
-#     ?Dur math:lessThan 260.0 .
-#   } => {
-#     :car1 gps:plan (?Acts ?Dur ?Cost ?Bel ?Comf ?B ?P ?FuelLeft) .
-#   } .
-# with substitution (on rule variables):
-#   ?Acts = (:drive_bru_liege :drive_liege_aachen :fast_charge_aachen_payg :public_road_aachen_cologne)
-#   ?B = :low
-#   ?Bel = "0.9412635375"^^xsd:decimal
-#   ?Comf = "0.8317439999999998"^^xsd:decimal
-#   ?Cost = "0.056999999999999995"^^xsd:decimal
-#   ?Dur = "230"^^xsd:decimal
-#   ?Fuel = (:t :t :t :t :t :t :t :t)
-#   ?FuelLeft = (:t :t :t :t)
-#   ?P = :none
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 :car1 gps:plan ((:drive_bru_liege :drive_liege_aachen :fast_charge_aachen_payg :public_road_aachen_cologne) "230"^^xsd:decimal "0.056999999999999995"^^xsd:decimal "0.9412635375"^^xsd:decimal "0.8317439999999998"^^xsd:decimal :low :none (:t :t :t :t)) .
-
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   :car1 gps:plan ((:drive_bru_liege :drive_liege_aachen :shuttle_aachen_cologne) "210"^^xsd:decimal "0.054000000000000006"^^xsd:decimal "0.9741748499999999"^^xsd:decimal "0.8983199999999999"^^xsd:decimal :low :none (:t :t :t :t :t)) .
-# It holds because the following instance of the rule body is provable:
-#   :fuel8 :value (:t :t :t :t :t :t :t :t) .
-#   ({
-#       :car1 :at :Brussels .
-#       :car1 :battery :high .
-#       :car1 :pass :none .
-#   } {
-#       :car1 :at :Cologne .
-#       :car1 :battery :low .
-#       :car1 :pass :none .
-#   } (:drive_bru_liege :drive_liege_aachen :shuttle_aachen_cologne) "210"^^xsd:decimal "0.054000000000000006"^^xsd:decimal "0.9741748499999999"^^xsd:decimal "0.8983199999999999"^^xsd:decimal (:t :t :t :t :t :t :t :t) (:t :t :t :t :t)) :path true .
-#   "0.9741748499999999"^^xsd:decimal math:greaterThan 0.93 .
-#   "0.054000000000000006"^^xsd:decimal math:lessThan 0.090 .
-#   "210"^^xsd:decimal math:lessThan 260.0 .
-# via the schematic forward rule:
-#   {
-#     :fuel8 :value ?Fuel .
-#     ({
-#         :car1 :at :Brussels .
-#         :car1 :battery :high .
-#         :car1 :pass :none .
-#     } {
-#         :car1 :at :Cologne .
-#         :car1 :battery ?B .
-#         :car1 :pass ?P .
-#     } ?Acts ?Dur ?Cost ?Bel ?Comf ?Fuel ?FuelLeft) :path true .
-#     ?Bel math:greaterThan 0.93 .
-#     ?Cost math:lessThan 0.090 .
-#     ?Dur math:lessThan 260.0 .
-#   } => {
-#     :car1 gps:plan (?Acts ?Dur ?Cost ?Bel ?Comf ?B ?P ?FuelLeft) .
-#   } .
-# with substitution (on rule variables):
-#   ?Acts = (:drive_bru_liege :drive_liege_aachen :shuttle_aachen_cologne)
-#   ?B = :low
-#   ?Bel = "0.9741748499999999"^^xsd:decimal
-#   ?Comf = "0.8983199999999999"^^xsd:decimal
-#   ?Cost = "0.054000000000000006"^^xsd:decimal
-#   ?Dur = "210"^^xsd:decimal
-#   ?Fuel = (:t :t :t :t :t :t :t :t)
-#   ?FuelLeft = (:t :t :t :t :t)
-#   ?P = :none
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 :car1 gps:plan ((:drive_bru_liege :drive_liege_aachen :shuttle_aachen_cologne) "210"^^xsd:decimal "0.054000000000000006"^^xsd:decimal "0.9741748499999999"^^xsd:decimal "0.8983199999999999"^^xsd:decimal :low :none (:t :t :t :t :t)) .
-

package/examples/output/existential-rule.n3

@@ -1,38 +1,4 @@
 @prefix : <http://example.org/socrates#> .
 
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   :Socrates :is _:sk_0 .
-# It holds because the following instance of the rule body is provable:
-#   :Socrates a :Human .
-# via the schematic forward rule:
-#   {
-#     ?S a :Human .
-#   } => {
-#     ?S :is _:B .
-#   } .
-# with substitution (on rule variables):
-#   ?S = :Socrates
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 :Socrates :is _:sk_0 .
-
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   :Plato :is _:sk_1 .
-# It holds because the following instance of the rule body is provable:
-#   :Plato a :Human .
-# via the schematic forward rule:
-#   {
-#     ?S a :Human .
-#   } => {
-#     ?S :is _:B .
-#   } .
-# with substitution (on rule variables):
-#   ?S = :Plato
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 :Plato :is _:sk_1 .
-

package/examples/output/expression-eval.n3

@@ -1,23 +1,3 @@
 @prefix : <http://example.org/expression-eval#> .
 
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   :Root :result 12 .
-# It holds because the following instance of the rule body is provable:
-#   :Root :expr :eAdd .
-#   :eAdd :value 12 .
-# via the schematic forward rule:
-#   {
-#     :Root :expr ?E .
-#     ?E :value ?V .
-#   } => {
-#     :Root :result ?V .
-#   } .
-# with substitution (on rule variables):
-#   ?E = :eAdd
-#   ?V = 12
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 :Root :result 12 .
-