summaryrefslogtreecommitdiff
path: root/examples/grammar-terms/GrammarTerms.gf
blob: c87555fa2dcacbc93a98c275f277865d24b929b9 (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
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
abstract GrammarTerms = {

flags startcat = Rule ;

cat
  Rule ;
  Cat ; 
  ParamType ;
  ParamValue ;
  Language ;
  [Cat] {1} ;
  [ParamType] {1} ;

fun
  RuleFun : Cat -> [Cat] -> Rule ;
  RuleInherent : Cat -> [ParamType] -> Rule ;
  RuleVariable : Cat -> [ParamType] -> Rule ;

fun 
  CatA : Cat ;
  CatA2 : Cat ;
  CatAP : Cat ;
  CatAdA : Cat ;
  CatAdN : Cat ;
  CatAdV : Cat ;
  CatAdv : Cat ;
  CatAnt : Cat ;
  CatCAdv : Cat ;
  CatCN : Cat ;
  CatCard : Cat ;
  CatCl : Cat ;
  CatClSlash : Cat ;
  CatComp : Cat ;
  CatConj : Cat ;
  CatDet : Cat ;
  CatDig : Cat ;
  CatDigits : Cat ;
  CatIAdv : Cat ;
  CatIComp : Cat ;
  CatIDet : Cat ;
  CatIP : Cat ;
  CatIQuant : Cat ;
  CatImp : Cat ;
  CatImpForm : Cat ;
  CatInterj : Cat ;
  CatListAP : Cat ;
  CatListAdv : Cat ;
  CatListNP : Cat ;
  CatListRS : Cat ;
  CatListS : Cat ;
  CatN : Cat ;
  CatN2 : Cat ;
  CatN3 : Cat ;
  CatNP : Cat ;
  CatNum : Cat ;
  CatNumeral : Cat ;
  CatOrd : Cat ;
  CatPConj : Cat ;
  CatPN : Cat ;
  CatPhr : Cat ;
  CatPol : Cat ;
  CatPredet : Cat ;
  CatPrep : Cat ;
  CatPron : Cat ;
  CatPunct : Cat ;
  CatQCl : Cat ;
  CatQS : Cat ;
  CatQuant : Cat ;
  CatRCl : Cat ;
  CatRP : Cat ;
  CatRS : Cat ;
  CatS : Cat ;
  CatSC : Cat ;
  CatSSlash : Cat ;
  CatSub100 : Cat ;
  CatSub1000 : Cat ;
  CatSubj : Cat ;
  CatTemp : Cat ;
  CatTense : Cat ;
  CatText : Cat ;
  CatUnit : Cat ;
  CatUtt : Cat ;
  CatV : Cat ;
  CatV2 : Cat ;
  CatV2A : Cat ;
  CatV2Q : Cat ;
  CatV2S : Cat ;
  CatV2V : Cat ;
  CatV3 : Cat ;
  CatVA : Cat ;
  CatVP : Cat ;
  CatVPSlash : Cat ;
  CatVQ : Cat ;
  CatVS : Cat ;
  CatVV : Cat ;
  CatVoc : Cat ;

  PTGender : ParamType ;
  PTNumber : ParamType ;
  PTCase   : ParamType ;
  PTTense  : ParamType ;

}