Minimalist Machine Derivations

Minimalist Machine Derivations

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

Examples:

Tough-Constructions. A Case-theoretic approach. collapse

Example	Instruction stream (clickable)	Notes
(1) John is easy to please	[john, d, please, 'v_unerg', ['PRO', d0], 'Tinf', c, easy, v_be, 'T', c]	John (with unvalued uCase) is stacked after merge with please. v_unerg doesn't assign Case to John. Tinf assigns null Case to PRO. At the Local Extent (LE) boundary, the embedded CP, John (with unvalued uCase) is re-stacked. T picks up TOS John.
(2) The violin is easy to play the sonata on	[violin, the, on_nc, [sonata, the], play, 'v*', ['PRO', d0], 'Tinf', c, easy, v_be, 'T', c]	on_nc (no case) selects for the violin but does not assign it Case. At the Local Extent (LE) boundary, the embedded CP, the violin (with unvalued uCase) is re-stacked. Matrix T picks up TOS the violin.
(3) *What sonata is the violin easy to play on?	[violin, the, on_nc, [sonata, what:d], play, 'v*', ['PRO', d0], 'Tinf', c, easy, v_be, 'T', c_Q]	Does not converge. on_nc (no case) selects for the violin but does not assign it Case. what sonata is stacked (uScope). At the LE boundary, the embedded CP, what sonata (unvalued uScope) and the violin (unvalued uCase) are re-stacked. Matrix T fails to agree with TOS what sonata: nom Case clashes with acc Case assigned by embedded v*.
(4) The sonata is easy to play on this violin	[violin, this, on, [sonata, the], play, 'v_unerg', ['PRO', d0], 'Tinf', c, easy, v_be, 'T', c]	on assigns Case to this violin. v_unerg doesn't assign Case to the sonata. At the LE boundary, the embedded CP, the sonata (unvalued uCase) is restacked. Matrix T picks up TOS the sonata.
(5) What violin is the sonata easy to play on?	[violin, what:d, on, [sonata, the], play, v_unerg, ['PRO', d0], 'Tinf', c, easy, v_be, 'T', c_Q]	on assigns Case to this violin. v_unerg doesn't assign Case to the sonata. At the LE boundary, the embedded CP, the sonata (unvalued uCase) and what violin (unvalued uScope) are restacked. Matrix T picks up TOS the sonata. c_Q finds iWh what violin.
(6) Linguists are tough to please	[linguists, d, please, v_unerg, ['PRO', d0], 'Tinf', c, tough, v_be, 'T', c]	(Same as (1).) Linguists (with unvalued uCase) is stacked after merge with please. v_unerg doesn't assign Case to linguists. Tinf assigns null Case to PRO. At the LE boundary, the embedded CP, linguists (with unvalued uCase) is re-stacked. T picks up TOS linguists.
(7) It is tough to please linguists	[linguists, d, please,'v*', ['PRO', d0], 'Tinf', c, tough, v_be, it, 'T', c]	v* assigns Case to linguists. (No restacking is done at the LE boundary, the embedded CP.) Expletive it merge to the edge of v_be. Agree(matrix T,it) obtains.
(8) The book is easy to put on the table	[table, the, on, [book, the], put, v_unerg, ['PRO', d0], 'Tinf', c, easy, 'v_be', 'T', c]	(Same as (4).) on assigns Case to the table. v_unerg doesn't assign Case to the book. At the LE boundary, the embedded CP, the book (unvalued uCase) is restacked. Matrix T picks up TOS the book.
(9) What table is the book easy to put on?	[table, what:d, on, [book, the], put, v_unerg, ['PRO', d0], 'Tinf', c, easy, 'v_be', 'T', c_Q]	(Same as (5).) on assigns Case to what table. v_unerg doesn't assign Case to the book. At the LE boundary, the embedded CP, the book (unvalued uCase) and what table (unvalued uScope) are restacked. Matrix T picks up TOS the book. c_Q finds iWh what table.

Machine Parameters: expand

Animation:
(9) What table is the book easy to put on?

Derivation:
(9) What table is the book easy to put on?

Stream:	[[table!D],[what!case!N!scope],[on],[[book!D],[the!case!N]],[put],[v_unerg],[[PRO!D],[d0!case!N]],[Tinf!phi],[c],[easy],[v_be],[T!phi!v],[c_Q!wh!T]]
Stack (⥥):
SO:	[]

Step 1.

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

Stream:	[[what!case!N!scope],[on],[[book!D],[the!case!N]],[put],[v_unerg],[[PRO!D],[d0!case!N]],[Tinf!phi],[c],[easy],[v_be],[T!phi!v],[c_Q!wh!T]]
Stack (⥥):
SO:	[table!D]

Step 2.

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

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

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

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

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

