Stabler - Lx 185/209 2003 10.2.1 Subject-auxiliary inversi<strong>on</strong> in English Introducti<strong>on</strong>s to transformati<strong>on</strong>al syntax like Koopman, Sportiche, and Stabler (2002) and (Fromkin, 2000, §5) <strong>of</strong>ten present a simplified account <strong>of</strong> English auxiliaries and questi<strong>on</strong> formati<strong>on</strong> that can now be be presented with a lexic<strong>on</strong> like the following (writing sh::Fs for each (ss,sh,sc::Fs)∈ Lex, sincess and sc are always empty in the lexic<strong>on</strong>): 45 ɛ:: =T C ɛ:: =>T C ɛ:: =>T +wh C -s:: =>Modal +k T -s::=>Have +k T -s::=>Be +k T -s::=v +k T will:: =Have Modal will:: =Be Modal will:: =v Modal have:: =Been Have have:: =ven Have be:: =ving Be been:: =ving Been ɛ:: =>V =D v -en:: =>V =D ven -ing:: =>V =D ving eat:: =D +k V laugh:: V the:: =N D-k which::=N D -k -wh king:: N pie:: N With this grammar we have derivati<strong>on</strong>s like the following CP C’ C TP DP(0) D the D’ NumP Have Num’ Num NP N’ N king have T T -s T’ Have t HaveP Have’ DP t(0) venP V eat ven ven’ ven -en VP V’ V t ([],[],the king have -s eat -en):C []::=T C (the king,have -s,eat -en):T ([],have -s,eat -en):+k T,([],the,king):-k -s::=>Have +k T ([],have,eat -en):Have,([],the,king):-k have::=ven Have ([],eat -en,[]):ven,([],the,king):-k ([],eat -en,[]):=D ven -en::=>V =D ven eat::V ([],the,king):D -k the::=Num D -k ([],[],king):Num []::=N Num king::N CP C’ C TP DP(0) T’ D’ T BeP ([],[],the king be -s eat -ing):C D NumP Be T Be’ []::=T C (the king,be -s,eat -ing):T the Num’ be -s Be vingP ([],be -s,eat -ing):+k T,([],the,king):-k Num NP t DP ving’ -s::=>Be +k T ([],be,eat -ing):Be,([],the,king):-k N’ t(0) ving VP be::=ving Be ([],eat -ing,[]):ving,([],the,king):-k N V ving V’ ([],eat -ing,[]):=D ving ([],the,king):D -k king eat -ing V -ing::=>V =D ving eat::V the::=Num D -k ([],[],king):Num t []::=N Num king::N 45 I follow the linguistic c<strong>on</strong>venti<strong>on</strong> <strong>of</strong> punctuating a string like -s to indicate that it is an affix. This dash that occurs next to a string should not be c<strong>on</strong>fused with the dash that occurs next to syntactic features like -wh. 203
Stabler - Lx 185/209 2003 D which which pie,have -s,the king been eat -ing: C DP(0) ɛ,have -s,the king been eat -ing: +wh C, which pie: -wh D’ NumP Num’ Num NP N’ N pie CP Have have ɛ, ɛ, ɛ:: =>T +wh C the king,have -s,been eat -ing: T, which pie: -wh ɛ,have -s,been eat -ing: +k T, the king: -k, which pie: -wh T T -s C C C’ DP(1) D the D’ TP NumP Num’ Num NP N’ N king T t T’ Have t Been been HaveP Have’ ɛ,-s,ɛ:: =>Have +k T ɛ,have,been eat -ing: Have, the king: -k, which pie: -wh CP C’ C TP DP(1) D the D’ NumP t Num’ Num NP N’ N king T T’ DP t(1) V eat v v vP v T -s BeenP Been’ DP t(1) V eat vingP ving ving -ing ving’ DP(0) ɛ,have,ɛ:: =Been Have ɛ,been,eat -ing: Been, the king: -k, which pie: -wh v’ DP(0) D the D’ VP NumP t Num’ Num NP N’ N pie V V’ DP t(0) ɛ,been,ɛ:: =ving Been ɛ,eat -ing,ɛ: ving, the king: -k, which pie: -wh ɛ,eat -ing,ɛ: =D ving, which pie: -wh t(0) ɛ,-ing,ɛ:: =>V =D ving ɛ,eat,ɛ: V,whichpie:-wh ([],[],the king eat -s the pie):C []::=T C (the king,[],eat -s the pie):T ([],[],eat -s the pie):+k T,([],the,king):-k VP V t V’ ɛ,eat,ɛ: +k V, which pie: -k -wh DP t(0) ɛ,eat,ɛ:: =D +k V ɛ,which,pie: D -k -wh -s::v==> +k T ([],eat,the pie):v,([],the,king):-k ([],eat,the pie):=D v []::=>V =D v (the pie,eat,[]):V ([],eat,[]):+k V,([],the,pie):-k eat::=D +k V ([],the,pie):D -k ɛ,which,ɛ:: =N D -k -wh ɛ,pie,ɛ:: N the::=Num D -k ([],[],pie):Num The behavior <strong>of</strong> this grammar is English-like <strong>on</strong> a range <strong>of</strong> c<strong>on</strong>structi<strong>on</strong>s: (8) will -s the king laugh (9) the king be -s laugh -ing (10) which king have -s eat -en the pie (11) the king will -s have been eat -ing the pie We also derive 204 []::=N Num pie::N ([],the,king):D -k the::=Num D -k ([],[],king):Num ɛ,the,king: D -k ɛ,the,ɛ:: =N D -k ɛ,king,ɛ:: N []::=N Num king::N
- Page 1 and 2:
Notes on computati
- Page 3 and 4:
Stabler - Lx 185/209 2003 Linguisti
- Page 5 and 6:
Stabler - Lx 185/209 2003 1 Setting
- Page 7 and 8:
Stabler - Lx 185/209 2003 1.2 Propo
- Page 9 and 10:
Stabler - Lx 185/209 2003 (8) Pitfa
- Page 11 and 12:
Stabler - Lx 185/209 2003 In fact,
- Page 13 and 14:
Stabler - Lx 185/209 2003 10. Call
- Page 15 and 16:
Stabler - Lx 185/209 2003 compute s
- Page 17 and 18:
Stabler - Lx 185/209 2003 (11) Pred
- Page 19 and 20:
Stabler - Lx 185/209 2003 1.6 The l
- Page 21 and 22:
Stabler - Lx 185/209 2003 L0 and L1
- Page 23 and 24:
Stabler - Lx 185/209 2003 Exercises
- Page 25 and 26:
Stabler - Lx 185/209 2003 3 more ex
- Page 27 and 28:
Stabler - Lx 185/209 2003 2 Recogni
- Page 29 and 30:
Stabler - Lx 185/209 2003 (8) Then
- Page 31 and 32:
Stabler - Lx 185/209 2003 (13) The
- Page 33 and 34:
Stabler - Lx 185/209 2003 Exercises
- Page 35 and 36:
Stabler - Lx 185/209 2003 Problem (
- Page 37 and 38:
Stabler - Lx 185/209 2003 1 ?- [col
- Page 39 and 40:
Stabler - Lx 185/209 2003 lex(’th
- Page 41 and 42:
Stabler - Lx 185/209 2003 2 ?- ([
- Page 43 and 44:
Stabler - Lx 185/209 2003 (3) Dalry
- Page 45 and 46:
Stabler - Lx 185/209 2003 3.3 Recog
- Page 47 and 48:
Stabler - Lx 185/209 2003 (22) Supp
- Page 49 and 50:
Stabler - Lx 185/209 2003 (27) With
- Page 51 and 52:
Stabler - Lx 185/209 2003 (31) tcl/
- Page 53 and 54:
Stabler - Lx 185/209 2003 A c-comma
- Page 55 and 56:
Stabler - Lx 185/209 2003 (46) Does
- Page 57 and 58:
Stabler - Lx 185/209 2003 m. The id
- Page 59 and 60:
Stabler - Lx 185/209 2003 4 Brief d
- Page 61 and 62:
Stabler - Lx 185/209 2003 (50) Nem
- Page 63 and 64:
Stabler - Lx 185/209 2003 5 Trees,
- Page 65 and 66:
Stabler - Lx 185/209 2003 children(
- Page 67 and 68:
Stabler - Lx 185/209 2003 5.3 Movem
- Page 69 and 70:
Stabler - Lx 185/209 2003 a. d e c
- Page 71 and 72:
Stabler - Lx 185/209 2003 children(
- Page 73 and 74:
Stabler - Lx 185/209 2003 adjoin_no
- Page 75 and 76:
Stabler - Lx 185/209 2003 (37) With
- Page 77 and 78:
Stabler - Lx 185/209 2003 Mates’
- Page 79 and 80:
Stabler - Lx 185/209 2003 81. ((A
- Page 81 and 82:
Stabler - Lx 185/209 2003 6.2 LR pa
- Page 83 and 84:
Stabler - Lx 185/209 2003 6.3 LC pa
- Page 85 and 86:
Stabler - Lx 185/209 2003 (20) Like
- Page 87 and 88:
Stabler - Lx 185/209 2003 6.4 All t
- Page 89 and 90:
Stabler - Lx 185/209 2003 (26) GLC
- Page 91 and 92:
Stabler - Lx 185/209 2003 (33) GLC
- Page 93 and 94:
Stabler - Lx 185/209 2003 The secon
- Page 95 and 96:
Stabler - Lx 185/209 2003 6.5.2 Bot
- Page 97 and 98:
Stabler - Lx 185/209 2003 6.6 Asses
- Page 99 and 100:
Stabler - Lx 185/209 2003 (56) Stru
- Page 101 and 102:
Stabler - Lx 185/209 2003 6.6.4 A d
- Page 103 and 104:
Stabler - Lx 185/209 2003 1. Downlo
- Page 105 and 106:
Stabler - Lx 185/209 2003 It is ess
- Page 107 and 108:
Stabler - Lx 185/209 2003 inference
- Page 109 and 110:
Stabler - Lx 185/209 2003 1 (’SBA
- Page 111 and 112:
Stabler - Lx 185/209 2003 7.2 Tree
- Page 113 and 114:
Stabler - Lx 185/209 2003 (14) With
- Page 115 and 116:
Stabler - Lx 185/209 2003 /* earley
- Page 117 and 118:
Stabler - Lx 185/209 2003 8 Stochas
- Page 119 and 120:
Stabler - Lx 185/209 2003 8.1.1 Cor
- Page 121 and 122:
Stabler - Lx 185/209 2003 to punctu
- Page 123 and 124:
Stabler - Lx 185/209 2003 jane aust
- Page 125 and 126:
Stabler - Lx 185/209 2003 where usu
- Page 127 and 128:
Stabler - Lx 185/209 2003 0.1 0.09
- Page 129 and 130:
Stabler - Lx 185/209 2003 We get al
- Page 131 and 132:
Stabler - Lx 185/209 2003 Word leng
- Page 133 and 134:
Stabler - Lx 185/209 2003 8.1.4 Pro
- Page 135 and 136:
Stabler - Lx 185/209 2003 8.1.5 Ran
- Page 137 and 138:
Stabler - Lx 185/209 2003 Matrix ar
- Page 139 and 140:
Stabler - Lx 185/209 2003 (65) To a
- Page 141 and 142:
Stabler - Lx 185/209 2003 octave:18
- Page 143 and 144:
Stabler - Lx 185/209 2003 added pro
- Page 145 and 146:
Stabler - Lx 185/209 2003 P(q1 ...q
- Page 147 and 148:
Stabler - Lx 185/209 2003 c. Finall
- Page 149 and 150:
Stabler - Lx 185/209 2003 This is p
- Page 151 and 152:
Stabler - Lx 185/209 2003 (100) Abn
- Page 153 and 154: Stabler - Lx 185/209 2003 3. If des
- Page 155 and 156: Stabler - Lx 185/209 2003 It will b
- Page 157 and 158: Stabler - Lx 185/209 2003 Entropy (
- Page 159 and 160: Stabler - Lx 185/209 2003 One indir
- Page 161 and 162: Stabler - Lx 185/209 2003 4. the fu
- Page 163 and 164: Stabler - Lx 185/209 2003 8.2.3 Ass
- Page 165 and 166: Stabler - Lx 185/209 2003 (142) We
- Page 167 and 168: Stabler - Lx 185/209 2003 8.4 Next
- Page 169 and 170: Stabler - Lx 185/209 2003 9.1 “Mi
- Page 171 and 172: Stabler - Lx 185/209 2003 (4) More
- Page 173 and 174: Stabler - Lx 185/209 2003 This is a
- Page 175 and 176: Stabler - Lx 185/209 2003 (7) Let
- Page 177 and 178: Stabler - Lx 185/209 2003 (9) Let
- Page 179 and 180: Stabler - Lx 185/209 2003 dP3 maria
- Page 181 and 182: Stabler - Lx 185/209 2003 The 4 Eng
- Page 183 and 184: Stabler - Lx 185/209 2003 9.1.4 Fou
- Page 185 and 186: Stabler - Lx 185/209 2003 (21) The
- Page 187 and 188: Stabler - Lx 185/209 2003 :- [’pp
- Page 189 and 190: Stabler - Lx 185/209 2003 9.2.2 Som
- Page 191 and 192: Stabler - Lx 185/209 2003 who laugh
- Page 193 and 194: Stabler - Lx 185/209 2003 Kayne ass
- Page 195 and 196: Stabler - Lx 185/209 2003 (32) Vari
- Page 197 and 198: Stabler - Lx 185/209 2003 dP t 3 v
- Page 199 and 200: Stabler - Lx 185/209 2003 10 Toward
- Page 201 and 202: Stabler - Lx 185/209 2003 We can en
- Page 203: Stabler - Lx 185/209 2003 Head move
- Page 207 and 208: Stabler - Lx 185/209 2003 CP C’ C
- Page 209 and 210: Stabler - Lx 185/209 2003 CP C’ C
- Page 211 and 212: Stabler - Lx 185/209 2003 that::=T
- Page 213 and 214: Stabler - Lx 185/209 2003 T t C C S
- Page 215 and 216: Stabler - Lx 185/209 2003 10.3.4 AP
- Page 217 and 218: Stabler - Lx 185/209 2003 T t C C C
- Page 219 and 220: Stabler - Lx 185/209 2003 10.3.6 Co
- Page 221 and 222: Stabler - Lx 185/209 2003 10.4 Modi
- Page 223 and 224: Stabler - Lx 185/209 2003 10.5 Summ
- Page 225 and 226: Stabler - Lx 185/209 2003 10.5.1 Re
- Page 227 and 228: Stabler - Lx 185/209 2003 Exercises
- Page 229 and 230: Stabler - Lx 185/209 2003 10.6.3 Mu
- Page 231 and 232: Stabler - Lx 185/209 2003 10.6.5 Pi
- Page 233 and 234: Stabler - Lx 185/209 2003 CP C’ C
- Page 235 and 236: Stabler - Lx 185/209 2003 but also
- Page 237 and 238: Stabler - Lx 185/209 2003 And if yo
- Page 239 and 240: Stabler - Lx 185/209 2003 sentence:
- Page 241 and 242: Stabler - Lx 185/209 2003 Example:
- Page 243 and 244: Stabler - Lx 185/209 2003 15.1 Mono
- Page 245 and 246: Stabler - Lx 185/209 2003 Example:
- Page 247 and 248: Stabler - Lx 185/209 2003 16 Harder
- Page 249 and 250: Stabler - Lx 185/209 2003 A first,
- Page 251 and 252: Stabler - Lx 185/209 2003 non-demon
- Page 253 and 254: Stabler - Lx 185/209 2003 16.4 Scop
- Page 255 and 256:
Stabler - Lx 185/209 2003 16.5 Infe
- Page 257 and 258:
Stabler - Lx 185/209 2003 Extra cre
- Page 259 and 260:
Stabler - Lx 185/209 2003 CP C’ C
- Page 261 and 262:
Stabler - Lx 185/209 2003 (5) In su
- Page 263 and 264:
Stabler - Lx 185/209 2003 (7) Anoth
- Page 265 and 266:
Stabler - Lx 185/209 2003 17.2.1 A
- Page 267 and 268:
Stabler - Lx 185/209 2003 Exercises
- Page 269 and 270:
Stabler - Lx 185/209 2003 Reference
- Page 271 and 272:
Stabler - Lx 185/209 2003 Cornell,
- Page 273 and 274:
Stabler - Lx 185/209 2003 Hale, Joh
- Page 275 and 276:
Stabler - Lx 185/209 2003 Kraft, L.
- Page 277 and 278:
Stabler - Lx 185/209 2003 Pollock,
- Page 279 and 280:
Stabler - Lx 185/209 2003 Stabler,
- Page 281 and 282:
Index (x, y), openintervalfromx to
- Page 283 and 284:
Stabler - Lx 185/209 2003 Herbrand,
- Page 285:
Stabler - Lx 185/209 2003 Seki, Hir