eyeling 1.6.13 → 1.6.15

package/README.md

@@ -103,16 +103,16 @@ npm run test:packlist
 - `test:package` does a “real consumer” smoke test: `npm pack` → install tarball into a temp project → run API + CLI + examples.
 - `test:packlist` sanity-checks what will be published in the npm tarball (and the CLI shebang/bin wiring).
 
-### Run a single file
+### Usage
 
-From the repo root:
-
-```bash
-# Option 1: use the shebang (Unix-like)
-./eyeling.js examples/socrates.n3
+```
+Usage: eyeling.js [options] <file.n3>
 
-# Option 2: explicit node
-node eyeling.js examples/socrates.n3
+Options:
+  -h, --help              Show this help and exit.
+  -v, --version           Print version and exit.
+  -p, --proof-comments    Enable proof explanations.
+  -n, --no-proof-comments Disable proof explanations (default).
 ```
 
 By default, `eyeling`:
@@ -122,17 +122,6 @@ By default, `eyeling`:
 3. prints only **newly derived forward facts** (not the original input facts)
 4. prints a compact per-triple explanation as `#` comments (can be disabled)
 
-### Options
-
-```bash
-node eyeling.js --version
-node eyeling.js -v
-
-# Disable proof comments (print only derived triples)
-node eyeling.js --no-proof-comments examples/socrates.n3
-node eyeling.js -n examples/socrates.n3
-```
-
 ## What output do I get?
 
 For each newly derived triple, `eyeling` prints:

package/examples/output/age.n3

@@ -1,20 +1,3 @@
 @prefix : <https://example.org/#> .
 
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   :test :is true .
-# It holds because the following instance of the rule body is provable:
-#   :patH :ageAbove "P80Y"^^xsd:duration .
-# via the schematic forward rule:
-#   {
-#     ?S :ageAbove "P80Y"^^xsd:duration .
-#   } => {
-#     :test :is true .
-#   } .
-# with substitution (on rule variables):
-#   ?S = :patH
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 :test :is true .
-

package/examples/output/alignment-demo.n3

