1 files changed, 0 insertions, 20 deletions
diff --git a/examples/SUMO/axioms/MergeSubAtt.gft b/examples/SUMO/axioms/MergeSubAtt.gft
deleted file mode 100644
index eec904c0e..000000000
--- a/examples/SUMO/axioms/MergeSubAtt.gft
+++ /dev/null
@@ -1,20 +0,0 @@
-
-subAttribute (el ? ? ? Law) (el ? ? ? Obligation)
-
-subAttribute (el ? ? ? Promise) (el ? ? ? Obligation)
-
-subAttribute (el ? ? ? NakedPromise) (el ? ? ? Promise)
-
-subAttribute (el ? ? ? Liquid) (el ? ? ? Fluid)
-
-subAttribute (el ? ? ? Gas) (el ? ? ? Fluid)
-
-subAttribute (el ? ? ? Plasma) (el ? ? ? Fluid)
-
-subAttribute (el ? ? ? Wet) (el ? ? ? Damp)
-
-subAttribute (el ? ? ? Dead) (el ? ? ? Unconscious)
-
-subAttribute (el ? ? ? Larval) (el ? ? ? NonFullyFormed)
-
-subAttribute (el ? ? ? Embryonic) (el ? ? ? NonFullyFormed)