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:
(24) What did John say that Mary will buy?

Derivation:
(24) What did John say that Mary will buy?

Stream:	[[what!D],[q!case!N!scope],[buy],[v*!phi],[[mary!D],[d!case!N]],[will],[T!phi],[c_eQ!wh!T],[say],[v_unerg],[[john!D],[d!case!N]],[Tpast!phi!v],[c_Q!wh!T]]
Stack (⥥):
SO:	[]

Step 1.

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

Stream:	[[q!case!N!scope],[buy],[v*!phi],[[mary!D],[d!case!N]],[will],[T!phi],[c_eQ!wh!T],[say],[v_unerg],[[john!D],[d!case!N]],[Tpast!phi!v],[c_Q!wh!T]]
Stack (⥥):
SO:	[what!D]

Step 2.

Merge [q!case!N!scope] and [what!D]

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

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

[q!case!N!scope] values D on [what!D]

[what] values N on [q!case!N!scope]

Stream:	[[buy],[v*!phi],[[mary!D],[d!case!N]],[will],[T!phi],[c_eQ!wh!T],[say],[v_unerg],[[john!D],[d!case!N]],[Tpast!phi!v],[c_Q!wh!T]]
Stack (⥥):
SO:	[q!case!scope[q!scope][what]]

Step 3.

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

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

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

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

Stream:	[[v*!phi],[[mary!D],[d!case!N]],[will],[T!phi],[c_eQ!wh!T],[say],[v_unerg],[[john!D],[d!case!N]],[Tpast!phi!v],[c_Q!wh!T]]
Stack (⥥):	[q!case!scope[q!scope][what]]
SO:	[buy[buy][q!case!scope[q!scope][what]]]

Step 4.

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]] values uPhi on [v*!phi]

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

Stream:	[[[mary!D],[d!case!N]],[will],[T!phi],[c_eQ!wh!T],[say],[v_unerg],[[john!D],[d!case!N]],[Tpast!phi!v],[c_Q!wh!T]]
Stack (⥥):	[q!scope[q!scope][what]]
SO:	[v[v][buy[buy][q!scope[q!scope][what]]]]

Step 5.

Begin substream

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

Step 6.

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

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

Step 7.

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 8.

Stream:	[[d!case[d][mary]],[will],[T!phi],[c_eQ!wh!T],[say],[v_unerg],[[john!D],[d!case!N]],[Tpast!phi!v],[c_Q!wh!T]]
Stack (⥥):	[q!scope[q!scope][what]]
SO:	[v[v][buy[buy][q!scope[q!scope][what]]]]

Step 9.

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:	[[will],[T!phi],[c_eQ!wh!T],[say],[v_unerg],[[john!D],[d!case!N]],[Tpast!phi!v],[c_Q!wh!T]]
Stack (⥥):	[d!case[d][mary]] [q!scope[q!scope][what]]
SO:	[v[d!case[d][mary]][v[v*][buy[buy][q!scope[q!scope][what]]]]]

Step 10.

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

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

Stream:	[[T!phi],[c_eQ!wh!T],[say],[v_unerg],[[john!D],[d!case!N]],[Tpast!phi!v],[c_Q!wh!T]]
Stack (⥥):	[d!case[d][mary]] [q!scope[q!scope][what]]
SO:	[will[will][v[d!case[d][mary]][v[v*][buy[buy][q!scope[q!scope][what]]]]]]

Step 11.

Merge [T!phi] and [will[will][v*[d..][v*..]]]

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

[d!case[d][mary]] values uPhi on [T!phi]

[T] values nom case on [d!case[d][mary]]

Stream:	[[c_eQ!wh!T],[say],[v_unerg],[[john!D],[d!case!N]],[Tpast!phi!v],[c_Q!wh!T]]
Stack (⥥):	[d[d][mary]] [q!scope[q!scope][what]]
SO:	[T[T][will[will][v[d[d][mary]][v[v*][buy[buy][q!scope[q!scope][what]]]]]]]

