eyeling 1.5.41 → 1.6.0

package/examples/output/traffic-skos-aggregate.n3

@@ -0,0 +1,3298 @@
+@prefix anpr: <http://example.org/taxonomy/anpr/> .
+@prefix ex: <http://example.org/> .
+@prefix genid: <https://eyereasoner.github.io/.well-known/genid/> .
+@prefix prov: <http://www.w3.org/ns/prov#> .
+@prefix ref: <http://example.org/taxonomy/ref/> .
+@prefix skos: <http://www.w3.org/2004/02/skos/core#> .
+@prefix sosa: <http://www.w3.org/ns/sosa/> .
+@prefix tel: <http://example.org/taxonomy/telraam/> .
+@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
+
+# ----------------------------------------------------------------------
+# Proof for derived triple:
+#   tel:Pedestrian skos:broader ref:Pedestrian .
+# It holds because the following instance of the rule body is provable:
+#   tel:Pedestrian skos:broadMatch ref:Pedestrian .
+# via the schematic forward rule:
+#   {
+#     ?a skos:broadMatch ?b .
+#   } => {
+#     ?a skos:broader ?b .
+#   } .
+# with substitution (on rule variables):
+#   ?a = tel:Pedestrian
+#   ?b = ref:Pedestrian
+# Therefore the derived triple above is entailed by the rules and facts.
+# ----------------------------------------------------------------------
+
+tel:Pedestrian skos:broader ref:Pedestrian .
+
+# ----------------------------------------------------------------------
+# Proof for derived triple:
+#   tel:TwoWheeler skos:broader ref:TwoWheeler .
+# It holds because the following instance of the rule body is provable:
+#   tel:TwoWheeler skos:broadMatch ref:TwoWheeler .
+# via the schematic forward rule:
+#   {
+#     ?a skos:broadMatch ?b .
+#   } => {
+#     ?a skos:broader ?b .
+#   } .
+# with substitution (on rule variables):
+#   ?a = tel:TwoWheeler
+#   ?b = ref:TwoWheeler
+# Therefore the derived triple above is entailed by the rules and facts.
+# ----------------------------------------------------------------------
+
+tel:TwoWheeler skos:broader ref:TwoWheeler .
+
+# ----------------------------------------------------------------------
+# 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:
+#   ref:RoadUser skos:narrower ref:Pedestrian .
+# It holds because the following instance of the rule body is provable:
+#   ref:Pedestrian skos:broader ref:RoadUser .
+# via the schematic forward rule:
+#   {
+#     ?n skos:broader ?b .
+#   } => {
+#     ?b skos:narrower ?n .
+#   } .
+# with substitution (on rule variables):
+#   ?b = ref:RoadUser
+#   ?n = ref:Pedestrian
+# Therefore the derived triple above is entailed by the rules and facts.
+# ----------------------------------------------------------------------
+
+ref:RoadUser skos:narrower ref:Pedestrian .
+
+# ----------------------------------------------------------------------
+# Proof for derived triple:
+#   ref:RoadUser skos:narrower ref:TwoWheeler .
+# It holds because the following instance of the rule body is provable:
+#   ref:TwoWheeler skos:broader ref:RoadUser .
+# via the schematic forward rule:
+#   {
+#     ?n skos:broader ?b .
+#   } => {
+#     ?b skos:narrower ?n .
+#   } .
+# with substitution (on rule variables):
+#   ?b = ref:RoadUser
+#   ?n = ref:TwoWheeler
+# Therefore the derived triple above is entailed by the rules and facts.
+# ----------------------------------------------------------------------
+
+ref:RoadUser skos:narrower ref:TwoWheeler .
+
+# ----------------------------------------------------------------------
+# Proof for derived triple:
+#   ref:RoadUser skos:narrower ref:Car .
+# It holds because the following instance of the rule body is provable:
+#   ref:Car skos:broader ref:RoadUser .
+# via the schematic forward rule:
+#   {
+#     ?n skos:broader ?b .
+#   } => {
+#     ?b skos:narrower ?n .
+#   } .
+# with substitution (on rule variables):
+#   ?b = ref:RoadUser
+#   ?n = ref:Car
+# Therefore the derived triple above is entailed by the rules and facts.
+# ----------------------------------------------------------------------
+
+ref:RoadUser skos:narrower ref:Car .
+
+# ----------------------------------------------------------------------
+# Proof for derived triple:
+#   tel:RoadUser skos:narrower tel:Pedestrian .
+# It holds because the following instance of the rule body is provable:
+#   tel:Pedestrian skos:broader tel:RoadUser .
+# via the schematic forward rule:
+#   {
+#     ?n skos:broader ?b .
+#   } => {
+#     ?b skos:narrower ?n .
+#   } .
+# with substitution (on rule variables):
+#   ?b = tel:RoadUser
+#   ?n = tel:Pedestrian
+# Therefore the derived triple above is entailed by the rules and facts.
+# ----------------------------------------------------------------------
+
+tel:RoadUser skos:narrower tel:Pedestrian .
+
+# ----------------------------------------------------------------------
+# Proof for derived triple:
+#   tel:RoadUser skos:narrower tel:TwoWheeler .
+# It holds because the following instance of the rule body is provable:
+#   tel:TwoWheeler skos:broader tel:RoadUser .
+# via the schematic forward rule:
+#   {
+#     ?n skos:broader ?b .
+#   } => {
+#     ?b skos:narrower ?n .
+#   } .
+# with substitution (on rule variables):
+#   ?b = tel:RoadUser
+#   ?n = tel:TwoWheeler
+# Therefore the derived triple above is entailed by the rules and facts.
+# ----------------------------------------------------------------------
+
+tel:RoadUser skos:narrower tel:TwoWheeler .
+
+# ----------------------------------------------------------------------
+# Proof for derived triple:
+#   tel:RoadUser skos:narrower tel:Car .
+# It holds because the following instance of the rule body is provable:
+#   tel:Car skos:broader tel:RoadUser .
+# via the schematic forward rule:
+#   {
+#     ?n skos:broader ?b .
+#   } => {
+#     ?b skos:narrower ?n .
+#   } .
+# with substitution (on rule variables):
+#   ?b = tel:RoadUser
+#   ?n = tel:Car
+# Therefore the derived triple above is entailed by the rules and facts.
+# ----------------------------------------------------------------------
+
+tel:RoadUser skos:narrower tel:Car .
+
+# ----------------------------------------------------------------------
+# Proof for derived triple:
+#   tel:RoadUser skos:narrower tel:HeavyVehicle .
+# It holds because the following instance of the rule body is provable:
+#   tel:HeavyVehicle skos:broader tel:RoadUser .
+# via the schematic forward rule:
+#   {
+#     ?n skos:broader ?b .
+#   } => {
+#     ?b skos:narrower ?n .
+#   } .
+# with substitution (on rule variables):
+#   ?b = tel:RoadUser
+#   ?n = tel:HeavyVehicle
+# Therefore the derived triple above is entailed by the rules and facts.
+# ----------------------------------------------------------------------
+
+tel:RoadUser skos:narrower tel:HeavyVehicle .
+
+# ----------------------------------------------------------------------
+# 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:
+#   anpr:VehicleWithPlate skos:narrower anpr:Van .
+# It holds because the following instance of the rule body is provable:
+#   anpr:Van 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:Van
+# Therefore the derived triple above is entailed by the rules and facts.
+# ----------------------------------------------------------------------
+
+anpr:VehicleWithPlate skos:narrower anpr:Van .
+
+# ----------------------------------------------------------------------
+# Proof for derived triple:
+#   anpr:VehicleWithPlate skos:narrower anpr:Truck .
+# It holds because the following instance of the rule body is provable:
+#   anpr:Truck 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:Truck
+# Therefore the derived triple above is entailed by the rules and facts.
+# ----------------------------------------------------------------------
+
+anpr:VehicleWithPlate skos:narrower anpr:Truck .
+
+# ----------------------------------------------------------------------
+# Proof for derived triple:
+#   anpr:VehicleWithPlate skos:narrower anpr:Bus .
+# It holds because the following instance of the rule body is provable:
+#   anpr:Bus 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:Bus
+# Therefore the derived triple above is entailed by the rules and facts.
+# ----------------------------------------------------------------------
+
+anpr:VehicleWithPlate skos:narrower anpr:Bus .
+
+# ----------------------------------------------------------------------
+# Proof for derived triple:
+#   ref:Pedestrian skos:narrower tel:Pedestrian .
+# It holds because the following instance of the rule body is provable:
+#   tel:Pedestrian skos:broader ref:Pedestrian .
+# via the schematic forward rule:
+#   {
+#     ?n skos:broader ?b .
+#   } => {
+#     ?b skos:narrower ?n .
+#   } .
+# with substitution (on rule variables):
+#   ?b = ref:Pedestrian
+#   ?n = tel:Pedestrian
+# Therefore the derived triple above is entailed by the rules and facts.
+# ----------------------------------------------------------------------
+
+ref:Pedestrian skos:narrower tel:Pedestrian .
+
+# ----------------------------------------------------------------------
+# Proof for derived triple:
+#   ref:TwoWheeler skos:narrower tel:TwoWheeler .
+# It holds because the following instance of the rule body is provable:
+#   tel:TwoWheeler skos:broader ref:TwoWheeler .
+# via the schematic forward rule:
+#   {
+#     ?n skos:broader ?b .
+#   } => {
+#     ?b skos:narrower ?n .
+#   } .
+# with substitution (on rule variables):
+#   ?b = ref:TwoWheeler
+#   ?n = tel:TwoWheeler
+# Therefore the derived triple above is entailed by the rules and facts.
+# ----------------------------------------------------------------------
+
+ref:TwoWheeler skos:narrower tel:TwoWheeler .
+
+# ----------------------------------------------------------------------
+# 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:
+#   ref:Pedestrian skos:broaderTransitive ref:RoadUser .
+# It holds because the following instance of the rule body is provable:
+#   ref:Pedestrian skos:broader ref:RoadUser .
+# via the schematic forward rule:
+#   {
+#     ?n skos:broader ?b .
+#   } => {
+#     ?n skos:broaderTransitive ?b .
+#   } .
+# with substitution (on rule variables):
+#   ?b = ref:RoadUser
+#   ?n = ref:Pedestrian
+# Therefore the derived triple above is entailed by the rules and facts.
+# ----------------------------------------------------------------------
+
+ref:Pedestrian skos:broaderTransitive ref:RoadUser .
+
+# ----------------------------------------------------------------------
+# Proof for derived triple:
+#   ref:TwoWheeler skos:broaderTransitive ref:RoadUser .
+# It holds because the following instance of the rule body is provable:
+#   ref:TwoWheeler skos:broader ref:RoadUser .
+# via the schematic forward rule:
+#   {
+#     ?n skos:broader ?b .
+#   } => {
+#     ?n skos:broaderTransitive ?b .
+#   } .
+# with substitution (on rule variables):
+#   ?b = ref:RoadUser
+#   ?n = ref:TwoWheeler
+# Therefore the derived triple above is entailed by the rules and facts.
+# ----------------------------------------------------------------------
+
+ref:TwoWheeler skos:broaderTransitive ref:RoadUser .
+
+# ----------------------------------------------------------------------
+# Proof for derived triple:
+#   ref:Car skos:broaderTransitive ref:RoadUser .
+# It holds because the following instance of the rule body is provable:
+#   ref:Car skos:broader ref:RoadUser .
+# via the schematic forward rule:
+#   {
+#     ?n skos:broader ?b .
+#   } => {
+#     ?n skos:broaderTransitive ?b .
+#   } .
+# with substitution (on rule variables):
+#   ?b = ref:RoadUser
+#   ?n = ref:Car
+# Therefore the derived triple above is entailed by the rules and facts.
+# ----------------------------------------------------------------------
+
+ref:Car skos:broaderTransitive ref:RoadUser .
+
+# ----------------------------------------------------------------------
+# Proof for derived triple:
+#   tel:Pedestrian skos:broaderTransitive tel:RoadUser .
+# It holds because the following instance of the rule body is provable:
+#   tel:Pedestrian skos:broader tel:RoadUser .
+# via the schematic forward rule:
+#   {
+#     ?n skos:broader ?b .
+#   } => {
+#     ?n skos:broaderTransitive ?b .
+#   } .
+# with substitution (on rule variables):
+#   ?b = tel:RoadUser
+#   ?n = tel:Pedestrian
+# Therefore the derived triple above is entailed by the rules and facts.
+# ----------------------------------------------------------------------
+
+tel:Pedestrian skos:broaderTransitive tel:RoadUser .
+
+# ----------------------------------------------------------------------
+# Proof for derived triple:
+#   tel:TwoWheeler skos:broaderTransitive tel:RoadUser .
+# It holds because the following instance of the rule body is provable:
+#   tel:TwoWheeler skos:broader tel:RoadUser .
+# via the schematic forward rule:
+#   {
+#     ?n skos:broader ?b .
+#   } => {
+#     ?n skos:broaderTransitive ?b .
+#   } .
+# with substitution (on rule variables):
+#   ?b = tel:RoadUser
+#   ?n = tel:TwoWheeler
+# Therefore the derived triple above is entailed by the rules and facts.
+# ----------------------------------------------------------------------
+
+tel:TwoWheeler skos:broaderTransitive tel:RoadUser .
+
+# ----------------------------------------------------------------------
+# Proof for derived triple:
+#   tel:Car skos:broaderTransitive tel:RoadUser .
+# It holds because the following instance of the rule body is provable:
+#   tel:Car skos:broader tel:RoadUser .
+# via the schematic forward rule:
+#   {
+#     ?n skos:broader ?b .
+#   } => {
+#     ?n skos:broaderTransitive ?b .
+#   } .
+# with substitution (on rule variables):
+#   ?b = tel:RoadUser
+#   ?n = tel:Car
+# Therefore the derived triple above is entailed by the rules and facts.
+# ----------------------------------------------------------------------
+
+tel:Car skos:broaderTransitive tel:RoadUser .
+
+# ----------------------------------------------------------------------
+# Proof for derived triple:
+#   tel:HeavyVehicle skos:broaderTransitive tel:RoadUser .
+# It holds because the following instance of the rule body is provable:
+#   tel:HeavyVehicle skos:broader tel:RoadUser .
+# via the schematic forward rule:
+#   {
+#     ?n skos:broader ?b .
+#   } => {
+#     ?n skos:broaderTransitive ?b .
+#   } .
+# with substitution (on rule variables):
+#   ?b = tel:RoadUser
+#   ?n = tel:HeavyVehicle
+# Therefore the derived triple above is entailed by the rules and facts.
+# ----------------------------------------------------------------------
+
+tel:HeavyVehicle skos:broaderTransitive tel:RoadUser .
+
+# ----------------------------------------------------------------------
+# 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:
+#   anpr:Van skos:broaderTransitive anpr:VehicleWithPlate .
+# It holds because the following instance of the rule body is provable:
+#   anpr:Van 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:Van
+# Therefore the derived triple above is entailed by the rules and facts.
+# ----------------------------------------------------------------------
+
+anpr:Van skos:broaderTransitive anpr:VehicleWithPlate .
+
+# ----------------------------------------------------------------------
+# Proof for derived triple:
+#   anpr:Truck skos:broaderTransitive anpr:VehicleWithPlate .
+# It holds because the following instance of the rule body is provable:
+#   anpr:Truck 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:Truck
+# Therefore the derived triple above is entailed by the rules and facts.
+# ----------------------------------------------------------------------
+
+anpr:Truck skos:broaderTransitive anpr:VehicleWithPlate .
+
+# ----------------------------------------------------------------------
+# Proof for derived triple:
+#   anpr:Bus skos:broaderTransitive anpr:VehicleWithPlate .
+# It holds because the following instance of the rule body is provable:
+#   anpr:Bus 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:Bus
+# Therefore the derived triple above is entailed by the rules and facts.
+# ----------------------------------------------------------------------
+
+anpr:Bus skos:broaderTransitive anpr:VehicleWithPlate .
+
+# ----------------------------------------------------------------------
+# Proof for derived triple:
+#   tel:Pedestrian skos:broaderTransitive ref:Pedestrian .
+# It holds because the following instance of the rule body is provable:
+#   tel:Pedestrian skos:broader ref:Pedestrian .
+# via the schematic forward rule:
+#   {
+#     ?n skos:broader ?b .
+#   } => {
+#     ?n skos:broaderTransitive ?b .
+#   } .
+# with substitution (on rule variables):
+#   ?b = ref:Pedestrian
+#   ?n = tel:Pedestrian
+# Therefore the derived triple above is entailed by the rules and facts.
+# ----------------------------------------------------------------------
+
+tel:Pedestrian skos:broaderTransitive ref:Pedestrian .
+
+# ----------------------------------------------------------------------
+# Proof for derived triple:
+#   tel:TwoWheeler skos:broaderTransitive ref:TwoWheeler .
+# It holds because the following instance of the rule body is provable:
+#   tel:TwoWheeler skos:broader ref:TwoWheeler .
+# via the schematic forward rule:
+#   {
+#     ?n skos:broader ?b .
+#   } => {
+#     ?n skos:broaderTransitive ?b .
+#   } .
+# with substitution (on rule variables):
+#   ?b = ref:TwoWheeler
+#   ?n = tel:TwoWheeler
+# Therefore the derived triple above is entailed by the rules and facts.
+# ----------------------------------------------------------------------
+
+tel:TwoWheeler skos:broaderTransitive ref:TwoWheeler .
+
+# ----------------------------------------------------------------------
+# 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:
+#   ref:RoadUser skos:narrowerTransitive ref:Pedestrian .
+# It holds because the following instance of the rule body is provable:
+#   ref:RoadUser skos:narrower ref:Pedestrian .
+# via the schematic forward rule:
+#   {
+#     ?n skos:narrower ?c .
+#   } => {
+#     ?n skos:narrowerTransitive ?c .
+#   } .
+# with substitution (on rule variables):
+#   ?c = ref:Pedestrian
+#   ?n = ref:RoadUser
+# Therefore the derived triple above is entailed by the rules and facts.
+# ----------------------------------------------------------------------
+
+ref:RoadUser skos:narrowerTransitive ref:Pedestrian .
+
+# ----------------------------------------------------------------------
+# Proof for derived triple:
+#   ref:RoadUser skos:narrowerTransitive ref:TwoWheeler .
+# It holds because the following instance of the rule body is provable:
+#   ref:RoadUser skos:narrower ref:TwoWheeler .
+# via the schematic forward rule:
+#   {
+#     ?n skos:narrower ?c .
+#   } => {
+#     ?n skos:narrowerTransitive ?c .
+#   } .
+# with substitution (on rule variables):
+#   ?c = ref:TwoWheeler
+#   ?n = ref:RoadUser
+# Therefore the derived triple above is entailed by the rules and facts.
+# ----------------------------------------------------------------------
+
+ref:RoadUser skos:narrowerTransitive ref:TwoWheeler .
+
+# ----------------------------------------------------------------------
+# Proof for derived triple:
+#   ref:RoadUser skos:narrowerTransitive ref:Car .
+# It holds because the following instance of the rule body is provable:
+#   ref:RoadUser skos:narrower ref:Car .
+# via the schematic forward rule:
+#   {
+#     ?n skos:narrower ?c .
+#   } => {
+#     ?n skos:narrowerTransitive ?c .
+#   } .
+# with substitution (on rule variables):
+#   ?c = ref:Car
+#   ?n = ref:RoadUser
+# Therefore the derived triple above is entailed by the rules and facts.
+# ----------------------------------------------------------------------
+
+ref:RoadUser skos:narrowerTransitive ref:Car .
+
+# ----------------------------------------------------------------------
+# Proof for derived triple:
+#   tel:RoadUser skos:narrowerTransitive tel:Pedestrian .
+# It holds because the following instance of the rule body is provable:
+#   tel:RoadUser skos:narrower tel:Pedestrian .
+# via the schematic forward rule:
+#   {
+#     ?n skos:narrower ?c .
+#   } => {
+#     ?n skos:narrowerTransitive ?c .
+#   } .
+# with substitution (on rule variables):
+#   ?c = tel:Pedestrian
+#   ?n = tel:RoadUser
+# Therefore the derived triple above is entailed by the rules and facts.
+# ----------------------------------------------------------------------
+
+tel:RoadUser skos:narrowerTransitive tel:Pedestrian .
+
+# ----------------------------------------------------------------------
+# Proof for derived triple:
+#   tel:RoadUser skos:narrowerTransitive tel:TwoWheeler .
+# It holds because the following instance of the rule body is provable:
+#   tel:RoadUser skos:narrower tel:TwoWheeler .
+# via the schematic forward rule:
+#   {
+#     ?n skos:narrower ?c .
+#   } => {
+#     ?n skos:narrowerTransitive ?c .
+#   } .
+# with substitution (on rule variables):
+#   ?c = tel:TwoWheeler
+#   ?n = tel:RoadUser
+# Therefore the derived triple above is entailed by the rules and facts.
+# ----------------------------------------------------------------------
+
+tel:RoadUser skos:narrowerTransitive tel:TwoWheeler .
+
+# ----------------------------------------------------------------------
+# Proof for derived triple:
+#   tel:RoadUser skos:narrowerTransitive tel:Car .
+# It holds because the following instance of the rule body is provable:
+#   tel:RoadUser 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 = tel:RoadUser
+# Therefore the derived triple above is entailed by the rules and facts.
+# ----------------------------------------------------------------------
+
+tel:RoadUser skos:narrowerTransitive tel:Car .
+
+# ----------------------------------------------------------------------
+# Proof for derived triple:
+#   tel:RoadUser skos:narrowerTransitive tel:HeavyVehicle .
+# It holds because the following instance of the rule body is provable:
+#   tel:RoadUser 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 = tel:RoadUser
+# Therefore the derived triple above is entailed by the rules and facts.
+# ----------------------------------------------------------------------
+
+tel:RoadUser skos:narrowerTransitive tel:HeavyVehicle .
+
+# ----------------------------------------------------------------------
+# 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:
+#   anpr:VehicleWithPlate skos:narrowerTransitive anpr:Van .
+# It holds because the following instance of the rule body is provable:
+#   anpr:VehicleWithPlate skos:narrower anpr:Van .
+# via the schematic forward rule:
+#   {
+#     ?n skos:narrower ?c .
+#   } => {
+#     ?n skos:narrowerTransitive ?c .
+#   } .
+# with substitution (on rule variables):
+#   ?c = anpr:Van
+#   ?n = anpr:VehicleWithPlate
+# Therefore the derived triple above is entailed by the rules and facts.
+# ----------------------------------------------------------------------
+
+anpr:VehicleWithPlate skos:narrowerTransitive anpr:Van .
+
+# ----------------------------------------------------------------------
+# Proof for derived triple:
+#   anpr:VehicleWithPlate skos:narrowerTransitive anpr:Truck .
+# It holds because the following instance of the rule body is provable:
+#   anpr:VehicleWithPlate skos:narrower anpr:Truck .
+# via the schematic forward rule:
+#   {
+#     ?n skos:narrower ?c .
+#   } => {
+#     ?n skos:narrowerTransitive ?c .
+#   } .
+# with substitution (on rule variables):
+#   ?c = anpr:Truck
+#   ?n = anpr:VehicleWithPlate
+# Therefore the derived triple above is entailed by the rules and facts.
+# ----------------------------------------------------------------------
+
+anpr:VehicleWithPlate skos:narrowerTransitive anpr:Truck .
+
+# ----------------------------------------------------------------------
+# Proof for derived triple:
+#   anpr:VehicleWithPlate skos:narrowerTransitive anpr:Bus .
+# It holds because the following instance of the rule body is provable:
+#   anpr:VehicleWithPlate skos:narrower anpr:Bus .
+# via the schematic forward rule:
+#   {
+#     ?n skos:narrower ?c .
+#   } => {
+#     ?n skos:narrowerTransitive ?c .
+#   } .
+# with substitution (on rule variables):
+#   ?c = anpr:Bus
+#   ?n = anpr:VehicleWithPlate
+# Therefore the derived triple above is entailed by the rules and facts.
+# ----------------------------------------------------------------------
+
+anpr:VehicleWithPlate skos:narrowerTransitive anpr:Bus .
+
+# ----------------------------------------------------------------------
+# Proof for derived triple:
+#   ref:Pedestrian skos:narrowerTransitive tel:Pedestrian .
+# It holds because the following instance of the rule body is provable:
+#   ref:Pedestrian skos:narrower tel:Pedestrian .
+# via the schematic forward rule:
+#   {
+#     ?n skos:narrower ?c .
+#   } => {
+#     ?n skos:narrowerTransitive ?c .
+#   } .
+# with substitution (on rule variables):
+#   ?c = tel:Pedestrian
+#   ?n = ref:Pedestrian
+# Therefore the derived triple above is entailed by the rules and facts.
+# ----------------------------------------------------------------------
+
+ref:Pedestrian skos:narrowerTransitive tel:Pedestrian .
+
+# ----------------------------------------------------------------------
+# Proof for derived triple:
+#   ref:TwoWheeler skos:narrowerTransitive tel:TwoWheeler .
+# It holds because the following instance of the rule body is provable:
+#   ref:TwoWheeler skos:narrower tel:TwoWheeler .
+# via the schematic forward rule:
+#   {
+#     ?n skos:narrower ?c .
+#   } => {
+#     ?n skos:narrowerTransitive ?c .
+#   } .
+# with substitution (on rule variables):
+#   ?c = tel:TwoWheeler
+#   ?n = ref:TwoWheeler
+# Therefore the derived triple above is entailed by the rules and facts.
+# ----------------------------------------------------------------------
+
+ref:TwoWheeler skos:narrowerTransitive tel:TwoWheeler .
+
+# ----------------------------------------------------------------------
+# 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:VehicleWithPlate skos:broaderTransitive ref:RoadUser .
+# It holds because the following instance of the rule body is provable:
+#   anpr:VehicleWithPlate skos:broaderTransitive ref:Car .
+#   ref:Car skos:broaderTransitive ref:RoadUser .
+# via the schematic forward rule:
+#   {
+#     ?a skos:broaderTransitive ?b .
+#     ?b skos:broaderTransitive ?c .
+#   } => {
+#     ?a skos:broaderTransitive ?c .
+#   } .
+# with substitution (on rule variables):
+#   ?a = anpr:VehicleWithPlate
+#   ?b = ref:Car
+#   ?c = ref:RoadUser
+# Therefore the derived triple above is entailed by the rules and facts.
+# ----------------------------------------------------------------------
+
+anpr:VehicleWithPlate skos:broaderTransitive ref:RoadUser .
+
+# ----------------------------------------------------------------------
+# Proof for derived triple:
+#   tel:HeavyVehicle skos:broaderTransitive ref:RoadUser .
+# It holds because the following instance of the rule body is provable:
+#   tel:HeavyVehicle skos:broaderTransitive ref:Car .
+#   ref:Car skos:broaderTransitive ref:RoadUser .
+# via the schematic forward rule:
+#   {
+#     ?a skos:broaderTransitive ?b .
+#     ?b skos:broaderTransitive ?c .
+#   } => {
+#     ?a skos:broaderTransitive ?c .
+#   } .
+# with substitution (on rule variables):
+#   ?a = tel:HeavyVehicle
+#   ?b = ref:Car
+#   ?c = ref:RoadUser
+# Therefore the derived triple above is entailed by the rules and facts.
+# ----------------------------------------------------------------------
+
+tel:HeavyVehicle skos:broaderTransitive ref:RoadUser .
+
+# ----------------------------------------------------------------------
+# Proof for derived triple:
+#   tel:Car skos:broaderTransitive ref:RoadUser .
+# It holds because the following instance of the rule body is provable:
+#   tel:Car skos:broaderTransitive ref:Car .
+#   ref:Car skos:broaderTransitive ref:RoadUser .
+# via the schematic forward rule:
+#   {
+#     ?a skos:broaderTransitive ?b .
+#     ?b skos:broaderTransitive ?c .
+#   } => {
+#     ?a skos:broaderTransitive ?c .
+#   } .
+# with substitution (on rule variables):
+#   ?a = tel:Car
+#   ?b = ref:Car
+#   ?c = ref:RoadUser
+# Therefore the derived triple above is entailed by the rules and facts.
+# ----------------------------------------------------------------------
+
+tel:Car skos:broaderTransitive ref:RoadUser .
+
+# ----------------------------------------------------------------------
+# Proof for derived triple:
+#   tel:TwoWheeler skos:broaderTransitive ref:RoadUser .
+# It holds because the following instance of the rule body is provable:
+#   tel:TwoWheeler skos:broaderTransitive ref:TwoWheeler .
+#   ref:TwoWheeler skos:broaderTransitive ref:RoadUser .
+# via the schematic forward rule:
+#   {
+#     ?a skos:broaderTransitive ?b .
+#     ?b skos:broaderTransitive ?c .
+#   } => {
+#     ?a skos:broaderTransitive ?c .
+#   } .
+# with substitution (on rule variables):
+#   ?a = tel:TwoWheeler
+#   ?b = ref:TwoWheeler
+#   ?c = ref:RoadUser
+# Therefore the derived triple above is entailed by the rules and facts.
+# ----------------------------------------------------------------------
+
+tel:TwoWheeler skos:broaderTransitive ref:RoadUser .
+
+# ----------------------------------------------------------------------
+# Proof for derived triple:
+#   tel:Pedestrian skos:broaderTransitive ref:RoadUser .
+# It holds because the following instance of the rule body is provable:
+#   tel:Pedestrian skos:broaderTransitive ref:Pedestrian .
+#   ref:Pedestrian skos:broaderTransitive ref:RoadUser .
+# via the schematic forward rule:
+#   {
+#     ?a skos:broaderTransitive ?b .
+#     ?b skos:broaderTransitive ?c .
+#   } => {
+#     ?a skos:broaderTransitive ?c .
+#   } .
+# with substitution (on rule variables):
+#   ?a = tel:Pedestrian
+#   ?b = ref:Pedestrian
+#   ?c = ref:RoadUser
+# Therefore the derived triple above is entailed by the rules and facts.
+# ----------------------------------------------------------------------
+
+tel:Pedestrian skos:broaderTransitive ref:RoadUser .
+
+# ----------------------------------------------------------------------
+# Proof for derived triple:
+#   anpr:Bus skos:broaderTransitive ref:Car .
+# It holds because the following instance of the rule body is provable:
+#   anpr:Bus 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:Bus
+#   ?b = anpr:VehicleWithPlate
+#   ?c = ref:Car
+# Therefore the derived triple above is entailed by the rules and facts.
+# ----------------------------------------------------------------------
+
+anpr:Bus skos:broaderTransitive ref:Car .
+
+# ----------------------------------------------------------------------
+# Proof for derived triple:
+#   anpr:Truck skos:broaderTransitive ref:Car .
+# It holds because the following instance of the rule body is provable:
+#   anpr:Truck 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:Truck
+#   ?b = anpr:VehicleWithPlate
+#   ?c = ref:Car
+# Therefore the derived triple above is entailed by the rules and facts.
+# ----------------------------------------------------------------------
+
+anpr:Truck skos:broaderTransitive ref:Car .
+
+# ----------------------------------------------------------------------
+# Proof for derived triple:
+#   anpr:Van skos:broaderTransitive ref:Car .
+# It holds because the following instance of the rule body is provable:
+#   anpr:Van 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:Van
+#   ?b = anpr:VehicleWithPlate
+#   ?c = ref:Car
+# Therefore the derived triple above is entailed by the rules and facts.
+# ----------------------------------------------------------------------
+
+anpr:Van skos:broaderTransitive ref:Car .
+
+# ----------------------------------------------------------------------
+# 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 skos:narrowerTransitive anpr:Van .
+# It holds because the following instance of the rule body is provable:
+#   ref:Car skos:narrowerTransitive anpr:VehicleWithPlate .
+#   anpr:VehicleWithPlate skos:narrowerTransitive anpr:Van .
+# 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:Van
+# Therefore the derived triple above is entailed by the rules and facts.
+# ----------------------------------------------------------------------
+
+ref:Car skos:narrowerTransitive anpr:Van .
+
+# ----------------------------------------------------------------------
+# Proof for derived triple:
+#   ref:Car skos:narrowerTransitive anpr:Truck .
+# It holds because the following instance of the rule body is provable:
+#   ref:Car skos:narrowerTransitive anpr:VehicleWithPlate .
+#   anpr:VehicleWithPlate skos:narrowerTransitive anpr:Truck .
+# 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:Truck
+# Therefore the derived triple above is entailed by the rules and facts.
+# ----------------------------------------------------------------------
+
+ref:Car skos:narrowerTransitive anpr:Truck .
+
+# ----------------------------------------------------------------------
+# Proof for derived triple:
+#   ref:Car skos:narrowerTransitive anpr:Bus .
+# It holds because the following instance of the rule body is provable:
+#   ref:Car skos:narrowerTransitive anpr:VehicleWithPlate .
+#   anpr:VehicleWithPlate skos:narrowerTransitive anpr:Bus .
+# 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:Bus
+# Therefore the derived triple above is entailed by the rules and facts.
+# ----------------------------------------------------------------------
+
+ref:Car skos:narrowerTransitive anpr:Bus .
+
+# ----------------------------------------------------------------------
+# Proof for derived triple:
+#   ref:RoadUser skos:narrowerTransitive tel:Car .
+# It holds because the following instance of the rule body is provable:
+#   ref:RoadUser skos:narrowerTransitive ref:Car .
+#   ref:Car skos:narrowerTransitive tel:Car .
+# via the schematic forward rule:
+#   {
+#     ?a skos:narrowerTransitive ?b .
+#     ?b skos:narrowerTransitive ?c .
+#   } => {
+#     ?a skos:narrowerTransitive ?c .
+#   } .
+# with substitution (on rule variables):
+#   ?a = ref:RoadUser
+#   ?b = ref:Car
+#   ?c = tel:Car
+# Therefore the derived triple above is entailed by the rules and facts.
+# ----------------------------------------------------------------------
+
+ref:RoadUser skos:narrowerTransitive tel:Car .
+
+# ----------------------------------------------------------------------
+# Proof for derived triple:
+#   ref:RoadUser skos:narrowerTransitive tel:HeavyVehicle .
+# It holds because the following instance of the rule body is provable:
+#   ref:RoadUser skos:narrowerTransitive ref:Car .
+#   ref:Car skos:narrowerTransitive tel:HeavyVehicle .
+# via the schematic forward rule:
+#   {
+#     ?a skos:narrowerTransitive ?b .
+#     ?b skos:narrowerTransitive ?c .
+#   } => {
+#     ?a skos:narrowerTransitive ?c .
+#   } .
+# with substitution (on rule variables):
+#   ?a = ref:RoadUser
+#   ?b = ref:Car
+#   ?c = tel:HeavyVehicle
+# Therefore the derived triple above is entailed by the rules and facts.
+# ----------------------------------------------------------------------
+
+ref:RoadUser skos:narrowerTransitive tel:HeavyVehicle .
+
+# ----------------------------------------------------------------------
+# Proof for derived triple:
+#   ref:RoadUser skos:narrowerTransitive anpr:VehicleWithPlate .
+# It holds because the following instance of the rule body is provable:
+#   ref:RoadUser skos:narrowerTransitive ref:Car .
+#   ref:Car skos:narrowerTransitive anpr:VehicleWithPlate .
+# via the schematic forward rule:
+#   {
+#     ?a skos:narrowerTransitive ?b .
+#     ?b skos:narrowerTransitive ?c .
+#   } => {
+#     ?a skos:narrowerTransitive ?c .
+#   } .
+# with substitution (on rule variables):
+#   ?a = ref:RoadUser
+#   ?b = ref:Car
+#   ?c = anpr:VehicleWithPlate
+# Therefore the derived triple above is entailed by the rules and facts.
+# ----------------------------------------------------------------------
+
+ref:RoadUser skos:narrowerTransitive anpr:VehicleWithPlate .
+
+# ----------------------------------------------------------------------
+# Proof for derived triple:
+#   ref:RoadUser skos:narrowerTransitive tel:TwoWheeler .
+# It holds because the following instance of the rule body is provable:
+#   ref:RoadUser skos:narrowerTransitive ref:TwoWheeler .
+#   ref:TwoWheeler skos:narrowerTransitive tel:TwoWheeler .
+# via the schematic forward rule:
+#   {
+#     ?a skos:narrowerTransitive ?b .
+#     ?b skos:narrowerTransitive ?c .
+#   } => {
+#     ?a skos:narrowerTransitive ?c .
+#   } .
+# with substitution (on rule variables):
+#   ?a = ref:RoadUser
+#   ?b = ref:TwoWheeler
+#   ?c = tel:TwoWheeler
+# Therefore the derived triple above is entailed by the rules and facts.
+# ----------------------------------------------------------------------
+
+ref:RoadUser skos:narrowerTransitive tel:TwoWheeler .
+
+# ----------------------------------------------------------------------
+# Proof for derived triple:
+#   ref:RoadUser skos:narrowerTransitive tel:Pedestrian .
+# It holds because the following instance of the rule body is provable:
+#   ref:RoadUser skos:narrowerTransitive ref:Pedestrian .
+#   ref:Pedestrian skos:narrowerTransitive tel:Pedestrian .
+# via the schematic forward rule:
+#   {
+#     ?a skos:narrowerTransitive ?b .
+#     ?b skos:narrowerTransitive ?c .
+#   } => {
+#     ?a skos:narrowerTransitive ?c .
+#   } .
+# with substitution (on rule variables):
+#   ?a = ref:RoadUser
+#   ?b = ref:Pedestrian
+#   ?c = tel:Pedestrian
+# Therefore the derived triple above is entailed by the rules and facts.
+# ----------------------------------------------------------------------
+
+ref:RoadUser skos:narrowerTransitive tel:Pedestrian .
+
+# ----------------------------------------------------------------------
+# Proof for derived triple:
+#   ref:RoadUser ex:narrowerOrEqualOf ref:RoadUser .
+# It holds because the following instance of the rule body is provable:
+#   ref:RoadUser a skos:Concept .
+# via the schematic forward rule:
+#   {
+#     ?c a skos:Concept .
+#   } => {
+#     ?c ex:narrowerOrEqualOf ?c .
+#   } .
+# with substitution (on rule variables):
+#   ?c = ref:RoadUser
+# Therefore the derived triple above is entailed by the rules and facts.
+# ----------------------------------------------------------------------
+
+ref:RoadUser ex:narrowerOrEqualOf ref:RoadUser .
+
+# ----------------------------------------------------------------------
+# Proof for derived triple:
+#   ref:Pedestrian ex:narrowerOrEqualOf ref:Pedestrian .
+# It holds because the following instance of the rule body is provable:
+#   ref:Pedestrian a skos:Concept .
+# via the schematic forward rule:
+#   {
+#     ?c a skos:Concept .
+#   } => {
+#     ?c ex:narrowerOrEqualOf ?c .
+#   } .
+# with substitution (on rule variables):
+#   ?c = ref:Pedestrian
+# Therefore the derived triple above is entailed by the rules and facts.
+# ----------------------------------------------------------------------
+
+ref:Pedestrian ex:narrowerOrEqualOf ref:Pedestrian .
+
+# ----------------------------------------------------------------------
+# Proof for derived triple:
+#   ref:TwoWheeler ex:narrowerOrEqualOf ref:TwoWheeler .
+# It holds because the following instance of the rule body is provable:
+#   ref:TwoWheeler a skos:Concept .
+# via the schematic forward rule:
+#   {
+#     ?c a skos:Concept .
+#   } => {
+#     ?c ex:narrowerOrEqualOf ?c .
+#   } .
+# with substitution (on rule variables):
+#   ?c = ref:TwoWheeler
+# Therefore the derived triple above is entailed by the rules and facts.
+# ----------------------------------------------------------------------
+
+ref:TwoWheeler ex:narrowerOrEqualOf ref:TwoWheeler .
+
+# ----------------------------------------------------------------------
+# 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:RoadUser ex:narrowerOrEqualOf tel:RoadUser .
+# It holds because the following instance of the rule body is provable:
+#   tel:RoadUser a skos:Concept .
+# via the schematic forward rule:
+#   {
+#     ?c a skos:Concept .
+#   } => {
+#     ?c ex:narrowerOrEqualOf ?c .
+#   } .
+# with substitution (on rule variables):
+#   ?c = tel:RoadUser
+# Therefore the derived triple above is entailed by the rules and facts.
+# ----------------------------------------------------------------------
+
+tel:RoadUser ex:narrowerOrEqualOf tel:RoadUser .
+
+# ----------------------------------------------------------------------
+# Proof for derived triple:
+#   tel:Pedestrian ex:narrowerOrEqualOf tel:Pedestrian .
+# It holds because the following instance of the rule body is provable:
+#   tel:Pedestrian a skos:Concept .
+# via the schematic forward rule:
+#   {
+#     ?c a skos:Concept .
+#   } => {
+#     ?c ex:narrowerOrEqualOf ?c .
+#   } .
+# with substitution (on rule variables):
+#   ?c = tel:Pedestrian
+# Therefore the derived triple above is entailed by the rules and facts.
+# ----------------------------------------------------------------------
+
+tel:Pedestrian ex:narrowerOrEqualOf tel:Pedestrian .
+
+# ----------------------------------------------------------------------
+# Proof for derived triple:
+#   tel:TwoWheeler ex:narrowerOrEqualOf tel:TwoWheeler .
+# It holds because the following instance of the rule body is provable:
+#   tel:TwoWheeler a skos:Concept .
+# via the schematic forward rule:
+#   {
+#     ?c a skos:Concept .
+#   } => {
+#     ?c ex:narrowerOrEqualOf ?c .
+#   } .
+# with substitution (on rule variables):
+#   ?c = tel:TwoWheeler
+# Therefore the derived triple above is entailed by the rules and facts.
+# ----------------------------------------------------------------------
+
+tel:TwoWheeler ex:narrowerOrEqualOf tel:TwoWheeler .
+
+# ----------------------------------------------------------------------
+# 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:Van ex:narrowerOrEqualOf anpr:Van .
+# It holds because the following instance of the rule body is provable:
+#   anpr:Van a skos:Concept .
+# via the schematic forward rule:
+#   {
+#     ?c a skos:Concept .
+#   } => {
+#     ?c ex:narrowerOrEqualOf ?c .
+#   } .
+# with substitution (on rule variables):
+#   ?c = anpr:Van
+# Therefore the derived triple above is entailed by the rules and facts.
+# ----------------------------------------------------------------------
+
+anpr:Van ex:narrowerOrEqualOf anpr:Van .
+
+# ----------------------------------------------------------------------
+# Proof for derived triple:
+#   anpr:Truck ex:narrowerOrEqualOf anpr:Truck .
+# It holds because the following instance of the rule body is provable:
+#   anpr:Truck a skos:Concept .
+# via the schematic forward rule:
+#   {
+#     ?c a skos:Concept .
+#   } => {
+#     ?c ex:narrowerOrEqualOf ?c .
+#   } .
+# with substitution (on rule variables):
+#   ?c = anpr:Truck
+# Therefore the derived triple above is entailed by the rules and facts.
+# ----------------------------------------------------------------------
+
+anpr:Truck ex:narrowerOrEqualOf anpr:Truck .
+
+# ----------------------------------------------------------------------
+# Proof for derived triple:
+#   anpr:Bus ex:narrowerOrEqualOf anpr:Bus .
+# It holds because the following instance of the rule body is provable:
+#   anpr:Bus a skos:Concept .
+# via the schematic forward rule:
+#   {
+#     ?c a skos:Concept .
+#   } => {
+#     ?c ex:narrowerOrEqualOf ?c .
+#   } .
+# with substitution (on rule variables):
+#   ?c = anpr:Bus
+# Therefore the derived triple above is entailed by the rules and facts.
+# ----------------------------------------------------------------------
+
+anpr:Bus ex:narrowerOrEqualOf anpr:Bus .
+
+# ----------------------------------------------------------------------
+# Proof for derived triple:
+#   ref:Pedestrian ex:narrowerOrEqualOf ref:RoadUser .
+# It holds because the following instance of the rule body is provable:
+#   ref:Pedestrian skos:broaderTransitive ref:RoadUser .
+# via the schematic forward rule:
+#   {
+#     ?c skos:broaderTransitive ?b .
+#   } => {
+#     ?c ex:narrowerOrEqualOf ?b .
+#   } .
+# with substitution (on rule variables):
+#   ?b = ref:RoadUser
+#   ?c = ref:Pedestrian
+# Therefore the derived triple above is entailed by the rules and facts.
+# ----------------------------------------------------------------------
+
+ref:Pedestrian ex:narrowerOrEqualOf ref:RoadUser .
+
+# ----------------------------------------------------------------------
+# Proof for derived triple:
+#   ref:TwoWheeler ex:narrowerOrEqualOf ref:RoadUser .
+# It holds because the following instance of the rule body is provable:
+#   ref:TwoWheeler skos:broaderTransitive ref:RoadUser .
+# via the schematic forward rule:
+#   {
+#     ?c skos:broaderTransitive ?b .
+#   } => {
+#     ?c ex:narrowerOrEqualOf ?b .
+#   } .
+# with substitution (on rule variables):
+#   ?b = ref:RoadUser
+#   ?c = ref:TwoWheeler
+# Therefore the derived triple above is entailed by the rules and facts.
+# ----------------------------------------------------------------------
+
+ref:TwoWheeler ex:narrowerOrEqualOf ref:RoadUser .
+
+# ----------------------------------------------------------------------
+# Proof for derived triple:
+#   ref:Car ex:narrowerOrEqualOf ref:RoadUser .
+# It holds because the following instance of the rule body is provable:
+#   ref:Car skos:broaderTransitive ref:RoadUser .
+# via the schematic forward rule:
+#   {
+#     ?c skos:broaderTransitive ?b .
+#   } => {
+#     ?c ex:narrowerOrEqualOf ?b .
+#   } .
+# with substitution (on rule variables):
+#   ?b = ref:RoadUser
+#   ?c = ref:Car
+# Therefore the derived triple above is entailed by the rules and facts.
+# ----------------------------------------------------------------------
+
+ref:Car ex:narrowerOrEqualOf ref:RoadUser .
+
+# ----------------------------------------------------------------------
+# Proof for derived triple:
+#   tel:Pedestrian ex:narrowerOrEqualOf tel:RoadUser .
+# It holds because the following instance of the rule body is provable:
+#   tel:Pedestrian skos:broaderTransitive tel:RoadUser .
+# via the schematic forward rule:
+#   {
+#     ?c skos:broaderTransitive ?b .
+#   } => {
+#     ?c ex:narrowerOrEqualOf ?b .
+#   } .
+# with substitution (on rule variables):
+#   ?b = tel:RoadUser
+#   ?c = tel:Pedestrian
+# Therefore the derived triple above is entailed by the rules and facts.
+# ----------------------------------------------------------------------
+
+tel:Pedestrian ex:narrowerOrEqualOf tel:RoadUser .
+
+# ----------------------------------------------------------------------
+# Proof for derived triple:
+#   tel:TwoWheeler ex:narrowerOrEqualOf tel:RoadUser .
+# It holds because the following instance of the rule body is provable:
+#   tel:TwoWheeler skos:broaderTransitive tel:RoadUser .
+# via the schematic forward rule:
+#   {
+#     ?c skos:broaderTransitive ?b .
+#   } => {
+#     ?c ex:narrowerOrEqualOf ?b .
+#   } .
+# with substitution (on rule variables):
+#   ?b = tel:RoadUser
+#   ?c = tel:TwoWheeler
+# Therefore the derived triple above is entailed by the rules and facts.
+# ----------------------------------------------------------------------
+
+tel:TwoWheeler ex:narrowerOrEqualOf tel:RoadUser .
+
+# ----------------------------------------------------------------------
+# Proof for derived triple:
+#   tel:Car ex:narrowerOrEqualOf tel:RoadUser .
+# It holds because the following instance of the rule body is provable:
+#   tel:Car skos:broaderTransitive tel:RoadUser .
+# via the schematic forward rule:
+#   {
+#     ?c skos:broaderTransitive ?b .
+#   } => {
+#     ?c ex:narrowerOrEqualOf ?b .
+#   } .
+# with substitution (on rule variables):
+#   ?b = tel:RoadUser
+#   ?c = tel:Car
+# Therefore the derived triple above is entailed by the rules and facts.
+# ----------------------------------------------------------------------
+
+tel:Car ex:narrowerOrEqualOf tel:RoadUser .
+
+# ----------------------------------------------------------------------
+# Proof for derived triple:
+#   tel:HeavyVehicle ex:narrowerOrEqualOf tel:RoadUser .
+# It holds because the following instance of the rule body is provable:
+#   tel:HeavyVehicle skos:broaderTransitive tel:RoadUser .
+# via the schematic forward rule:
+#   {
+#     ?c skos:broaderTransitive ?b .
+#   } => {
+#     ?c ex:narrowerOrEqualOf ?b .
+#   } .
+# with substitution (on rule variables):
+#   ?b = tel:RoadUser
+#   ?c = tel:HeavyVehicle
+# Therefore the derived triple above is entailed by the rules and facts.
+# ----------------------------------------------------------------------
+
+tel:HeavyVehicle ex:narrowerOrEqualOf tel:RoadUser .
+
+# ----------------------------------------------------------------------
+# 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:
+#   anpr:Van ex:narrowerOrEqualOf anpr:VehicleWithPlate .
+# It holds because the following instance of the rule body is provable:
+#   anpr:Van 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:Van
+# Therefore the derived triple above is entailed by the rules and facts.
+# ----------------------------------------------------------------------
+
+anpr:Van ex:narrowerOrEqualOf anpr:VehicleWithPlate .
+
+# ----------------------------------------------------------------------
+# Proof for derived triple:
+#   anpr:Truck ex:narrowerOrEqualOf anpr:VehicleWithPlate .
+# It holds because the following instance of the rule body is provable:
+#   anpr:Truck 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:Truck
+# Therefore the derived triple above is entailed by the rules and facts.
+# ----------------------------------------------------------------------
+
+anpr:Truck ex:narrowerOrEqualOf anpr:VehicleWithPlate .
+
+# ----------------------------------------------------------------------
+# Proof for derived triple:
+#   anpr:Bus ex:narrowerOrEqualOf anpr:VehicleWithPlate .
+# It holds because the following instance of the rule body is provable:
+#   anpr:Bus 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:Bus
+# Therefore the derived triple above is entailed by the rules and facts.
+# ----------------------------------------------------------------------
+
+anpr:Bus ex:narrowerOrEqualOf anpr:VehicleWithPlate .
+
+# ----------------------------------------------------------------------
+# Proof for derived triple:
+#   tel:Pedestrian ex:narrowerOrEqualOf ref:Pedestrian .
+# It holds because the following instance of the rule body is provable:
+#   tel:Pedestrian skos:broaderTransitive ref:Pedestrian .
+# via the schematic forward rule:
+#   {
+#     ?c skos:broaderTransitive ?b .
+#   } => {
+#     ?c ex:narrowerOrEqualOf ?b .
+#   } .
+# with substitution (on rule variables):
+#   ?b = ref:Pedestrian
+#   ?c = tel:Pedestrian
+# Therefore the derived triple above is entailed by the rules and facts.
+# ----------------------------------------------------------------------
+
+tel:Pedestrian ex:narrowerOrEqualOf ref:Pedestrian .
+
+# ----------------------------------------------------------------------
+# Proof for derived triple:
+#   tel:TwoWheeler ex:narrowerOrEqualOf ref:TwoWheeler .
+# It holds because the following instance of the rule body is provable:
+#   tel:TwoWheeler skos:broaderTransitive ref:TwoWheeler .
+# via the schematic forward rule:
+#   {
+#     ?c skos:broaderTransitive ?b .
+#   } => {
+#     ?c ex:narrowerOrEqualOf ?b .
+#   } .
+# with substitution (on rule variables):
+#   ?b = ref:TwoWheeler
+#   ?c = tel:TwoWheeler
+# Therefore the derived triple above is entailed by the rules and facts.
+# ----------------------------------------------------------------------
+
+tel:TwoWheeler ex:narrowerOrEqualOf ref:TwoWheeler .
+
+# ----------------------------------------------------------------------
+# 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:VehicleWithPlate ex:narrowerOrEqualOf ref:RoadUser .
+# It holds because the following instance of the rule body is provable:
+#   anpr:VehicleWithPlate skos:broaderTransitive ref:RoadUser .
+# via the schematic forward rule:
+#   {
+#     ?c skos:broaderTransitive ?b .
+#   } => {
+#     ?c ex:narrowerOrEqualOf ?b .
+#   } .
+# with substitution (on rule variables):
+#   ?b = ref:RoadUser
+#   ?c = anpr:VehicleWithPlate
+# Therefore the derived triple above is entailed by the rules and facts.
+# ----------------------------------------------------------------------
+
+anpr:VehicleWithPlate ex:narrowerOrEqualOf ref:RoadUser .
+
+# ----------------------------------------------------------------------
+# Proof for derived triple:
+#   tel:HeavyVehicle ex:narrowerOrEqualOf ref:RoadUser .
+# It holds because the following instance of the rule body is provable:
+#   tel:HeavyVehicle skos:broaderTransitive ref:RoadUser .
+# via the schematic forward rule:
+#   {
+#     ?c skos:broaderTransitive ?b .
+#   } => {
+#     ?c ex:narrowerOrEqualOf ?b .
+#   } .
+# with substitution (on rule variables):
+#   ?b = ref:RoadUser
+#   ?c = tel:HeavyVehicle
+# Therefore the derived triple above is entailed by the rules and facts.
+# ----------------------------------------------------------------------
+
+tel:HeavyVehicle ex:narrowerOrEqualOf ref:RoadUser .
+
+# ----------------------------------------------------------------------
+# Proof for derived triple:
+#   tel:Car ex:narrowerOrEqualOf ref:RoadUser .
+# It holds because the following instance of the rule body is provable:
+#   tel:Car skos:broaderTransitive ref:RoadUser .
+# via the schematic forward rule:
+#   {
+#     ?c skos:broaderTransitive ?b .
+#   } => {
+#     ?c ex:narrowerOrEqualOf ?b .
+#   } .
+# with substitution (on rule variables):
+#   ?b = ref:RoadUser
+#   ?c = tel:Car
+# Therefore the derived triple above is entailed by the rules and facts.
+# ----------------------------------------------------------------------
+
+tel:Car ex:narrowerOrEqualOf ref:RoadUser .
+
+# ----------------------------------------------------------------------
+# Proof for derived triple:
+#   tel:TwoWheeler ex:narrowerOrEqualOf ref:RoadUser .
+# It holds because the following instance of the rule body is provable:
+#   tel:TwoWheeler skos:broaderTransitive ref:RoadUser .
+# via the schematic forward rule:
+#   {
+#     ?c skos:broaderTransitive ?b .
+#   } => {
+#     ?c ex:narrowerOrEqualOf ?b .
+#   } .
+# with substitution (on rule variables):
+#   ?b = ref:RoadUser
+#   ?c = tel:TwoWheeler
+# Therefore the derived triple above is entailed by the rules and facts.
+# ----------------------------------------------------------------------
+
+tel:TwoWheeler ex:narrowerOrEqualOf ref:RoadUser .
+
+# ----------------------------------------------------------------------
+# Proof for derived triple:
+#   tel:Pedestrian ex:narrowerOrEqualOf ref:RoadUser .
+# It holds because the following instance of the rule body is provable:
+#   tel:Pedestrian skos:broaderTransitive ref:RoadUser .
+# via the schematic forward rule:
+#   {
+#     ?c skos:broaderTransitive ?b .
+#   } => {
+#     ?c ex:narrowerOrEqualOf ?b .
+#   } .
+# with substitution (on rule variables):
+#   ?b = ref:RoadUser
+#   ?c = tel:Pedestrian
+# Therefore the derived triple above is entailed by the rules and facts.
+# ----------------------------------------------------------------------
+
+tel:Pedestrian ex:narrowerOrEqualOf ref:RoadUser .
+
+# ----------------------------------------------------------------------
+# Proof for derived triple:
+#   anpr:Bus ex:narrowerOrEqualOf ref:Car .
+# It holds because the following instance of the rule body is provable:
+#   anpr:Bus 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:Bus
+# Therefore the derived triple above is entailed by the rules and facts.
+# ----------------------------------------------------------------------
+
+anpr:Bus ex:narrowerOrEqualOf ref:Car .
+
+# ----------------------------------------------------------------------
+# Proof for derived triple:
+#   anpr:Truck ex:narrowerOrEqualOf ref:Car .
+# It holds because the following instance of the rule body is provable:
+#   anpr:Truck 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:Truck
+# Therefore the derived triple above is entailed by the rules and facts.
+# ----------------------------------------------------------------------
+
+anpr:Truck ex:narrowerOrEqualOf ref:Car .
+
+# ----------------------------------------------------------------------
+# Proof for derived triple:
+#   anpr:Van ex:narrowerOrEqualOf ref:Car .
+# It holds because the following instance of the rule body is provable:
+#   anpr:Van 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:Van
+# Therefore the derived triple above is entailed by the rules and facts.
+# ----------------------------------------------------------------------
+
+anpr:Van 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:
+#   anpr:PassengerCar skos:broaderTransitive ref:RoadUser .
+# It holds because the following instance of the rule body is provable:
+#   anpr:PassengerCar skos:broaderTransitive ref:Car .
+#   ref:Car skos:broaderTransitive ref:RoadUser .
+# 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 = ref:Car
+#   ?c = ref:RoadUser
+# Therefore the derived triple above is entailed by the rules and facts.
+# ----------------------------------------------------------------------
+
+anpr:PassengerCar skos:broaderTransitive ref:RoadUser .
+
+# ----------------------------------------------------------------------
+# Proof for derived triple:
+#   anpr:Van skos:broaderTransitive ref:RoadUser .
+# It holds because the following instance of the rule body is provable:
+#   anpr:Van skos:broaderTransitive ref:Car .
+#   ref:Car skos:broaderTransitive ref:RoadUser .
+# via the schematic forward rule:
+#   {
+#     ?a skos:broaderTransitive ?b .
+#     ?b skos:broaderTransitive ?c .
+#   } => {
+#     ?a skos:broaderTransitive ?c .
+#   } .
+# with substitution (on rule variables):
+#   ?a = anpr:Van
+#   ?b = ref:Car
+#   ?c = ref:RoadUser
+# Therefore the derived triple above is entailed by the rules and facts.
+# ----------------------------------------------------------------------
+
+anpr:Van skos:broaderTransitive ref:RoadUser .
+
+# ----------------------------------------------------------------------
+# Proof for derived triple:
+#   anpr:Truck skos:broaderTransitive ref:RoadUser .
+# It holds because the following instance of the rule body is provable:
+#   anpr:Truck skos:broaderTransitive ref:Car .
+#   ref:Car skos:broaderTransitive ref:RoadUser .
+# via the schematic forward rule:
+#   {
+#     ?a skos:broaderTransitive ?b .
+#     ?b skos:broaderTransitive ?c .
+#   } => {
+#     ?a skos:broaderTransitive ?c .
+#   } .
+# with substitution (on rule variables):
+#   ?a = anpr:Truck
+#   ?b = ref:Car
+#   ?c = ref:RoadUser
+# Therefore the derived triple above is entailed by the rules and facts.
+# ----------------------------------------------------------------------
+
+anpr:Truck skos:broaderTransitive ref:RoadUser .
+
+# ----------------------------------------------------------------------
+# Proof for derived triple:
+#   anpr:Bus skos:broaderTransitive ref:RoadUser .
+# It holds because the following instance of the rule body is provable:
+#   anpr:Bus skos:broaderTransitive ref:Car .
+#   ref:Car skos:broaderTransitive ref:RoadUser .
+# via the schematic forward rule:
+#   {
+#     ?a skos:broaderTransitive ?b .
+#     ?b skos:broaderTransitive ?c .
+#   } => {
+#     ?a skos:broaderTransitive ?c .
+#   } .
+# with substitution (on rule variables):
+#   ?a = anpr:Bus
+#   ?b = ref:Car
+#   ?c = ref:RoadUser
+# Therefore the derived triple above is entailed by the rules and facts.
+# ----------------------------------------------------------------------
+
+anpr:Bus skos:broaderTransitive ref:RoadUser .
+
+# ----------------------------------------------------------------------
+# Proof for derived triple:
+#   ref:RoadUser skos:narrowerTransitive anpr:PassengerCar .
+# It holds because the following instance of the rule body is provable:
+#   ref:RoadUser 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:RoadUser
+#   ?b = anpr:VehicleWithPlate
+#   ?c = anpr:PassengerCar
+# Therefore the derived triple above is entailed by the rules and facts.
+# ----------------------------------------------------------------------
+
+ref:RoadUser skos:narrowerTransitive anpr:PassengerCar .
+
+# ----------------------------------------------------------------------
+# Proof for derived triple:
+#   ref:RoadUser skos:narrowerTransitive anpr:Van .
+# It holds because the following instance of the rule body is provable:
+#   ref:RoadUser skos:narrowerTransitive anpr:VehicleWithPlate .
+#   anpr:VehicleWithPlate skos:narrowerTransitive anpr:Van .
+# via the schematic forward rule:
+#   {
+#     ?a skos:narrowerTransitive ?b .
+#     ?b skos:narrowerTransitive ?c .
+#   } => {
+#     ?a skos:narrowerTransitive ?c .
+#   } .
+# with substitution (on rule variables):
+#   ?a = ref:RoadUser
+#   ?b = anpr:VehicleWithPlate
+#   ?c = anpr:Van
+# Therefore the derived triple above is entailed by the rules and facts.
+# ----------------------------------------------------------------------
+
+ref:RoadUser skos:narrowerTransitive anpr:Van .
+
+# ----------------------------------------------------------------------
+# Proof for derived triple:
+#   ref:RoadUser skos:narrowerTransitive anpr:Truck .
+# It holds because the following instance of the rule body is provable:
+#   ref:RoadUser skos:narrowerTransitive anpr:VehicleWithPlate .
+#   anpr:VehicleWithPlate skos:narrowerTransitive anpr:Truck .
+# via the schematic forward rule:
+#   {
+#     ?a skos:narrowerTransitive ?b .
+#     ?b skos:narrowerTransitive ?c .
+#   } => {
+#     ?a skos:narrowerTransitive ?c .
+#   } .
+# with substitution (on rule variables):
+#   ?a = ref:RoadUser
+#   ?b = anpr:VehicleWithPlate
+#   ?c = anpr:Truck
+# Therefore the derived triple above is entailed by the rules and facts.
+# ----------------------------------------------------------------------
+
+ref:RoadUser skos:narrowerTransitive anpr:Truck .
+
+# ----------------------------------------------------------------------
+# Proof for derived triple:
+#   ref:RoadUser skos:narrowerTransitive anpr:Bus .
+# It holds because the following instance of the rule body is provable:
+#   ref:RoadUser skos:narrowerTransitive anpr:VehicleWithPlate .
+#   anpr:VehicleWithPlate skos:narrowerTransitive anpr:Bus .
+# via the schematic forward rule:
+#   {
+#     ?a skos:narrowerTransitive ?b .
+#     ?b skos:narrowerTransitive ?c .
+#   } => {
+#     ?a skos:narrowerTransitive ?c .
+#   } .
+# with substitution (on rule variables):
+#   ?a = ref:RoadUser
+#   ?b = anpr:VehicleWithPlate
+#   ?c = anpr:Bus
+# Therefore the derived triple above is entailed by the rules and facts.
+# ----------------------------------------------------------------------
+
+ref:RoadUser skos:narrowerTransitive anpr:Bus .
+
+# ----------------------------------------------------------------------
+# Proof for derived triple:
+#   anpr:PassengerCar ex:narrowerOrEqualOf ref:RoadUser .
+# It holds because the following instance of the rule body is provable:
+#   anpr:PassengerCar skos:broaderTransitive ref:RoadUser .
+# via the schematic forward rule:
+#   {
+#     ?c skos:broaderTransitive ?b .
+#   } => {
+#     ?c ex:narrowerOrEqualOf ?b .
+#   } .
+# with substitution (on rule variables):
+#   ?b = ref:RoadUser
+#   ?c = anpr:PassengerCar
+# Therefore the derived triple above is entailed by the rules and facts.
+# ----------------------------------------------------------------------
+
+anpr:PassengerCar ex:narrowerOrEqualOf ref:RoadUser .
+
+# ----------------------------------------------------------------------
+# Proof for derived triple:
+#   anpr:Van ex:narrowerOrEqualOf ref:RoadUser .
+# It holds because the following instance of the rule body is provable:
+#   anpr:Van skos:broaderTransitive ref:RoadUser .
+# via the schematic forward rule:
+#   {
+#     ?c skos:broaderTransitive ?b .
+#   } => {
+#     ?c ex:narrowerOrEqualOf ?b .
+#   } .
+# with substitution (on rule variables):
+#   ?b = ref:RoadUser
+#   ?c = anpr:Van
+# Therefore the derived triple above is entailed by the rules and facts.
+# ----------------------------------------------------------------------
+
+anpr:Van ex:narrowerOrEqualOf ref:RoadUser .
+
+# ----------------------------------------------------------------------
+# Proof for derived triple:
+#   anpr:Truck ex:narrowerOrEqualOf ref:RoadUser .
+# It holds because the following instance of the rule body is provable:
+#   anpr:Truck skos:broaderTransitive ref:RoadUser .
+# via the schematic forward rule:
+#   {
+#     ?c skos:broaderTransitive ?b .
+#   } => {
+#     ?c ex:narrowerOrEqualOf ?b .
+#   } .
+# with substitution (on rule variables):
+#   ?b = ref:RoadUser
+#   ?c = anpr:Truck
+# Therefore the derived triple above is entailed by the rules and facts.
+# ----------------------------------------------------------------------
+
+anpr:Truck ex:narrowerOrEqualOf ref:RoadUser .
+
+# ----------------------------------------------------------------------
+# Proof for derived triple:
+#   anpr:Bus ex:narrowerOrEqualOf ref:RoadUser .
+# It holds because the following instance of the rule body is provable:
+#   anpr:Bus skos:broaderTransitive ref:RoadUser .
+# via the schematic forward rule:
+#   {
+#     ?c skos:broaderTransitive ?b .
+#   } => {
+#     ?c ex:narrowerOrEqualOf ?b .
+#   } .
+# with substitution (on rule variables):
+#   ?b = ref:RoadUser
+#   ?c = anpr:Bus
+# Therefore the derived triple above is entailed by the rules and facts.
+# ----------------------------------------------------------------------
+
+anpr:Bus ex:narrowerOrEqualOf ref:RoadUser .
+
+# ----------------------------------------------------------------------
+# Proof for derived triple:
+#   genid:5d9446e0-5075-531c-f72b-7fb8f210a4dc a sosa:Observation .
+# It holds because the following instance of the rule body is provable:
+#   ex:request_cars_at_t1 a ex:CountRequest .
+#   ex:request_cars_at_t1 ex:requestedConcept ref:Car .
+#   ex:request_cars_at_t1 sosa:hasFeatureOfInterest ex:segment1 .
+#   ex:request_cars_at_t1 sosa:resultTime "2025-12-23T08:00:00Z"^^xsd:dateTime .
+#   (?v {
+#       ?obs a sosa:Observation .
+#       ?obs sosa:madeBySensor ?sensor .
+#       ?obs sosa:hasFeatureOfInterest ex:segment1 .
+#       ?obs sosa:resultTime "2025-12-23T08:00:00Z"^^xsd:dateTime .
+#       ?obs sosa:observedProperty ?p .
+#       ?obs sosa:hasSimpleResult ?v .
+#       ?sensor a ex:DataSourceSensor .
+#       ?p ex:narrowerOrEqualOf ref:Car .
+#   } (0 1 1 8 2 10)) log:collectAllIn ?_b1 .
+#   (?obs {
+#       ?obs a sosa:Observation .
+#       ?obs sosa:madeBySensor ?sensor .
+#       ?obs sosa:hasFeatureOfInterest ex:segment1 .
+#       ?obs sosa:resultTime "2025-12-23T08:00:00Z"^^xsd:dateTime .
+#       ?obs sosa:observedProperty ?p .
+#       ?obs sosa:hasSimpleResult ?v .
+#       ?sensor a ex:DataSourceSensor .
+#       ?p ex:narrowerOrEqualOf ref:Car .
+#   } (ex:obs_anpr_bus ex:obs_anpr_truck ex:obs_anpr_van ex:obs_anpr_passenger ex:obs_tel_heavy ex:obs_tel_car)) log:collectAllIn ?_b2 .
+#   ((0 1 1 8 2 10) (0)) list:append (0 1 1 8 2 10 0) .
+#   (0 1 1 8 2 10 0) math:sum 22 .
+#   ("agg" ref:Car ex:segment1 "2025-12-23T08:00:00Z"^^xsd:dateTime) log:skolem genid:5d9446e0-5075-531c-f72b-7fb8f210a4dc .
+# via the schematic forward rule:
+#   {
+#     ?req a ex:CountRequest .
+#     ?req ex:requestedConcept ?concept .
+#     ?req sosa:hasFeatureOfInterest ?foi .
+#     ?req sosa:resultTime ?t .
+#     (?v {
+#         ?obs a sosa:Observation .
+#         ?obs sosa:madeBySensor ?sensor .
+#         ?obs sosa:hasFeatureOfInterest ?foi .
+#         ?obs sosa:resultTime ?t .
+#         ?obs sosa:observedProperty ?p .
+#         ?obs sosa:hasSimpleResult ?v .
+#         ?sensor a ex:DataSourceSensor .
+#         ?p ex:narrowerOrEqualOf ?concept .
+#     } ?vals) log:collectAllIn ?_b1 .
+#     (?obs {
+#         ?obs a sosa:Observation .
+#         ?obs sosa:madeBySensor ?sensor .
+#         ?obs sosa:hasFeatureOfInterest ?foi .
+#         ?obs sosa:resultTime ?t .
+#         ?obs sosa:observedProperty ?p .
+#         ?obs sosa:hasSimpleResult ?v .
+#         ?sensor a ex:DataSourceSensor .
+#         ?p ex:narrowerOrEqualOf ?concept .
+#     } ?obsList) log:collectAllIn ?_b2 .
+#     (?vals (0)) list:append ?valsPlus0 .
+#     ?valsPlus0 math:sum ?sum .
+#     ("agg" ?concept ?foi ?t) log:skolem ?aggObs .
+#   } => {
+#     ?aggObs a sosa:Observation .
+#     ?aggObs a ex:AggregatedObservation .
+#     ?aggObs sosa:observedProperty ?concept .
+#     ?aggObs sosa:hasFeatureOfInterest ?foi .
+#     ?aggObs sosa:resultTime ?t .
+#     ?aggObs sosa:hasSimpleResult ?sum .
+#     ?aggObs ex:basedOnRequest ?req .
+#     ?aggObs ex:contributingValues ?vals .
+#     ?aggObs ex:contributingObservations ?obsList .
+#   } .
+# with substitution (on rule variables):
+#   ?aggObs = genid:5d9446e0-5075-531c-f72b-7fb8f210a4dc
+#   ?concept = ref:Car
+#   ?foi = ex:segment1
+#   ?obsList = (ex:obs_anpr_bus ex:obs_anpr_truck ex:obs_anpr_van ex:obs_anpr_passenger ex:obs_tel_heavy ex:obs_tel_car)
+#   ?req = ex:request_cars_at_t1
+#   ?sum = 22
+#   ?t = "2025-12-23T08:00:00Z"^^xsd:dateTime
+#   ?vals = (0 1 1 8 2 10)
+#   ?valsPlus0 = (0 1 1 8 2 10 0)
+# Therefore the derived triple above is entailed by the rules and facts.
+# ----------------------------------------------------------------------
+
+genid:5d9446e0-5075-531c-f72b-7fb8f210a4dc a sosa:Observation .
+
+# ----------------------------------------------------------------------
+# Proof for derived triple:
+#   genid:5d9446e0-5075-531c-f72b-7fb8f210a4dc a ex:AggregatedObservation .
+# It holds because the following instance of the rule body is provable:
+#   ex:request_cars_at_t1 a ex:CountRequest .
+#   ex:request_cars_at_t1 ex:requestedConcept ref:Car .
+#   ex:request_cars_at_t1 sosa:hasFeatureOfInterest ex:segment1 .
+#   ex:request_cars_at_t1 sosa:resultTime "2025-12-23T08:00:00Z"^^xsd:dateTime .
+#   (?v {
+#       ?obs a sosa:Observation .
+#       ?obs sosa:madeBySensor ?sensor .
+#       ?obs sosa:hasFeatureOfInterest ex:segment1 .
+#       ?obs sosa:resultTime "2025-12-23T08:00:00Z"^^xsd:dateTime .
+#       ?obs sosa:observedProperty ?p .
+#       ?obs sosa:hasSimpleResult ?v .
+#       ?sensor a ex:DataSourceSensor .
+#       ?p ex:narrowerOrEqualOf ref:Car .
+#   } (0 1 1 8 2 10)) log:collectAllIn ?_b1 .
+#   (?obs {
+#       ?obs a sosa:Observation .
+#       ?obs sosa:madeBySensor ?sensor .
+#       ?obs sosa:hasFeatureOfInterest ex:segment1 .
+#       ?obs sosa:resultTime "2025-12-23T08:00:00Z"^^xsd:dateTime .
+#       ?obs sosa:observedProperty ?p .
+#       ?obs sosa:hasSimpleResult ?v .
+#       ?sensor a ex:DataSourceSensor .
+#       ?p ex:narrowerOrEqualOf ref:Car .
+#   } (ex:obs_anpr_bus ex:obs_anpr_truck ex:obs_anpr_van ex:obs_anpr_passenger ex:obs_tel_heavy ex:obs_tel_car)) log:collectAllIn ?_b2 .
+#   ((0 1 1 8 2 10) (0)) list:append (0 1 1 8 2 10 0) .
+#   (0 1 1 8 2 10 0) math:sum 22 .
+#   ("agg" ref:Car ex:segment1 "2025-12-23T08:00:00Z"^^xsd:dateTime) log:skolem genid:5d9446e0-5075-531c-f72b-7fb8f210a4dc .
+# via the schematic forward rule:
+#   {
+#     ?req a ex:CountRequest .
+#     ?req ex:requestedConcept ?concept .
+#     ?req sosa:hasFeatureOfInterest ?foi .
+#     ?req sosa:resultTime ?t .
+#     (?v {
+#         ?obs a sosa:Observation .
+#         ?obs sosa:madeBySensor ?sensor .
+#         ?obs sosa:hasFeatureOfInterest ?foi .
+#         ?obs sosa:resultTime ?t .
+#         ?obs sosa:observedProperty ?p .
+#         ?obs sosa:hasSimpleResult ?v .
+#         ?sensor a ex:DataSourceSensor .
+#         ?p ex:narrowerOrEqualOf ?concept .
+#     } ?vals) log:collectAllIn ?_b1 .
+#     (?obs {
+#         ?obs a sosa:Observation .
+#         ?obs sosa:madeBySensor ?sensor .
+#         ?obs sosa:hasFeatureOfInterest ?foi .
+#         ?obs sosa:resultTime ?t .
+#         ?obs sosa:observedProperty ?p .
+#         ?obs sosa:hasSimpleResult ?v .
+#         ?sensor a ex:DataSourceSensor .
+#         ?p ex:narrowerOrEqualOf ?concept .
+#     } ?obsList) log:collectAllIn ?_b2 .
+#     (?vals (0)) list:append ?valsPlus0 .
+#     ?valsPlus0 math:sum ?sum .
+#     ("agg" ?concept ?foi ?t) log:skolem ?aggObs .
+#   } => {
+#     ?aggObs a sosa:Observation .
+#     ?aggObs a ex:AggregatedObservation .
+#     ?aggObs sosa:observedProperty ?concept .
+#     ?aggObs sosa:hasFeatureOfInterest ?foi .
+#     ?aggObs sosa:resultTime ?t .
+#     ?aggObs sosa:hasSimpleResult ?sum .
+#     ?aggObs ex:basedOnRequest ?req .
+#     ?aggObs ex:contributingValues ?vals .
+#     ?aggObs ex:contributingObservations ?obsList .
+#   } .
+# with substitution (on rule variables):
+#   ?aggObs = genid:5d9446e0-5075-531c-f72b-7fb8f210a4dc
+#   ?concept = ref:Car
+#   ?foi = ex:segment1
+#   ?obsList = (ex:obs_anpr_bus ex:obs_anpr_truck ex:obs_anpr_van ex:obs_anpr_passenger ex:obs_tel_heavy ex:obs_tel_car)
+#   ?req = ex:request_cars_at_t1
+#   ?sum = 22
+#   ?t = "2025-12-23T08:00:00Z"^^xsd:dateTime
+#   ?vals = (0 1 1 8 2 10)
+#   ?valsPlus0 = (0 1 1 8 2 10 0)
+# Therefore the derived triple above is entailed by the rules and facts.
+# ----------------------------------------------------------------------
+
+genid:5d9446e0-5075-531c-f72b-7fb8f210a4dc a ex:AggregatedObservation .
+
+# ----------------------------------------------------------------------
+# Proof for derived triple:
+#   genid:5d9446e0-5075-531c-f72b-7fb8f210a4dc sosa:observedProperty ref:Car .
+# It holds because the following instance of the rule body is provable:
+#   ex:request_cars_at_t1 a ex:CountRequest .
+#   ex:request_cars_at_t1 ex:requestedConcept ref:Car .
+#   ex:request_cars_at_t1 sosa:hasFeatureOfInterest ex:segment1 .
+#   ex:request_cars_at_t1 sosa:resultTime "2025-12-23T08:00:00Z"^^xsd:dateTime .
+#   (?v {
+#       ?obs a sosa:Observation .
+#       ?obs sosa:madeBySensor ?sensor .
+#       ?obs sosa:hasFeatureOfInterest ex:segment1 .
+#       ?obs sosa:resultTime "2025-12-23T08:00:00Z"^^xsd:dateTime .
+#       ?obs sosa:observedProperty ?p .
+#       ?obs sosa:hasSimpleResult ?v .
+#       ?sensor a ex:DataSourceSensor .
+#       ?p ex:narrowerOrEqualOf ref:Car .
+#   } (0 1 1 8 2 10)) log:collectAllIn ?_b1 .
+#   (?obs {
+#       ?obs a sosa:Observation .
+#       ?obs sosa:madeBySensor ?sensor .
+#       ?obs sosa:hasFeatureOfInterest ex:segment1 .
+#       ?obs sosa:resultTime "2025-12-23T08:00:00Z"^^xsd:dateTime .
+#       ?obs sosa:observedProperty ?p .
+#       ?obs sosa:hasSimpleResult ?v .
+#       ?sensor a ex:DataSourceSensor .
+#       ?p ex:narrowerOrEqualOf ref:Car .
+#   } (ex:obs_anpr_bus ex:obs_anpr_truck ex:obs_anpr_van ex:obs_anpr_passenger ex:obs_tel_heavy ex:obs_tel_car)) log:collectAllIn ?_b2 .
+#   ((0 1 1 8 2 10) (0)) list:append (0 1 1 8 2 10 0) .
+#   (0 1 1 8 2 10 0) math:sum 22 .
+#   ("agg" ref:Car ex:segment1 "2025-12-23T08:00:00Z"^^xsd:dateTime) log:skolem genid:5d9446e0-5075-531c-f72b-7fb8f210a4dc .
+# via the schematic forward rule:
+#   {
+#     ?req a ex:CountRequest .
+#     ?req ex:requestedConcept ?concept .
+#     ?req sosa:hasFeatureOfInterest ?foi .
+#     ?req sosa:resultTime ?t .
+#     (?v {
+#         ?obs a sosa:Observation .
+#         ?obs sosa:madeBySensor ?sensor .
+#         ?obs sosa:hasFeatureOfInterest ?foi .
+#         ?obs sosa:resultTime ?t .
+#         ?obs sosa:observedProperty ?p .
+#         ?obs sosa:hasSimpleResult ?v .
+#         ?sensor a ex:DataSourceSensor .
+#         ?p ex:narrowerOrEqualOf ?concept .
+#     } ?vals) log:collectAllIn ?_b1 .
+#     (?obs {
+#         ?obs a sosa:Observation .
+#         ?obs sosa:madeBySensor ?sensor .
+#         ?obs sosa:hasFeatureOfInterest ?foi .
+#         ?obs sosa:resultTime ?t .
+#         ?obs sosa:observedProperty ?p .
+#         ?obs sosa:hasSimpleResult ?v .
+#         ?sensor a ex:DataSourceSensor .
+#         ?p ex:narrowerOrEqualOf ?concept .
+#     } ?obsList) log:collectAllIn ?_b2 .
+#     (?vals (0)) list:append ?valsPlus0 .
+#     ?valsPlus0 math:sum ?sum .
+#     ("agg" ?concept ?foi ?t) log:skolem ?aggObs .
+#   } => {
+#     ?aggObs a sosa:Observation .
+#     ?aggObs a ex:AggregatedObservation .
+#     ?aggObs sosa:observedProperty ?concept .
+#     ?aggObs sosa:hasFeatureOfInterest ?foi .
+#     ?aggObs sosa:resultTime ?t .
+#     ?aggObs sosa:hasSimpleResult ?sum .
+#     ?aggObs ex:basedOnRequest ?req .
+#     ?aggObs ex:contributingValues ?vals .
+#     ?aggObs ex:contributingObservations ?obsList .
+#   } .
+# with substitution (on rule variables):
+#   ?aggObs = genid:5d9446e0-5075-531c-f72b-7fb8f210a4dc
+#   ?concept = ref:Car
+#   ?foi = ex:segment1
+#   ?obsList = (ex:obs_anpr_bus ex:obs_anpr_truck ex:obs_anpr_van ex:obs_anpr_passenger ex:obs_tel_heavy ex:obs_tel_car)
+#   ?req = ex:request_cars_at_t1
+#   ?sum = 22
+#   ?t = "2025-12-23T08:00:00Z"^^xsd:dateTime
+#   ?vals = (0 1 1 8 2 10)
+#   ?valsPlus0 = (0 1 1 8 2 10 0)
+# Therefore the derived triple above is entailed by the rules and facts.
+# ----------------------------------------------------------------------
+
+genid:5d9446e0-5075-531c-f72b-7fb8f210a4dc sosa:observedProperty ref:Car .
+
+# ----------------------------------------------------------------------
+# Proof for derived triple:
+#   genid:5d9446e0-5075-531c-f72b-7fb8f210a4dc sosa:hasFeatureOfInterest ex:segment1 .
+# It holds because the following instance of the rule body is provable:
+#   ex:request_cars_at_t1 a ex:CountRequest .
+#   ex:request_cars_at_t1 ex:requestedConcept ref:Car .
+#   ex:request_cars_at_t1 sosa:hasFeatureOfInterest ex:segment1 .
+#   ex:request_cars_at_t1 sosa:resultTime "2025-12-23T08:00:00Z"^^xsd:dateTime .
+#   (?v {
+#       ?obs a sosa:Observation .
+#       ?obs sosa:madeBySensor ?sensor .
+#       ?obs sosa:hasFeatureOfInterest ex:segment1 .
+#       ?obs sosa:resultTime "2025-12-23T08:00:00Z"^^xsd:dateTime .
+#       ?obs sosa:observedProperty ?p .
+#       ?obs sosa:hasSimpleResult ?v .
+#       ?sensor a ex:DataSourceSensor .
+#       ?p ex:narrowerOrEqualOf ref:Car .
+#   } (0 1 1 8 2 10)) log:collectAllIn ?_b1 .
+#   (?obs {
+#       ?obs a sosa:Observation .
+#       ?obs sosa:madeBySensor ?sensor .
+#       ?obs sosa:hasFeatureOfInterest ex:segment1 .
+#       ?obs sosa:resultTime "2025-12-23T08:00:00Z"^^xsd:dateTime .
+#       ?obs sosa:observedProperty ?p .
+#       ?obs sosa:hasSimpleResult ?v .
+#       ?sensor a ex:DataSourceSensor .
+#       ?p ex:narrowerOrEqualOf ref:Car .
+#   } (ex:obs_anpr_bus ex:obs_anpr_truck ex:obs_anpr_van ex:obs_anpr_passenger ex:obs_tel_heavy ex:obs_tel_car)) log:collectAllIn ?_b2 .
+#   ((0 1 1 8 2 10) (0)) list:append (0 1 1 8 2 10 0) .
+#   (0 1 1 8 2 10 0) math:sum 22 .
+#   ("agg" ref:Car ex:segment1 "2025-12-23T08:00:00Z"^^xsd:dateTime) log:skolem genid:5d9446e0-5075-531c-f72b-7fb8f210a4dc .
+# via the schematic forward rule:
+#   {
+#     ?req a ex:CountRequest .
+#     ?req ex:requestedConcept ?concept .
+#     ?req sosa:hasFeatureOfInterest ?foi .
+#     ?req sosa:resultTime ?t .
+#     (?v {
+#         ?obs a sosa:Observation .
+#         ?obs sosa:madeBySensor ?sensor .
+#         ?obs sosa:hasFeatureOfInterest ?foi .
+#         ?obs sosa:resultTime ?t .
+#         ?obs sosa:observedProperty ?p .
+#         ?obs sosa:hasSimpleResult ?v .
+#         ?sensor a ex:DataSourceSensor .
+#         ?p ex:narrowerOrEqualOf ?concept .
+#     } ?vals) log:collectAllIn ?_b1 .
+#     (?obs {
+#         ?obs a sosa:Observation .
+#         ?obs sosa:madeBySensor ?sensor .
+#         ?obs sosa:hasFeatureOfInterest ?foi .
+#         ?obs sosa:resultTime ?t .
+#         ?obs sosa:observedProperty ?p .
+#         ?obs sosa:hasSimpleResult ?v .
+#         ?sensor a ex:DataSourceSensor .
+#         ?p ex:narrowerOrEqualOf ?concept .
+#     } ?obsList) log:collectAllIn ?_b2 .
+#     (?vals (0)) list:append ?valsPlus0 .
+#     ?valsPlus0 math:sum ?sum .
+#     ("agg" ?concept ?foi ?t) log:skolem ?aggObs .
+#   } => {
+#     ?aggObs a sosa:Observation .
+#     ?aggObs a ex:AggregatedObservation .
+#     ?aggObs sosa:observedProperty ?concept .
+#     ?aggObs sosa:hasFeatureOfInterest ?foi .
+#     ?aggObs sosa:resultTime ?t .
+#     ?aggObs sosa:hasSimpleResult ?sum .
+#     ?aggObs ex:basedOnRequest ?req .
+#     ?aggObs ex:contributingValues ?vals .
+#     ?aggObs ex:contributingObservations ?obsList .
+#   } .
+# with substitution (on rule variables):
+#   ?aggObs = genid:5d9446e0-5075-531c-f72b-7fb8f210a4dc
+#   ?concept = ref:Car
+#   ?foi = ex:segment1
+#   ?obsList = (ex:obs_anpr_bus ex:obs_anpr_truck ex:obs_anpr_van ex:obs_anpr_passenger ex:obs_tel_heavy ex:obs_tel_car)
+#   ?req = ex:request_cars_at_t1
+#   ?sum = 22
+#   ?t = "2025-12-23T08:00:00Z"^^xsd:dateTime
+#   ?vals = (0 1 1 8 2 10)
+#   ?valsPlus0 = (0 1 1 8 2 10 0)
+# Therefore the derived triple above is entailed by the rules and facts.
+# ----------------------------------------------------------------------
+
+genid:5d9446e0-5075-531c-f72b-7fb8f210a4dc sosa:hasFeatureOfInterest ex:segment1 .
+
+# ----------------------------------------------------------------------
+# Proof for derived triple:
+#   genid:5d9446e0-5075-531c-f72b-7fb8f210a4dc sosa:resultTime "2025-12-23T08:00:00Z"^^xsd:dateTime .
+# It holds because the following instance of the rule body is provable:
+#   ex:request_cars_at_t1 a ex:CountRequest .
+#   ex:request_cars_at_t1 ex:requestedConcept ref:Car .
+#   ex:request_cars_at_t1 sosa:hasFeatureOfInterest ex:segment1 .
+#   ex:request_cars_at_t1 sosa:resultTime "2025-12-23T08:00:00Z"^^xsd:dateTime .
+#   (?v {
+#       ?obs a sosa:Observation .
+#       ?obs sosa:madeBySensor ?sensor .
+#       ?obs sosa:hasFeatureOfInterest ex:segment1 .
+#       ?obs sosa:resultTime "2025-12-23T08:00:00Z"^^xsd:dateTime .
+#       ?obs sosa:observedProperty ?p .
+#       ?obs sosa:hasSimpleResult ?v .
+#       ?sensor a ex:DataSourceSensor .
+#       ?p ex:narrowerOrEqualOf ref:Car .
+#   } (0 1 1 8 2 10)) log:collectAllIn ?_b1 .
+#   (?obs {
+#       ?obs a sosa:Observation .
+#       ?obs sosa:madeBySensor ?sensor .
+#       ?obs sosa:hasFeatureOfInterest ex:segment1 .
+#       ?obs sosa:resultTime "2025-12-23T08:00:00Z"^^xsd:dateTime .
+#       ?obs sosa:observedProperty ?p .
+#       ?obs sosa:hasSimpleResult ?v .
+#       ?sensor a ex:DataSourceSensor .
+#       ?p ex:narrowerOrEqualOf ref:Car .
+#   } (ex:obs_anpr_bus ex:obs_anpr_truck ex:obs_anpr_van ex:obs_anpr_passenger ex:obs_tel_heavy ex:obs_tel_car)) log:collectAllIn ?_b2 .
+#   ((0 1 1 8 2 10) (0)) list:append (0 1 1 8 2 10 0) .
+#   (0 1 1 8 2 10 0) math:sum 22 .
+#   ("agg" ref:Car ex:segment1 "2025-12-23T08:00:00Z"^^xsd:dateTime) log:skolem genid:5d9446e0-5075-531c-f72b-7fb8f210a4dc .
+# via the schematic forward rule:
+#   {
+#     ?req a ex:CountRequest .
+#     ?req ex:requestedConcept ?concept .
+#     ?req sosa:hasFeatureOfInterest ?foi .
+#     ?req sosa:resultTime ?t .
+#     (?v {
+#         ?obs a sosa:Observation .
+#         ?obs sosa:madeBySensor ?sensor .
+#         ?obs sosa:hasFeatureOfInterest ?foi .
+#         ?obs sosa:resultTime ?t .
+#         ?obs sosa:observedProperty ?p .
+#         ?obs sosa:hasSimpleResult ?v .
+#         ?sensor a ex:DataSourceSensor .
+#         ?p ex:narrowerOrEqualOf ?concept .
+#     } ?vals) log:collectAllIn ?_b1 .
+#     (?obs {
+#         ?obs a sosa:Observation .
+#         ?obs sosa:madeBySensor ?sensor .
+#         ?obs sosa:hasFeatureOfInterest ?foi .
+#         ?obs sosa:resultTime ?t .
+#         ?obs sosa:observedProperty ?p .
+#         ?obs sosa:hasSimpleResult ?v .
+#         ?sensor a ex:DataSourceSensor .
+#         ?p ex:narrowerOrEqualOf ?concept .
+#     } ?obsList) log:collectAllIn ?_b2 .
+#     (?vals (0)) list:append ?valsPlus0 .
+#     ?valsPlus0 math:sum ?sum .
+#     ("agg" ?concept ?foi ?t) log:skolem ?aggObs .
+#   } => {
+#     ?aggObs a sosa:Observation .
+#     ?aggObs a ex:AggregatedObservation .
+#     ?aggObs sosa:observedProperty ?concept .
+#     ?aggObs sosa:hasFeatureOfInterest ?foi .
+#     ?aggObs sosa:resultTime ?t .
+#     ?aggObs sosa:hasSimpleResult ?sum .
+#     ?aggObs ex:basedOnRequest ?req .
+#     ?aggObs ex:contributingValues ?vals .
+#     ?aggObs ex:contributingObservations ?obsList .
+#   } .
+# with substitution (on rule variables):
+#   ?aggObs = genid:5d9446e0-5075-531c-f72b-7fb8f210a4dc
+#   ?concept = ref:Car
+#   ?foi = ex:segment1
+#   ?obsList = (ex:obs_anpr_bus ex:obs_anpr_truck ex:obs_anpr_van ex:obs_anpr_passenger ex:obs_tel_heavy ex:obs_tel_car)
+#   ?req = ex:request_cars_at_t1
+#   ?sum = 22
+#   ?t = "2025-12-23T08:00:00Z"^^xsd:dateTime
+#   ?vals = (0 1 1 8 2 10)
+#   ?valsPlus0 = (0 1 1 8 2 10 0)
+# Therefore the derived triple above is entailed by the rules and facts.
+# ----------------------------------------------------------------------
+
+genid:5d9446e0-5075-531c-f72b-7fb8f210a4dc sosa:resultTime "2025-12-23T08:00:00Z"^^xsd:dateTime .
+
+# ----------------------------------------------------------------------
+# Proof for derived triple:
+#   genid:5d9446e0-5075-531c-f72b-7fb8f210a4dc sosa:hasSimpleResult 22 .
+# It holds because the following instance of the rule body is provable:
+#   ex:request_cars_at_t1 a ex:CountRequest .
+#   ex:request_cars_at_t1 ex:requestedConcept ref:Car .
+#   ex:request_cars_at_t1 sosa:hasFeatureOfInterest ex:segment1 .
+#   ex:request_cars_at_t1 sosa:resultTime "2025-12-23T08:00:00Z"^^xsd:dateTime .
+#   (?v {
+#       ?obs a sosa:Observation .
+#       ?obs sosa:madeBySensor ?sensor .
+#       ?obs sosa:hasFeatureOfInterest ex:segment1 .
+#       ?obs sosa:resultTime "2025-12-23T08:00:00Z"^^xsd:dateTime .
+#       ?obs sosa:observedProperty ?p .
+#       ?obs sosa:hasSimpleResult ?v .
+#       ?sensor a ex:DataSourceSensor .
+#       ?p ex:narrowerOrEqualOf ref:Car .
+#   } (0 1 1 8 2 10)) log:collectAllIn ?_b1 .
+#   (?obs {
+#       ?obs a sosa:Observation .
+#       ?obs sosa:madeBySensor ?sensor .
+#       ?obs sosa:hasFeatureOfInterest ex:segment1 .
+#       ?obs sosa:resultTime "2025-12-23T08:00:00Z"^^xsd:dateTime .
+#       ?obs sosa:observedProperty ?p .
+#       ?obs sosa:hasSimpleResult ?v .
+#       ?sensor a ex:DataSourceSensor .
+#       ?p ex:narrowerOrEqualOf ref:Car .
+#   } (ex:obs_anpr_bus ex:obs_anpr_truck ex:obs_anpr_van ex:obs_anpr_passenger ex:obs_tel_heavy ex:obs_tel_car)) log:collectAllIn ?_b2 .
+#   ((0 1 1 8 2 10) (0)) list:append (0 1 1 8 2 10 0) .
+#   (0 1 1 8 2 10 0) math:sum 22 .
+#   ("agg" ref:Car ex:segment1 "2025-12-23T08:00:00Z"^^xsd:dateTime) log:skolem genid:5d9446e0-5075-531c-f72b-7fb8f210a4dc .
+# via the schematic forward rule:
+#   {
+#     ?req a ex:CountRequest .
+#     ?req ex:requestedConcept ?concept .
+#     ?req sosa:hasFeatureOfInterest ?foi .
+#     ?req sosa:resultTime ?t .
+#     (?v {
+#         ?obs a sosa:Observation .
+#         ?obs sosa:madeBySensor ?sensor .
+#         ?obs sosa:hasFeatureOfInterest ?foi .
+#         ?obs sosa:resultTime ?t .
+#         ?obs sosa:observedProperty ?p .
+#         ?obs sosa:hasSimpleResult ?v .
+#         ?sensor a ex:DataSourceSensor .
+#         ?p ex:narrowerOrEqualOf ?concept .
+#     } ?vals) log:collectAllIn ?_b1 .
+#     (?obs {
+#         ?obs a sosa:Observation .
+#         ?obs sosa:madeBySensor ?sensor .
+#         ?obs sosa:hasFeatureOfInterest ?foi .
+#         ?obs sosa:resultTime ?t .
+#         ?obs sosa:observedProperty ?p .
+#         ?obs sosa:hasSimpleResult ?v .
+#         ?sensor a ex:DataSourceSensor .
+#         ?p ex:narrowerOrEqualOf ?concept .
+#     } ?obsList) log:collectAllIn ?_b2 .
+#     (?vals (0)) list:append ?valsPlus0 .
+#     ?valsPlus0 math:sum ?sum .
+#     ("agg" ?concept ?foi ?t) log:skolem ?aggObs .
+#   } => {
+#     ?aggObs a sosa:Observation .
+#     ?aggObs a ex:AggregatedObservation .
+#     ?aggObs sosa:observedProperty ?concept .
+#     ?aggObs sosa:hasFeatureOfInterest ?foi .
+#     ?aggObs sosa:resultTime ?t .
+#     ?aggObs sosa:hasSimpleResult ?sum .
+#     ?aggObs ex:basedOnRequest ?req .
+#     ?aggObs ex:contributingValues ?vals .
+#     ?aggObs ex:contributingObservations ?obsList .
+#   } .
+# with substitution (on rule variables):
+#   ?aggObs = genid:5d9446e0-5075-531c-f72b-7fb8f210a4dc
+#   ?concept = ref:Car
+#   ?foi = ex:segment1
+#   ?obsList = (ex:obs_anpr_bus ex:obs_anpr_truck ex:obs_anpr_van ex:obs_anpr_passenger ex:obs_tel_heavy ex:obs_tel_car)
+#   ?req = ex:request_cars_at_t1
+#   ?sum = 22
+#   ?t = "2025-12-23T08:00:00Z"^^xsd:dateTime
+#   ?vals = (0 1 1 8 2 10)
+#   ?valsPlus0 = (0 1 1 8 2 10 0)
+# Therefore the derived triple above is entailed by the rules and facts.
+# ----------------------------------------------------------------------
+
+genid:5d9446e0-5075-531c-f72b-7fb8f210a4dc sosa:hasSimpleResult 22 .
+
+# ----------------------------------------------------------------------
+# Proof for derived triple:
+#   genid:5d9446e0-5075-531c-f72b-7fb8f210a4dc ex:basedOnRequest ex:request_cars_at_t1 .
+# It holds because the following instance of the rule body is provable:
+#   ex:request_cars_at_t1 a ex:CountRequest .
+#   ex:request_cars_at_t1 ex:requestedConcept ref:Car .
+#   ex:request_cars_at_t1 sosa:hasFeatureOfInterest ex:segment1 .
+#   ex:request_cars_at_t1 sosa:resultTime "2025-12-23T08:00:00Z"^^xsd:dateTime .
+#   (?v {
+#       ?obs a sosa:Observation .
+#       ?obs sosa:madeBySensor ?sensor .
+#       ?obs sosa:hasFeatureOfInterest ex:segment1 .
+#       ?obs sosa:resultTime "2025-12-23T08:00:00Z"^^xsd:dateTime .
+#       ?obs sosa:observedProperty ?p .
+#       ?obs sosa:hasSimpleResult ?v .
+#       ?sensor a ex:DataSourceSensor .
+#       ?p ex:narrowerOrEqualOf ref:Car .
+#   } (0 1 1 8 2 10)) log:collectAllIn ?_b1 .
+#   (?obs {
+#       ?obs a sosa:Observation .
+#       ?obs sosa:madeBySensor ?sensor .
+#       ?obs sosa:hasFeatureOfInterest ex:segment1 .
+#       ?obs sosa:resultTime "2025-12-23T08:00:00Z"^^xsd:dateTime .
+#       ?obs sosa:observedProperty ?p .
+#       ?obs sosa:hasSimpleResult ?v .
+#       ?sensor a ex:DataSourceSensor .
+#       ?p ex:narrowerOrEqualOf ref:Car .
+#   } (ex:obs_anpr_bus ex:obs_anpr_truck ex:obs_anpr_van ex:obs_anpr_passenger ex:obs_tel_heavy ex:obs_tel_car)) log:collectAllIn ?_b2 .
+#   ((0 1 1 8 2 10) (0)) list:append (0 1 1 8 2 10 0) .
+#   (0 1 1 8 2 10 0) math:sum 22 .
+#   ("agg" ref:Car ex:segment1 "2025-12-23T08:00:00Z"^^xsd:dateTime) log:skolem genid:5d9446e0-5075-531c-f72b-7fb8f210a4dc .
+# via the schematic forward rule:
+#   {
+#     ?req a ex:CountRequest .
+#     ?req ex:requestedConcept ?concept .
+#     ?req sosa:hasFeatureOfInterest ?foi .
+#     ?req sosa:resultTime ?t .
+#     (?v {
+#         ?obs a sosa:Observation .
+#         ?obs sosa:madeBySensor ?sensor .
+#         ?obs sosa:hasFeatureOfInterest ?foi .
+#         ?obs sosa:resultTime ?t .
+#         ?obs sosa:observedProperty ?p .
+#         ?obs sosa:hasSimpleResult ?v .
+#         ?sensor a ex:DataSourceSensor .
+#         ?p ex:narrowerOrEqualOf ?concept .
+#     } ?vals) log:collectAllIn ?_b1 .
+#     (?obs {
+#         ?obs a sosa:Observation .
+#         ?obs sosa:madeBySensor ?sensor .
+#         ?obs sosa:hasFeatureOfInterest ?foi .
+#         ?obs sosa:resultTime ?t .
+#         ?obs sosa:observedProperty ?p .
+#         ?obs sosa:hasSimpleResult ?v .
+#         ?sensor a ex:DataSourceSensor .
+#         ?p ex:narrowerOrEqualOf ?concept .
+#     } ?obsList) log:collectAllIn ?_b2 .
+#     (?vals (0)) list:append ?valsPlus0 .
+#     ?valsPlus0 math:sum ?sum .
+#     ("agg" ?concept ?foi ?t) log:skolem ?aggObs .
+#   } => {
+#     ?aggObs a sosa:Observation .
+#     ?aggObs a ex:AggregatedObservation .
+#     ?aggObs sosa:observedProperty ?concept .
+#     ?aggObs sosa:hasFeatureOfInterest ?foi .
+#     ?aggObs sosa:resultTime ?t .
+#     ?aggObs sosa:hasSimpleResult ?sum .
+#     ?aggObs ex:basedOnRequest ?req .
+#     ?aggObs ex:contributingValues ?vals .
+#     ?aggObs ex:contributingObservations ?obsList .
+#   } .
+# with substitution (on rule variables):
+#   ?aggObs = genid:5d9446e0-5075-531c-f72b-7fb8f210a4dc
+#   ?concept = ref:Car
+#   ?foi = ex:segment1
+#   ?obsList = (ex:obs_anpr_bus ex:obs_anpr_truck ex:obs_anpr_van ex:obs_anpr_passenger ex:obs_tel_heavy ex:obs_tel_car)
+#   ?req = ex:request_cars_at_t1
+#   ?sum = 22
+#   ?t = "2025-12-23T08:00:00Z"^^xsd:dateTime
+#   ?vals = (0 1 1 8 2 10)
+#   ?valsPlus0 = (0 1 1 8 2 10 0)
+# Therefore the derived triple above is entailed by the rules and facts.
+# ----------------------------------------------------------------------
+
+genid:5d9446e0-5075-531c-f72b-7fb8f210a4dc ex:basedOnRequest ex:request_cars_at_t1 .
+
+# ----------------------------------------------------------------------
+# Proof for derived triple:
+#   genid:5d9446e0-5075-531c-f72b-7fb8f210a4dc ex:contributingValues (0 1 1 8 2 10) .
+# It holds because the following instance of the rule body is provable:
+#   ex:request_cars_at_t1 a ex:CountRequest .
+#   ex:request_cars_at_t1 ex:requestedConcept ref:Car .
+#   ex:request_cars_at_t1 sosa:hasFeatureOfInterest ex:segment1 .
+#   ex:request_cars_at_t1 sosa:resultTime "2025-12-23T08:00:00Z"^^xsd:dateTime .
+#   (?v {
+#       ?obs a sosa:Observation .
+#       ?obs sosa:madeBySensor ?sensor .
+#       ?obs sosa:hasFeatureOfInterest ex:segment1 .
+#       ?obs sosa:resultTime "2025-12-23T08:00:00Z"^^xsd:dateTime .
+#       ?obs sosa:observedProperty ?p .
+#       ?obs sosa:hasSimpleResult ?v .
+#       ?sensor a ex:DataSourceSensor .
+#       ?p ex:narrowerOrEqualOf ref:Car .
+#   } (0 1 1 8 2 10)) log:collectAllIn ?_b1 .
+#   (?obs {
+#       ?obs a sosa:Observation .
+#       ?obs sosa:madeBySensor ?sensor .
+#       ?obs sosa:hasFeatureOfInterest ex:segment1 .
+#       ?obs sosa:resultTime "2025-12-23T08:00:00Z"^^xsd:dateTime .
+#       ?obs sosa:observedProperty ?p .
+#       ?obs sosa:hasSimpleResult ?v .
+#       ?sensor a ex:DataSourceSensor .
+#       ?p ex:narrowerOrEqualOf ref:Car .
+#   } (ex:obs_anpr_bus ex:obs_anpr_truck ex:obs_anpr_van ex:obs_anpr_passenger ex:obs_tel_heavy ex:obs_tel_car)) log:collectAllIn ?_b2 .
+#   ((0 1 1 8 2 10) (0)) list:append (0 1 1 8 2 10 0) .
+#   (0 1 1 8 2 10 0) math:sum 22 .
+#   ("agg" ref:Car ex:segment1 "2025-12-23T08:00:00Z"^^xsd:dateTime) log:skolem genid:5d9446e0-5075-531c-f72b-7fb8f210a4dc .
+# via the schematic forward rule:
+#   {
+#     ?req a ex:CountRequest .
+#     ?req ex:requestedConcept ?concept .
+#     ?req sosa:hasFeatureOfInterest ?foi .
+#     ?req sosa:resultTime ?t .
+#     (?v {
+#         ?obs a sosa:Observation .
+#         ?obs sosa:madeBySensor ?sensor .
+#         ?obs sosa:hasFeatureOfInterest ?foi .
+#         ?obs sosa:resultTime ?t .
+#         ?obs sosa:observedProperty ?p .
+#         ?obs sosa:hasSimpleResult ?v .
+#         ?sensor a ex:DataSourceSensor .
+#         ?p ex:narrowerOrEqualOf ?concept .
+#     } ?vals) log:collectAllIn ?_b1 .
+#     (?obs {
+#         ?obs a sosa:Observation .
+#         ?obs sosa:madeBySensor ?sensor .
+#         ?obs sosa:hasFeatureOfInterest ?foi .
+#         ?obs sosa:resultTime ?t .
+#         ?obs sosa:observedProperty ?p .
+#         ?obs sosa:hasSimpleResult ?v .
+#         ?sensor a ex:DataSourceSensor .
+#         ?p ex:narrowerOrEqualOf ?concept .
+#     } ?obsList) log:collectAllIn ?_b2 .
+#     (?vals (0)) list:append ?valsPlus0 .
+#     ?valsPlus0 math:sum ?sum .
+#     ("agg" ?concept ?foi ?t) log:skolem ?aggObs .
+#   } => {
+#     ?aggObs a sosa:Observation .
+#     ?aggObs a ex:AggregatedObservation .
+#     ?aggObs sosa:observedProperty ?concept .
+#     ?aggObs sosa:hasFeatureOfInterest ?foi .
+#     ?aggObs sosa:resultTime ?t .
+#     ?aggObs sosa:hasSimpleResult ?sum .
+#     ?aggObs ex:basedOnRequest ?req .
+#     ?aggObs ex:contributingValues ?vals .
+#     ?aggObs ex:contributingObservations ?obsList .
+#   } .
+# with substitution (on rule variables):
+#   ?aggObs = genid:5d9446e0-5075-531c-f72b-7fb8f210a4dc
+#   ?concept = ref:Car
+#   ?foi = ex:segment1
+#   ?obsList = (ex:obs_anpr_bus ex:obs_anpr_truck ex:obs_anpr_van ex:obs_anpr_passenger ex:obs_tel_heavy ex:obs_tel_car)
+#   ?req = ex:request_cars_at_t1
+#   ?sum = 22
+#   ?t = "2025-12-23T08:00:00Z"^^xsd:dateTime
+#   ?vals = (0 1 1 8 2 10)
+#   ?valsPlus0 = (0 1 1 8 2 10 0)
+# Therefore the derived triple above is entailed by the rules and facts.
+# ----------------------------------------------------------------------
+
+genid:5d9446e0-5075-531c-f72b-7fb8f210a4dc ex:contributingValues (0 1 1 8 2 10) .
+
+# ----------------------------------------------------------------------
+# Proof for derived triple:
+#   genid:5d9446e0-5075-531c-f72b-7fb8f210a4dc ex:contributingObservations (ex:obs_anpr_bus ex:obs_anpr_truck ex:obs_anpr_van ex:obs_anpr_passenger ex:obs_tel_heavy ex:obs_tel_car) .
+# It holds because the following instance of the rule body is provable:
+#   ex:request_cars_at_t1 a ex:CountRequest .
+#   ex:request_cars_at_t1 ex:requestedConcept ref:Car .
+#   ex:request_cars_at_t1 sosa:hasFeatureOfInterest ex:segment1 .
+#   ex:request_cars_at_t1 sosa:resultTime "2025-12-23T08:00:00Z"^^xsd:dateTime .
+#   (?v {
+#       ?obs a sosa:Observation .
+#       ?obs sosa:madeBySensor ?sensor .
+#       ?obs sosa:hasFeatureOfInterest ex:segment1 .
+#       ?obs sosa:resultTime "2025-12-23T08:00:00Z"^^xsd:dateTime .
+#       ?obs sosa:observedProperty ?p .
+#       ?obs sosa:hasSimpleResult ?v .
+#       ?sensor a ex:DataSourceSensor .
+#       ?p ex:narrowerOrEqualOf ref:Car .
+#   } (0 1 1 8 2 10)) log:collectAllIn ?_b1 .
+#   (?obs {
+#       ?obs a sosa:Observation .
+#       ?obs sosa:madeBySensor ?sensor .
+#       ?obs sosa:hasFeatureOfInterest ex:segment1 .
+#       ?obs sosa:resultTime "2025-12-23T08:00:00Z"^^xsd:dateTime .
+#       ?obs sosa:observedProperty ?p .
+#       ?obs sosa:hasSimpleResult ?v .
+#       ?sensor a ex:DataSourceSensor .
+#       ?p ex:narrowerOrEqualOf ref:Car .
+#   } (ex:obs_anpr_bus ex:obs_anpr_truck ex:obs_anpr_van ex:obs_anpr_passenger ex:obs_tel_heavy ex:obs_tel_car)) log:collectAllIn ?_b2 .
+#   ((0 1 1 8 2 10) (0)) list:append (0 1 1 8 2 10 0) .
+#   (0 1 1 8 2 10 0) math:sum 22 .
+#   ("agg" ref:Car ex:segment1 "2025-12-23T08:00:00Z"^^xsd:dateTime) log:skolem genid:5d9446e0-5075-531c-f72b-7fb8f210a4dc .
+# via the schematic forward rule:
+#   {
+#     ?req a ex:CountRequest .
+#     ?req ex:requestedConcept ?concept .
+#     ?req sosa:hasFeatureOfInterest ?foi .
+#     ?req sosa:resultTime ?t .
+#     (?v {
+#         ?obs a sosa:Observation .
+#         ?obs sosa:madeBySensor ?sensor .
+#         ?obs sosa:hasFeatureOfInterest ?foi .
+#         ?obs sosa:resultTime ?t .
+#         ?obs sosa:observedProperty ?p .
+#         ?obs sosa:hasSimpleResult ?v .
+#         ?sensor a ex:DataSourceSensor .
+#         ?p ex:narrowerOrEqualOf ?concept .
+#     } ?vals) log:collectAllIn ?_b1 .
+#     (?obs {
+#         ?obs a sosa:Observation .
+#         ?obs sosa:madeBySensor ?sensor .
+#         ?obs sosa:hasFeatureOfInterest ?foi .
+#         ?obs sosa:resultTime ?t .
+#         ?obs sosa:observedProperty ?p .
+#         ?obs sosa:hasSimpleResult ?v .
+#         ?sensor a ex:DataSourceSensor .
+#         ?p ex:narrowerOrEqualOf ?concept .
+#     } ?obsList) log:collectAllIn ?_b2 .
+#     (?vals (0)) list:append ?valsPlus0 .
+#     ?valsPlus0 math:sum ?sum .
+#     ("agg" ?concept ?foi ?t) log:skolem ?aggObs .
+#   } => {
+#     ?aggObs a sosa:Observation .
+#     ?aggObs a ex:AggregatedObservation .
+#     ?aggObs sosa:observedProperty ?concept .
+#     ?aggObs sosa:hasFeatureOfInterest ?foi .
+#     ?aggObs sosa:resultTime ?t .
+#     ?aggObs sosa:hasSimpleResult ?sum .
+#     ?aggObs ex:basedOnRequest ?req .
+#     ?aggObs ex:contributingValues ?vals .
+#     ?aggObs ex:contributingObservations ?obsList .
+#   } .
+# with substitution (on rule variables):
+#   ?aggObs = genid:5d9446e0-5075-531c-f72b-7fb8f210a4dc
+#   ?concept = ref:Car
+#   ?foi = ex:segment1
+#   ?obsList = (ex:obs_anpr_bus ex:obs_anpr_truck ex:obs_anpr_van ex:obs_anpr_passenger ex:obs_tel_heavy ex:obs_tel_car)
+#   ?req = ex:request_cars_at_t1
+#   ?sum = 22
+#   ?t = "2025-12-23T08:00:00Z"^^xsd:dateTime
+#   ?vals = (0 1 1 8 2 10)
+#   ?valsPlus0 = (0 1 1 8 2 10 0)
+# Therefore the derived triple above is entailed by the rules and facts.
+# ----------------------------------------------------------------------
+
+genid:5d9446e0-5075-531c-f72b-7fb8f210a4dc ex:contributingObservations (ex:obs_anpr_bus ex:obs_anpr_truck ex:obs_anpr_van ex:obs_anpr_passenger ex:obs_tel_heavy ex:obs_tel_car) .
+
+# ----------------------------------------------------------------------
+# Proof for derived triple:
+#   genid:5d9446e0-5075-531c-f72b-7fb8f210a4dc prov:wasDerivedFrom ex:obs_anpr_bus .
+# It holds because the following instance of the rule body is provable:
+#   genid:5d9446e0-5075-531c-f72b-7fb8f210a4dc ex:contributingObservations (ex:obs_anpr_bus ex:obs_anpr_truck ex:obs_anpr_van ex:obs_anpr_passenger ex:obs_tel_heavy ex:obs_tel_car) .
+#   (ex:obs_anpr_bus ex:obs_anpr_truck ex:obs_anpr_van ex:obs_anpr_passenger ex:obs_tel_heavy ex:obs_tel_car) list:member ex:obs_anpr_bus .
+# via the schematic forward rule:
+#   {
+#     ?agg ex:contributingObservations ?l .
+#     ?l list:member ?obs .
+#   } => {
+#     ?agg prov:wasDerivedFrom ?obs .
+#   } .
+# with substitution (on rule variables):
+#   ?agg = genid:5d9446e0-5075-531c-f72b-7fb8f210a4dc
+#   ?l = (ex:obs_anpr_bus ex:obs_anpr_truck ex:obs_anpr_van ex:obs_anpr_passenger ex:obs_tel_heavy ex:obs_tel_car)
+#   ?obs = ex:obs_anpr_bus
+# Therefore the derived triple above is entailed by the rules and facts.
+# ----------------------------------------------------------------------
+
+genid:5d9446e0-5075-531c-f72b-7fb8f210a4dc prov:wasDerivedFrom ex:obs_anpr_bus .
+
+# ----------------------------------------------------------------------
+# Proof for derived triple:
+#   genid:5d9446e0-5075-531c-f72b-7fb8f210a4dc prov:wasDerivedFrom ex:obs_anpr_truck .
+# It holds because the following instance of the rule body is provable:
+#   genid:5d9446e0-5075-531c-f72b-7fb8f210a4dc ex:contributingObservations (ex:obs_anpr_bus ex:obs_anpr_truck ex:obs_anpr_van ex:obs_anpr_passenger ex:obs_tel_heavy ex:obs_tel_car) .
+#   (ex:obs_anpr_bus ex:obs_anpr_truck ex:obs_anpr_van ex:obs_anpr_passenger ex:obs_tel_heavy ex:obs_tel_car) list:member ex:obs_anpr_truck .
+# via the schematic forward rule:
+#   {
+#     ?agg ex:contributingObservations ?l .
+#     ?l list:member ?obs .
+#   } => {
+#     ?agg prov:wasDerivedFrom ?obs .
+#   } .
+# with substitution (on rule variables):
+#   ?agg = genid:5d9446e0-5075-531c-f72b-7fb8f210a4dc
+#   ?l = (ex:obs_anpr_bus ex:obs_anpr_truck ex:obs_anpr_van ex:obs_anpr_passenger ex:obs_tel_heavy ex:obs_tel_car)
+#   ?obs = ex:obs_anpr_truck
+# Therefore the derived triple above is entailed by the rules and facts.
+# ----------------------------------------------------------------------
+
+genid:5d9446e0-5075-531c-f72b-7fb8f210a4dc prov:wasDerivedFrom ex:obs_anpr_truck .
+
+# ----------------------------------------------------------------------
+# Proof for derived triple:
+#   genid:5d9446e0-5075-531c-f72b-7fb8f210a4dc prov:wasDerivedFrom ex:obs_anpr_van .
+# It holds because the following instance of the rule body is provable:
+#   genid:5d9446e0-5075-531c-f72b-7fb8f210a4dc ex:contributingObservations (ex:obs_anpr_bus ex:obs_anpr_truck ex:obs_anpr_van ex:obs_anpr_passenger ex:obs_tel_heavy ex:obs_tel_car) .
+#   (ex:obs_anpr_bus ex:obs_anpr_truck ex:obs_anpr_van ex:obs_anpr_passenger ex:obs_tel_heavy ex:obs_tel_car) list:member ex:obs_anpr_van .
+# via the schematic forward rule:
+#   {
+#     ?agg ex:contributingObservations ?l .
+#     ?l list:member ?obs .
+#   } => {
+#     ?agg prov:wasDerivedFrom ?obs .
+#   } .
+# with substitution (on rule variables):
+#   ?agg = genid:5d9446e0-5075-531c-f72b-7fb8f210a4dc
+#   ?l = (ex:obs_anpr_bus ex:obs_anpr_truck ex:obs_anpr_van ex:obs_anpr_passenger ex:obs_tel_heavy ex:obs_tel_car)
+#   ?obs = ex:obs_anpr_van
+# Therefore the derived triple above is entailed by the rules and facts.
+# ----------------------------------------------------------------------
+
+genid:5d9446e0-5075-531c-f72b-7fb8f210a4dc prov:wasDerivedFrom ex:obs_anpr_van .
+
+# ----------------------------------------------------------------------
+# Proof for derived triple:
+#   genid:5d9446e0-5075-531c-f72b-7fb8f210a4dc prov:wasDerivedFrom ex:obs_anpr_passenger .
+# It holds because the following instance of the rule body is provable:
+#   genid:5d9446e0-5075-531c-f72b-7fb8f210a4dc ex:contributingObservations (ex:obs_anpr_bus ex:obs_anpr_truck ex:obs_anpr_van ex:obs_anpr_passenger ex:obs_tel_heavy ex:obs_tel_car) .
+#   (ex:obs_anpr_bus ex:obs_anpr_truck ex:obs_anpr_van ex:obs_anpr_passenger ex:obs_tel_heavy ex:obs_tel_car) list:member ex:obs_anpr_passenger .
+# via the schematic forward rule:
+#   {
+#     ?agg ex:contributingObservations ?l .
+#     ?l list:member ?obs .
+#   } => {
+#     ?agg prov:wasDerivedFrom ?obs .
+#   } .
+# with substitution (on rule variables):
+#   ?agg = genid:5d9446e0-5075-531c-f72b-7fb8f210a4dc
+#   ?l = (ex:obs_anpr_bus ex:obs_anpr_truck ex:obs_anpr_van ex:obs_anpr_passenger ex:obs_tel_heavy ex:obs_tel_car)
+#   ?obs = ex:obs_anpr_passenger
+# Therefore the derived triple above is entailed by the rules and facts.
+# ----------------------------------------------------------------------
+
+genid:5d9446e0-5075-531c-f72b-7fb8f210a4dc prov:wasDerivedFrom ex:obs_anpr_passenger .
+
+# ----------------------------------------------------------------------
+# Proof for derived triple:
+#   genid:5d9446e0-5075-531c-f72b-7fb8f210a4dc prov:wasDerivedFrom ex:obs_tel_heavy .
+# It holds because the following instance of the rule body is provable:
+#   genid:5d9446e0-5075-531c-f72b-7fb8f210a4dc ex:contributingObservations (ex:obs_anpr_bus ex:obs_anpr_truck ex:obs_anpr_van ex:obs_anpr_passenger ex:obs_tel_heavy ex:obs_tel_car) .
+#   (ex:obs_anpr_bus ex:obs_anpr_truck ex:obs_anpr_van ex:obs_anpr_passenger ex:obs_tel_heavy ex:obs_tel_car) list:member ex:obs_tel_heavy .
+# via the schematic forward rule:
+#   {
+#     ?agg ex:contributingObservations ?l .
+#     ?l list:member ?obs .
+#   } => {
+#     ?agg prov:wasDerivedFrom ?obs .
+#   } .
+# with substitution (on rule variables):
+#   ?agg = genid:5d9446e0-5075-531c-f72b-7fb8f210a4dc
+#   ?l = (ex:obs_anpr_bus ex:obs_anpr_truck ex:obs_anpr_van ex:obs_anpr_passenger ex:obs_tel_heavy ex:obs_tel_car)
+#   ?obs = ex:obs_tel_heavy
+# Therefore the derived triple above is entailed by the rules and facts.
+# ----------------------------------------------------------------------
+
+genid:5d9446e0-5075-531c-f72b-7fb8f210a4dc prov:wasDerivedFrom ex:obs_tel_heavy .
+
+# ----------------------------------------------------------------------
+# Proof for derived triple:
+#   genid:5d9446e0-5075-531c-f72b-7fb8f210a4dc prov:wasDerivedFrom ex:obs_tel_car .
+# It holds because the following instance of the rule body is provable:
+#   genid:5d9446e0-5075-531c-f72b-7fb8f210a4dc ex:contributingObservations (ex:obs_anpr_bus ex:obs_anpr_truck ex:obs_anpr_van ex:obs_anpr_passenger ex:obs_tel_heavy ex:obs_tel_car) .
+#   (ex:obs_anpr_bus ex:obs_anpr_truck ex:obs_anpr_van ex:obs_anpr_passenger ex:obs_tel_heavy ex:obs_tel_car) list:member ex:obs_tel_car .
+# via the schematic forward rule:
+#   {
+#     ?agg ex:contributingObservations ?l .
+#     ?l list:member ?obs .
+#   } => {
+#     ?agg prov:wasDerivedFrom ?obs .
+#   } .
+# with substitution (on rule variables):
+#   ?agg = genid:5d9446e0-5075-531c-f72b-7fb8f210a4dc
+#   ?l = (ex:obs_anpr_bus ex:obs_anpr_truck ex:obs_anpr_van ex:obs_anpr_passenger ex:obs_tel_heavy ex:obs_tel_car)
+#   ?obs = ex:obs_tel_car
+# Therefore the derived triple above is entailed by the rules and facts.
+# ----------------------------------------------------------------------
+
+genid:5d9446e0-5075-531c-f72b-7fb8f210a4dc prov:wasDerivedFrom ex:obs_tel_car .
+