eyeling 1.6.13 → 1.6.14

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 .
-