Step 12.

Internal merge selected

Merge [T[T][will[will..][v*..]]] and [d[d][mary]]

Label from [T[T][will[will..][v*..]]] (edge feature)

Stream:	[[c_eQ!wh!T],[say],[v_unerg],[[john!D],[d!case!N]],[Tpast!phi!v],[c_Q!wh!T]]
Stack (⥥):	[d[d][mary]] [q!scope[q!scope][what]]
SO:	[T[d[d][mary]][T[T][will[will][v[d[d][mary]][v[v*][buy[buy][q!scope[q!scope][what]]]]]]]]

Step 13.

Merge [c_eQ!wh!T] and [T[d[d..][mary..]][T[T..][will..]]]

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

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

[q!scope[q!scope][what]] values wh on [c_eQ!wh!T]

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

Internal merge selected

Merge [c_eQ[c_eQ][T[d..][T..]]] and [d[d][mary]]

Label from [c_eQ[c_eQ][T[d..][T..]]] (edge feature)

Merge [c_eQ[d[d..][mary..]][c_eQ[c_eQ..][T..]]] and [q!scope[q!scope][what]]

Label from [c_eQ[d[d..][mary..]][c_eQ[c_eQ..][T..]]] (edge feature)

Stream:	[[say],[v_unerg],[[john!D],[d!case!N]],[Tpast!phi!v],[c_Q!wh!T]]
Stack (⥥):	[d[d][mary]] [q!scope[q!scope][what]]
SO:	[c_eQ[q!scope[q!scope][what]][c_eQ[d[d][mary]][c_eQ[c_eQ][T[d[d][mary]][T[T][will[will][v[d[d][mary]][v[v*][buy[buy][q!scope[q!scope][what]]]]]]]]]]]

Step 14.

Local Extent boundary at [c_eQ[q!scope[q..][what..]][c_eQ[d..][c_eQ..]]]

Stack element [q!scope[q!scope][what]] with unvalued uF found

New boundary (b) marker stacked

Restack [q!scope[q!scope][what]] onto stack

Stream:	[[say],[v_unerg],[[john!D],[d!case!N]],[Tpast!phi!v],[c_Q!wh!T]]
Stack (⥥):	[q!scope[q!scope][what]] b [d[d][mary]]
SO:	[c_eQ[q!scope[q!scope][what]][c_eQ[d[d][mary]][c_eQ[c_eQ][T[d[d][mary]][T[T][will[will][v[d[d][mary]][v[v*][buy[buy][q!scope[q!scope][what]]]]]]]]]]]

Step 15.

Merge [say] and [c_eQ[q!scope[q..][what..]][c_eQ[d..][c_eQ..]]]

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

Theta-mark [c_eQ[q!scope[q..][what..]][c_eQ[d..][c_eQ..]]]

Stream:	[[v_unerg],[[john!D],[d!case!N]],[Tpast!phi!v],[c_Q!wh!T]]
Stack (⥥):	[q!scope[q!scope][what]] b [d[d][mary]]
SO:	[say[say][c_eQ[q!scope[q!scope][what]][c_eQ[d[d][mary]][c_eQ[c_eQ][T[d[d][mary]][T[T][will[will][v[d[d][mary]][v[v*][buy[buy][q!scope[q!scope][what]]]]]]]]]]]]

Step 16.

Merge [v_unerg] and [say[say][c_eQ[q..][c_eQ..]]]

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

Stream:	[[[john!D],[d!case!N]],[Tpast!phi!v],[c_Q!wh!T]]
Stack (⥥):	[q!scope[q!scope][what]] b [d[d][mary]]
SO:	[v_unerg[v_unerg][say[say][c_eQ[q!scope[q!scope][what]][c_eQ[d[d][mary]][c_eQ[c_eQ][T[d[d][mary]][T[T][will[will][v[d[d][mary]][v[v*][buy[buy][q!scope[q!scope][what]]]]]]]]]]]]]

Step 17.

