Minimalist Machine Derivations

Minimalist Machine Derivations

Files: grammar.pl / m12.pl / Back to homepage

Examples:

T-to-C Movement: Causes and Consequences. Pesetsky & Torrego (2001). collapse

Example	Instruction stream (clickable)	Notes
(5a) What did Mary buy? (5b) *What Mary bought?	[what:n, q, buy, 'v*', [mary, d], 'Tpast', c_Q]	(5a) T to matrix C => do-support. (5b) Mary to edge C blocked (FI: exclamatory).
(5c) *Who did buy the book? (5d) Who bought the book?	[book, the, buy, 'v*', [who, q], 'Tpast', c_Q]	No do-support triggered. (5c) ruled out by economy.
(23) What will Mary buy?	[what:n, q, buy, 'v*', [mary, d], will, 'T', c_Q]	Auxilary will raises to edge of C.
(24) What did John say that Mary will buy?	[what:n, q, buy, 'v*', [mary, d], will, 'T', c_eQ, say, v_unerg, [john, d], 'Tpast', c_Q]	Two derivations: (24) T to C realized as that. Or that can be omitted. c_eQ hosts wh-movement only.
(28a) Who did John say will buy the book? (28b) *Who did John say that will buy the book?	[book, the, buy, 'v*', [who, q], will, 'T', c_eQ, say, v_unerg, [john, d], 'Tpast', c_Q]	That-trace effect. (28b) ruled out by economy.
(31) Mary thinks that Sue will buy the book (33) Mary thinks Sue will buy the book	[book, the, buy, 'v*', [sue, d], will, 'T', c_e, think, v_unerg, [mary, d], 'T', c]	Two derivations: (31) T to embedded C (c_e) realized as that. (33) c_e attracts subject Sue
(43a) *What a silly book did Mary buy! (43b) What a silly book Mary bought!	[book, silly, a, what:d, q, buy, 'v*', [mary, d], 'Tpast', c_Q]	(43a) T to C blocked by CI: exclamative. (43b) Mary in edge of C.
(47a) Bill asked what Mary bought (47b) Bill asked what did Mary buy (47c) Bill asked what that Mary bought	[what:n, q, buy, 'v*', [mary, d], 'Tpast', c_Qe, ask, v_unerg, [bill, d], 'Tpast', c]	Interrogative embedded C does not support T displacement. Note: same parse derived twice.
Extra test cases
Who was John meeting?	[who, q, meet, 'v*', [john, d], prog, 'v~', 'Tpast', c_Q]	Object wh-movement. Auxiliary be pied-piping.
Who was meeting John?	[john, d, meet, 'v*', [who, q], prog, 'v~', 'Tpast', c_Q]	Subject wh-movement. Auxiliary be pied-piping.
*Who do you think that saw John? Who do you think saw John?	[john, d, see, 'v*', [who, q], 'Tpast', c_eQ, think, 'v_unerg', [you, d], 'T', c_Q]	That-trace effect. Economy: no T to C.
Who do you think that John saw? Who do you think John saw?	[who, q, see, 'v*', [john, d], 'Tpast', c_eQ, think, 'v_unerg', [you, d], 'T', c_Q]	Two derivations. No that-trace effect with object.

Machine Parameters: expand

Animation:
(43a) *What a silly book did Mary buy!
(43b) What a silly book Mary bought!

Derivation:
(43a) *What a silly book did Mary buy!
(43b) What a silly book Mary bought!

Stream:	[[book!D],[silly],[a!case!N],[what!case!N!scope],[q!case!N!scope],[buy],[v*!phi],[[mary!D],[d!case!N]],[Tpast!phi!v],[c_Q!wh!T]]
Stack (⥥):
SO:	[]

Step 1.

Head of stream [book!D] is the initial SO

Stream:	[[silly],[a!case!N],[what!case!N!scope],[q!case!N!scope],[buy],[v*!phi],[[mary!D],[d!case!N]],[Tpast!phi!v],[c_Q!wh!T]]
Stack (⥥):
SO:	[book!D]

Step 2.

Merge [silly] and [book!D]

Label from [book!D] (head with an unvalued uF)

[silly] has feature attach(left)

Stream:	[[a!case!N],[what!case!N!scope],[q!case!N!scope],[buy],[v*!phi],[[mary!D],[d!case!N]],[Tpast!phi!v],[c_Q!wh!T]]
Stack (⥥):
SO:	[book!D[silly][book!D]]

