blob: 79e0e76bb003e4abf019d93004e0a54cba33d2ec (
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
33
34
35
36
37
|
--concrete ConjunctionTel of Conjunction =
-- CatTel ** open ResTel, Coordination, Prelude in {
----
---- flags optimize=all_subs ;
----
---- lin
----
---- ConjS = conjunctDistrSS ;
----
---- ConjAdv = conjunctDistrSS ;
----
---- ConjNP conj ss = conjunctDistrTable Case conj ss ** {
---- a = conjAgr (agrP3 conj.n) ss.a
---- } ;
----
---- ConjAP conj ss = conjunctDistrTable Agr conj ss ** {
---- isPre = ss.isPre
---- } ;
----
------ These fun's are generated from the list cat's.
----
---- BaseS = twoSS ;
---- ConsS = consrSS comma ;
---- BaseAdv = twoSS ;
---- ConsAdv = consrSS comma ;
---- BaseNP x y = twoTable Case x y ** {a = conjAgr x.a y.a} ;
---- ConsNP xs x = consrTable Case comma xs x ** {a = conjAgr xs.a x.a} ;
---- BaseAP x y = twoTable Agr x y ** {isPre = andB x.isPre y.isPre} ;
---- ConsAP xs x = consrTable Agr comma xs x ** {isPre = andB xs.isPre x.isPre} ;
----
---- lincat
---- [S] = {s1,s2 : Str} ;
---- [Adv] = {s1,s2 : Str} ;
---- [NP] = {s1,s2 : Case => Str ; a : Agr} ;
---- [AP] = {s1,s2 : Agr => Str ; isPre : Bool} ;
----
--}
|
