examples/lrec-tutorial/One.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
38
39
40
41
42

abstract One = {
  cat  
    S ;
    Cl ; 
    NP ; 
    VP ;
    AP ;
    CN ;
    Det ;
    Pron ;
    PN ;
    N ;
    A ;
    V ;
    V2 ;
    Adv ;
    Prep ;
    Pol ;
    Tense ;
  fun
    DeclCl  : Tense -> Pol -> Cl -> S ;
    QuestCl : Tense -> Pol -> Cl -> S ;

    PredVP  : NP -> VP -> Cl ;

    ComplV2 : V2 -> NP -> VP ;
    UseAP   : AP -> VP ;
    UseV    : V -> VP ;
    AdVP    : VP -> Adv -> VP ;

    DetCN   : Det -> CN -> NP ;
    UsePN   : PN -> NP ;
    UsePron : Pron -> NP ;

    ModCN   : CN -> AP -> CN ;
    UseN    : N -> CN ;

    UseA    : A -> AP ;

    AdvA    : A -> Adv ;
    PrepNP  : Prep -> NP -> Adv ;
}