examples/tutorial/semantics/LexBaseEng.gf


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

instance LexBaseEng of LexBase = open SyntaxEng, ParadigmsEng in {

oper
  even_A = mkA "even" ;
  odd_A = mkA "odd" ;
  prime_A = mkA "prime" ;
  equal_A2 = mkA2 (mkA "equal") (mkPrep "to") ;
  greater_A2 = mkA2 (mkA "greater") (mkPrep "than") ; ---
  smaller_A2 = mkA2 (mkA "smaller") (mkPrep "than") ; ---
  divisible_A2 = mkA2 (mkA "divisible") (mkPrep "by") ;
  number_N = mkN "number" ;
  sum_N2 = mkN2 (mkN "sum") (mkPrep "of") ;
--  product_N2 : N2 ;
--  gcd_N2 : N2 ;

--  noSg_Det : Det ;
}