mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-04-09 04:59:31 -06:00
19 lines
505 B
Plaintext
19 lines
505 B
Plaintext
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" ;
|
|
|
|
}
|