eyeling 1.6.13 → 1.6.15

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

@@ -8,3291 +8,140 @@
 @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 .
-