Step 3.

Merge [a!case!N] and [book!D[silly][book!D]]

Label from [a!case!N] (head merging with a non-head)

Inherit interpretable feature(s) [f(phi,[3,sg,n])] from [book!D[silly][book!D]]

[a!case!N] values D on [book!D[silly][book!D]]

[book[silly][book]] values N on [a!case!N]

Stream:	[[what!case!N!scope],[q!case!N!scope],[buy],[v*!phi],[[mary!D],[d!case!N]],[Tpast!phi!v],[c_Q!wh!T]]
Stack (⥥):
SO:	[a!case[a][book[silly][book]]]

Step 4.

Merge [what!case!N!scope] and [a!case[a][book[silly..][book..]]]

Label from [what!case!N!scope] (head merging with a non-head)

Inherit interpretable feature(s) [f(theta),f(phi,[3,sg,n])] from [a!case[a][book[silly..][book..]]]

Push [a!case[a][book[silly..][book..]]] (unvalued uF) onto stack

Stream:	[[q!case!N!scope],[buy],[v*!phi],[[mary!D],[d!case!N]],[Tpast!phi!v],[c_Q!wh!T]]
Stack (⥥):	[a!case[a][book[silly][book]]]
SO:	[what!case!scope[what!scope][a[a][book[silly][book]]]]

Step 5.

Merge [q!case!N!scope] and [what!case!scope[what!scope][a[a..][book..]]]

Label from [q!case!N!scope] (head merging with a non-head)

Inherit interpretable feature(s) [f(wh),f(theta),f(phi,[3,sg,n])] from [what!case!scope[what!scope][a[a..][book..]]]

Stream:	[[buy],[v*!phi],[[mary!D],[d!case!N]],[Tpast!phi!v],[c_Q!wh!T]]
Stack (⥥):	[a!case[a][book[silly][book]]]
SO:	[q!case!scope[q!scope][what!scope[what!scope][a[a][book[silly][book]]]]]

Step 6.

Merge [buy] and [q!case!scope[q!scope][what!scope[what..][a..]]]

Label from [buy] (head merging with a non-head)

Theta-mark [q!case!scope[q!scope][what!scope[what..][a..]]]

Push [q!case!scope[q!scope][what!scope[what..][a..]]] (unvalued uF) onto stack

Stream:	[[v*!phi],[[mary!D],[d!case!N]],[Tpast!phi!v],[c_Q!wh!T]]
Stack (⥥):	[q!case!scope[q!scope][what!scope[what!scope][a[a][book[silly][book]]]]] [a!case[a][book[silly][book]]]
SO:	[buy[buy][q!case!scope[q!scope][what!scope[what!scope][a[a][book[silly][book]]]]]]

Step 7.

Merge [v*!phi] and [buy[buy][q!case!scope[q..][what..]]]

Label from [v*!phi] (head merging with a non-head)

[q!case!scope[q!scope][what!scope[what..][a..]]] values uPhi on [v*!phi]

[v*] values acc case on [q!case!scope[q!scope][what!scope[what..][a..]]]

Stream:	[[[mary!D],[d!case!N]],[Tpast!phi!v],[c_Q!wh!T]]
Stack (⥥):	[q!scope[q!scope][what!scope[what!scope][a[a][book[silly][book]]]]] [a[a][book[silly][book]]]
SO:	[v[v][buy[buy][q!scope[q!scope][what!scope[what!scope][a[a][book[silly][book]]]]]]]

Step 8.

Begin substream

Stream:	[[mary!D],[d!case!N]]
Stack (⥥):
SO:	[]

Step 9.

Head of stream [mary!D] is the initial SO

Stream:	[[d!case!N]]
Stack (⥥):
SO:	[mary!D]

Step 10.

Merge [d!case!N] and [mary!D]

Label from [d!case!N] (head with an unvalued uF)

Inherit interpretable feature(s) [f(phi,[3,sg,n])] from [mary!D]

[d!case!N] values D on [mary!D]

[mary] values N on [d!case!N]

Stream:	[]
Stack (⥥):
SO:	[d!case[d][mary]]

End substream, SO [d!case[d][mary]] re-inserted into main stream

Step 11.

