blob: e89fec70cc58195ddffd107bb6fa16b5acf3bd97 (
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
38
39
40
|
instance LexAttemptoFin of LexAttempto =
open
ExtraFin,
SyntaxFin,
ParadigmsFin,
ConstructX,
(M = MakeStructuralFin),
(E = ExtraFin),
(L = LangFin)
in {
oper
possible_A = mkA "mahdollinen" ;
necessary_A = mkA "välttämätön" ;
own_A = mkA "oma" ;
have_VV = mkVV (caseV genitive (mkV "pitää")) ;
provably_Adv = mkAdv "todistettavasti" ;
provable_A = mkA "todistettava" ;
false_A = mkA (mkN "epätosi" "epätoden" "epätosia") ;
such_A = mkA "sellainen" ;
genitiveNP np = mkNP (GenNP np) ;
kilogram_CN = mkCN (mkN "kilo") ;
each_Det = every_Det ; ----
that_Subj = M.mkSubj "että" ;
comma_and_Conj = M.mkConj [] ", ja" plural ;
comma_or_Conj = M.mkConj [] ", tai" singular ;
slash_Conj = M.mkConj [] "/" singular ;
whose_IDet = mkIDet (M.mkIQuant "kenen") ;
eachOf np = mkNP (mkNP each_Det) (SyntaxFin.mkAdv (casePrep elative) np) ;
adj_thatCl : A -> S -> Cl = \a,s ->
mkCl (L.UseComp (E.CompPartAP (mkAP (mkAP a) s))) ;
}
|