Begin substream

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

Step 18.

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

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

Step 19.

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

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

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

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

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

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

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

Step 20.

Stream:	[[d!case[d][john]],[Tpast!phi!v],[c_Q!wh!T]]
Stack (⥥):	[q!scope[q!scope][what]] b [d[d][mary]]
SO:	[v_unerg[v_unerg][say[say][c_eQ[q!scope[q!scope][what]][c_eQ[d[d][mary]][c_eQ[c_eQ][T[d[d][mary]][T[T][will[will][v[d[d][mary]][v[v*][buy[buy][q!scope[q!scope][what]]]]]]]]]]]]]

Step 21.

Merge [v_unerg[v_unerg][say[say..][c_eQ..]]] and [d!case[d][john]]

Label from [v_unerg[v_unerg][say[say..][c_eQ..]]] (edge feature)

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

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

Stream:	[[Tpast!phi!v],[c_Q!wh!T]]
Stack (⥥):	[d!case[d][john]] [q!scope[q!scope][what]] b [d[d][mary]]
SO:	[v_unerg[d!case[d][john]][v_unerg[v_unerg][say[say][c_eQ[q!scope[q!scope][what]][c_eQ[d[d][mary]][c_eQ[c_eQ][T[d[d][mary]][T[T][will[will][v[d[d][mary]][v[v*][buy[buy][q!scope[q!scope][what]]]]]]]]]]]]]]

Step 22.

Merge [Tpast!phi!v] and [v_unerg[d!case[d..][john..]][v_unerg[v_unerg..][say..]]]

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

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

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

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

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

[Tpast!v] attracts [v_unerg[d[d..][john..]][v_unerg[v_unerg..][say..]]]

Merge [Tpast[Tpast][v_unerg[d..][v_unerg..]]] and [v_unerg]

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

Stream:	[[c_Q!wh!T]]
Stack (⥥):	[d[d][john]] [q!scope[q!scope][what]] b [d[d][mary]]
SO:	[Tpast[v_unerg][Tpast[Tpast][v_unerg[d[d][john]][v_unerg[v_unerg][say[say][c_eQ[q!scope[q!scope][what]][c_eQ[d[d][mary]][c_eQ[c_eQ][T[d[d][mary]][T[T][will[will][v[d[d][mary]][v[v*][buy[buy][q!scope[q!scope][what]]]]]]]]]]]]]]]]

Step 23.

Internal merge selected

Merge [Tpast[v_unerg][Tpast[Tpast..][v_unerg..]]] and [d[d][john]]

Label from [Tpast[v_unerg][Tpast[Tpast..][v_unerg..]]] (edge feature)

Stream:	[[c_Q!wh!T]]
Stack (⥥):	[d[d][john]] [q!scope[q!scope][what]] b [d[d][mary]]
SO:	[Tpast[d[d][john]][Tpast[v_unerg][Tpast[Tpast][v_unerg[d[d][john]][v_unerg[v_unerg][say[say][c_eQ[q!scope[q!scope][what]][c_eQ[d[d][mary]][c_eQ[c_eQ][T[d[d][mary]][T[T][will[will][v[d[d][mary]][v[v*][buy[buy][q!scope[q!scope][what]]]]]]]]]]]]]]]]]

Step 24.

Merge [c_Q!wh!T] and [Tpast[d[d..][john..]][Tpast[v_unerg..][Tpast..]]]

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

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

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

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

Internal merge selected

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

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

[c_Q] values uscope on [q!scope[q!scope][what]]

Merge [c_Q[d[d..][john..]][c_Q[c_Q..][Tpast..]]] and [q[q][what]]

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

Stream:	[]
Stack (⥥):	[d[d][john]] [q[q][what]] b [d[d][mary]]
SO:	[c_Q[q[q][what]][c_Q[d[d][john]][c_Q[c_Q][Tpast[d[d][john]][Tpast[v_unerg][Tpast[Tpast][v_unerg[d[d][john]][v_unerg[v_unerg][say[say][c_eQ[q[q][what]][c_eQ[d[d][mary]][c_eQ[c_eQ][T[d[d][mary]][T[T][will[will][v[d[d][mary]][v[v*][buy[buy][q[q][what]]]]]]]]]]]]]]]]]]]]

