examples/tutorial/semantics/Base.gf


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

-- abstract syntax of a query language

abstract Base = {

cat
  S ; 
  NP ; 
  CN ; 
  AP ; 
  A2 ; 
  Conj ;
fun 
  PredAP  : NP -> AP -> S ;

  ComplA2 : A2 -> NP -> AP ;

  ModCN   : AP -> CN -> CN ;

  ConjS   : Conj -> S -> S -> S ;
  ConjAP  : Conj -> AP -> AP -> AP ;
  ConjNP  : Conj -> NP -> NP -> NP ;

  Every   : CN -> NP ;
  Some    : CN -> NP ;

  And, Or : Conj ;  

-- lexicon

  UseInt  : Int -> NP ;

  Number : CN ;
  Even, Odd, Prime : AP ;
  Equal, Greater, Smaller, Divisible  : A2 ;

}