@@ -4,607 +4,35 @@
 @prefix skos: <http://www.w3.org/2004/02/skos/core#> .
 @prefix tel: <http://example.org/taxonomy/telraam/> .
 
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   tel:Car skos:broader ref:Car .
-# It holds because the following instance of the rule body is provable:
-#   tel:Car skos:broadMatch ref:Car .
-# via the schematic forward rule:
-#   {
-#     ?a skos:broadMatch ?b .
-#   } => {
-#     ?a skos:broader ?b .
-#   } .
-# with substitution (on rule variables):
-#   ?a = tel:Car
-#   ?b = ref:Car
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 tel:Car skos:broader ref:Car .
-
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   tel:HeavyVehicle skos:broader ref:Car .
-# It holds because the following instance of the rule body is provable:
-#   tel:HeavyVehicle skos:broadMatch ref:Car .
-# via the schematic forward rule:
-#   {
-#     ?a skos:broadMatch ?b .
-#   } => {
-#     ?a skos:broader ?b .
-#   } .
-# with substitution (on rule variables):
-#   ?a = tel:HeavyVehicle
-#   ?b = ref:Car
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 tel:HeavyVehicle skos:broader ref:Car .
-
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   anpr:VehicleWithPlate skos:broader ref:Car .
-# It holds because the following instance of the rule body is provable:
-#   anpr:VehicleWithPlate skos:broadMatch ref:Car .
-# via the schematic forward rule:
-#   {
-#     ?a skos:broadMatch ?b .
-#   } => {
-#     ?a skos:broader ?b .
-#   } .
-# with substitution (on rule variables):
-#   ?a = anpr:VehicleWithPlate
-#   ?b = ref:Car
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 anpr:VehicleWithPlate skos:broader ref:Car .
-
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   anpr:VehicleWithPlate skos:narrower anpr:PassengerCar .
-# It holds because the following instance of the rule body is provable:
-#   anpr:PassengerCar skos:broader anpr:VehicleWithPlate .
-# via the schematic forward rule:
-#   {
-#     ?n skos:broader ?b .
-#   } => {
-#     ?b skos:narrower ?n .
-#   } .
-# with substitution (on rule variables):
-#   ?b = anpr:VehicleWithPlate
-#   ?n = anpr:PassengerCar
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 anpr:VehicleWithPlate skos:narrower anpr:PassengerCar .
-
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   ref:Car skos:narrower tel:Car .
-# It holds because the following instance of the rule body is provable:
-#   tel:Car skos:broader ref:Car .
-# via the schematic forward rule:
-#   {
-#     ?n skos:broader ?b .
-#   } => {
-#     ?b skos:narrower ?n .
-#   } .
-# with substitution (on rule variables):
-#   ?b = ref:Car
-#   ?n = tel:Car
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 ref:Car skos:narrower tel:Car .
-
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   ref:Car skos:narrower tel:HeavyVehicle .
-# It holds because the following instance of the rule body is provable:
-#   tel:HeavyVehicle skos:broader ref:Car .
-# via the schematic forward rule:
-#   {
-#     ?n skos:broader ?b .
-#   } => {
-#     ?b skos:narrower ?n .
-#   } .
-# with substitution (on rule variables):
-#   ?b = ref:Car
-#   ?n = tel:HeavyVehicle
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 ref:Car skos:narrower tel:HeavyVehicle .
-
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   ref:Car skos:narrower anpr:VehicleWithPlate .
-# It holds because the following instance of the rule body is provable:
-#   anpr:VehicleWithPlate skos:broader ref:Car .
-# via the schematic forward rule:
-#   {
-#     ?n skos:broader ?b .
-#   } => {
-#     ?b skos:narrower ?n .
-#   } .
-# with substitution (on rule variables):
-#   ?b = ref:Car
-#   ?n = anpr:VehicleWithPlate
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 ref:Car skos:narrower anpr:VehicleWithPlate .
-
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   anpr:PassengerCar skos:broaderTransitive anpr:VehicleWithPlate .
-# It holds because the following instance of the rule body is provable:
-#   anpr:PassengerCar skos:broader anpr:VehicleWithPlate .
-# via the schematic forward rule:
-#   {
-#     ?n skos:broader ?b .
-#   } => {
-#     ?n skos:broaderTransitive ?b .
-#   } .
-# with substitution (on rule variables):
-#   ?b = anpr:VehicleWithPlate
-#   ?n = anpr:PassengerCar
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 anpr:PassengerCar skos:broaderTransitive anpr:VehicleWithPlate .
-
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   tel:Car skos:broaderTransitive ref:Car .
-# It holds because the following instance of the rule body is provable:
-#   tel:Car skos:broader ref:Car .
-# via the schematic forward rule:
-#   {
-#     ?n skos:broader ?b .
-#   } => {
-#     ?n skos:broaderTransitive ?b .
-#   } .
-# with substitution (on rule variables):
-#   ?b = ref:Car
-#   ?n = tel:Car
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 tel:Car skos:broaderTransitive ref:Car .
-
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   tel:HeavyVehicle skos:broaderTransitive ref:Car .
-# It holds because the following instance of the rule body is provable:
-#   tel:HeavyVehicle skos:broader ref:Car .
-# via the schematic forward rule:
-#   {
-#     ?n skos:broader ?b .
-#   } => {
-#     ?n skos:broaderTransitive ?b .
-#   } .
-# with substitution (on rule variables):
-#   ?b = ref:Car
-#   ?n = tel:HeavyVehicle
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 tel:HeavyVehicle skos:broaderTransitive ref:Car .
-
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   anpr:VehicleWithPlate skos:broaderTransitive ref:Car .
-# It holds because the following instance of the rule body is provable:
-#   anpr:VehicleWithPlate skos:broader ref:Car .
-# via the schematic forward rule:
-#   {
-#     ?n skos:broader ?b .
-#   } => {
-#     ?n skos:broaderTransitive ?b .
-#   } .
-# with substitution (on rule variables):
-#   ?b = ref:Car
-#   ?n = anpr:VehicleWithPlate
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 anpr:VehicleWithPlate skos:broaderTransitive ref:Car .
-
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   anpr:VehicleWithPlate skos:narrowerTransitive anpr:PassengerCar .
-# It holds because the following instance of the rule body is provable:
-#   anpr:VehicleWithPlate skos:narrower anpr:PassengerCar .
-# via the schematic forward rule:
-#   {
-#     ?n skos:narrower ?c .
-#   } => {
-#     ?n skos:narrowerTransitive ?c .
-#   } .
-# with substitution (on rule variables):
-#   ?c = anpr:PassengerCar
-#   ?n = anpr:VehicleWithPlate
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 anpr:VehicleWithPlate skos:narrowerTransitive anpr:PassengerCar .
-
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   ref:Car skos:narrowerTransitive tel:Car .
-# It holds because the following instance of the rule body is provable:
-#   ref:Car skos:narrower tel:Car .
-# via the schematic forward rule:
-#   {
-#     ?n skos:narrower ?c .
-#   } => {
-#     ?n skos:narrowerTransitive ?c .
-#   } .
-# with substitution (on rule variables):
-#   ?c = tel:Car
-#   ?n = ref:Car
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 ref:Car skos:narrowerTransitive tel:Car .
-
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   ref:Car skos:narrowerTransitive tel:HeavyVehicle .
-# It holds because the following instance of the rule body is provable:
-#   ref:Car skos:narrower tel:HeavyVehicle .
-# via the schematic forward rule:
-#   {
-#     ?n skos:narrower ?c .
-#   } => {
-#     ?n skos:narrowerTransitive ?c .
-#   } .
-# with substitution (on rule variables):
-#   ?c = tel:HeavyVehicle
-#   ?n = ref:Car
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 ref:Car skos:narrowerTransitive tel:HeavyVehicle .
-
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   ref:Car skos:narrowerTransitive anpr:VehicleWithPlate .
-# It holds because the following instance of the rule body is provable:
-#   ref:Car skos:narrower anpr:VehicleWithPlate .
-# via the schematic forward rule:
-#   {
-#     ?n skos:narrower ?c .
-#   } => {
-#     ?n skos:narrowerTransitive ?c .
-#   } .
-# with substitution (on rule variables):
-#   ?c = anpr:VehicleWithPlate
-#   ?n = ref:Car
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 ref:Car skos:narrowerTransitive anpr:VehicleWithPlate .
-
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   anpr:PassengerCar skos:broaderTransitive ref:Car .
-# It holds because the following instance of the rule body is provable:
-#   anpr:PassengerCar skos:broaderTransitive anpr:VehicleWithPlate .
-#   anpr:VehicleWithPlate skos:broaderTransitive ref:Car .
-# via the schematic forward rule:
-#   {
-#     ?a skos:broaderTransitive ?b .
-#     ?b skos:broaderTransitive ?c .
-#   } => {
-#     ?a skos:broaderTransitive ?c .
-#   } .
-# with substitution (on rule variables):
-#   ?a = anpr:PassengerCar
-#   ?b = anpr:VehicleWithPlate
-#   ?c = ref:Car
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 anpr:PassengerCar skos:broaderTransitive ref:Car .
-
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   ref:Car skos:narrowerTransitive anpr:PassengerCar .
-# It holds because the following instance of the rule body is provable:
-#   ref:Car skos:narrowerTransitive anpr:VehicleWithPlate .
-#   anpr:VehicleWithPlate skos:narrowerTransitive anpr:PassengerCar .
-# via the schematic forward rule:
-#   {
-#     ?a skos:narrowerTransitive ?b .
-#     ?b skos:narrowerTransitive ?c .
-#   } => {
-#     ?a skos:narrowerTransitive ?c .
-#   } .
-# with substitution (on rule variables):
-#   ?a = ref:Car
-#   ?b = anpr:VehicleWithPlate
-#   ?c = anpr:PassengerCar
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 ref:Car skos:narrowerTransitive anpr:PassengerCar .
-
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   ref:Car ex:narrowerOrEqualOf ref:Car .
-# It holds because the following instance of the rule body is provable:
-#   ref:Car a skos:Concept .
-# via the schematic forward rule:
-#   {
-#     ?c a skos:Concept .
-#   } => {
-#     ?c ex:narrowerOrEqualOf ?c .
-#   } .
-# with substitution (on rule variables):
-#   ?c = ref:Car
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 ref:Car ex:narrowerOrEqualOf ref:Car .
-
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   tel:Car ex:narrowerOrEqualOf tel:Car .
-# It holds because the following instance of the rule body is provable:
-#   tel:Car a skos:Concept .
-# via the schematic forward rule:
-#   {
-#     ?c a skos:Concept .
-#   } => {
-#     ?c ex:narrowerOrEqualOf ?c .
-#   } .
-# with substitution (on rule variables):
-#   ?c = tel:Car
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 tel:Car ex:narrowerOrEqualOf tel:Car .
-
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   tel:HeavyVehicle ex:narrowerOrEqualOf tel:HeavyVehicle .
-# It holds because the following instance of the rule body is provable:
-#   tel:HeavyVehicle a skos:Concept .
-# via the schematic forward rule:
-#   {
-#     ?c a skos:Concept .
-#   } => {
-#     ?c ex:narrowerOrEqualOf ?c .
-#   } .
-# with substitution (on rule variables):
-#   ?c = tel:HeavyVehicle
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 tel:HeavyVehicle ex:narrowerOrEqualOf tel:HeavyVehicle .
-
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   anpr:VehicleWithPlate ex:narrowerOrEqualOf anpr:VehicleWithPlate .
-# It holds because the following instance of the rule body is provable:
-#   anpr:VehicleWithPlate a skos:Concept .
-# via the schematic forward rule:
-#   {
-#     ?c a skos:Concept .
-#   } => {
-#     ?c ex:narrowerOrEqualOf ?c .
-#   } .
-# with substitution (on rule variables):
-#   ?c = anpr:VehicleWithPlate
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 anpr:VehicleWithPlate ex:narrowerOrEqualOf anpr:VehicleWithPlate .
-
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   anpr:PassengerCar ex:narrowerOrEqualOf anpr:PassengerCar .
-# It holds because the following instance of the rule body is provable:
-#   anpr:PassengerCar a skos:Concept .
-# via the schematic forward rule:
-#   {
-#     ?c a skos:Concept .
-#   } => {
-#     ?c ex:narrowerOrEqualOf ?c .
-#   } .
-# with substitution (on rule variables):
-#   ?c = anpr:PassengerCar
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 anpr:PassengerCar ex:narrowerOrEqualOf anpr:PassengerCar .
-
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   anpr:PassengerCar ex:narrowerOrEqualOf anpr:VehicleWithPlate .
-# It holds because the following instance of the rule body is provable:
-#   anpr:PassengerCar skos:broaderTransitive anpr:VehicleWithPlate .
-# via the schematic forward rule:
-#   {
-#     ?c skos:broaderTransitive ?b .
-#   } => {
-#     ?c ex:narrowerOrEqualOf ?b .
-#   } .
-# with substitution (on rule variables):
-#   ?b = anpr:VehicleWithPlate
-#   ?c = anpr:PassengerCar
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 anpr:PassengerCar ex:narrowerOrEqualOf anpr:VehicleWithPlate .
-
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   tel:Car ex:narrowerOrEqualOf ref:Car .
-# It holds because the following instance of the rule body is provable:
-#   tel:Car skos:broaderTransitive ref:Car .
-# via the schematic forward rule:
-#   {
-#     ?c skos:broaderTransitive ?b .
-#   } => {
-#     ?c ex:narrowerOrEqualOf ?b .
-#   } .
-# with substitution (on rule variables):
-#   ?b = ref:Car
-#   ?c = tel:Car
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 tel:Car ex:narrowerOrEqualOf ref:Car .
-
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   tel:HeavyVehicle ex:narrowerOrEqualOf ref:Car .
-# It holds because the following instance of the rule body is provable:
-#   tel:HeavyVehicle skos:broaderTransitive ref:Car .
-# via the schematic forward rule:
-#   {
-#     ?c skos:broaderTransitive ?b .
-#   } => {
-#     ?c ex:narrowerOrEqualOf ?b .
-#   } .
-# with substitution (on rule variables):
-#   ?b = ref:Car
-#   ?c = tel:HeavyVehicle
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 tel:HeavyVehicle ex:narrowerOrEqualOf ref:Car .
-
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   anpr:VehicleWithPlate ex:narrowerOrEqualOf ref:Car .
-# It holds because the following instance of the rule body is provable:
-#   anpr:VehicleWithPlate skos:broaderTransitive ref:Car .
-# via the schematic forward rule:
-#   {
-#     ?c skos:broaderTransitive ?b .
-#   } => {
-#     ?c ex:narrowerOrEqualOf ?b .
-#   } .
-# with substitution (on rule variables):
-#   ?b = ref:Car
-#   ?c = anpr:VehicleWithPlate
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 anpr:VehicleWithPlate ex:narrowerOrEqualOf ref:Car .
-
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   anpr:PassengerCar ex:narrowerOrEqualOf ref:Car .
-# It holds because the following instance of the rule body is provable:
-#   anpr:PassengerCar skos:broaderTransitive ref:Car .
-# via the schematic forward rule:
-#   {
-#     ?c skos:broaderTransitive ?b .
-#   } => {
-#     ?c ex:narrowerOrEqualOf ?b .
-#   } .
-# with substitution (on rule variables):
-#   ?b = ref:Car
-#   ?c = anpr:PassengerCar
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 anpr:PassengerCar ex:narrowerOrEqualOf ref:Car .
-
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   ref:Car ex:rollsUpTo ref:Car .
-# It holds because the following instance of the rule body is provable:
-#   ref:Car ex:narrowerOrEqualOf ref:Car .
-# via the schematic forward rule:
-#   {
-#     ?x ex:narrowerOrEqualOf ref:Car .
-#   } => {
-#     ?x ex:rollsUpTo ref:Car .
-#   } .
-# with substitution (on rule variables):
-#   ?x = ref:Car
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 ref:Car ex:rollsUpTo ref:Car .
-
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   tel:Car ex:rollsUpTo ref:Car .
-# It holds because the following instance of the rule body is provable:
-#   tel:Car ex:narrowerOrEqualOf ref:Car .
-# via the schematic forward rule:
-#   {
-#     ?x ex:narrowerOrEqualOf ref:Car .
-#   } => {
-#     ?x ex:rollsUpTo ref:Car .
-#   } .
-# with substitution (on rule variables):
-#   ?x = tel:Car
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 tel:Car ex:rollsUpTo ref:Car .
-
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   tel:HeavyVehicle ex:rollsUpTo ref:Car .
-# It holds because the following instance of the rule body is provable:
-#   tel:HeavyVehicle ex:narrowerOrEqualOf ref:Car .
-# via the schematic forward rule:
-#   {
-#     ?x ex:narrowerOrEqualOf ref:Car .
-#   } => {
-#     ?x ex:rollsUpTo ref:Car .
-#   } .
-# with substitution (on rule variables):
-#   ?x = tel:HeavyVehicle
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 tel:HeavyVehicle ex:rollsUpTo ref:Car .
-
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   anpr:VehicleWithPlate ex:rollsUpTo ref:Car .
-# It holds because the following instance of the rule body is provable:
-#   anpr:VehicleWithPlate ex:narrowerOrEqualOf ref:Car .
-# via the schematic forward rule:
-#   {
-#     ?x ex:narrowerOrEqualOf ref:Car .
-#   } => {
-#     ?x ex:rollsUpTo ref:Car .
-#   } .
-# with substitution (on rule variables):
-#   ?x = anpr:VehicleWithPlate
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 anpr:VehicleWithPlate ex:rollsUpTo ref:Car .
-
-# ----------------------------------------------------------------------
-# Proof for derived triple:
-#   anpr:PassengerCar ex:rollsUpTo ref:Car .
-# It holds because the following instance of the rule body is provable:
-#   anpr:PassengerCar ex:narrowerOrEqualOf ref:Car .
-# via the schematic forward rule:
-#   {
-#     ?x ex:narrowerOrEqualOf ref:Car .
-#   } => {
-#     ?x ex:rollsUpTo ref:Car .
-#   } .
-# with substitution (on rule variables):
-#   ?x = anpr:PassengerCar
-# Therefore the derived triple above is entailed by the rules and facts.
-# ----------------------------------------------------------------------
-
 anpr:PassengerCar ex:rollsUpTo ref:Car .
-

package/examples/output/backward.n3

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