Step 25.

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

New boundary (b) marker stacked

Stream:	[]
Stack (⥥):	b [d[d][john]] [q[q][what]] b [d[d][mary]]
SO:	[c_Q[q[q][what]][c_Q[d[d][john]][c_Q[c_Q][Tpast[d[d][john]][Tpast[v_unerg][Tpast[Tpast][v_unerg[d[d][john]][v_unerg[v_unerg][say[say][c_eQ[q[q][what]][c_eQ[d[d][mary]][c_eQ[c_eQ][T[d[d][mary]][T[T][will[will][v[d[d][mary]][v[v*][buy[buy][q[q][what]]]]]]]]]]]]]]]]]]]]

Conceptual-Intensional (CI) Interface: [c_Q] + edge [[q[q][what]],[d[d][john]]] constitutes an ill-formed interrogative!

Backtrack

Stream:	[[c_Q!wh!T]]
Stack (⥥):	[d[d][john]] [q!scope[q!scope][what]] b [d[d][mary]]
SO:	[Tpast[d[d][john]][Tpast[v_unerg][Tpast[Tpast][v_unerg[d[d][john]][v_unerg[v_unerg][say[say][c_eQ[q!scope[q!scope][what]][c_eQ[d[d][mary]][c_eQ[c_eQ][T[d[d][mary]][T[T][will[will][v[d[d][mary]][v[v*][buy[buy][q!scope[q!scope][what]]]]]]]]]]]]]]]]]

re-doing step 24

Step 26.

[c_Q!T] attracts [Tpast[d[d..][john..]][Tpast[v_unerg..][Tpast..]]]

Internal merge selected

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

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

Merge [c_Q[v_unerg][c_Q[c_Q..][Tpast..]]] and [Tpast]

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

[c_Q] values uscope on [q!scope[q!scope][what]]

Merge [c_Q[Tpast][c_Q[v_unerg..][c_Q..]]] and [q[q][what]]

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

Stream:	[]
Stack (⥥):	[d[d][john]] [q[q][what]] b [d[d][mary]]
SO:	[c_Q[q[q][what]][c_Q[Tpast][c_Q[v_unerg][c_Q[c_Q][Tpast[d[d][john]][Tpast[v_unerg][Tpast[Tpast][v_unerg[d[d][john]][v_unerg[v_unerg][say[say][c_eQ[q[q][what]][c_eQ[d[d][mary]][c_eQ[c_eQ][T[d[d][mary]][T[T][will[will][v[d[d][mary]][v[v*][buy[buy][q[q][what]]]]]]]]]]]]]]]]]]]]]

Step 27.

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

New boundary (b) marker stacked

Stream:	[]
Stack (⥥):	b [d[d][john]] [q[q][what]] b [d[d][mary]]
SO:	[c_Q[q[q][what]][c_Q[Tpast][c_Q[v_unerg][c_Q[c_Q][Tpast[d[d][john]][Tpast[v_unerg][Tpast[Tpast][v_unerg[d[d][john]][v_unerg[v_unerg][say[say][c_eQ[q[q][what]][c_eQ[d[d][mary]][c_eQ[c_eQ][T[d[d][mary]][T[T][will[will][v[d[d][mary]][v[v*][buy[buy][q[q][what]]]]]]]]]]]]]]]]]]]]]

CI: wh-question

Parse:

Spell-out:

what -ed(sg) do john say mary -s will buy (after morpheme realization)

what do -ed(sg) john say mary will -s buy (after affix-hop)

what do -ed(sg) john say mary will -s buy (after morpheme realization, stage 2)

what did john say mary will buy

Backtrack

