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
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
|
concrete NounTel of Noun = CatTel ** open ResTel, Prelude in {
flags optimize=all_subs ;
lin
-- DetCN det cn = {
-- s = \\c => det.s ! cn.g ! npcase2case c ++ toNP (cn.s ! det.n) c ;
-- a = agrP3 cn.g det.n
-- } ;
--
-- UsePN pn = {s = \\c => toNP pn.s c ; a = agrP3 pn.g Sg} ;
-- UsePron p = {s = \\c => p.s ! np2pronCase c ; a = p.a} ;
----
---- PredetNP pred np = {
---- s = \\c => pred.s ++ np.s ! c ;
---- a = np.a
---- } ;
----
---- PPartNP np v2 = {
---- s = \\c => np.s ! c ++ v2.s ! VPPart ;
---- a = np.a
---- } ;
----
---- RelNP np rs = {
---- s = \\c => np.s ! c ++ "," ++ rs.s ! np.a ;
---- a = np.a
---- } ;
----
---- AdvNP np adv = {
---- s = \\c => np.s ! c ++ adv.s ;
---- a = np.a
---- } ;
----
---- DetQuantOrd quant num ord = {
---- s = quant.s ! num.n ++ num.s ++ ord.s ;
---- n = num.n
---- } ;
--
-- DetQuant quant num = {
-- s = \\g,c => quant.s ! num.n ! g ! c ++ num.s ;
-- n = num.n
-- } ;
--
---- DetNP det = {
---- s = \\c => det.s ; ---- case
---- a = agrP3 det.n
---- } ;
----
-- PossPron p = {s = \\_,_,_ => p.s ! PPoss} ;
--
-- NumSg = {s = []; n = Sg} ;
-- NumPl = {s = []; n = Pl} ;
--
---- NumCard n = n ** {hasCard = True} ;
----
---- NumDigits n = {s = n.s ! NCard ; n = n.n} ;
---- OrdDigits n = {s = n.s ! NOrd} ;
----
---- NumNumeral numeral = {s = numeral.s ! NCard; n = numeral.n} ;
---- OrdNumeral numeral = {s = numeral.s ! NOrd} ;
----
---- AdNum adn num = {s = adn.s ++ num.s ; n = num.n} ;
----
---- OrdSuperl a = {s = a.s ! AAdj Superl} ;
----
---- DetArtOrd art num ord = {
---- s = art.s ! num.hasCard ! num.n ++ num.s ++ ord.s ;
---- n = num.n
---- } ;
----
---- DetArtCard art card = {
---- s = art.s ! True ! card.n ++ card.s ;
---- n = card.n
---- } ;
--
-- DefArt = {s = \\_,_,_ => []} ;
-- IndefArt = {s = \\_,_,_ => []} ;
--
---- MassNP cn = {
---- s = cn.s ! Sg ;
---- a = agrP3 Sg
---- } ;
--
UseN n = n ;
---- UseN2 n = n ;
----
---- Use2N3 f = {
---- s = \\n,c => f.s ! n ! Nom ;
---- g = f.g ;
---- c2 = f.c2
---- } ;
----
---- Use3N3 f = {
---- s = \\n,c => f.s ! n ! Nom ;
---- g = f.g ;
---- c2 = f.c3
---- } ;
----
---- ComplN2 f x = {s = \\n,c => f.s ! n ! Nom ++ f.c2 ++ x.s ! c ; g = f.g} ;
---- ComplN3 f x = {
---- s = \\n,c => f.s ! n ! Nom ++ f.c2 ++ x.s ! c ;
---- g = f.g ;
---- c2 = f.c3
---- } ;
--
-- AdjCN ap cn = {
-- s = \\n,c => ap.s ! cn.g ! n ! c ++ cn.s ! n ! c ;
-- g = cn.g
-- } ;
--
---- RelCN cn rs = {
---- s = \\n,c => cn.s ! n ! c ++ rs.s ! agrgP3 n cn.g ;
---- g = cn.g
---- } ;
---- AdvCN cn ad = {s = \\n,c => cn.s ! n ! c ++ ad.s ; g = cn.g} ;
----
---- SentCN cn sc = {s = \\n,c => cn.s ! n ! c ++ sc.s ; g = cn.g} ;
----
---- ApposCN cn np = {s = \\n,c => cn.s ! n ! Nom ++ np.s ! c ; g = cn.g} ;
----
}
|
