diff options
| author | aarne <unknown> | 2003-09-22 13:16:55 +0000 |
|---|---|---|
| committer | aarne <unknown> | 2003-09-22 13:16:55 +0000 |
| commit | b1402e8bd6a68a891b00a214d6cf184d66defe19 (patch) | |
| tree | 90372ac4e53dce91cf949dbf8e93be06f1d9e8bd /grammars/resource/german/Logical.gf | |
Founding the newly structured GF2.0 cvs archive.
Diffstat (limited to 'grammars/resource/german/Logical.gf')
| -rw-r--r-- | grammars/resource/german/Logical.gf | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/grammars/resource/german/Logical.gf b/grammars/resource/german/Logical.gf new file mode 100644 index 000000000..3347ae129 --- /dev/null +++ b/grammars/resource/german/Logical.gf @@ -0,0 +1,23 @@ +-- 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") 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)))) ; +} ; |