Stream:	[[c_eQ!wh!T],[say],[v_unerg],[[john!D],[d!case!N]],[Tpast!phi!v],[c_Q!wh!T]]
Stack (⥥):	[d[d][mary]] [q!scope[q!scope][what]]
SO:	[T[d[d][mary]][T[T][will[will][v[d[d][mary]][v[v*][buy[buy][q!scope[q!scope][what]]]]]]]]

re-doing step 13

Step 28.

[c_eQ!T] attracts [T[d[d..][mary..]][T[T..][will..]]]

Internal merge selected

Merge [c_eQ[c_eQ][T[d..][T..]]] and [T]

Label from [c_eQ[c_eQ][T[d..][T..]]] (edge feature)

Merge [c_eQ[T][c_eQ[c_eQ..][T..]]] and [q!scope[q!scope][what]]

Label from [c_eQ[T][c_eQ[c_eQ..][T..]]] (edge feature)

Stream:	[[say],[v_unerg],[[john!D],[d!case!N]],[Tpast!phi!v],[c_Q!wh!T]]
Stack (⥥):	[d[d][mary]] [q!scope[q!scope][what]]
SO:	[c_eQ[q!scope[q!scope][what]][c_eQ[T][c_eQ[c_eQ][T[d[d][mary]][T[T][will[will][v[d[d][mary]][v[v*][buy[buy][q!scope[q!scope][what]]]]]]]]]]]

Step 29.

Local Extent boundary at [c_eQ[q!scope[q..][what..]][c_eQ[T..][c_eQ..]]]

Stack element [q!scope[q!scope][what]] with unvalued uF found

New boundary (b) marker stacked

Restack [q!scope[q!scope][what]] onto stack

Stream:	[[say],[v_unerg],[[john!D],[d!case!N]],[Tpast!phi!v],[c_Q!wh!T]]
Stack (⥥):	[q!scope[q!scope][what]] b [d[d][mary]]
SO:	[c_eQ[q!scope[q!scope][what]][c_eQ[T][c_eQ[c_eQ][T[d[d][mary]][T[T][will[will][v[d[d][mary]][v[v*][buy[buy][q!scope[q!scope][what]]]]]]]]]]]

Step 30.

Merge [say] and [c_eQ[q!scope[q..][what..]][c_eQ[T..][c_eQ..]]]

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

Theta-mark [c_eQ[q!scope[q..][what..]][c_eQ[T..][c_eQ..]]]

Stream:	[[v_unerg],[[john!D],[d!case!N]],[Tpast!phi!v],[c_Q!wh!T]]
Stack (⥥):	[q!scope[q!scope][what]] b [d[d][mary]]
SO:	[say[say][c_eQ[q!scope[q!scope][what]][c_eQ[T][c_eQ[c_eQ][T[d[d][mary]][T[T][will[will][v[d[d][mary]][v[v*][buy[buy][q!scope[q!scope][what]]]]]]]]]]]]

Step 31.

Merge [v_unerg] and [say[say][c_eQ[q..][c_eQ..]]]

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

Stream:	[[[john!D],[d!case!N]],[Tpast!phi!v],[c_Q!wh!T]]
Stack (⥥):	[q!scope[q!scope][what]] b [d[d][mary]]
SO:	[v_unerg[v_unerg][say[say][c_eQ[q!scope[q!scope][what]][c_eQ[T][c_eQ[c_eQ][T[d[d][mary]][T[T][will[will][v[d[d][mary]][v[v*][buy[buy][q!scope[q!scope][what]]]]]]]]]]]]]

Step 32.

Begin substream

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

Step 33.

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

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

Step 34.

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

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

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

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

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

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

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

Step 35.

Stream:	[[d!case[d][john]],[Tpast!phi!v],[c_Q!wh!T]]
Stack (⥥):	[q!scope[q!scope][what]] b [d[d][mary]]
SO:	[v_unerg[v_unerg][say[say][c_eQ[q!scope[q!scope][what]][c_eQ[T][c_eQ[c_eQ][T[d[d][mary]][T[T][will[will][v[d[d][mary]][v[v*][buy[buy][q!scope[q!scope][what]]]]]]]]]]]]]

