blob: b6d3b524b15ed4112dff782d848f81eca3acdba0 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
|
--# -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)))) ;
} ;
|
