blob: 2f903b843b2fca6ec6191974daa5dd312276663e (
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
27
28
29
30
31
32
|
instance LexAttemptoGer of LexAttempto =
open ExtraGer, SyntaxGer, ParadigmsGer, ConstructX,
MakeStructuralGer,
IrregGer, Prelude in {
oper
possible_A = mkA "möglich" ;
necessary_A = mkA "nötig" ;
own_A = mkA "eigen" ;
have_VV = SyntaxGer.must_VV ;
provably_Adv = mkAdv "beweisbar" ;
provable_A = mkA "beweisbar" ;
false_A = mkA "falsch" ;
such_A = mkA "solch" ;
genitiveNP np cn = mkNP (mkNP the_Art cn) (SyntaxGer.mkAdv possess_Prep np) ;
each_Det = every_Det ;
that_Subj = mkSubj "daß" ;
comma_and_Conj = mkConj [] ", und" plural ;
comma_or_Conj = mkConj [] ", oder" singular ;
slash_Conj = mkConj [] "/" singular ;
whose_IDet = mkIDet (mkIQuant "wessen") ;
eachOf np = mkNP (mkPredet (mkA "jed") "von" dative True singular) np ;
adj_thatCl : A -> S -> Cl = \a,s -> mkCl (mkVP (mkAP (mkAP a) s)) ;
}
|
