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
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
|
concrete RelativeGer of Relative = CatGer ** open ResGer in {
flags optimize=all_subs ;
lin
RelCl cl = {
s = \\m,t,a,b,_ => "derart" ++ conjThat ++ cl.s ! m ! t ! a ! b ! Sub ;
c = Nom
} ;
RelVP rp vp = {
s = \\m,t,ant,b,gn =>
let
agr = case rp.a of {
RNoAg => agrP3 (numGenNum gn) ;
RAg a => a ** {g = Neutr}
} ;
cl = mkClause (rp.s ! gn ! Nom) agr vp
in
cl.s ! m ! t ! ant ! b ! Sub ;
c = Nom
} ;
RelSlash rp slash = {
s = \\m,t,a,p,gn =>
appPrep slash.c2 (rp.s ! gn) ++ slash.s ! m ! t ! a ! p ! Sub ;
c = slash.c2.c
} ;
FunRP p np rp = {
s = \\gn,c => np.s ! c ++ appPrep p (rp.s ! gn) ;
a = RAg {n = np.a.n ; p = np.a.p}
} ;
IdRP = {s = relPron ; a = RNoAg} ;
oper
relPron : GenNum => Case => Str = \\gn,c =>
case <gn,c> of {
<GSg Fem,Gen> => "deren" ;
<GSg g,Gen> => "dessen" ;
<GPl,Dat> => "denen" ;
<GPl,Gen> => "deren" ;
_ => artDef ! gn ! c
} ;
}
|