Stream:	[[on],[[book!D],[the!case!N]],[put],[v_unerg],[[PRO!D],[d0!case!N]],[Tinf!phi],[c],[easy],[v_be],[T!phi!v],[c_Q!wh!T]]
Stack (⥥):
SO:	[what!case!scope[what!scope][table]]

Step 3.

Merge [on] and [what!case!scope[what!scope][table]]

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

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

[on] values obq case on [what!case!scope[what!scope][table]]

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

Stream:	[[[book!D],[the!case!N]],[put],[v_unerg],[[PRO!D],[d0!case!N]],[Tinf!phi],[c],[easy],[v_be],[T!phi!v],[c_Q!wh!T]]
Stack (⥥):	[what!scope[what!scope][table]]
SO:	[on[on][what!scope[what!scope][table]]]

Step 4.

Begin substream

Stream:	[[book!D],[the!case!N]]
Stack (⥥):
SO:	[]

Step 5.

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

Stream:	[[the!case!N]]
Stack (⥥):
SO:	[book!D]

Step 6.

Merge [the!case!N] and [book!D]

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

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

[the!case!N] values D on [book!D]

[book] values N on [the!case!N]

Stream:	[]
Stack (⥥):
SO:	[the!case[the][book]]

End substream, SO [the!case[the][book]] re-inserted into main stream

Step 7.

Stream:	[[the!case[the][book]],[put],[v_unerg],[[PRO!D],[d0!case!N]],[Tinf!phi],[c],[easy],[v_be],[T!phi!v],[c_Q!wh!T]]
Stack (⥥):	[what!scope[what!scope][table]]
SO:	[on[on][what!scope[what!scope][table]]]

Step 8.

Merge [on[on][what!scope[what..][table..]]] and [the!case[the][book]]

Label from [on[on][what!scope[what..][table..]]] (edge feature)

Theta-mark [the!case[the][book]]

Push [the!case[the][book]] (unvalued uF) onto stack

Stream:	[[put],[v_unerg],[[PRO!D],[d0!case!N]],[Tinf!phi],[c],[easy],[v_be],[T!phi!v],[c_Q!wh!T]]
Stack (⥥):	[the!case[the][book]] [what!scope[what!scope][table]]
SO:	[on[the!case[the][book]][on[on][what!scope[what!scope][table]]]]

Step 9.

Merge [put] and [on[the!case[the..][book..]][on[on..][what..]]]

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

Stream:	[[v_unerg],[[PRO!D],[d0!case!N]],[Tinf!phi],[c],[easy],[v_be],[T!phi!v],[c_Q!wh!T]]
Stack (⥥):	[the!case[the][book]] [what!scope[what!scope][table]]
SO:	[put[put][on[the!case[the][book]][on[on][what!scope[what!scope][table]]]]]

Step 10.

Merge [v_unerg] and [put[put][on[the..][on..]]]

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

Stream:	[[[PRO!D],[d0!case!N]],[Tinf!phi],[c],[easy],[v_be],[T!phi!v],[c_Q!wh!T]]
Stack (⥥):	[the!case[the][book]] [what!scope[what!scope][table]]
SO:	[v_unerg[v_unerg][put[put][on[the!case[the][book]][on[on][what!scope[what!scope][table]]]]]]

Step 11.

Begin substream

Stream:	[[PRO!D],[d0!case!N]]
Stack (⥥):
SO:	[]

Step 12.

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

Stream:	[[d0!case!N]]
Stack (⥥):
SO:	[PRO!D]

Step 13.

Merge [d0!case!N] and [PRO!D]

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

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

[d0!case!N] values D on [PRO!D]

[PRO] values N on [d0!case!N]

Stream:	[]
Stack (⥥):
SO:	[d0!case[d0][PRO]]

End substream, SO [d0!case[d0][PRO]] re-inserted into main stream

Step 14.

Stream:	[[d0!case[d0][PRO]],[Tinf!phi],[c],[easy],[v_be],[T!phi!v],[c_Q!wh!T]]
Stack (⥥):	[the!case[the][book]] [what!scope[what!scope][table]]
SO:	[v_unerg[v_unerg][put[put][on[the!case[the][book]][on[on][what!scope[what!scope][table]]]]]]

Step 15.

Merge [v_unerg[v_unerg][put[put..][on..]]] and [d0!case[d0][PRO]]

Label from [v_unerg[v_unerg][put[put..][on..]]] (edge feature)

Theta-mark [d0!case[d0][PRO]]

Push [d0!case[d0][PRO]] (unvalued uF) onto stack

Stream:	[[Tinf!phi],[c],[easy],[v_be],[T!phi!v],[c_Q!wh!T]]
Stack (⥥):	[d0!case[d0][PRO]] [the!case[the][book]] [what!scope[what!scope][table]]
SO:	[v_unerg[d0!case[d0][PRO]][v_unerg[v_unerg][put[put][on[the!case[the][book]][on[on][what!scope[what!scope][table]]]]]]]

