blob: 1e0c8793dd36ce81d136c89fba851f0b186c508c (
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
59
60
61
62
63
64
65
66
67
|
instance LexEditorSpa of LexEditor = open SyntaxSpa, IrregSpa, ParadigmsSpa in {
flags coding = utf8 ;
oper
-- Sentences
singleWordCommand_Utt verb = mkUtt (mkVP verb) ;
command_Utt verb det adj noun = mkUtt (mkVP (mkV2 verb) (mkNP det (mkCN adj noun))) ;
randomlyCommand_Utt verb det noun = mkUtt (mkVP (mkAdV "aleatoriamente") (mkVP (mkV2 verb) (mkNP det noun))) ;
label_Utt noun = mkUtt (mkNP (myMkPN noun)) ;
errorMessage_Utt adj noun = mkUtt (mkS negativePol (mkCl (mkNP indefPlDet (mkCN adj noun)))) ;
-- Verbs
-- undo_V = deshacer_V ;
-- redo_V = rehacer_V ;
undo_V = mkV "Deshacer" ;
redo_V = mkV "Rehacer" ;
cut_V = mkV "Cortar" ;
copy_V = mkV "Copiar" ;
paste_V = mkV "Pegar" ;
delete_V = mkV "Borrar" ;
refine_V = mkV "Refinar" ;
replace_V = mkV "Reemplazar" ;
-- wrap_V = envolver_V ;
wrap_V = mkV "Envolver" ;
select_V = mkV "Seleccionar" ;
enter_V = mkV "Introducir" ;
show_V = mkV "Mostrar" ;
-- Nouns
language_N = mkN "lenguaje" ;
node_N = mkN "nodo" ;
tree_N = mkN "árbol" ;
refinement_N = mkN "refinamiento" ;
wrapper_N = mkN "envoltura" ;
string_N = compN (mkN "cadena") ("de" ++ "caracteres") ;
page_N = mkN "página" ;
danish_N = mkN "Danés" ;
english_N = mkN "Inglés" ;
finnish_N = mkN "Finlandés" ;
french_N = mkN "Francés" ;
german_N = mkN "Alemán" ;
italian_N = mkN "Italiano" ;
norwegian_N = mkN "Noruego" ;
russian_N = mkN "Ruso" ;
spanish_N = mkN "Español" ;
swedish_N = mkN "Sueco" ;
-- Adjectives
noAdj_A = mkA "" ;
available_A = mkA "disponible" ;
next_A = mkA "siguiente" ;
previous_A = mkA "anterior" ;
-- Determiners
defSg_Det = defSgDet ;
defPl_Det = defPlDet ;
indefSg_Det = indefSgDet ;
indefPl_Det = indefPlDet ;
this_Det = mkDet this_QuantSg ;
-- Functions
myMkPN : N -> PN =
\n -> {s = n.s ! singular ; g = n.g ; lock_PN = <>} ;
}
|
