Written by Sigrid Erb, Konstanz, modified by MB TOY ENGLISH CONFIG (1.0) ROOTCAT S. FILES . LEXENTRIES (TOY ENGLISH). RULES (TOY ENGLISH). TEMPLATES (TOY ENGLISH). GOVERNABLERELATIONS SUBJ OBJ OBJ2 OBJ-TH OBL OBL-?+ COMP XCOMP. SEMANTICFUNCTIONS ADJUNCT TOPIC. NONDISTRIBUTIVES NUM PERS COORD-FORM COORD-TYPE. EPSILON e. OPTIMALITYORDER NOGOOD +PP-by PP-vp. "+ = Praeferenzconstraint" ---- TOY ENGLISH RULES (1.0) CP --> (C: ^=!) S: ^=!. S --> e: (^ TENSE); NP: (^ SUBJ)=! (! CASE)=NOM; { VPAUX: ^=! |VP: ^=! } (PERIOD). VP -->{{ V: ^=!| @(SCCOORD V)} ({NP: (^ OBJ)=! (! CASE)= ACC |NP: (^ OBJ) =! (! CASE)= ACC; NP: (^ OBJ-TH)=! (! CASE)= DAT |NP: (^ OBJ-TH)= ! "Fuer: the dog was given a bone" (!CASE) = DAT}) PP*: { ! $ (^ ADJUNCT) (! PTYPE) = SEM PP-vp $ o::* "disprefer vp adjunction" | (^ OBL-AG) = ! (! PCASE) =c BY PP-by $ o::* "prefer oblique by phrases" | (^ OBL)= ! } |@(SCCOORD VP)} (CP:(^ COMP) =!) (VPINF: (^ XCOMP) =!). VPINF --> PARTINF: ^=!; VP: ^=!. VPAUX --> AUX {VP|VPAUX}. NP --> {(D) N PP*:! $ (^ ADJUNCT) (! PTYPE) = SEM "PP-local $ o::*" |@(NPCOORD NP)}. PP --> P NP: { (^ OBJ)=! "semantische PPs: er wartet auf der Bank" (! CASE)= ACC (^ PTYPE) = SEM | ^=!}. "nicht-sem PPs: er wartet auf das Buch" SCCOORD(_CAT) = "same category coordination; not used for NPs" _CAT: ! $ ^ "first conjunct" ; [COMMA "conjuncts with commas" _CAT: ! $ ^ ]* (COMMA) "optional comma" CONJ "conjunction itself" _CAT: ! $ ^ "last conjunct". "NP coordination:" NPCOORD(_CAT) = "NP coordination" _CAT: @NPCONJUNCT "first conjunct" ; [COMMA "extra conjuncts with commas" _CAT: @NPCONJUNCT ]* (COMMA) "optional comma" CONJ "conjunction itself" _CAT: @NPCONJUNCT. "last conjunct" ---- TOY ENGLISH TEMPLATES (1.0) NPCONJUNCT = ! $ ^ "(! COORD-FORM) ~= null " { (^ COORD-FORM) ~= (! COORD-FORM) |(^ COORD-FORM) =c (! COORD-FORM) (^ COORD-LEVEL) ~= (! COORD-LEVEL)} { (! PERS)=c 1 "wenn ein conjunct 1.Pers ist," (^ PERS)=1 "ist die ganze NP 1.Pers" |(! PERS) =c 2 "wenn ein conjunct 2.Pers ist" {(^ PERS) =c 1 "ist die ganze NP 2.Pers" |(^ PERS) =2} "ausser eine 1. Pers ist vorhanden" |(! PERS) =c 3 {(^ PERS) =c 1 |(^ PERS) =c 2 |(^ PERS)=3}} (^ CASE) =(! CASE). "match case" N-SG(P) = (^ PRED) = 'P' (^ NUM) = SG (^ DEF) (^ PERS) = 3 (^ NTYPE) = COUNT. N-PL(P) = (^ PRED) = 'P' (^ NUM) = PL (^ PERS) = 3 (^ NTYPE) = COUNT. NMASS (P) = (^ PRED) = 'P' (^ PERS) = 3 (^ NUM) = SG "?" (^ NTYPE) = MASS. NPROP (P) = (^ PRED) = 'P' (^ PERS) = 3 (^ NUM) = SG (^ NTYPE) = PROPER. V3SG = (^SUBJ NUM) = SG (^SUBJ PERS) = 3 (^TENSE) = PRESENT. "3.Pers, Sg.Praes." NONV3SG = {(^ SUBJ NUM) = PL (^ TENSE) = PRESENT |(^ SUBJ NUM) = SG (^ SUBJ PERS)~= 3 (^ TENSE) = PRESENT |(^ VFORM)= inf (^ INF-TYPE)=c TO}. "1.-3. Pers Pl Praes, 1. und 2. SG Praes und Inf" VPAST = (^ TENSE) = PAST. OPTTRANS(P) = { @(INTRANS P) |@(TRANS P)}. INTRANS(P) = (^ PRED) = 'P<(^SUBJ)>'. TRANS(P) = @(PASS (^ PRED) = 'P< (^ SUBJ) (^ OBJ)>'). DITRANS(P) = @(DAT-SHIFT (^ PRED) = 'P<(^ SUBJ) (^ OBJ) (^ OBL)>'). PRSEM(P) = (^ PRED)= 'P<(^ OBJ)>' "Sem. Prep., P verlangt Obj, Adjunct PP" (^ PTYPE)= SEM (^ OBJ CASE)= ACC. PRNOSEM(P)= (^ PCASE) = P "Nonsem. P, Object of Verb, P assigns Argument" (^ PTYPE)= NOSEM. "Lexical rules" PASS(SCHEMATA)= {SCHEMATA |SCHEMATA (^ PARTICIPLE)=c PAST (^ OBJ)-->(^ SUBJ) { (^ SUBJ)-->(^ OBL-AG) |(^ SUBJ)-->NULL}}. DAT-SHIFT(SCHEMATA) = { SCHEMATA (^ OBL PCASE) =c TO |SCHEMATA (^ OBJ) --> (^ OBJ-TH) (^ OBL) --> (^ OBJ)}. ---- TOY ENGLISH LEXICON (1.0) "Verbs" walk V * @(INTRANS WALK) N * @(N-SG WALK). walks V * (^ PRED)='WALK<(^ SUBJ)>' (^ SUBJ NUM)= SG. kick V * @(OPTTRANS KICK) @NONV3SG. kicks V * @(OPTTRANS KICK) @V3SG. devour V * @(TRANS DEVOUR) @NONV3SG. devours V * @(TRANS DEVOUR) @V3SG. give V * @(DITRANS GIVE) @NONV3SG. gives V * @(DITRANS GIVE) @V3SG. gave V * @(DITRANS GIVE) @VPAST. given V * @(DITRANS GIVE) (^ VFORM) = PARTICIPLE (^ PASSIVE) =+ (^ PARTICIPLE) = PAST. sleep V * @(INTRANS SLEEP) @NONV3SG. sleeps V * @(INTRANS SLEEPS) @V3SG. puts V * @(DITRANS PUT) @V3SG."geht nicht mehr wg Ditrans- Regel, die ON nicht erlaubt" put V * @(DITRANS PUT) @NONV3SG. thinks V * {(^ PRED) = 'THINK<(^ SUBJ) (^ OBJ-TH)>' | (^ PRED) = 'THINK<(^ SUBJ) (^ COMP)>'} @V3SG. thought V * {(^ PRED) = 'THINK<(^ SUBJ) (^ OBJ-TH)>' | (^ PRED) = 'THINK<(^ SUBJ) (^ COMP)>'} @VPAST. barked V * @(INTRANS BARK) @VPAST. bark V * @(INTRANS BARK) @NONV3SG. barks V * @(INTRANS BARK) @V3SG. leave V * @(OPTTRANS LEAVE) @NONV3SG. wants V * { (^ PRED) = 'WANT<(^SUBJ) (^ XCOMP)>' (^ XCOMP SUBJ) = (^ SUBJ) |(^ PRED) = 'WANT<(^ SUBJ) (^ OBJ) (^ XCOMP)>' (^ XCOMP SUBJ) = (^ OBJ)} @V3SG. wanted V * { (^ PRED) = 'WANT<(^SUBJ) (^ XCOMP)>' (^ XCOMP SUBJ) = (^ SUBJ) |(^ PRED) = 'WANT<(^ SUBJ) (^ OBJ) (^ XCOMP)>' (^ XCOMP SUBJ) = (^ OBJ)} @VPAST. persuade V * (^ PRED) = 'PERSUADE<(^ SUBJ) (^ OBJ) (^ XCOMP)>' (^ XCOMP SUBJ) = (^ OBJ) {@NONV3SG |(^ VFORM) = inf (^ INF-TYPE) =c TO}. persuaded V * (^ PRED) = 'PERSUADE<(^ SUBJ) (^ OBJ) (^ XCOMP)>' (^ XCOMP SUBJ) = (^ OBJ) @VPAST. promise V * {(^PRED) = 'PROMISE<(^ SUBJ) (^ OBJ) (^ XCOMP)>' |(^ PRED) = 'PROMISE<(^ SUBJ)(^ XCOMP)>'} (^ XCOMP SUBJ) = (^ SUBJ) {@NONV3SG |(^ VFORM) = inf (^ INF-TYPE) =c TO}. promised V * {(^PRED) = 'PROMISE<(^ SUBJ) (^ OBJ) (^ XCOMP)>' |(^ PRED) = 'PROMISE<(^ SUBJ)(^ XCOMP)>'} (^ XCOMP SUBJ) = (^ SUBJ) @VPAST. like V * @(TRANS LIKE) @NONV3SG. liked V * @(TRANS LIKE) @VPAST. hit V * @(TRANS HIT) { (^ VFORM) = PARTICIPLE (^ PASSIVE) =+ (^ PARTICIPLE) = PAST | @VPAST}. killed V * @(TRANS KILL) { (^ VFORM) = PARTICIPLE (^ PASSIVE) =+ (^ PARTICIPLE) = PAST | @VPAST}. eat V * @(TRANS EAT) @NONV3SG. eats V * @(OPTTRANS EAT) @V3SG. ate V * @(OPTTRANS EAT) @VPAST. laugh V * @(INTRANS LAUGH) @NONV3SG. laughs V * @(INTRANS LAUGH) @V3SG. laughed V * @(INTRANS LAUGH) @VPAST. burped V * @(INTRANS BURP) @VPAST. bought V * @(TRANS BUY) @VPAST. sold V * @(TRANS SELL) @VPAST. "Auxiliaries" was AUX * (^ VFORM) =c PARTICIPLE (^ PASSIVE) =+ @VPAST. "Nouns" girl N * @(N-SG GIRL). girls N * @(N-PL GIRL). bone N * @(N-SG BONE). boy N * @(N-SG BOY). boys N * @(N-PL BOY). cage N * @(N-SG CAGE). computer N * @(N-SG COMPUTER). banana N * @(N-SG BANANA). park N * @(N-SG PARK). table N * @(N-SG TABLE). tiger N * @(N-SG TIGER). tigers N * @(N-PL TIGER). sheep N * (^ PRED) = 'SHEEP' {(^ NUM) = SG | (^ NUM)= PL} (^ PERS)= 3. zoo N * @(N-SG ZOO). dog N * @(N-SG DOG). beans N * @(N-PL BEAN). Beans N * @(N-PL BEAN). Cake N * @(NMASS CAKE). cake N * @(NMASS CAKE). cakes N * @(N-PL CAKE). apple N * @(N-SG APPLE). "Pronouns" him N * (^ PRED) = 'HIM' (^ NUM) = SG (^ PERS) = 3. (! CASE) = DAT. He N * (^ PRED) = 'HE' (^ NUM) = SG (^ PERS) = 3 (! CASE) = NOM. he N * (^ PRED) = 'HE' (^ NUM) = SG (^ PERS) = 3 (! CASE) = NOM. I N * (^ PRED) = 'I' (^ NUM) = SG (^ PERS) = 1 (! CASE) = NOM. You N * (^ PRED) = 'YOU' { (^ NUM) = SG (^ PERS) = 2| (^ NUM) = PL (^ PERS) = 2} (! CASE) = NOM. "Proper names" Hans N * @(NPROP HANS). Bill N * @(NPROP BILL). John N * @(NPROP JOHN). Mary N * @(NPROP MARY). Kim N * @(NPROP KIM). Sandy N * @(NPROP SANDY). "Articles" a D * (^ DEF) =-. an D * (^ DEF) =-. the D * (^ DEF) =+. The D * (^ DEF) =+. "Prepositions" in P * @(PRSEM IN). on P * @(PRSEM ON). to P * @(PRNOSEM TO) (^ CASE) = DAT; PARTINF * (^ INF-TYPE) = TO (^ VFORM) =c inf. by P * { @(PRSEM BY) | @(PRNOSEM BY)} . "Complementizer" that C * (^ COMP-FORM) = that. "Conjunctions" and CONJ * (^ COORD-FORM) = and (^ COORD-TYPE) = CONJ (^ NUM) = PL. or CONJ * (^ COORD-FORM) = or (^ COORD-TYPE) = DISJUNCT (^ NUM) = PL. "Punctuations" , COMMA * . . PERIOD * . ----