Step 16.

Merge [Tinf!phi] and [v_unerg[d0!case[d0..][PRO..]][v_unerg[v_unerg..][put..]]]

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

[d0!case[d0][PRO]] values uPhi on [Tinf!phi]

[Tinf] values nullCase case on [d0[d0][PRO]]

Stream:	[[c],[easy],[v_be],[T!phi!v],[c_Q!wh!T]]
Stack (⥥):	[d0[d0][PRO]] [the!case[the][book]] [what!scope[what!scope][table]]
SO:	[Tinf[Tinf][v_unerg[d0[d0][PRO]][v_unerg[v_unerg][put[put][on[the!case[the][book]][on[on][what!scope[what!scope][table]]]]]]]]

Step 17.

Internal merge selected

Merge [Tinf[Tinf][v_unerg[d0..][v_unerg..]]] and [d0[d0][PRO]]

Label from [Tinf[Tinf][v_unerg[d0..][v_unerg..]]] (edge feature)

Stream:	[[c],[easy],[v_be],[T!phi!v],[c_Q!wh!T]]
Stack (⥥):	[d0[d0][PRO]] [the!case[the][book]] [what!scope[what!scope][table]]
SO:	[Tinf[d0[d0][PRO]][Tinf[Tinf][v_unerg[d0[d0][PRO]][v_unerg[v_unerg][put[put][on[the!case[the][book]][on[on][what!scope[what!scope][table]]]]]]]]]

Step 18.

Merge [c] and [Tinf[d0[d0..][PRO..]][Tinf[Tinf..][v_unerg..]]]

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

Stream:	[[easy],[v_be],[T!phi!v],[c_Q!wh!T]]
Stack (⥥):	[d0[d0][PRO]] [the!case[the][book]] [what!scope[what!scope][table]]
SO:	[c[c][Tinf[d0[d0][PRO]][Tinf[Tinf][v_unerg[d0[d0][PRO]][v_unerg[v_unerg][put[put][on[the!case[the][book]][on[on][what!scope[what!scope][table]]]]]]]]]]

Step 19.

Local Extent boundary at [c[c][Tinf[d0..][Tinf..]]]

Stack element [the!case[the][book]] with unvalued uF found

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

New boundary (b) marker stacked

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

Restack [the!case[the][book]] onto stack

Stream:	[[easy],[v_be],[T!phi!v],[c_Q!wh!T]]
Stack (⥥):	[the!case[the][book]] [what!scope[what!scope][table]] b [d0[d0][PRO]]
SO:	[c[c][Tinf[d0[d0][PRO]][Tinf[Tinf][v_unerg[d0[d0][PRO]][v_unerg[v_unerg][put[put][on[the!case[the][book]][on[on][what!scope[what!scope][table]]]]]]]]]]

Step 20.

Merge [easy] and [c[c][Tinf[d0..][Tinf..]]]

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

Stream:	[[v_be],[T!phi!v],[c_Q!wh!T]]
Stack (⥥):	[the!case[the][book]] [what!scope[what!scope][table]] b [d0[d0][PRO]]
SO:	[easy[easy][c[c][Tinf[d0[d0][PRO]][Tinf[Tinf][v_unerg[d0[d0][PRO]][v_unerg[v_unerg][put[put][on[the!case[the][book]][on[on][what!scope[what!scope][table]]]]]]]]]]]

Step 21.

Merge [v_be] and [easy[easy][c[c..][Tinf..]]]

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

Stream:	[[T!phi!v],[c_Q!wh!T]]
Stack (⥥):	[the!case[the][book]] [what!scope[what!scope][table]] b [d0[d0][PRO]]
SO:	[v_be[v_be][easy[easy][c[c][Tinf[d0[d0][PRO]][Tinf[Tinf][v_unerg[d0[d0][PRO]][v_unerg[v_unerg][put[put][on[the!case[the][book]][on[on][what!scope[what!scope][table]]]]]]]]]]]]

Step 22.

Internal merge selected

Merge [v_be[v_be][easy[easy..][c..]]] and [the!case[the][book]]

Label from [v_be[v_be][easy[easy..][c..]]] (edge feature)

Preference: [v_be] edge merge from the stack (not stream)

Stream:	[[T!phi!v],[c_Q!wh!T]]
Stack (⥥):	[the!case[the][book]] [what!scope[what!scope][table]] b [d0[d0][PRO]]
SO:	[v_be[the!case[the][book]][v_be[v_be][easy[easy][c[c][Tinf[d0[d0][PRO]][Tinf[Tinf][v_unerg[d0[d0][PRO]][v_unerg[v_unerg][put[put][on[the[the][book]][on[on][what!scope[what!scope][table]]]]]]]]]]]]]

Step 23.