Step 36.

Merge [v_unerg[v_unerg][say[say..][c_eQ..]]] and [d!case[d][john]]

Label from [v_unerg[v_unerg][say[say..][c_eQ..]]] (edge feature)

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

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

Stream:	[[Tpast!phi!v],[c_Q!wh!T]]
Stack (⥥):	[d!case[d][john]] [q!scope[q!scope][what]] b [d[d][mary]]
SO:	[v_unerg[d!case[d][john]][v_unerg[v_unerg][say[say][c_eQ[q!scope[q!scope][what]][c_eQ[T][c_eQ[c_eQ][T[d[d][mary]][T[T][will[will][v[d[d][mary]][v[v*][buy[buy][q!scope[q!scope][what]]]]]]]]]]]]]]

Step 37.

Merge [Tpast!phi!v] and [v_unerg[d!case[d..][john..]][v_unerg[v_unerg..][say..]]]

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

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

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

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

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

[Tpast!v] attracts [v_unerg[d[d..][john..]][v_unerg[v_unerg..][say..]]]

Merge [Tpast[Tpast][v_unerg[d..][v_unerg..]]] and [v_unerg]

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

Stream:	[[c_Q!wh!T]]
Stack (⥥):	[d[d][john]] [q!scope[q!scope][what]] b [d[d][mary]]
SO:	[Tpast[v_unerg][Tpast[Tpast][v_unerg[d[d][john]][v_unerg[v_unerg][say[say][c_eQ[q!scope[q!scope][what]][c_eQ[T][c_eQ[c_eQ][T[d[d][mary]][T[T][will[will][v[d[d][mary]][v[v*][buy[buy][q!scope[q!scope][what]]]]]]]]]]]]]]]]

Step 38.

Internal merge selected

Merge [Tpast[v_unerg][Tpast[Tpast..][v_unerg..]]] and [d[d][john]]

Label from [Tpast[v_unerg][Tpast[Tpast..][v_unerg..]]] (edge feature)

Stream:	[[c_Q!wh!T]]
Stack (⥥):	[d[d][john]] [q!scope[q!scope][what]] b [d[d][mary]]
SO:	[Tpast[d[d][john]][Tpast[v_unerg][Tpast[Tpast][v_unerg[d[d][john]][v_unerg[v_unerg][say[say][c_eQ[q!scope[q!scope][what]][c_eQ[T][c_eQ[c_eQ][T[d[d][mary]][T[T][will[will][v[d[d][mary]][v[v*][buy[buy][q!scope[q!scope][what]]]]]]]]]]]]]]]]]

Step 39.

Merge [c_Q!wh!T] and [Tpast[d[d..][john..]][Tpast[v_unerg..][Tpast..]]]

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

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

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

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

Internal merge selected

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

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

[c_Q] values uscope on [q!scope[q!scope][what]]

Merge [c_Q[d[d..][john..]][c_Q[c_Q..][Tpast..]]] and [q[q][what]]

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

Stream:	[]
Stack (⥥):	[d[d][john]] [q[q][what]] b [d[d][mary]]
SO:	[c_Q[q[q][what]][c_Q[d[d][john]][c_Q[c_Q][Tpast[d[d][john]][Tpast[v_unerg][Tpast[Tpast][v_unerg[d[d][john]][v_unerg[v_unerg][say[say][c_eQ[q[q][what]][c_eQ[T][c_eQ[c_eQ][T[d[d][mary]][T[T][will[will][v[d[d][mary]][v[v*][buy[buy][q[q][what]]]]]]]]]]]]]]]]]]]]

Step 40.

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

New boundary (b) marker stacked

