examples/lrec-tutorial/Grammar.gf


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

abstract Grammar = {
  cat 
    Cl ; NP ; VP ; AP ; CN ; Det ; N ; A ; V ; V2 ;
  fun
    PredVP  : NP -> VP -> Cl ;
    ComplV2 : V2 -> NP -> VP ;
    DetCN   : Det -> CN -> NP ;
    ModCN   : CN -> AP -> CN ;

    UseV    : V -> VP ;
    UseN    : N -> CN ;
    UseA    : A -> AP ;

    a_Det, the_Det : Det ;
    this_Det, these_Det : Det ;
    i_NP, she_NP, we_NP : NP ;
}