Merge [T!phi!v] and [v_be[the!case[the..][book..]][v_be[v_be..][easy..]]]

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

[the!case[the][book]] values uPhi on [T!phi!v]

[T!v] values nom case on [the!case[the][book]]

Relativized TOS search for iF(v) skipping [the[the][book]]

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

[T!v] attracts [v_be[the[the..][book..]][v_be[v_be..][easy..]]]

Merge [T[T][v_be[the..][v_be..]]] and [v_be]

Label from [T[T][v_be[the..][v_be..]]] (edge feature)

Stream:	[[c_Q!wh!T]]
Stack (⥥):	[the[the][book]] [what!scope[what!scope][table]] b [d0[d0][PRO]]
SO:	[T[v_be][T[T][v_be[the[the][book]][v_be[v_be][easy[easy][c[c][Tinf[d0[d0][PRO]][Tinf[Tinf][v_unerg[d0[d0][PRO]][v_unerg[v_unerg][put[put][on[the[the][book]][on[on][what!scope[what!scope][table]]]]]]]]]]]]]]]

Step 24.

Internal merge selected

Merge [T[v_be][T[T..][v_be..]]] and [the[the][book]]

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

Stream:	[[c_Q!wh!T]]
Stack (⥥):	[the[the][book]] [what!scope[what!scope][table]] b [d0[d0][PRO]]
SO:	[T[the[the][book]][T[v_be][T[T][v_be[the[the][book]][v_be[v_be][easy[easy][c[c][Tinf[d0[d0][PRO]][Tinf[Tinf][v_unerg[d0[d0][PRO]][v_unerg[v_unerg][put[put][on[the[the][book]][on[on][what!scope[what!scope][table]]]]]]]]]]]]]]]]

Step 25.

Merge [c_Q!wh!T] and [T[the[the..][book..]][T[v_be..][T..]]]

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

Relativized TOS search for iF(wh) skipping [the[the][book]]

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

[the[the][book]] values T on [c_Q!T]

Internal merge selected

Merge [c_Q[c_Q][T[the..][T..]]] and [the[the][book]]

Label from [c_Q[c_Q][T[the..][T..]]] (edge feature)

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

Merge [c_Q[the[the..][book..]][c_Q[c_Q..][T..]]] and [what[what][table]]

Label from [c_Q[the[the..][book..]][c_Q[c_Q..][T..]]] (edge feature)

Stream:	[]
Stack (⥥):	[the[the][book]] [what[what][table]] b [d0[d0][PRO]]
SO:	[c_Q[what[what][table]][c_Q[the[the][book]][c_Q[c_Q][T[the[the][book]][T[v_be][T[T][v_be[the[the][book]][v_be[v_be][easy[easy][c[c][Tinf[d0[d0][PRO]][Tinf[Tinf][v_unerg[d0[d0][PRO]][v_unerg[v_unerg][put[put][on[the[the][book]][on[on][what[what][table]]]]]]]]]]]]]]]]]]]

Step 26.

Local Extent boundary at [c_Q[what[what..][table..]][c_Q[the..][c_Q..]]]

New boundary (b) marker stacked

Stream:	[]
Stack (⥥):	b [the[the][book]] [what[what][table]] b [d0[d0][PRO]]
SO:	[c_Q[what[what][table]][c_Q[the[the][book]][c_Q[c_Q][T[the[the][book]][T[v_be][T[T][v_be[the[the][book]][v_be[v_be][easy[easy][c[c][Tinf[d0[d0][PRO]][Tinf[Tinf][v_unerg[d0[d0][PRO]][v_unerg[v_unerg][put[put][on[the[the][book]][on[on][what[what][table]]]]]]]]]]]]]]]]]]]

Conceptual-Intensional (CI) Interface: [c_Q] + edge [[what[what][table]],[the[the][book]]] constitutes an ill-formed interrogative!

Backtrack

Stream:	[[c_Q!wh!T]]
Stack (⥥):	[the[the][book]] [what!scope[what!scope][table]] b [d0[d0][PRO]]
SO:	[T[the[the][book]][T[v_be][T[T][v_be[the[the][book]][v_be[v_be][easy[easy][c[c][Tinf[d0[d0][PRO]][Tinf[Tinf][v_unerg[d0[d0][PRO]][v_unerg[v_unerg][put[put][on[the[the][book]][on[on][what!scope[what!scope][table]]]]]]]]]]]]]]]]

re-doing step 25

Step 27.

[c_Q!T] attracts [T[the[the..][book..]][T[v_be..][T..]]]

Internal merge selected

Merge [c_Q[c_Q][T[the..][T..]]] and [v_be]

Label from [c_Q[c_Q][T[the..][T..]]] (edge feature)

Merge [c_Q[v_be][c_Q[c_Q..][T..]]] and [T]

Label from [c_Q[v_be][c_Q[c_Q..][T..]]] (edge feature)

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

