summaryrefslogtreecommitdiff
path: root/gf-book/examples/chapter9/Grammar.gf
blob: 57e3f8dcc74e0466f2d6057d956f81963d4549f1 (plain)
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
38
39
abstract Grammar = {

  flags startcat = S ;

  cat 
    S ; Cl ; NP ; VP ; AP ; CN ; 
    Det ; N ; A ; V ; V2 ; AdA ; 
    Tense ; Pol ;
    Conj ;
  data
    UseCl   : Tense -> Pol -> Cl -> S ;
    PredVP  : NP -> VP -> Cl ;
    ComplV2 : V2 -> NP -> VP ;
    DetCN   : Det -> CN -> NP ;
    ModCN   : AP -> CN -> CN ;

    CompAP  : AP -> VP ;
    AdAP    : AdA -> AP -> AP ;

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

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

    a_Det, the_Det, every_Det : Det ;
    this_Det, these_Det : Det ;
    that_Det, those_Det : Det ;
    i_NP, she_NP, we_NP : NP ;
    very_AdA : AdA ;

    Pos, Neg : Pol ;
    Pres, Perf : Tense ;

    and_Conj, or_Conj : Conj ;

  
}