Statistics
| Revision:

root / spec / parser / 4.0.knowledge @ 53

History | View | Annotate | Download (12.1 KB)

1
; Post-processing knowledge file
2
; 6/96
3

    
4
; ----------------------------------------------------------------------------
5
; This file contains the knowledge related to post-processing, in the 
6
; form of lists and rules. This file is read by post-process.c at run-time. 
7
; Syntax of file:
8
;           line starting with ";" is a comment
9
;           commas are field delimiters 
10
;           any token beginning with the character @ is expanded to the set
11
;               of symbols it defined. e.g. one could write
12
; FOO: blah1 blah2 blah3
13
; thus defining a set FOO containing three strings. Then one could later write
14
; BAR: blah5 @FOO blah8
15
; which defines a set BAR containing 5 strings. 
16
; 
17
; Capitalized tokens are *required*, though if you feel like providing an
18
; empty list afterwards, that's your right.
19
; ----------------------------------------------------------------------------
20

    
21

    
22
; the following links start a domain. Each must be given a name in the
23
; table below (STARTING_LINK_TYPE_TABLE)
24
  
25
DOMAIN_STARTER_LINKS: 
26
 W   Ce   Cs   Ca   Cc   Ci   R*   Rn   Re   RSe  Mr   QI#d   Mv*   Jr  Mj   Qd  
27
 TOn   TOi   Mg*   MVi  Ss#d   Bsd   ER   Z  Ma#*   SIs#g  BIqx   MX#p   MX#a  
28
 MX#r   MX#j   MV#o   MV#p  Eq   COq   CCq  AFd   PFc 
29

    
30

    
31

    
32
; ----------------------------------------------------------------------
33
; the following links start a urfl domain.  They are also included in the 
34
; domain, as opposed to regular starter links (above), which are not. A
35
; urfl domain includes links accessible from the root word, tracing to
36
; the right (as well as everything accessible from the left end of the 
37
; starter link).
38

    
39
URFL_DOMAIN_STARTER_LINKS:  TOo   I#j  Pa##j   CP
40

    
41

    
42

    
43
; ----------------------------------------------------------------------
44
; the following start a urfl_only domain. These include _only_ links :
45
; reachable from the root word, tracing to the right. They aren't
46
; included in the domain
47

    
48
URFL_ONLY_DOMAIN_STARTER_LINKS:  SFsx   Ss#g   COp    
49

    
50

    
51

    
52
; ----------------------------------------------------------------------
53
; links which start a domain and are also part of the domain. This must be 
54
; a sublist of the domain_starter_list 
55

    
56
DOMAIN_CONTAINS_LINKS: 
57
 Mg*   Mx   Bsd   MX#a   Ma#*   Mv*   MX#r   Ss#d   Ws   Wq  Qd   Mj   Wj 
58
 Wi  MX#j   AFd   PFc   Jr   Wd   Mr
59

    
60

    
61

    
62
; ----------------------------------------------------------------------
63
; these links are not put in the word/link graph. They also cannot be the 
64
; starter links for a domain. (These links may also only be used in cycles.)
65

    
66
IGNORE_THESE_LINKS: Xca
67

    
68

    
69

    
70
; ----------------------------------------------------------------------
71
; these links may only be used in cycles.
72

    
73
MUST_FORM_A_CYCLE_LINKS:  R#*   TOt   EXx   HA    SFsic   Jr  JQ  Xca
74

    
75

    
76
; ----------------------------------------------------------------------
77
; these links are not traced further if they point back before the root word 
78

    
79
RESTRICTED_LINKS: 
80
   B#*  D##w   B#w   B#d   AFh  MVt   Xx   HL   SFsic  AFd   Bc   CX  EAh  
81
   H   HA   PFc   B#j   Wd   PF   Z  
82

    
83

    
84

    
85
; ----------------------------------------------------------------------
86
; ---------------------- LINK TYPE TABLE-------------------------------
87
; ----------------------------------------------------------------------
88
; the following table associates a domain type with each possible
89
; starting link. It contains pairs: the first of each pair is a link
90
; type, and the second is the domain to which that link type belongs.
91

    
92
STARTING_LINK_TYPE_TABLE: 
93
 Ce    e  