Merge [c_Q[T][c_Q[v_be..][c_Q..]]] and [what[what][table]]

Label from [c_Q[T][c_Q[v_be..][c_Q..]]] (edge feature)

Stream:	[]
Stack (⥥):	[the[the][book]] [what[what][table]] b [d0[d0][PRO]]
SO:	[c_Q[what[what][table]][c_Q[T][c_Q[v_be][c_Q[c_Q][T[the[the][book]][T[v_be][T[T][v_be[the[the][book]][v_be[v_be][easy[easy][c[c][Tinf[d0[d0][PRO]][Tinf[Tinf][v_unerg[d0[d0][PRO]][v_unerg[v_unerg][put[put][on[the[the][book]][on[on][what[what][table]]]]]]]]]]]]]]]]]]]]

Step 28.

Local Extent boundary at [c_Q[what[what..][table..]][c_Q[T..][c_Q..]]]

New boundary (b) marker stacked

Stream:	[]
Stack (⥥):	b [the[the][book]] [what[what][table]] b [d0[d0][PRO]]
SO:	[c_Q[what[what][table]][c_Q[T][c_Q[v_be][c_Q[c_Q][T[the[the][book]][T[v_be][T[T][v_be[the[the][book]][v_be[v_be][easy[easy][c[c][Tinf[d0[d0][PRO]][Tinf[Tinf][v_unerg[d0[d0][PRO]][v_unerg[v_unerg][put[put][on[the[the][book]][on[on][what[what][table]]]]]]]]]]]]]]]]]]]]

CI: wh-question

Parse:

Spell-out:

what table -s be the book easy to put on (after morpheme realization)

what table be -s the book easy to put on (after affix-hop)

what table be -s the book easy to put on (after morpheme realization, stage 2)

what table is the book easy to put on

Backtrack

Stream:	[[on],[[book!D],[the!case!N]],[put],[v_unerg],[[PRO!D],[d0!case!N]],[Tinf!phi],[c],[easy],[v_be],[T!phi!v],[c_Q!wh!T]]
Stack (⥥):
SO:	[what!case!scope[what!scope][table]]

re-doing step 3

Step 29.

Push [on[on][what!scope[what..][table..]]] (unvalued uF) onto stack

Stream:	[[[book!D],[the!case!N]],[put],[v_unerg],[[PRO!D],[d0!case!N]],[Tinf!phi],[c],[easy],[v_be],[T!phi!v],[c_Q!wh!T]]
Stack (⥥):	[on[on][what!scope[what!scope][table]]]
SO:	[on[on][what!scope[what!scope][table]]]

Step 30.

Begin substream

Stream:	[[book!D],[the!case!N]]
Stack (⥥):
SO:	[]

Step 31.

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

Stream:	[[the!case!N]]
Stack (⥥):
SO:	[book!D]

Step 32.

Merge [the!case!N] and [book!D]

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

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

[the!case!N] values D on [book!D]

[book] values N on [the!case!N]

Stream:	[]
Stack (⥥):
SO:	[the!case[the][book]]

End substream, SO [the!case[the][book]] re-inserted into main stream

Step 33.

Stream:	[[the!case[the][book]],[put],[v_unerg],[[PRO!D],[d0!case!N]],[Tinf!phi],[c],[easy],[v_be],[T!phi!v],[c_Q!wh!T]]
Stack (⥥):	[on[on][what!scope[what!scope][table]]]
SO:	[on[on][what!scope[what!scope][table]]]

Step 34.

Merge [on[on][what!scope[what..][table..]]] and [the!case[the][book]]

Label from [on[on][what!scope[what..][table..]]] (edge feature)

Theta-mark [the!case[the][book]]

Push [the!case[the][book]] (unvalued uF) onto stack

Stream:	[[put],[v_unerg],[[PRO!D],[d0!case!N]],[Tinf!phi],[c],[easy],[v_be],[T!phi!v],[c_Q!wh!T]]
Stack (⥥):	[the!case[the][book]] [on[on][what!scope[what!scope][table]]]
SO:	[on[the!case[the][book]][on[on][what!scope[what!scope][table]]]]

Step 35.

Merge [put] and [on[the!case[the..][book..]][on[on..][what..]]]

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

Stream:	[[v_unerg],[[PRO!D],[d0!case!N]],[Tinf!phi],[c],[easy],[v_be],[T!phi!v],[c_Q!wh!T]]
Stack (⥥):	[the!case[the][book]] [on[on][what!scope[what!scope][table]]]
SO:	[put[put][on[the!case[the][book]][on[on][what!scope[what!scope][table]]]]]

Step 36.

Merge [v_unerg] and [put[put][on[the..][on..]]]

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

