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₁ does he₂ think (that) Mary likes

Derivation:
Who₁ does he₂ think (that) Mary likes

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

Step 3.

Merge [like] and [q!case!scope[q!scope][who]]

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

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

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

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

Step 4.

Merge [v*!phi] and [like[like][q!case!scope[q..][who..]]]

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

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

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

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

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

Step 9.

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

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

Step 10.

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

Step 11.

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

Step 12.

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]]

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

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

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

Step 13.

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

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

New boundary (b) marker stacked

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

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

Step 14.

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

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

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

Stream:	[[v_unerg],[[he!D],[d!case!N]],[T!phi!v],[c_Q!wh!T]]
Stack (⥥):	[q!scope[q!scope][who]] b [d[d][mary]]
SO:	[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][q!scope[q!scope][who]]]]]]]]]]]

Step 15.

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

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

Stream:	[[[he!D],[d!case!N]],[T!phi!v],[c_Q!wh!T]]
Stack (⥥):	[q!scope[q!scope][who]] b [d[d][mary]]
SO:	[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][q!scope[q!scope][who]]]]]]]]]]]]

Step 16.

Begin substream

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

Step 17.

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

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

Step 18.

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

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

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

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

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

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

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

Step 19.

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

Step 20.

Merge [v_unerg[v_unerg][think[think..][c_eQ..]]] and [d!case[d][he]]

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

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

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

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

Step 21.

Merge [T!phi!v] and [v_unerg[d!case[d..][he..]][v_unerg[v_unerg..][think..]]]

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

[d!case[d][he]] values uPhi on [T!phi!v]

[T!v] values nom case on [d!case[d][he]]

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

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

[T!v] attracts [v_unerg[d[d..][he..]][v_unerg[v_unerg..][think..]]]

Merge [T[T][v_unerg[d..][v_unerg..]]] and [v_unerg]

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

Stream:	[[c_Q!wh!T]]
Stack (⥥):	[d[d][he]] [q!scope[q!scope][who]] b [d[d][mary]]
SO:	[T[v_unerg][T[T][v_unerg[d[d][he]][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][q!scope[q!scope][who]]]]]]]]]]]]]]]

Step 22.

Internal merge selected

Merge [T[v_unerg][T[T..][v_unerg..]]] and [d[d][he]]

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

Stream:	[[c_Q!wh!T]]
Stack (⥥):	[d[d][he]] [q!scope[q!scope][who]] b [d[d][mary]]
SO:	[T[d[d][he]][T[v_unerg][T[T][v_unerg[d[d][he]][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][q!scope[q!scope][who]]]]]]]]]]]]]]]]

Step 23.

Merge [c_Q!wh!T] and [T[d[d..][he..]][T[v_unerg..][T..]]]

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

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

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

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

Internal merge selected

Merge [c_Q[c_Q][T[d..][T..]]] and [d[d][he]]

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

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

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

Label from [c_Q[d[d..][he..]][c_Q[c_Q..][T..]]] (edge feature)

Stream:	[]
Stack (⥥):	[d[d][he]] [q[q][who]] b [d[d][mary]]
SO:	[c_Q[q[q][who]][c_Q[d[d][he]][c_Q[c_Q][T[d[d][he]][T[v_unerg][T[T][v_unerg[d[d][he]][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][q[q][who]]]]]]]]]]]]]]]]]]]

Step 24.

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

New boundary (b) marker stacked

Stream:	[]
Stack (⥥):	b [d[d][he]] [q[q][who]] b [d[d][mary]]
SO:	[c_Q[q[q][who]][c_Q[d[d][he]][c_Q[c_Q][T[d[d][he]][T[v_unerg][T[T][v_unerg[d[d][he]][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][q[q][who]]]]]]]]]]]]]]]]]]]

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

Backtrack

Stream:	[[c_Q!wh!T]]
Stack (⥥):	[d[d][he]] [q!scope[q!scope][who]] b [d[d][mary]]
SO:	[T[d[d][he]][T[v_unerg][T[T][v_unerg[d[d][he]][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][q!scope[q!scope][who]]]]]]]]]]]]]]]]

re-doing step 23

Step 25.

[c_Q!T] attracts [T[d[d..][he..]][T[v_unerg..][T..]]]

Internal merge selected

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

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

Merge [c_Q[v_unerg][c_Q[c_Q..][T..]]] and [T]

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

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

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

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

Stream:	[]
Stack (⥥):	[d[d][he]] [q[q][who]] b [d[d][mary]]
SO:	[c_Q[q[q][who]][c_Q[T][c_Q[v_unerg][c_Q[c_Q][T[d[d][he]][T[v_unerg][T[T][v_unerg[d[d][he]][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][q[q][who]]]]]]]]]]]]]]]]]]]]

Step 26.

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

New boundary (b) marker stacked

Stream:	[]
Stack (⥥):	b [d[d][he]] [q[q][who]] b [d[d][mary]]
SO:	[c_Q[q[q][who]][c_Q[T][c_Q[v_unerg][c_Q[c_Q][T[d[d][he]][T[v_unerg][T[T][v_unerg[d[d][he]][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][q[q][who]]]]]]]]]]]]]]]]]]]]

