1 files changed, 0 insertions, 14 deletions
diff --git a/examples/SUMO/axioms/TransportationSubRel.gft b/examples/SUMO/axioms/TransportationSubRel.gft
deleted file mode 100644
index b46309696..000000000
--- a/examples/SUMO/axioms/TransportationSubRel.gft
+++ /dev/null
@@ -1,14 +0,0 @@
-
-subRelation2El ? ? ? ? (\x,y -> trackWidth x y) (\x,y -> measure x y)
-
-subRelation2El ? ? ? ? (\x,y -> fleetGrossRegisteredTonnage x y) (\x,y -> measure x y)
-
-subRelation2El ? ? ? ? (\x,y -> fleetDeadWeightTonnage x y) (\x,y -> measure x y)
-
-subRelation2El ? ? ? ? (\x,y -> path x y) (\x,y -> partlyLocated x y)
-
-subRelation2El ? ? ? ? (\x,y -> vesselDisplacement x y) (\x,y -> measure x y)
-
-subRelation2El ? ? ? ? (\x,y -> vesselDeadWeightTonnage x y) (\x,y -> vesselDisplacement x y)
-
-subRelation2El ? ? ? ? (\x,y -> vesselGrossRegisteredTonnage x y) (\x,y -> vesselDisplacement x y)