94
 R*    r  
95
 Rn    r
96
 Re    r  
97
 W     m  
98
 RSe   e  
99
 Cs    s  
100
 Ca    s  
101
 Jr    e  
102
 Mr    r  
103
 Cc    s  
104
 Mv*   e  
105
 QI#d  s  
106
 BIqx  s  
107
 TOn   e  
108
 TOi   e  
109
 MVi   e  
110
 MV#o  s  
111
 MV#p  s  
112
 AFd   s  
113
 PFc   s  
114
 Mg*   e  
115
 Mj    j  
116
 Qd    m  
117
 MX#j  j  
118
 TOo   x  
119
 I#j   x  
120
 Pa##j x  
121
 CP    x
122
 COp   d  
123
 SFsx  d  
124
 Ss#g  d  
125
 SIs#g s  
126
 Ss#d  s  
127
 Bsd   s  
128
 ER    s  
129
 Z     s  
130
 Ma#*  e  
131
 MX#p  e  
132
 Ci    e  
133
 MX#a  e  
134
 Eq    e  
135
 COq   e  
136
 CCq   s  
137
 MX#r  r 
138

    
139

    
140
; ----------------------------------------------------------------------
141
; ----------------------- LINK SETS ------------------------------------
142
; ----------------------------------------------------------------------
143
; (Not in use at present; see comment at beginning of file)
144

    
145
; ----------------------------------------------------------------------
146
; ----------------- RULES ----------------------------------------------
147
; ----------------------------------------------------------------------
148
; explanation of syntax: as usual, each stanza begins with a label 
149
; terminated by a colon. The interpretation of the rule depends on 
150
; the label, as specified in each stanza.
151

    
152
; the following rule asserts that the linkage must *still* be connected 
153
; when the specified set(s) of links are removed from the linkage.
154

    
155
FORM_A_CYCLE_RULES:
156
        @MUST_FORM_A_CYCLE_LINKS  ,  "'must form a cycle' violation"
157

    
158

    
159
; For the following rules, if a domain contains a link matching the 1st 
160
; column, it must also contain a linkage matching one of the members of the 
161
; set in the 2nd column. The individual rules are demarcated by semicolons and
162
; the fields within a rule are demarcated by commas. 
163

    
164
CONTAINS_ONE_RULES:
165
 SI#*  ,  Wq    Qd    CQ    PFc             , "Bad use of s-v inversion" ,
166
 SI#x  ,  Wq    Qd    CQ    PFc             , "Bad use of s-v inversion" ,
167
 SFI##* , Wq    Qd    CQ    PFc             , "Bad use of s-v inversion",
168
 SXI   ,  Wq    Qd    CQ    PFc             , "Bad use of s-v inversion" ,
169
 Ws    ,  D##w    S##w    H                 , "S-V inversion required",
170
 I#a   ,  B#m    B#w                        , "incorrect use of 'to'"       ,
171
 Wq    ,  SI    SFI   SXI                   , "S-V inversion required" ,
172
 Qd    ,  SI    SFI   SXI                   , "S-V inversion required" ,
173
 PFc   ,  SI    SFI   SXI                   , "S-V inversion required" ,
174
 Mj    ,  Jw    JQ                          , "Incorrect relative",
175
 MX#j  ,  Jw    JQ                          , "Incorrect relative",
176
 Wj    ,  Jw    JQ                          , "Misuse of preposition"       ,
177
 JQ    ,  Mj    Wj    MX#j                  , "Misuse of preposition"       ,
178
 Jw    ,  Mj    Wj    MX#j                  , "Misuse of preposition"       ,
179
 B#j   ,  Jr                                , "Incorrect relative",        
180
 Jr    ,  B#j                               , "Incorrect relative",        
181
 EAh   ,  AF    Bsm    B*m    Qe    Ca    AFm              
182
					    , "Incorrect use of 'how'"      ,
