; Post-processing knowledge file
; 6/96
; ----------------------------------------------------------------------------
; This file contains the knowledge related to post-processing, in the
; form of lists and rules. This file is read by post-process.c at run-time.
; Syntax of file:
; line starting with ";" is a comment
; commas are field delimiters
; any token beginning with the character @ is expanded to the set
; of symbols it defined. e.g. one could write
; FOO: blah1 blah2 blah3
; thus defining a set FOO containing three strings. Then one could later write
; BAR: blah5 @FOO blah8
; which defines a set BAR containing 5 strings.
;
; Capitalized tokens are *required*, though if you feel like providing an
; empty list afterwards, that's your right.
; ----------------------------------------------------------------------------
; The following links start a domain. Each must be given a name in the
; table below (STARTING_LINK_TYPE_TABLE)
DOMAIN_STARTER_LINKS:
W Ce Cs Ca Cc Ci R* Rn Re RSe Mr QI#d Mv* Jr Mj Qd
TOn TOi Mg* MVi Ss#d Bsd ER Z Ma#* SIs#g BIqx MX#p MX#a
MX#r MX#j MV#o MV#p Eq COq CCq AFd PFc
; ----------------------------------------------------------------------
; The following links start a urfl domain. They are also included in the
; domain, as opposed to regular starter links (above), which are not. A
; urfl domain includes links accessible from the root word, tracing to
; the right (as well as everything accessible from the left end of the
; starter link).
URFL_DOMAIN_STARTER_LINKS: TOo I#j Pa##j CP
; ----------------------------------------------------------------------
; The following start a urfl_only domain. These include _only_ links :
; reachable from the root word, tracing to the right. They aren't
; included in the domain
URFL_ONLY_DOMAIN_STARTER_LINKS: SFsx Ss#g COp
; ----------------------------------------------------------------------
; Links which start a domain and are also part of the domain. This must be
; a sublist of the domain_starter_list
DOMAIN_CONTAINS_LINKS:
Mg* Mx Bsd MX#a Ma#* Mv* MX#r Ss#d Ws Wq Qd Mj Wj
Wi MX#j AFd PFc Jr Wd Mr
; ----------------------------------------------------------------------
; These links are not put in the word/link graph. They also cannot be the
; starter links for a domain. (These links may also only be used in cycles.)
IGNORE_THESE_LINKS: Xca
; ----------------------------------------------------------------------
; These links may only be used in cycles.
MUST_FORM_A_CYCLE_LINKS: R#* TOt EXx HA SFsic Jr JQ Xca
; ----------------------------------------------------------------------
; These links are not traced further if they point back before the root word.
; The creation of Rw necessitated making B#m a restricted link, to
; prevent the (e) domain, started by Ce, from extending around through
; the Rw link.
; Reverted.
; This breaks parsing of
; How fast a program does he think it is
; I wonder how fast a program he thinks it is
; I wonder how much money you earned
; I wonder how many people you saw
; I wonder how big a department it is
; I wonder how much oil they spilled
; This is the man whose dog I bought
; I wonder which dog he said you chased
; How efficient a program is it
; Meanwhile, I can't find the Ce problem mentioned ... this needs more
; documentation!
RESTRICTED_LINKS:
B#* D##w B#w B#d AFh MVt Xx HL SFsic AFd Bc CX EAh
H HA PFc B#j Wd PF Z
; H HA PFc B#j Wd PF Z B#m
; ----------------------------------------------------------------------
; ---------------------- LINK TYPE TABLE-------------------------------
; ----------------------------------------------------------------------
; The following table associates a domain type with each possible
; starting link. It contains pairs: the first of each pair is a link
; type, and the second is the domain to which that link type belongs.
STARTING_LINK_TYPE_TABLE:
Ce e
R* r
Rn r
Re r
W m
RSe e
Cs s
Ca s
Jr e
Mr r
Cc s
Mv* e
QI#d s
BIqx s
TOn e
TOi e
MVi e
MV#o s
MV#p s
AFd s
PFc s
Mg* e
Mj j
Qd m
MX#j j
TOo x
I#j x
Pa##j x
CP x
COp d
SFsx d
Ss#g d
SIs#g s
Ss#d s
Bsd s
ER s
Z s
Ma#* e
MX#p e
Ci e
MX#a e
Eq e
COq e
CCq s
MX#r r
; ----------------------------------------------------------------------
; ----------------------- LINK SETS ------------------------------------
; ----------------------------------------------------------------------
; (Not in use at present; see comment at beginning of file)
; ----------------------------------------------------------------------
; ----------------- RULES ----------------------------------------------
; ----------------------------------------------------------------------
; Explanation of syntax: as usual, each stanza begins with a label
; terminated by a colon. The interpretation of the rule depends on
; the label, as specified in each stanza.
; The following rule asserts that the linkage must *still* be connected
; when the specified set(s) of links are removed from the linkage.
FORM_A_CYCLE_RULES:
@MUST_FORM_A_CYCLE_LINKS , "'must form a cycle' violation0"
; For the following rules, if a domain contains a link matching the 1st
; column, it must also contain a linkage matching one of the members of the
; set in the 2nd column. The individual rules are demarcated by semicolons and
; the fields within a rule are demarcated by commas.
CONTAINS_ONE_RULES:
SI#* , Wq Qd CQ PFc , "Bad use of s-v inversion1" ,
SI#x , Wq Qd CQ PFc , "Bad use of s-v inversion2" ,
SFI##* , Wq Qd CQ PFc , "Bad use of s-v inversion3",
SXI , Wq Qd CQ PFc , "Bad use of s-v inversion4" ,
Ws , D##w S##w H , "S-V inversion required5",
I#a , B#m B#w , "incorrect use of 'to'6" ,
Wq , SI SFI SXI , "S-V inversion required7" ,
Qd , SI SFI SXI , "S-V inversion required8" ,
PFc , SI SFI SXI , "S-V inversion required9" ,
Mj , Jw JQ , "Incorrect relative10" ,
MX#j , Jw JQ , "Incorrect relative11" ,
Wj , Jw JQ , "Misuse of preposition12" ,
JQ , Mj Wj MX#j , "Misuse of preposition13" ,
Jw , Mj Wj MX#j , "Misuse of preposition14" ,
B#j , Jr , "Incorrect relative15" ,
Jr , B#j , "Incorrect relative16" ,
EAh , AF Bsm B*m Qe Ca AFm
, "Incorrect use of 'how'17" ,
EEh , AF Bsm B*m Qe Ca AFm
, "Incorrect use of 'how'18" ,
Qe , EEh , "Incorrect use of adverb19" ,
THi , SFsi SFIsi OXi , "Complement requires 'it'20" ,
TSi , SFsi SFIsi OXi , "Complement requires 'it'21" ,
QIi , SFsi SFIsi OXi , "Complement requires 'it'22" ,
TOi , SFsi SFIsi OXi , "Complement requires 'it'23" ,
Ci , SFsi SFIsi OXi , "Complement requires 'it'24" ,
COqi , SFsi SFIsi OXi , "Complement requires 'it'25" ,
CPi , SFsi SFIsi OXi , "Complement requires 'it'26" ,
Eqi , SFsi SFIsi OXi , "Complement requires 'it'27" ,
LEi , SFsi SFIsi OXi , "Complement requires 'it'28" ,
MVti , SFsi SFIsi OXi , "Complement requires 'it'29" ,
AFdi , SFsi SFIsi OXi , "Complement requires 'it'30" ,
O#i , SFsi SFIsi OXi , "Complement requires 'it'31" ,
SFst , O*t Ost Omt Bs#t B*#t Bc#t , "Bad use of 'there'32" ,
SFIst , O*t Ost Omt Bs#t B*#t Bc#t , "Bad use of 'there'33" ,
SFp , Opt Omt O*t Bp#t B*#t Bc#t , "Bad use of 'there'34" ,
;
; This SFu rule forces subject-object agreement for uncountable noun objects
SFu , Out Omt O*t Bp#t B*#t Bc#t , "Bad use of 'there'34a" ,
SFIp , Opt Omt O*t Bp#t B*#t Bc#t , "Bad use of 'there'35" ,
OXt , O#t B##t , "Bad use of 'there'36" ,
SFsi* , TOi THi QIi TSi O#i Ci THb CPi
COqi CPi Eqi AFdi BIh , "Bad use of 'it'37" ,
SFIsi , TOi THi QIi TSi O#i Ci THb CPi
COqi CPi Eqi AFdi BIh , "Bad use of 'it'38" ,
OXi , TOi THi QIi TSi O#i Ci THb CPi
COqi CPi Eqi AFdi BIh , "Bad use of 'it'39" ,
THb , S##t SI##t SFsi SFIsi , "Bad use of predicate40" ,
BIh , Ss#b SIs#b SFsi SFIsi , "Bad use of predicate41" ,
BIq , S##q SI##q SFsi Ss#b SFIsi SIs#b
, "Bad use of predicate42" ,
MVt , Dm#m EAm EEm MVm Pam Pafm AFm EB#m MVb AJrc
Om Mam Am Jm Ds*m MX#m , "Bad comparative43" ,
MVz , D##y EAy EEy MVy EB#y , "Bad comparative44" ,
MV#a , Pam Pafm EAm Ds*m EAy AFm Mam Am
, "Bad comparative45" ,
MV#i , Pam Pafm EAm Ds*m EAy AFm Mam Am
, "Bad comparative46" ,
MV#o , D##m D##y Om Oy Jm Jy Am MX#m
, "Bad comparative47" ,
MV#p , EEm MVb Dm#m EEy D##y MVm Om Oy
Jm Jy Am MX#m
, "Bad comparative48" ,
Pafc , EB#m EB#y , "Bad comparative49" ,
Pafc , Pa* Paf* , "Bad comparative50" ,
MVat , MVm , "Bad comparative51" ,
MVpt , MVm , "Bad comparative52" ,
MVat , MVa MVp , "Bad comparative53" ,
MVpt , MVa MVp , "Bad comparative54" ,
U#t , D##m D##y Om Oy Jm Jy Am MX#m
, "Bad comparative55" ,
Cc , EEm EEy MVm MVb MVy
, "Bad comparative56" ,
Sp#c , Dmcm Dmcy Om Oy Jm Jy MX#m
, "Bad comparative57" ,
Ss#c , Dmum Dmuy Om Oy Jm Jy Ds*y MX#m
, "Bad comparative58" ,
S##c , Dm#m D##y Om Oy Jm Jy MX#m
, "Bad comparative59" ,
THc , TH , "Bad comparative60" ,
TOc , TO** TOf* TOi* , "Bad comparative61" ,
TOtc , TOt , "Bad comparative62" ,
Ma** , TO TOf TH MVp TOt QI OF MVt MVz MVh Ytm Ya
, "Bad use of adjective63" ,
Mam , TO TOf TH MVp TOt QI OF MVt MVz MVh Ytm Ya
, "Bad use of adjective64" ,
MX#a , TO TOf TH MVp TOt QI OF MVt MVz MVh Ytm Ya MJ
, "Bad use of adjective65" ,
; There's no ZZZ connector, which means that Ixd and Oxn
; are prohibited from ever occuring. 4.0.batch covers this.
Ixd , ZZZ , "Can't use 'do' with that verb" ,
Oxn , ZZZ , "Bad use of pronoun66" ,
MVh , EExk EAxk D##k , "Incorrect use of that67" ,
; The Rw link necessitated commenting out 68, because we had to make B#m
; a restricted link(see above) xxx reverted .. this is needed ...
;
B#m , D##w H HA , "Bad use of gerund68"
CONTAINS_NONE_RULES:
S , Spxi , "Bad n-v agreement69" ,
SI , SIpxi , "Bad n-v agreement70" ,
Ws , B#m Ca BT , "Question inversion violated71" ,
SF , I* PP* TO* Pa* Pam Pg* Pv* LE* AFd* MVta
, "Bad use of 'filler' subject72" ,
SFI , I* PP* TO* Pa* Pam Pg* Pv* LE* AFd* MVta
, "Bad use of 'filler' subject73" ,
OX , I* PP* TO* Pa* Pam Pg* Pv* LE* AFd* MVta
, "Bad use of 'filler' subject74" ,
MXsr , Sp#w , "Bad n-v agreement75" ,
MXpr , Ss#w S#iw , "Bad n-v agreement76" ,
Mr , B#* , "Bad use of 'whose'77"
; ----------------------------------------------------------------------
; The following rule asserts that all specified domains must have the
; property that all of the words that touch a link in the domain are
; not to the left of the root word of the domain. These rules are
; different from the above in that the first field is a *domain name*,
; rather than a set of links.
BOUNDED_RULES:
s , "Unbounded s domain78" ,
r , "Unbounded r domain79"