Stream:	[]
Stack (⥥):	b [d[d][john]] [q[q][what]] b [d[d][mary]]
SO:	[c_Q[q[q][what]][c_Q[d[d][john]][c_Q[c_Q][Tpast[d[d][john]][Tpast[v_unerg][Tpast[Tpast][v_unerg[d[d][john]][v_unerg[v_unerg][say[say][c_eQ[q[q][what]][c_eQ[T][c_eQ[c_eQ][T[d[d][mary]][T[T][will[will][v[d[d][mary]][v[v*][buy[buy][q[q][what]]]]]]]]]]]]]]]]]]]]

Conceptual-Intensional (CI) Interface: [c_Q] + edge [[q[q][what]],[d[d][john]]] constitutes an ill-formed interrogative!

Backtrack

Stream:	[[c_Q!wh!T]]
Stack (⥥):	[d[d][john]] [q!scope[q!scope][what]] b [d[d][mary]]
SO:	[Tpast[d[d][john]][Tpast[v_unerg][Tpast[Tpast][v_unerg[d[d][john]][v_unerg[v_unerg][say[say][c_eQ[q!scope[q!scope][what]][c_eQ[T][c_eQ[c_eQ][T[d[d][mary]][T[T][will[will][v[d[d][mary]][v[v*][buy[buy][q!scope[q!scope][what]]]]]]]]]]]]]]]]]

re-doing step 39

Step 41.

[c_Q!T] attracts [Tpast[d[d..][john..]][Tpast[v_unerg..][Tpast..]]]

Internal merge selected

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

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

Merge [c_Q[v_unerg][c_Q[c_Q..][Tpast..]]] and [Tpast]

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

[c_Q] values uscope on [q!scope[q!scope][what]]

Merge [c_Q[Tpast][c_Q[v_unerg..][c_Q..]]] and [q[q][what]]

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

Stream:	[]
Stack (⥥):	[d[d][john]] [q[q][what]] b [d[d][mary]]
SO:	[c_Q[q[q][what]][c_Q[Tpast][c_Q[v_unerg][c_Q[c_Q][Tpast[d[d][john]][Tpast[v_unerg][Tpast[Tpast][v_unerg[d[d][john]][v_unerg[v_unerg][say[say][c_eQ[q[q][what]][c_eQ[T][c_eQ[c_eQ][T[d[d][mary]][T[T][will[will][v[d[d][mary]][v[v*][buy[buy][q[q][what]]]]]]]]]]]]]]]]]]]]]

Step 42.

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

New boundary (b) marker stacked

Stream:	[]
Stack (⥥):	b [d[d][john]] [q[q][what]] b [d[d][mary]]
SO:	[c_Q[q[q][what]][c_Q[Tpast][c_Q[v_unerg][c_Q[c_Q][Tpast[d[d][john]][Tpast[v_unerg][Tpast[Tpast][v_unerg[d[d][john]][v_unerg[v_unerg][say[say][c_eQ[q[q][what]][c_eQ[T][c_eQ[c_eQ][T[d[d][mary]][T[T][will[will][v[d[d][mary]][v[v*][buy[buy][q[q][what]]]]]]]]]]]]]]]]]]]]]

CI: wh-question

Parse:

Spell-out:

what -ed(sg) do john say that mary -s will buy (after morpheme realization)

what do -ed(sg) john say that mary will -s buy (after affix-hop)

what do -ed(sg) john say that mary will -s buy (after morpheme realization, stage 2)

what did john say that mary will buy

2 derivations found.

Computational Cost:

Merge: 39, Agree: 27, Unify: 0, Push: 4, Boundaries: 6, Inject: 2

Non-TOS access: 7, Pop: 0, Depth cost: 68

Step:	0	1	2	3	4	5	6	7	8	9	10	11	12	13	14	15	16	17	18	19	20	21	22	23	24	25	26	27	28	29	30	31	32	33	34	35	36	37	38	39	40	41	42
Stack depth:	0	0	0	1	1	0	0	0	1	2	2	2	2	2	3	3	3	0	0	0	3	4	4	4	4	5	4	5	2	3	3	3	0	0	0	3	4	4	4	4	5	4	5