Minimalist Machine Derivations

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

Examples:

Test cases from A Course in GB Syntax (Lasnik & Uriagereka,1988). collapse

Example	Instruction stream (clickable)	Notes
Strong Crossover
Who₁ thinks (that) Mary likes him₁	[who, q, he, d, like, 'v*', [mary, d], 'T', c_eQ, think, v_unerg, 'T', c_Q]	Doubling Constituent (DC) he-who object of embedded verb like. Two derivations. [Note: Need to allow c stack search to find (inactive) who.]
Who₁ thinks (that) Mary likes him₂	[he, d, like, 'v*', [mary, d], 'T', c_e, think, v_unerg, [who, q], 'T', c_Q]	No DC. He is object of embedded verb like. Who is subject of matrix verb think. Two derivations.
*Who₁ does he₁ think Mary likes		No DC analysis possible.
Who₁ does he₂ think (that) Mary likes	[who, q, like, 'v*', [mary, d], 'T', c_eQ, think, v_unerg, [he, d], 'T', c_Q]	No DC. Who object of embedded verb like. He subject of matrix verb think. Two derivations.

Parameter	Setting	Description
substream_stack	on	Allow transfer of substream stack back to mainstream
stack_update_larger	off	Replace updated subconstituent of stack element
pmerge_flag	off	Allow spellout of pair-merge in either order
inactive_push	on	Push nonhead of DC merge onto the stack inactive(_)
search	stk	Search SO or stack for unvalued uF to be released
drop_stack	off	Drop stack items that are two phase boundaries down
stack_access	local	Local or global access to elements of the stack
le	on	Local Extent boundary conditions, used to trigger stacking of unvalued uF SOs
subphrase_check	subsume_ss	Push element onto stack, first check if subconstituent is already there
c_stack_search	inactive	c stack search normal or can see into inactive wrapped elements
occ_new_flag	off	if already old, create new, otherwise keep old
stack_subc	off	if existing subconstituent found on stack, mark old and substitute new on stack
vprint	on	Print stack as vertical list
occ_debug	off	use @ to indicate occ(V), V a variable

Machine Parameters: expand

Animation:
Who₁ thinks (that) Mary likes him₁

Derivation:
Who₁ thinks (that) Mary likes him₁

Stream:	[[who!D],[q!case!N!scope],[he!D],[d!case!N],[like],[v*!phi],[[mary!D],[d!case!N]],[T!phi],[c_eQ!wh!T],[think],[v_unerg],[T!phi!v],[c_Q!wh!T]]
Stack (⥥):
SO:	[]

Step 1.

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

Stream:	[[q!case!N!scope],[he!D],[d!case!N],[like],[v*!phi],[[mary!D],[d!case!N]],[T!phi],[c_eQ!wh!T],[think],[v_unerg],[T!phi!v],[c_Q!wh!T]]
Stack (⥥):
SO:	[who!D]

Step 2.

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

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

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

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

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

Stream:	[[he!D],[d!case!N],[like],[v*!phi],[[mary!D],[d!case!N]],[T!phi],[c_eQ!wh!T],[think],[v_unerg],[T!phi!v],[c_Q!wh!T]]
Stack (⥥):
SO:	[q!case!scope[q!scope][who]]

Doubling Constitutent (DC) merge

Step 3.

Merge [he!D] and [q!case!scope[q!scope][who]]

Label from [he!D] (head merging with a non-head)

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

Stream:	[[d!case!N],[like],[v*!phi],[[mary!D],[d!case!N]],[T!phi],[c_eQ!wh!T],[think],[v_unerg],[T!phi!v],[c_Q!wh!T]]
Stack (⥥):	inactive([q!case!scope[q!scope][who]])
SO:	[he!D[he!D][q!case!scope[q!scope][who]]]

Step 4.

Merge [d!case!N] and [he!D[he!D][q!case!scope[q..][who..]]]

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

Inherit interpretable feature(s) [f(phi,[3,sg,m])] from [he!D[he!D][q!case!scope[q..][who..]]]