Stream:	[[[PRO!D],[d0!case!N]],[Tinf!phi],[c],[easy],[v_be],[T!phi!v],[c_Q!wh!T]]
Stack (⥥):	[the!case[the][book]] [on[on][what!scope[what!scope][table]]]
SO:	[v_unerg[v_unerg][put[put][on[the!case[the][book]][on[on][what!scope[what!scope][table]]]]]]

Step 37.

Begin substream

Stream:	[[PRO!D],[d0!case!N]]
Stack (⥥):
SO:	[]

Step 38.

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

Stream:	[[d0!case!N]]
Stack (⥥):
SO:	[PRO!D]

Step 39.

Merge [d0!case!N] and [PRO!D]

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

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

[d0!case!N] values D on [PRO!D]

[PRO] values N on [d0!case!N]

Stream:	[]
Stack (⥥):
SO:	[d0!case[d0][PRO]]

End substream, SO [d0!case[d0][PRO]] re-inserted into main stream

Step 40.

Stream:	[[d0!case[d0][PRO]],[Tinf!phi],[c],[easy],[v_be],[T!phi!v],[c_Q!wh!T]]
Stack (⥥):	[the!case[the][book]] [on[on][what!scope[what!scope][table]]]
SO:	[v_unerg[v_unerg][put[put][on[the!case[the][book]][on[on][what!scope[what!scope][table]]]]]]

Step 41.

Merge [v_unerg[v_unerg][put[put..][on..]]] and [d0!case[d0][PRO]]

Label from [v_unerg[v_unerg][put[put..][on..]]] (edge feature)

Theta-mark [d0!case[d0][PRO]]

Push [d0!case[d0][PRO]] (unvalued uF) onto stack

Stream:	[[Tinf!phi],[c],[easy],[v_be],[T!phi!v],[c_Q!wh!T]]
Stack (⥥):	[d0!case[d0][PRO]] [the!case[the][book]] [on[on][what!scope[what!scope][table]]]
SO:	[v_unerg[d0!case[d0][PRO]][v_unerg[v_unerg][put[put][on[the!case[the][book]][on[on][what!scope[what!scope][table]]]]]]]

Step 42.

Merge [Tinf!phi] and [v_unerg[d0!case[d0..][PRO..]][v_unerg[v_unerg..][put..]]]

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

[d0!case[d0][PRO]] values uPhi on [Tinf!phi]

[Tinf] values nullCase case on [d0[d0][PRO]]

Stream:	[[c],[easy],[v_be],[T!phi!v],[c_Q!wh!T]]
Stack (⥥):	[d0[d0][PRO]] [the!case[the][book]] [on[on][what!scope[what!scope][table]]]
SO:	[Tinf[Tinf][v_unerg[d0[d0][PRO]][v_unerg[v_unerg][put[put][on[the!case[the][book]][on[on][what!scope[what!scope][table]]]]]]]]

Step 43.

Internal merge selected

Merge [Tinf[Tinf][v_unerg[d0..][v_unerg..]]] and [d0[d0][PRO]]

Label from [Tinf[Tinf][v_unerg[d0..][v_unerg..]]] (edge feature)

Stream:	[[c],[easy],[v_be],[T!phi!v],[c_Q!wh!T]]
Stack (⥥):	[d0[d0][PRO]] [the!case[the][book]] [on[on][what!scope[what!scope][table]]]
SO:	[Tinf[d0[d0][PRO]][Tinf[Tinf][v_unerg[d0[d0][PRO]][v_unerg[v_unerg][put[put][on[the!case[the][book]][on[on][what!scope[what!scope][table]]]]]]]]]

Step 44.

Merge [c] and [Tinf[d0[d0..][PRO..]][Tinf[Tinf..][v_unerg..]]]

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

Stream:	[[easy],[v_be],[T!phi!v],[c_Q!wh!T]]
Stack (⥥):	[d0[d0][PRO]] [the!case[the][book]] [on[on][what!scope[what!scope][table]]]
SO:	[c[c][Tinf[d0[d0][PRO]][Tinf[Tinf][v_unerg[d0[d0][PRO]][v_unerg[v_unerg][put[put][on[the!case[the][book]][on[on][what!scope[what!scope][table]]]]]]]]]]

Step 45.

Local Extent boundary at [c[c][Tinf[d0..][Tinf..]]]

Stack element [the!case[the][book]] with unvalued uF found

Stack element [on[on][what!scope[what..][table..]]] with unvalued uF found

New boundary (b) marker stacked

Restack [on[on][what!scope[what..][table..]]] onto stack

Restack [the!case[the][book]] onto stack

Stream:	[[easy],[v_be],[T!phi!v],[c_Q!wh!T]]
Stack (⥥):	[the!case[the][book]] [on[on][what!scope[what!scope][table]]] b [d0[d0][PRO]]
SO:	[c[c][Tinf[d0[d0][PRO]][Tinf[Tinf][v_unerg[d0[d0][PRO]][v_unerg[v_unerg][put[put][on[the!case[the][book]][on[on][what!scope[what!scope][table]]]]]]]]]]

