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
|
concrete SentencesFre of Sentences = NumeralFre ** SentencesI - [
IsMass,
QProp,
IFemale, YouFamFemale, YouPolFemale, WeFemale, YouPlurFamFemale, YouPlurPolFemale, YouPlurPolMale, TheyFemale,
PYesToNo,
SHaveNo,SHaveNoMass,
Superlative
]
with
(Syntax = SyntaxFre),
(Symbolic = SymbolicFre),
(Lexicon = LexiconFre) **
open SyntaxFre, ExtraFre, (P = ParadigmsFre), Prelude in {
lincat
Superlative = {s : Ord ; isPre : Bool} ;
lin
IsMass m q = mkCl (mkNP the_Det m) q ; -- le vin allemand est bon
QProp a =
lin QS {s = \\_ => (EstcequeS (mkS a)).s} ;
IFemale =
{name = mkNP i8fem_Pron ; isPron = True ; poss = mkQuant i_Pron} ;
YouFamFemale =
{name = mkNP youSg8fem_Pron ; isPron = True ; poss = mkQuant youSg_Pron} ;
YouPolFemale =
{name = mkNP youPol8fem_Pron ; isPron = True ; poss = mkQuant youPol_Pron} ;
WeFemale =
{name = mkNP we8fem_Pron ; isPron = True ; poss = mkQuant we_Pron} ;
YouPlurFamFemale =
{name = mkNP youPl8fem_Pron ; isPron = True ; poss = mkQuant youPl_Pron} ;
YouPlurPolMale =
{name = mkNP youPl_Pron ; isPron = True ; poss = mkQuant youPol_Pron};
YouPlurPolFemale =
{name = mkNP youPl8fem_Pron ; isPron = True ; poss = mkQuant youPol_Pron};
TheyFemale =
{name = mkNP they8fem_Pron ; isPron = True ; poss = mkQuant they_Pron} ;
PYesToNo = mkPhrase (lin Utt (ss "si")) ;
SHaveNo p k = mkS negativePol (mkCl p.name have_de (mkNP aPl_Det k)) ;
SHaveNoMass p k = mkS negativePol (mkCl p.name (ComplCN have_de k)) ;
oper
have_de : V2 = P.mkV2 (P.mkV have_V2) P.genitive ;
}
|