[d!case!N] values D on [he!D[he!D][q!case!scope[q..][who..]]]

[he[he][q!case!scope[q..][who..]]] values N on [d!case!N]

Stream:	[[like],[v*!phi],[[mary!D],[d!case!N]],[T!phi],[c_eQ!wh!T],[think],[v_unerg],[T!phi!v],[c_Q!wh!T]]
Stack (⥥):	inactive([q!case!scope[q!scope][who]])
SO:	[d!case[d][he[he][q!case!scope[q!scope][who]]]]

Step 5.

Merge [like] and [d!case[d][he[he..][q..]]]

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

Theta-mark [d!case[d][he[he..][q..]]]

Push [d!case[d][he[he..][q..]]] (unvalued uF) onto stack

Stream:	[[v*!phi],[[mary!D],[d!case!N]],[T!phi],[c_eQ!wh!T],[think],[v_unerg],[T!phi!v],[c_Q!wh!T]]
Stack (⥥):	[d!case[d][he[he][q!case!scope[q!scope][who]]]] inactive([q!case!scope[q!scope][who]])
SO:	[like[like][d!case[d][he[he][q!case!scope[q!scope][who]]]]]

Step 6.

Merge [v*!phi] and [like[like][d!case[d..][he..]]]

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

[d!case[d][he[he..][q..]]] values uPhi on [v*!phi]

[v*] values acc case on [d!case[d][he[he..][q..]]]

Stream:	[[[mary!D],[d!case!N]],[T!phi],[c_eQ!wh!T],[think],[v_unerg],[T!phi!v],[c_Q!wh!T]]
Stack (⥥):	[d[d][he[he][q!case!scope[q!scope][who]]]] inactive([q!case!scope[q!scope][who]])
SO:	[v[v][like[like][d[d][he[he][q!case!scope[q!scope][who]]]]]]

Step 7.

Begin substream

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

Step 8.

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

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

Step 9.

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

Stream:	[[d!case[d][mary]],[T!phi],[c_eQ!wh!T],[think],[v_unerg],[T!phi!v],[c_Q!wh!T]]
Stack (⥥):	[d[d][he[he][q!case!scope[q!scope][who]]]] inactive([q!case!scope[q!scope][who]])
SO:	[v[v][like[like][d[d][he[he][q!case!scope[q!scope][who]]]]]]

Step 11.

Merge [v*[v*][like[like..][d..]]] and [d!case[d][mary]]

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

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

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

Stream:	[[T!phi],[c_eQ!wh!T],[think],[v_unerg],[T!phi!v],[c_Q!wh!T]]
Stack (⥥):	[d!case[d][mary]] [d[d][he[he][q!case!scope[q!scope][who]]]] inactive([q!case!scope[q!scope][who]])
SO:	[v[d!case[d][mary]][v[v*][like[like][d[d][he[he][q!case!scope[q!scope][who]]]]]]]

Step 12.

Merge [T!phi] and [v*[d!case[d..][mary..]][v*[v*..][like..]]]

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],[think],[v_unerg],[T!phi!v],[c_Q!wh!T]]
Stack (⥥):	[d[d][mary]] [d[d][he[he][q!case!scope[q!scope][who]]]] inactive([q!case!scope[q!scope][who]])
SO:	[T[T][v[d[d][mary]][v[v*][like[like][d[d][he[he][q!case!scope[q!scope][who]]]]]]]]

Step 13.

Internal merge selected

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

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

Stream:	[[c_eQ!wh!T],[think],[v_unerg],[T!phi!v],[c_Q!wh!T]]
Stack (⥥):	[d[d][mary]] [d[d][he[he][q!case!scope[q!scope][who]]]] inactive([q!case!scope[q!scope][who]])
SO:	[T[d[d][mary]][T[T][v[d[d][mary]][v[v*][like[like][d[d][he[he][q!case!scope[q!scope][who]]]]]]]]]

