home *** CD-ROM | disk | FTP | other *** search
- ; 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.
-
- 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 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" ,
- 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
- 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
- , "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)
- ; 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"
-