1 files changed, 0 insertions, 26 deletions
diff --git a/grammars/resource/german/Logical.gf b/grammars/resource/german/Logical.gf
deleted file mode 100644
index b6d3b524b..000000000
--- a/grammars/resource/german/Logical.gf
+++ /dev/null
@@ -1,26 +0,0 @@
---# -path=.:../abstract:../../prelude
-
--- Slightly ad hoc and formal negation and connectives.
-
-resource Logical = Predication ** open Deutsch, Paradigms in {
-
-  oper
-    negS : S -> S ;         -- es ist nicht der Fall, dass S
-    univS : CN -> S -> S ;  -- für alle CNs gilt es, dass S
-    existS : CN -> S -> S ; -- es gibt ein CN derart, dass S
-    existManyS : CN -> S -> S ; -- es gibt CNs derart, dass S
---.
-
-    negS = \A -> 
-      PredVP ItNP (NegNP (DefOneNP (CNthatS (UseN (nRaum "Fall" "Fälle")) A))) ;
-    univS = \A,B ->
-      PredVP ItNP 
-        (AdvVP (PosVS (mkV "gelten" "gilt" "gelte" "gegolten" ** {lock_VS = <>}) B)
-                    (mkPP accusative "für" (DetNP AllDet A))) ;
-    existS = \A,B ->
-      PredVP ItNP (PosTV (tvDir (mkV "geben" "gibt" "gib" "gegeben"))
-                     (IndefOneNP (ModRC A (RelSuch B)))) ;
-    existManyS = \A,B ->
-     PredVP ItNP (PosTV (tvDir (mkV "geben" "gibt" "gib" "gegeben"))
-                    (IndefManyNP (ModRC A (RelSuch B)))) ;
-} ;