Step 14.

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

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

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

Relativized TOS search for iF(wh) skipping [d[d][he[he..][q..]]]

[q!case!scope[q!scope][who]] 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!case!scope[q!scope][who]]

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

Stream:	[[think],[v_unerg],[T!phi!v],[c_Q!wh!T]]
Stack (⥥):	[d[d][mary]] [d[d][he[he][q!case!scope[q!scope][who]]]] inactive([q!case!scope[q!scope][who]])
SO:	[c_eQ[q!case!scope[q!scope][who]][c_eQ[d[d][mary]][c_eQ[c_eQ][T[d[d][mary]][T[T][v[d[d][mary]][v[v*][like[like][d[d][he[he][q!scope[q!scope][who]]]]]]]]]]]]

Step 15.

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

Inactive stack element inactive([q!case!scope[q!scope][who]]) found

New boundary (b) marker stacked

Restack [q!case!scope[q!scope][who]] onto stack

Stream:	[[think],[v_unerg],[T!phi!v],[c_Q!wh!T]]
Stack (⥥):	[q!case!scope[q!scope][who]] b [d[d][mary]] [d[d][he[he][q!case!scope[q!scope][who]]]]
SO:	[c_eQ[q!case!scope[q!scope][who]][c_eQ[d[d][mary]][c_eQ[c_eQ][T[d[d][mary]][T[T][v[d[d][mary]][v[v*][like[like][d[d][he[he][q!scope[q!scope][who]]]]]]]]]]]]

Step 16.

Merge [think] and [c_eQ[q!case!scope[q..][who..]][c_eQ[d..][c_eQ..]]]

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

Theta-mark [c_eQ[q!case!scope[q..][who..]][c_eQ[d..][c_eQ..]]]

Stream:	[[v_unerg],[T!phi!v],[c_Q!wh!T]]
Stack (⥥):	[q!case!scope[q!scope][who]] b [d[d][mary]] [d[d][he[he][q!case!scope[q!scope][who]]]]
SO:	[think[think][c_eQ[q!case!scope[q!scope][who]][c_eQ[d[d][mary]][c_eQ[c_eQ][T[d[d][mary]][T[T][v[d[d][mary]][v[v*][like[like][d[d][he[he][q!scope[q!scope][who]]]]]]]]]]]]]

Step 17.

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

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

Stream:	[[T!phi!v],[c_Q!wh!T]]
Stack (⥥):	[q!case!scope[q!scope][who]] b [d[d][mary]] [d[d][he[he][q!case!scope[q!scope][who]]]]
SO:	[v_unerg[v_unerg][think[think][c_eQ[q!case!scope[q!scope][who]][c_eQ[d[d][mary]][c_eQ[c_eQ][T[d[d][mary]][T[T][v[d[d][mary]][v[v*][like[like][d[d][he[he][q!scope[q!scope][who]]]]]]]]]]]]]]

Step 18.

Internal merge selected

Merge [v_unerg[v_unerg][think[think..][c_eQ..]]] and [q!case!scope[q!scope][who]]

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

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

Stream:	[[T!phi!v],[c_Q!wh!T]]
Stack (⥥):	[q!case!scope[q!scope][who]] b [d[d][mary]] [d[d][he[he][q!case!scope[q!scope][who]]]]
SO:	[v_unerg[q!case!scope[q!scope][who]][v_unerg[v_unerg][think[think][c_eQ[q!scope[q!scope][who]][c_eQ[d[d][mary]][c_eQ[c_eQ][T[d[d][mary]][T[T][v[d[d][mary]][v[v*][like[like][d[d][he[he][q!scope[q!scope][who]]]]]]]]]]]]]]]

Step 19.

Merge [T!phi!v] and [v_unerg[q!case!scope[q..][who..]][v_unerg[v_unerg..][think..]]]

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

[q!case!scope[q!scope][who]] values uPhi on [T!phi!v]

[T!v] values nom case on [q!case!scope[q!scope][who]]

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