Step 46.

Merge [easy] and [c[c][Tinf[d0..][Tinf..]]]

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

Stream:	[[v_be],[T!phi!v],[c_Q!wh!T]]
Stack (⥥):	[the!case[the][book]] [on[on][what!scope[what!scope][table]]] b [d0[d0][PRO]]
SO:	[easy[easy][c[c][Tinf[d0[d0][PRO]][Tinf[Tinf][v_unerg[d0[d0][PRO]][v_unerg[v_unerg][put[put][on[the!case[the][book]][on[on][what!scope[what!scope][table]]]]]]]]]]]

Step 47.

Merge [v_be] and [easy[easy][c[c..][Tinf..]]]

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

Stream:	[[T!phi!v],[c_Q!wh!T]]
Stack (⥥):	[the!case[the][book]] [on[on][what!scope[what!scope][table]]] b [d0[d0][PRO]]
SO:	[v_be[v_be][easy[easy][c[c][Tinf[d0[d0][PRO]][Tinf[Tinf][v_unerg[d0[d0][PRO]][v_unerg[v_unerg][put[put][on[the!case[the][book]][on[on][what!scope[what!scope][table]]]]]]]]]]]]

Step 48.

Internal merge selected

Merge [v_be[v_be][easy[easy..][c..]]] and [the!case[the][book]]

Label from [v_be[v_be][easy[easy..][c..]]] (edge feature)

Preference: [v_be] edge merge from the stack (not stream)

Stream:	[[T!phi!v],[c_Q!wh!T]]
Stack (⥥):	[the!case[the][book]] [on[on][what!scope[what!scope][table]]] b [d0[d0][PRO]]
SO:	[v_be[the!case[the][book]][v_be[v_be][easy[easy][c[c][Tinf[d0[d0][PRO]][Tinf[Tinf][v_unerg[d0[d0][PRO]][v_unerg[v_unerg][put[put][on[the[the][book]][on[on][what!scope[what!scope][table]]]]]]]]]]]]]

Step 49.

Merge [T!phi!v] and [v_be[the!case[the..][book..]][v_be[v_be..][easy..]]]

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

[the!case[the][book]] values uPhi on [T!phi!v]

[T!v] values nom case on [the!case[the][book]]

Relativized TOS search for iF(v) skipping [the[the][book]]

Relativized TOS search for iF(v) skipping [on[on][what!scope[what..][table..]]]

[T!v] attracts [v_be[the[the..][book..]][v_be[v_be..][easy..]]]

Merge [T[T][v_be[the..][v_be..]]] and [v_be]

Label from [T[T][v_be[the..][v_be..]]] (edge feature)

Stream:	[[c_Q!wh!T]]
Stack (⥥):	[the[the][book]] [on[on][what!scope[what!scope][table]]] b [d0[d0][PRO]]
SO:	[T[v_be][T[T][v_be[the[the][book]][v_be[v_be][easy[easy][c[c][Tinf[d0[d0][PRO]][Tinf[Tinf][v_unerg[d0[d0][PRO]][v_unerg[v_unerg][put[put][on[the[the][book]][on[on][what!scope[what!scope][table]]]]]]]]]]]]]]]

Step 50.

Internal merge selected

Merge [T[v_be][T[T..][v_be..]]] and [the[the][book]]

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

Stream:	[[c_Q!wh!T]]
Stack (⥥):	[the[the][book]] [on[on][what!scope[what!scope][table]]] b [d0[d0][PRO]]
SO:	[T[the[the][book]][T[v_be][T[T][v_be[the[the][book]][v_be[v_be][easy[easy][c[c][Tinf[d0[d0][PRO]][Tinf[Tinf][v_unerg[d0[d0][PRO]][v_unerg[v_unerg][put[put][on[the[the][book]][on[on][what!scope[what!scope][table]]]]]]]]]]]]]]]]

Step 51.

Merge [c_Q!wh!T] and [T[the[the..][book..]][T[v_be..][T..]]]

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

Relativized TOS search for iF(wh) skipping [the[the][book]]

[on[on][what!scope[what..][table..]]] values wh on [c_Q!wh!T]

[the[the][book]] values T on [c_Q!T]

Internal merge selected

Merge [c_Q[c_Q][T[the..][T..]]] and [the[the][book]]

Label from [c_Q[c_Q][T[the..][T..]]] (edge feature)

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

Merge [c_Q[the[the..][book..]][c_Q[c_Q..][T..]]] and [on[on][what[what..][table..]]]

Label from [c_Q[the[the..][book..]][c_Q[c_Q..][T..]]] (edge feature)