Stream:	[[d!case[d][mary]],[Tpast!phi!v],[c_Q!wh!T]]
Stack (⥥):	[q!scope[q!scope][what!scope[what!scope][a[a][book[silly][book]]]]] [a[a][book[silly][book]]]
SO:	[v[v][buy[buy][q!scope[q!scope][what!scope[what!scope][a[a][book[silly][book]]]]]]]

Step 12.

Merge [v*[v*][buy[buy..][q..]]] and [d!case[d][mary]]

Label from [v*[v*][buy[buy..][q..]]] (edge feature)

Theta-mark [d!case[d][mary]]

Push [d!case[d][mary]] (unvalued uF) onto stack

Stream:	[[Tpast!phi!v],[c_Q!wh!T]]
Stack (⥥):	[d!case[d][mary]] [q!scope[q!scope][what!scope[what!scope][a[a][book[silly][book]]]]] [a[a][book[silly][book]]]
SO:	[v[d!case[d][mary]][v[v*][buy[buy][q!scope[q!scope][what!scope[what!scope][a[a][book[silly][book]]]]]]]]

Step 13.

Merge [Tpast!phi!v] and [v*[d!case[d..][mary..]][v*[v*..][buy..]]]

Label from [Tpast!phi!v] (head merging with a non-head)

[d!case[d][mary]] values uPhi on [Tpast!phi!v]

[Tpast!v] values nom case on [d!case[d][mary]]

Relativized TOS search for iF(v) skipping [d[d][mary]]

Relativized TOS search for iF(v) skipping [q!scope[q!scope][what!scope[what..][a..]]]

Relativized TOS search for iF(v) skipping [a[a][book[silly..][book..]]]

[Tpast!v] attracts [v*[d[d..][mary..]][v*[v*..][buy..]]]

Merge [Tpast[Tpast][v*[d..][v*..]]] and [v*]

Label from [Tpast[Tpast][v*[d..][v*..]]] (edge feature)

Stream:	[[c_Q!wh!T]]
Stack (⥥):	[d[d][mary]] [q!scope[q!scope][what!scope[what!scope][a[a][book[silly][book]]]]] [a[a][book[silly][book]]]
SO:	[Tpast[v][Tpast[Tpast][v[d[d][mary]][v[v][buy[buy][q!scope[q!scope][what!scope[what!scope][a[a][book[silly][book]]]]]]]]]]

Step 14.

Internal merge selected

Merge [Tpast[v*][Tpast[Tpast..][v*..]]] and [d[d][mary]]

Label from [Tpast[v*][Tpast[Tpast..][v*..]]] (edge feature)

Stream:	[[c_Q!wh!T]]
Stack (⥥):	[d[d][mary]] [q!scope[q!scope][what!scope[what!scope][a[a][book[silly][book]]]]] [a[a][book[silly][book]]]
SO:	[Tpast[d[d][mary]][Tpast[v][Tpast[Tpast][v[d[d][mary]][v[v][buy[buy][q!scope[q!scope][what!scope[what!scope][a[a][book[silly][book]]]]]]]]]]]

Step 15.

Merge [c_Q!wh!T] and [Tpast[d[d..][mary..]][Tpast[v*..][Tpast..]]]

Label from [c_Q!wh!T] (head merging with a non-head)

Relativized TOS search for iF(wh) skipping [d[d][mary]]

[q!scope[q!scope][what!scope[what..][a..]]] values wh on [c_Q!wh!T]

[d[d][mary]] values T on [c_Q!T]

Internal merge selected

Merge [c_Q[c_Q][Tpast[d..][Tpast..]]] and [d[d][mary]]

Label from [c_Q[c_Q][Tpast[d..][Tpast..]]] (edge feature)

[c_Q] values uscope on [q!scope[q!scope][what!scope[what!scope][a[a][book[silly][book]]]]]

Merge [c_Q[d[d..][mary..]][c_Q[c_Q..][Tpast..]]] and [q[q][what[what..][a..]]]

Label from [c_Q[d[d..][mary..]][c_Q[c_Q..][Tpast..]]] (edge feature)

Stream:	[]
Stack (⥥):	[d[d][mary]] [q[q][what[what][a[a][book[silly][book]]]]] [a[a][book[silly][book]]]
SO:	[c_Q[q[q][what[what][a[a][book[silly][book]]]]][c_Q[d[d][mary]][c_Q[c_Q][Tpast[d[d][mary]][Tpast[v][Tpast[Tpast][v[d[d][mary]][v[v][buy[buy][q[q][what[what][a[a][book[silly][book]]]]]]]]]]]]]]

