blob: 6413dbbaea6abaa6f5164143a3e499e62d373357 (
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
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
|
-- (c) 2009 Ramona Enache and Aarne Ranta under LGPL
concrete WordsIta of Words = SentencesIta ** open
SyntaxIta,
DiffPhrasebookIta,
BeschIta,
(E = ExtraIta),
ParadigmsIta in {
lin
Wine = mkCN (mkN "vino") ;
Beer = mkCN (mkN "birra") ;
Water = mkCN (mkN "acqua") ;
Coffee = mkCN (mkN "caffè") ;
-- Tea = mkCN (mkN "té") ; ----
Cheese = mkCN (mkN "formaggio") ;
Fish = mkCN (mkN "pesce") ;
Pizza = mkCN (mkN "pizza") ;
Fresh = mkAP (mkA "fresco") ;
Warm = mkAPA "caldo" ;
Italian = mkAPA "italiano" ;
Expensive = mkAPA "caro" ;
Delicious = mkAPA "delizioso" ;
Boring = mkAPA "noioso" ;
Restaurant = mkCN (mkN "ristorante") ;
Bar = mkCN (mkN "bar") ;
Toilet = mkCN (mkN "bagno") ;
Euro = mkCN (mkN "euro" "euro" masculine) ;
Dollar = mkCN (mkN "dollar") ;
Lei = mkCN (mkN "lei") ; ---- ?
AWant p obj = mkCl p want_V2 obj ;
ALike p item = mkCl item (mkV2 (mkV (piacere_64 "piacere")) dative) p ;
AHave p kind = mkCl p have_V2 (mkNP kind) ;
ASpeak p lang = mkCl p (mkV2 (mkV "parlare")) lang ;
ALove p q = mkCl p (mkV2 (mkV "amare")) q ;
English = mkNP (mkPN "inglese") ;
Finnish = mkNP (mkPN "finlandese") ;
French = mkNP (mkPN "francese") ;
Romanian = mkNP (mkPN "rumeno") ;
Swedish = mkNP (mkPN "svedese") ;
AHungry p = mkCl p (E.ComplCN have_V2 (mkCN (mkN "fame" feminine))) ;
AThirsty p = mkCl p (E.ComplCN have_V2 (mkCN (mkN "sete" feminine))) ;
ATired p = mkCl p (mkA "stanco") ;
AScared p = mkCl p (E.ComplCN have_V2 (mkCN (mkN "paura" feminine))) ;
AUnderstand p = mkCl p (mkV "capire") ;
oper
mkAPA : (_ : Str) -> AP = \x -> mkAP (mkA x) ;
}
|