[T!v] attracts [v_unerg[q!scope[q..][who..]][v_unerg[v_unerg..][think..]]]

Merge [T[T][v_unerg[q..][v_unerg..]]] and [v_unerg]

Label from [T[T][v_unerg[q..][v_unerg..]]] (edge feature)

Stream:	[[c_Q!wh!T]]
Stack (⥥):	[q!scope[q!scope][who]] b [d[d][mary]] [d[d][he[he][q!scope[q!scope][who]]]]
SO:	[T[v_unerg][T[T][v_unerg[q!scope[q!scope][who]][v_unerg[v_unerg][think[think][c_eQ[q!scope[q!scope][who]][c_eQ[d[d][mary]][c_eQ[c_eQ][T[d[d][mary]][T[T][v[d[d][mary]][v[v*][like[like][d[d][he[he][q!scope[q!scope][who]]]]]]]]]]]]]]]]]

Step 20.

Internal merge selected

Merge [T[v_unerg][T[T..][v_unerg..]]] and [q!scope[q!scope][who]]

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

Stream:	[[c_Q!wh!T]]
Stack (⥥):	[q!scope[q!scope][who]] b [d[d][mary]] [d[d][he[he][q!scope[q!scope][who]]]]
SO:	[T[q!scope[q!scope][who]][T[v_unerg][T[T][v_unerg[q!scope[q!scope][who]][v_unerg[v_unerg][think[think][c_eQ[q!scope[q!scope][who]][c_eQ[d[d][mary]][c_eQ[c_eQ][T[d[d][mary]][T[T][v[d[d][mary]][v[v*][like[like][d[d][he[he][q!scope[q!scope][who]]]]]]]]]]]]]]]]]]

Step 21.

Merge [c_Q!wh!T] and [T[q!scope[q..][who..]][T[v_unerg..][T..]]]

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

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

[q!scope[q!scope][who]] values T on [c_Q!T] (economy)

Internal merge selected

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

Merge [c_Q[c_Q][T[q..][T..]]] and [q[q][who]]

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

Stream:	[]
Stack (⥥):	[q[q][who]] b [d[d][mary]] [d[d][he[he][q[q][who]]]]
SO:	[c_Q[q[q][who]][c_Q[c_Q][T[q[q][who]][T[v_unerg][T[T][v_unerg[q[q][who]][v_unerg[v_unerg][think[think][c_eQ[q[q][who]][c_eQ[d[d][mary]][c_eQ[c_eQ][T[d[d][mary]][T[T][v[d[d][mary]][v[v*][like[like][d[d][he[he][q[q][who]]]]]]]]]]]]]]]]]]]]

Step 22.

Local Extent boundary at [c_Q[q[q..][who..]][c_Q[c_Q..][T..]]]

New boundary (b) marker stacked

Stream:	[]
Stack (⥥):	b [q[q][who]] b [d[d][mary]] [d[d][he[he][q[q][who]]]]
SO:	[c_Q[q[q][who]][c_Q[c_Q][T[q[q][who]][T[v_unerg][T[T][v_unerg[q[q][who]][v_unerg[v_unerg][think[think][c_eQ[q[q][who]][c_eQ[d[d][mary]][c_eQ[c_eQ][T[d[d][mary]][T[T][v[d[d][mary]][v[v*][like[like][d[d][he[he][q[q][who]]]]]]]]]]]]]]]]]]]]

CI: wh-question

Parse:

Spell-out:

who -s think mary -s like -acc he (after morpheme realization)

who think -s mary like -s he -acc (after affix-hop)

who think -s mary like -s he -acc (after morpheme realization, stage 2)

who thinks mary likes him

Backtrack

Stream:	[[c_eQ!wh!T],[think],[v_unerg],[T!phi!v],[c_Q!wh!T]]
Stack (⥥):	[d[d][mary]] [d[d][he[he][q!case!scope[q!scope][who]]]] inactive([q!case!scope[q!scope][who]])
SO:	[T[d[d][mary]][T[T][v[d[d][mary]][v[v*][like[like][d[d][he[he][q!case!scope[q!scope][who]]]]]]]]]