CI: wh-question

Parse:

Spell-out:

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

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

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

who does he think mary likes

Backtrack

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

re-doing step 12

Step 27.

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

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

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

Step 28.

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

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

New boundary (b) marker stacked

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

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

Step 29.

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

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

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

Stream:	[[v_unerg],[[he!D],[d!case!N]],[T!phi!v],[c_Q!wh!T]]
Stack (⥥):	[q!scope[q!scope][who]] b [d[d][mary]]
SO:	[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][q!scope[q!scope][who]]]]]]]]]]]

Step 30.

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

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

Stream:	[[[he!D],[d!case!N]],[T!phi!v],[c_Q!wh!T]]
Stack (⥥):	[q!scope[q!scope][who]] b [d[d][mary]]
SO:	[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][q!scope[q!scope][who]]]]]]]]]]]]

Step 31.

Begin substream

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

Step 32.

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

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

Step 33.

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

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

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

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

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

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

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

Step 34.

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

Step 35.

Merge [v_unerg[v_unerg][think[think..][c_eQ..]]] and [d!case[d][he]]

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

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

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

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

Step 36.

Merge [T!phi!v] and [v_unerg[d!case[d..][he..]][v_unerg[v_unerg..][think..]]]

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

[d!case[d][he]] values uPhi on [T!phi!v]

[T!v] values nom case on [d!case[d][he]]

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

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

[T!v] attracts [v_unerg[d[d..][he..]][v_unerg[v_unerg..][think..]]]

Merge [T[T][v_unerg[d..][v_unerg..]]] and [v_unerg]

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

Stream:	[[c_Q!wh!T]]
Stack (⥥):	[d[d][he]] [q!scope[q!scope][who]] b [d[d][mary]]
SO:	[T[v_unerg][T[T][v_unerg[d[d][he]][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][q!scope[q!scope][who]]]]]]]]]]]]]]]

Step 37.

Internal merge selected

Merge [T[v_unerg][T[T..][v_unerg..]]] and [d[d][he]]

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

Stream:	[[c_Q!wh!T]]
Stack (⥥):	[d[d][he]] [q!scope[q!scope][who]] b [d[d][mary]]
SO:	[T[d[d][he]][T[v_unerg][T[T][v_unerg[d[d][he]][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][q!scope[q!scope][who]]]]]]]]]]]]]]]]

Step 38.

Merge [c_Q!wh!T] and [T[d[d..][he..]][T[v_unerg..][T..]]]

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

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

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

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

Internal merge selected

Merge [c_Q[c_Q][T[d..][T..]]] and [d[d][he]]

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

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

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

Label from [c_Q[d[d..][he..]][c_Q[c_Q..][T..]]] (edge feature)

Stream:	[]
Stack (⥥):	[d[d][he]] [q[q][who]] b [d[d][mary]]
SO:	[c_Q[q[q][who]][c_Q[d[d][he]][c_Q[c_Q][T[d[d][he]][T[v_unerg][T[T][v_unerg[d[d][he]][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][q[q][who]]]]]]]]]]]]]]]]]]]

Step 39.

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

New boundary (b) marker stacked

Stream:	[]
Stack (⥥):	b [d[d][he]] [q[q][who]] b [d[d][mary]]
SO:	[c_Q[q[q][who]][c_Q[d[d][he]][c_Q[c_Q][T[d[d][he]][T[v_unerg][T[T][v_unerg[d[d][he]][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][q[q][who]]]]]]]]]]]]]]]]]]]

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

Backtrack

Stream:	[[c_Q!wh!T]]
Stack (⥥):	[d[d][he]] [q!scope[q!scope][who]] b [d[d][mary]]
SO:	[T[d[d][he]][T[v_unerg][T[T][v_unerg[d[d][he]][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][q!scope[q!scope][who]]]]]]]]]]]]]]]]

re-doing step 38

Step 40.

[c_Q!T] attracts [T[d[d..][he..]][T[v_unerg..][T..]]]

Internal merge selected

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

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

Merge [c_Q[v_unerg][c_Q[c_Q..][T..]]] and [T]

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

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

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

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

Stream:	[]
Stack (⥥):	[d[d][he]] [q[q][who]] b [d[d][mary]]
SO:	[c_Q[q[q][who]][c_Q[T][c_Q[v_unerg][c_Q[c_Q][T[d[d][he]][T[v_unerg][T[T][v_unerg[d[d][he]][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][q[q][who]]]]]]]]]]]]]]]]]]]]

Step 41.

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

New boundary (b) marker stacked

Stream:	[]
Stack (⥥):	b [d[d][he]] [q[q][who]] b [d[d][mary]]
SO:	[c_Q[q[q][who]][c_Q[T][c_Q[v_unerg][c_Q[c_Q][T[d[d][he]][T[v_unerg][T[T][v_unerg[d[d][he]][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][q[q][who]]]]]]]]]]]]]]]]]]]]

CI: wh-question

Parse:

Spell-out:

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

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

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

who does he think that mary likes

2 derivations found.

Computational Cost:

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

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

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
Stack depth:	0	0	0	1	1	0	0	0	1	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