183
 EEh   ,  AF    Bsm    B*m    Qe    Ca    AFm               
184
					    , "Incorrect use of 'how'"      ,
185
 Qe    ,  EEh           		    , "Incorrect use of adverb"     ,
186
 THi   ,  SFsi   SFIsi   OXi                , "Complement requires 'it'"    ,
187
 TSi   ,  SFsi   SFIsi   OXi                , "Complement requires 'it'"     ,
188
 QIi   ,  SFsi   SFIsi   OXi                , "Complement requires 'it'"     ,
189
 TOi   ,  SFsi   SFIsi   OXi                , "Complement requires 'it'"     ,
190
 Ci    ,  SFsi   SFIsi   OXi                , "Complement requires 'it'"     ,
191
 COqi  ,  SFsi   SFIsi   OXi                , "Complement requires 'it'"     ,
192
 CPi   ,  SFsi   SFIsi   OXi                , "Complement requires 'it'"     ,
193
 Eqi   ,  SFsi   SFIsi   OXi                , "Complement requires 'it'"     ,
194
 LEi   ,  SFsi   SFIsi   OXi                , "Complement requires 'it'"     ,
195
 MVti  ,  SFsi   SFIsi   OXi                , "Complement requires 'it'"     ,
196
 AFdi  ,  SFsi   SFIsi   OXi                , "Complement requires 'it'"     ,
197
 O#i   ,  SFsi   SFIsi   OXi                , "Complement requires 'it'"     ,
198
 SFst  ,  O*t    Ost    Omt    Bs#t    B*#t    Bc#t    
199
					    , "Bad use of 'there'"           ,
200
 SFIst ,  O*t    Ost    Omt    Bs#t    B*#t    Bc#t    
201
					    , "Bad use of 'there'"           ,
202
 SFp   ,  Opt    Omt    O*t    Bp#t    B*#t    Bc#t    
203
					    , "Bad use of 'there'"           ,
204
 SFIp  ,  Opt    Omt    O*t    Bp#t    B*#t    Bc#t    
205
					    , "Bad use of 'there'"           ,
206
 OXt   ,  O#t    B##t                     ,   "Bad use of 'there'"           ,
207
 SFsi* ,  TOi    THi   QIi    TSi    O#i    Ci    THb   CPi   
208
          COqi    CPi    Eqi    AFdi    BIh , "Bad use of 'it'"           ,
209
 SFIsi ,  TOi    THi   QIi    TSi    O#i    Ci    THb   CPi   
210
          COqi    CPi    Eqi    AFdi    BIh , "Bad use of 'it'"           ,
211
 OXi   ,  TOi    THi   QIi    TSi    O#i    Ci    THb   CPi   
212
          COqi    CPi    Eqi    AFdi    BIh , "Bad use of 'it'"           ,
213
 THb   ,  S##t    SI##t  SFsi  SFIsi        , "Bad use of predicate"      ,
214
 BIh   ,  Ss#b    SIs#b  SFsi  SFIsi        , "Bad use of predicate"      ,
215
 BIq   ,  S##q    SI##q  SFsi  Ss#b    SFIsi SIs#b 
216
                                            , "Bad use of predicate"      ,
217
 MVt   ,  Dm#m   EAm   EEm   MVm  Pam   Pafm   AFm   EB#m   MVb
218
          Om   Mam  Am  Jm  Ds*m   MX#m     , "Bad comparative"    ,
219
 MVz   ,  D##y    EAy    EEy    MVy    EB#y , "Bad comparative"    ,
220
 MV#a  ,  Pam    Pafm    EAm   Ds*m   EAy   AFm   Mam   Am  
221
					    , "Bad comparative"    ,
222
 MV#i  ,  Pam    Pafm    EAm   Ds*m   EAy   AFm   Mam   Am  
223
					    , "Bad comparative"    ,
224
 MV#o  ,  D##m    D##y    Om    Oy    Jm    Jy   Am   MX#m  
225
					    , "Bad comparative"    ,
226
 MV#p  ,  EEm   MVb   Dm#m   EEy   D##y  MVm   Om   Oy 