re-doing step 14

Step 23.

[c_eQ!T] attracts [T[d[d..][mary..]][T[T..][v*..]]]

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!case!scope[q!scope][who]]

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

Stream:	[[think],[v_unerg],[T!phi!v],[c_Q!wh!T]]
Stack (⥥):	[d[d][mary]] [d[d][he[he][q!case!scope[q!scope][who]]]] inactive([q!case!scope[q!scope][who]])
SO:	[c_eQ[q!case!scope[q!scope][who]][c_eQ[T][c_eQ[c_eQ][T[d[d][mary]][T[T][v[d[d][mary]][v[v*][like[like][d[d][he[he][q!scope[q!scope][who]]]]]]]]]]]]

Step 24.

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

Inactive stack element inactive([q!case!scope[q!scope][who]]) found

New boundary (b) marker stacked

Restack [q!case!scope[q!scope][who]] onto stack

Stream:	[[think],[v_unerg],[T!phi!v],[c_Q!wh!T]]
Stack (⥥):	[q!case!scope[q!scope][who]] b [d[d][mary]] [d[d][he[he][q!case!scope[q!scope][who]]]]
SO:	[c_eQ[q!case!scope[q!scope][who]][c_eQ[T][c_eQ[c_eQ][T[d[d][mary]][T[T][v[d[d][mary]][v[v*][like[like][d[d][he[he][q!scope[q!scope][who]]]]]]]]]]]]

Step 25.

Merge [think] and [c_eQ[q!case!scope[q..][who..]][c_eQ[T..][c_eQ..]]]

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

Theta-mark [c_eQ[q!case!scope[q..][who..]][c_eQ[T..][c_eQ..]]]

Stream:	[[v_unerg],[T!phi!v],[c_Q!wh!T]]
Stack (⥥):	[q!case!scope[q!scope][who]] b [d[d][mary]] [d[d][he[he][q!case!scope[q!scope][who]]]]
SO:	[think[think][c_eQ[q!case!scope[q!scope][who]][c_eQ[T][c_eQ[c_eQ][T[d[d][mary]][T[T][v[d[d][mary]][v[v*][like[like][d[d][he[he][q!scope[q!scope][who]]]]]]]]]]]]]

Step 26.

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

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

Stream:	[[T!phi!v],[c_Q!wh!T]]
Stack (⥥):	[q!case!scope[q!scope][who]] b [d[d][mary]] [d[d][he[he][q!case!scope[q!scope][who]]]]
SO:	[v_unerg[v_unerg][think[think][c_eQ[q!case!scope[q!scope][who]][c_eQ[T][c_eQ[c_eQ][T[d[d][mary]][T[T][v[d[d][mary]][v[v*][like[like][d[d][he[he][q!scope[q!scope][who]]]]]]]]]]]]]]

Step 27.

Internal merge selected

Merge [v_unerg[v_unerg][think[think..][c_eQ..]]] and [q!case!scope[q!scope][who]]

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

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

Stream:	[[T!phi!v],[c_Q!wh!T]]
Stack (⥥):	[q!case!scope[q!scope][who]] b [d[d][mary]] [d[d][he[he][q!case!scope[q!scope][who]]]]
SO:	[v_unerg[q!case!scope[q!scope][who]][v_unerg[v_unerg][think[think][c_eQ[q!scope[q!scope][who]][c_eQ[T][c_eQ[c_eQ][T[d[d][mary]][T[T][v[d[d][mary]][v[v*][like[like][d[d][he[he][q!scope[q!scope][who]]]]]]]]]]]]]]]

Step 28.

Merge [T!phi!v] and [v_unerg[q!case!scope[q..][who..]][v_unerg[v_unerg..][think..]]]

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

[q!case!scope[q!scope][who]] values uPhi on [T!phi!v]

[T!v] values nom case on [q!case!scope[q!scope][who]]

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