Stream:	[]
Stack (⥥):	[the[the][book]] [on[on][what[what][table]]] b [d0[d0][PRO]]
SO:	[c_Q[on[on][what[what][table]]][c_Q[the[the][book]][c_Q[c_Q][T[the[the][book]][T[v_be][T[T][v_be[the[the][book]][v_be[v_be][easy[easy][c[c][Tinf[d0[d0][PRO]][Tinf[Tinf][v_unerg[d0[d0][PRO]][v_unerg[v_unerg][put[put][on[the[the][book]][on[on][what[what][table]]]]]]]]]]]]]]]]]]]

Step 52.

Local Extent boundary at [c_Q[on[on..][what..]][c_Q[the..][c_Q..]]]

New boundary (b) marker stacked

Stream:	[]
Stack (⥥):	b [the[the][book]] [on[on][what[what][table]]] b [d0[d0][PRO]]
SO:	[c_Q[on[on][what[what][table]]][c_Q[the[the][book]][c_Q[c_Q][T[the[the][book]][T[v_be][T[T][v_be[the[the][book]][v_be[v_be][easy[easy][c[c][Tinf[d0[d0][PRO]][Tinf[Tinf][v_unerg[d0[d0][PRO]][v_unerg[v_unerg][put[put][on[the[the][book]][on[on][what[what][table]]]]]]]]]]]]]]]]]]]

Conceptual-Intensional (CI) Interface: [c_Q] + edge [[on[on][what[what][table]]],[the[the][book]]] constitutes an ill-formed interrogative!

Backtrack

Stream:	[[c_Q!wh!T]]
Stack (⥥):	[the[the][book]] [on[on][what!scope[what!scope][table]]] b [d0[d0][PRO]]
SO:	[T[the[the][book]][T[v_be][T[T][v_be[the[the][book]][v_be[v_be][easy[easy][c[c][Tinf[d0[d0][PRO]][Tinf[Tinf][v_unerg[d0[d0][PRO]][v_unerg[v_unerg][put[put][on[the[the][book]][on[on][what!scope[what!scope][table]]]]]]]]]]]]]]]]

re-doing step 51

Step 53.

[c_Q!T] attracts [T[the[the..][book..]][T[v_be..][T..]]]

Internal merge selected

Merge [c_Q[c_Q][T[the..][T..]]] and [v_be]

Label from [c_Q[c_Q][T[the..][T..]]] (edge feature)

Merge [c_Q[v_be][c_Q[c_Q..][T..]]] and [T]

Label from [c_Q[v_be][c_Q[c_Q..][T..]]] (edge feature)

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

Merge [c_Q[T][c_Q[v_be..][c_Q..]]] and [on[on][what[what..][table..]]]

Label from [c_Q[T][c_Q[v_be..][c_Q..]]] (edge feature)

Stream:	[]
Stack (⥥):	[the[the][book]] [on[on][what[what][table]]] b [d0[d0][PRO]]
SO:	[c_Q[on[on][what[what][table]]][c_Q[T][c_Q[v_be][c_Q[c_Q][T[the[the][book]][T[v_be][T[T][v_be[the[the][book]][v_be[v_be][easy[easy][c[c][Tinf[d0[d0][PRO]][Tinf[Tinf][v_unerg[d0[d0][PRO]][v_unerg[v_unerg][put[put][on[the[the][book]][on[on][what[what][table]]]]]]]]]]]]]]]]]]]]

Step 54.

Local Extent boundary at [c_Q[on[on..][what..]][c_Q[T..][c_Q..]]]

New boundary (b) marker stacked

Stream:	[]
Stack (⥥):	b [the[the][book]] [on[on][what[what][table]]] b [d0[d0][PRO]]
SO:	[c_Q[on[on][what[what][table]]][c_Q[T][c_Q[v_be][c_Q[c_Q][T[the[the][book]][T[v_be][T[T][v_be[the[the][book]][v_be[v_be][easy[easy][c[c][Tinf[d0[d0][PRO]][Tinf[Tinf][v_unerg[d0[d0][PRO]][v_unerg[v_unerg][put[put][on[the[the][book]][on[on][what[what][table]]]]]]]]]]]]]]]]]]]]

CI: wh-question

Parse:

Spell-out:

on what table -s be the book easy to put (after morpheme realization)

on what table be -s the book easy to put (after affix-hop)

on what table be -s the book easy to put (after morpheme realization, stage 2)

on what table is the book easy to put

2 derivations found.

Computational Cost:

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

Non-TOS access: 6, Pop: 0, Depth cost: 88

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	43	44	45	46	47	48	49	50	51	52	53	54
Stack depth:	0	0	0	1	0	0	0	1	2	2	2	0	0	0	2	3	3	3	3	4	4	4	4	4	4	4	5	4	5	1	0	0	0	1	2	2	2	0	0	0	2	3	3	3	3	4	4	4	4	4	4	4	5	4	5