227
                            Jm   Jy   Am   MX#m         
228
					    , "Bad comparative"    ,
229
 Pafc  ,  EB#m    EB#y                      , "Bad comparative"    ,
230
 Pafc  ,  Pa*    Paf*                       , "Bad comparative"    ,
231
 MVat  ,  MVm                               , "Bad comparative"    ,
232
 MVpt  ,  MVm                               , "Bad comparative"    ,
233
 MVat  ,  MVa   MVp                         , "Bad comparative"    ,
234
 MVpt  ,  MVa   MVp                         , "Bad comparative"    ,
235
 U#t   ,  D##m    D##y    Om    Oy    Jm    Jy   Am   MX#m           
236
				            , "Bad comparative"    ,
237
 Cc    ,  EEm    EEy    MVm    MVb    MVy              
238
	                                    , "Bad comparative"    ,
239
 Sp#c  ,  Dmcm    Dmcy    Om    Oy    Jm    Jy  MX#m         
240
	 				    , "Bad comparative"    ,
241
 Ss#c  ,  Dmum    Dmuy    Om    Oy    Jm    Jy    Ds*y  MX#m        
242
					    , "Bad comparative"    ,
243
 S##c  ,  Dm#m    D##y    Om    Oy    Jm    Jy   MX#m         
244
					    , "Bad comparative"    ,
245
 THc   ,  TH                                , "Bad comparative"    ,
246
 TOc   ,  TO**   TOf*   TOi*                , "Bad comparative"    ,
247
 TOtc  ,  TOt  ,                              "Bad comparative"    ,
248
 Ma**  ,   TO   TOf   TH   MVp   TOt   QI   OF  MVt   MVz   MVh   Ytm   Ya             
249
					    , "Bad use of adjective"    ,
250
 Mam   ,  TO   TOf   TH   MVp   TOt   QI   OF  MVt   MVz   MVh   Ytm   Ya              
251
					    , "Bad use of adjective"    ,
252
 MX#a  ,  TO   TOf   TH   MVp   TOt   QI   OF  MVt   MVz   MVh   Ytm   Ya   
253
			                    , "Bad use of adjective"    ,
254
 Ixd   ,  ZZ                                , "Can't use 'do' with that verb" ,
255
 Oxn   ,  ZZ                                , "Bad use of pronoun" ,
256
 MVh   ,  EExk   EAxk   D##k                , "Incorrect use of that"    ,
257
 B#m  ,   D##w   H   HA                     , "Bad use of gerund"   
258

    
259
CONTAINS_NONE_RULES:
260
 S     ,  Spxi                  	    , "Bad n-v agreement" ,
261
 SI     , SIpxi                		    , "Bad n-v agreement" ,
262
 Ws    ,  B#m   Ca   BT      		    , "Question inversion violated" ,
263
 SF    ,  I*   PP*   TO*   Pa*   Pam  Pg*   Pv*   LE*   AFd*  MVta         
264
					    , "Bad use of 'filler' subject" ,
265
 SFI   ,  I*   PP*   TO*   Pa*   Pam  Pg*   Pv*   LE*   AFd*  MVta        
266
					    , "Bad use of 'filler' subject" ,
267
 OX    ,  I*   PP*   TO*   Pa*   Pam  Pg*   Pv*   LE*   AFd*  MVta        
268
					    , "Bad use of 'filler' subject" ,
269
 MXsr  ,  Sp#w 				    , "Bad n-v agreement" ,
270
 MXpr  ,  Ss#w   S#iw			    , "Bad n-v agreement" ,
271
 Mr    ,  B#*				    , "Bad use of 'whose'"
272

    
273

    
274
; the following rule asserts that all specified domains must have the
275
; property that all of the words that touch a link in the domain are
276
; not to the left of the root word of the domain. These rules are
277
; different from the above in that the first field is a *domain name*,
278
; rather than a set of links.
279

    
280
BOUNDED_RULES:
281
 s                               , "Unbounded s domain" ,
282
 r                               , "Unbounded r domain"