[T!v] attracts [v_unerg[q!scope[q..][who..]][v_unerg[v_unerg..][think..]]]

Merge [T[T][v_unerg[q..][v_unerg..]]] and [v_unerg]

Label from [T[T][v_unerg[q..][v_unerg..]]] (edge feature)

Stream:	[[c_Q!wh!T]]
Stack (⥥):	[q!scope[q!scope][who]] b [d[d][mary]] [d[d][he[he][q!scope[q!scope][who]]]]
SO:	[T[v_unerg][T[T][v_unerg[q!scope[q!scope][who]][v_unerg[v_unerg][think[think][c_eQ[q!scope[q!scope][who]][c_eQ[T][c_eQ[c_eQ][T[d[d][mary]][T[T][v[d[d][mary]][v[v*][like[like][d[d][he[he][q!scope[q!scope][who]]]]]]]]]]]]]]]]]

Step 29.

Internal merge selected

Merge [T[v_unerg][T[T..][v_unerg..]]] and [q!scope[q!scope][who]]

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

Stream:	[[c_Q!wh!T]]
Stack (⥥):	[q!scope[q!scope][who]] b [d[d][mary]] [d[d][he[he][q!scope[q!scope][who]]]]
SO:	[T[q!scope[q!scope][who]][T[v_unerg][T[T][v_unerg[q!scope[q!scope][who]][v_unerg[v_unerg][think[think][c_eQ[q!scope[q!scope][who]][c_eQ[T][c_eQ[c_eQ][T[d[d][mary]][T[T][v[d[d][mary]][v[v*][like[like][d[d][he[he][q!scope[q!scope][who]]]]]]]]]]]]]]]]]]

Step 30.

Merge [c_Q!wh!T] and [T[q!scope[q..][who..]][T[v_unerg..][T..]]]

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

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

[q!scope[q!scope][who]] values T on [c_Q!T] (economy)

Internal merge selected

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

Merge [c_Q[c_Q][T[q..][T..]]] and [q[q][who]]

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

Stream:	[]
Stack (⥥):	[q[q][who]] b [d[d][mary]] [d[d][he[he][q[q][who]]]]
SO:	[c_Q[q[q][who]][c_Q[c_Q][T[q[q][who]][T[v_unerg][T[T][v_unerg[q[q][who]][v_unerg[v_unerg][think[think][c_eQ[q[q][who]][c_eQ[T][c_eQ[c_eQ][T[d[d][mary]][T[T][v[d[d][mary]][v[v*][like[like][d[d][he[he][q[q][who]]]]]]]]]]]]]]]]]]]]

Step 31.

Local Extent boundary at [c_Q[q[q..][who..]][c_Q[c_Q..][T..]]]

New boundary (b) marker stacked

Stream:	[]
Stack (⥥):	b [q[q][who]] b [d[d][mary]] [d[d][he[he][q[q][who]]]]
SO:	[c_Q[q[q][who]][c_Q[c_Q][T[q[q][who]][T[v_unerg][T[T][v_unerg[q[q][who]][v_unerg[v_unerg][think[think][c_eQ[q[q][who]][c_eQ[T][c_eQ[c_eQ][T[d[d][mary]][T[T][v[d[d][mary]][v[v*][like[like][d[d][he[he][q[q][who]]]]]]]]]]]]]]]]]]]]

CI: wh-question

Parse:

Spell-out:

who -s think that mary -s like -acc he (after morpheme realization)

who think -s that mary like -s he -acc (after affix-hop)

who think -s that mary like -s he -acc (after morpheme realization, stage 2)

who thinks that mary likes him

2 derivations found.

Computational Cost:

Merge: 30, Agree: 23, Unify: 0, Push: 3, Boundaries: 4, Inject: 2

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

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
Stack depth:	0	0	0	1	1	2	2	0	0	0	2	3	3	3	3	4	4	4	4	4	4	4	5	3	4	4	4	4	4	4	4	5