Step 16.

Local Extent boundary at [c_Q[q[q..][what..]][c_Q[d..][c_Q..]]]

New boundary (b) marker stacked

Stream:	[]
Stack (⥥):	b [d[d][mary]] [q[q][what[what][a[a][book[silly][book]]]]] [a[a][book[silly][book]]]
SO:	[c_Q[q[q][what[what][a[a][book[silly][book]]]]][c_Q[d[d][mary]][c_Q[c_Q][Tpast[d[d][mary]][Tpast[v][Tpast[Tpast][v[d[d][mary]][v[v][buy[buy][q[q][what[what][a[a][book[silly][book]]]]]]]]]]]]]]

CI: exclamative

Parse:

Spell-out:

what a silly book mary -ed(sg) buy (after morpheme realization)

what a silly book mary buy -ed(sg) (after affix-hop)

what a silly book mary buy -ed(sg) (after morpheme realization, stage 2)

what a silly book mary bought

Backtrack

Stream:	[[c_Q!wh!T]]
Stack (⥥):	[d[d][mary]] [q!scope[q!scope][what!scope[what!scope][a[a][book[silly][book]]]]] [a[a][book[silly][book]]]
SO:	[Tpast[d[d][mary]][Tpast[v][Tpast[Tpast][v[d[d][mary]][v[v][buy[buy][q!scope[q!scope][what!scope[what!scope][a[a][book[silly][book]]]]]]]]]]]

re-doing step 15

Step 17.

[c_Q!T] attracts [Tpast[d[d..][mary..]][Tpast[v*..][Tpast..]]]

Internal merge selected

Merge [c_Q[c_Q][Tpast[d..][Tpast..]]] and [v*]

Label from [c_Q[c_Q][Tpast[d..][Tpast..]]] (edge feature)

Merge [c_Q[v*][c_Q[c_Q..][Tpast..]]] and [Tpast]

Label from [c_Q[v*][c_Q[c_Q..][Tpast..]]] (edge feature)

[c_Q] values uscope on [q!scope[q!scope][what!scope[what!scope][a[a][book[silly][book]]]]]

Merge [c_Q[Tpast][c_Q[v*..][c_Q..]]] and [q[q][what[what..][a..]]]

Label from [c_Q[Tpast][c_Q[v*..][c_Q..]]] (edge feature)

Stream:	[]
Stack (⥥):	[d[d][mary]] [q[q][what[what][a[a][book[silly][book]]]]] [a[a][book[silly][book]]]
SO:	[c_Q[q[q][what[what][a[a][book[silly][book]]]]][c_Q[Tpast][c_Q[v][c_Q[c_Q][Tpast[d[d][mary]][Tpast[v][Tpast[Tpast][v[d[d][mary]][v[v*][buy[buy][q[q][what[what][a[a][book[silly][book]]]]]]]]]]]]]]]

Step 18.

Local Extent boundary at [c_Q[q[q..][what..]][c_Q[Tpast..][c_Q..]]]

New boundary (b) marker stacked

Stream:	[]
Stack (⥥):	b [d[d][mary]] [q[q][what[what][a[a][book[silly][book]]]]] [a[a][book[silly][book]]]
SO:	[c_Q[q[q][what[what][a[a][book[silly][book]]]]][c_Q[Tpast][c_Q[v][c_Q[c_Q][Tpast[d[d][mary]][Tpast[v][Tpast[Tpast][v[d[d][mary]][v[v*][buy[buy][q[q][what[what][a[a][book[silly][book]]]]]]]]]]]]]]]

Conceptual-Intensional (CI) Interface: [c_Q] + edge [[q[q][what[what][a[a][book[silly][book]]]]],[Tpast],[v*]] constitutes an ill-formed interrogative!

One derivation found.

Computational Cost:

Merge: 17, Agree: 12, Unify: 0, Push: 3, Boundaries: 2, Inject: 0

Non-TOS access: 4, Pop: 0, Depth cost: 19

Step:	0	1	2	3	4	5	6	7	8	9	10	11	12	13	14	15	16	17	18
Stack depth:	0	0	0	0	1	1	2	2	0	0	0	2	3	3	3	3	4	3	4