blob: a52ae15994e868ad1528cb8620fb2e57fb65f039 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
instance LexMathSpa of LexMath =
open SyntaxSpa, ParadigmsSpa, (L = LexiconSpa) in {
oper
zero_PN = mkPN "cero" ;
successor_N2 = mkN2 (mkN "sucesor") genitive ;
sum_N2 = mkN2 (mkN "suma") genitive ;
product_N2 = mkN2 (mkN "producto") genitive ;
even_A = mkA "par" ;
odd_A = mkA "impar" ;
prime_A = mkA "primo" ;
equal_A2 = mkA2 (mkA "igual") dative ;
small_A = L.small_A ;
great_A = L.big_A ;
divisible_A2 = mkA2 (mkA "divisible") (mkPrep "por") ;
number_N = mkN "entero" ;
}
|