Minimalist Machine Derivations

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

Examples:

Extra relative clause examples collapse

Example	Instruction stream (clickable)	Notes
(rcx1) the boy John thinks called Mary the boy John thinks that called Mary	[mary, d, call, 'v*', [boy, d_rel], 'Tpast', c_e, think, v_unerg, [john, d], 'T', c_rel, the]	Relativize from embedded subject position.
(rcx2) the student who lives here who studies English	[[here, d, live, 'v', [student, who_rel], 'T', c_rel], [english, d, study, 'v', [student, who_rel], 'T', c_rel], the]	Doubly stacked relative clause. Uses FormSet.
(rcx3) the student who lives here who studies English who I know	[[here, d, live, 'v', [student, who_rel], 'T', c_rel], [english, d, study, 'v', [student, who_rel], 'T', c_rel],[student, who_rel, know, 'v*', [i, d], 'T', c_rel], the]	Triply stacked relative clause. Uses FormSet.

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
iprint	off	Print inactive(_) wrappers
occ_debug	off	use @ to indicate occ(V), V a variable

Machine Parameters: expand

Animation:
(rcx3) the student who lives here who studies English who I know

Derivation:
(rcx3) the student who lives here who studies English who I know

Stream:	[[[here!D],[d!case!N],[live],[v!phi],[[student!D],[who_rel!case!N]],[T!phi],[c_rel!rel!T!phi]],[[english!D],[d!case!N],[study],[v!phi],[[student!D],[who_rel!case!N]],[T!phi],[c_rel!rel!T!phi]],[[student!D],[who_rel!case!N],[know],[v*!phi],[[i!D],[d!case!N]],[T!phi],[c_rel!rel!T!phi]],[the!case!N]]
Stack (⥥):
SO:	[]

Step 1.

Begin substream

Stream:	[[here!D],[d!case!N],[live],[v*!phi],[[student!D],[who_rel!case!N]],[T!phi],[c_rel!rel!T!phi]]
Stack (⥥):
SO:	[]

Step 2.

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

Stream:	[[d!case!N],[live],[v*!phi],[[student!D],[who_rel!case!N]],[T!phi],[c_rel!rel!T!phi]]
Stack (⥥):
SO:	[here!D]

Step 3.

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

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

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

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

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

Stream:	[[live],[v*!phi],[[student!D],[who_rel!case!N]],[T!phi],[c_rel!rel!T!phi]]
Stack (⥥):
SO:	[d!case[d][here]]

Step 4.

Merge [live] and [d!case[d][here]]

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

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

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

Stream:	[[v*!phi],[[student!D],[who_rel!case!N]],[T!phi],[c_rel!rel!T!phi]]
Stack (⥥):	[d!case[d][here]]
SO:	[live[live][d!case[d][here]]]

Step 5.

Merge [v*!phi] and [live[live][d!case[d..][here..]]]

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

[d!case[d][here]] values uPhi on [v*!phi]

[v*] values acc case on [d!case[d][here]]

Stream:	[[[student!D],[who_rel!case!N]],[T!phi],[c_rel!rel!T!phi]]
Stack (⥥):	[d[d][here]]
SO:	[v[v][live[live][d[d][here]]]]

Step 6.

Begin substream

Stream:	[[student!D],[who_rel!case!N]]
Stack (⥥):
SO:	[]

Step 7.

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

Stream:	[[who_rel!case!N]]
Stack (⥥):
SO:	[student!D]

Step 8.

Merge [who_rel!case!N] and [student!D]

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

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

[student!D] values N on [who_rel!case!N]

Push [student!D] (unvalued uF) onto stack

Stream:	[]
Stack (⥥):	[student!D]
SO:	[who_rel!case[who_rel][student!D]]

End substream, SO [who_rel!case[who_rel][student!D]] re-inserted into main stream

Substream stack [[student!D]] saved for possible stack merge

Step 9.

Stream:	[[who_rel!case[who_rel][student!D]],[T!phi],[c_rel!rel!T!phi]]
Stack (⥥):	[d[d][here]]
SO:	[v[v][live[live][d[d][here]]]]

Step 10.

Merge [v*[v*][live[live..][d..]]] and [who_rel!case[who_rel][student!D]]

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

Theta-mark [who_rel!case[who_rel][student!D]]

Saved substream stack [[student!D]] merged with stack

Push [who_rel!case[who_rel][student!D]] (unvalued uF) onto stack

Stream:	[[T!phi],[c_rel!rel!T!phi]]
Stack (⥥):	[who_rel!case[who_rel][student!D]] [student!D] [d[d][here]]
SO:	[v[who_rel!case[who_rel][student!D]][v[v*][live[live][d[d][here]]]]]

Step 11.

Merge [T!phi] and [v*[who_rel!case[who_rel..][student..]][v*[v*..][live..]]]

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

[who_rel!case[who_rel][student!D]] values uPhi on [T!phi]

[T] values nom case on [who_rel!case[who_rel][student!D]]

Stream:	[[c_rel!rel!T!phi]]
Stack (⥥):	[who_rel[who_rel][student!D]] [student!D] [d[d][here]]
SO:	[T[T][v[who_rel[who_rel][student!D]][v[v*][live[live][d[d][here]]]]]]

Step 12.

Internal merge selected

Merge [T[T][v*[who_rel..][v*..]]] and [who_rel[who_rel][student!D]]

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

Stream:	[[c_rel!rel!T!phi]]
Stack (⥥):	[who_rel[who_rel][student!D]] [student!D] [d[d][here]]
SO:	[T[who_rel[who_rel][student!D]][T[T][v[who_rel[who_rel][student!D]][v[v*][live[live][d[d][here]]]]]]]

Step 13.

Merge [c_rel!rel!T!phi] and [T[who_rel[who_rel..][student..]][T[T..][v*..]]]

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

[who_rel[who_rel][student!D]] values rel on [c_rel!rel!T!phi]

[who_rel[who_rel][student!D]] values T on [c_rel!T!phi] (economy)

[who_rel[who_rel][student!D]] values phi on [c_rel!phi] (economy)

[c_rel] values obq case on [who_rel[who_rel][student!D]]

Internal merge selected

Merge [c_rel[c_rel][T[who_rel..][T..]]] and [who_rel[who_rel][student!D]]

Label from [c_rel[c_rel][T[who_rel..][T..]]] (edge feature)

Stream:	[]
Stack (⥥):	[who_rel[who_rel][student!D]] [student!D] [d[d][here]]
SO:	[c_rel[who_rel[who_rel][student!D]][c_rel[c_rel][T[who_rel[who_rel][student!D]][T[T][v[who_rel[who_rel][student!D]][v[v*][live[live][d[d][here]]]]]]]]]

Step 14.

Local Extent boundary at [c_rel[who_rel[who_rel..][student..]][c_rel[c_rel..][T..]]]

Stack element [student!D] with unvalued uF found

New boundary (b) marker stacked

Restack [student!D] onto stack

Stream:	[]
Stack (⥥):	[student!D] b [who_rel[who_rel][student!D]] [d[d][here]]
SO:	[c_rel[who_rel[who_rel][student!D]][c_rel[c_rel][T[who_rel[who_rel][student!D]][T[T][v[who_rel[who_rel][student!D]][v[v*][live[live][d[d][here]]]]]]]]]

End substream, SO [c_rel[who_rel[who_rel][student!D]][c_rel[c_rel][T[who_rel[who_rel][student!D]][T[T][v*[who_rel[who_rel][student!D]][v*[v*][live[live][d[d][here]]]]]]]]] re-inserted into main stream

Substream stack [[student!D],b,[who_rel[who_rel][student!D]],[d[d][here]]] saved for possible stack merge

Step 15.

Stream:	[[c_rel[who_rel[who_rel][student!D]][c_rel[c_rel][T[who_rel[who_rel][student!D]][T[T][v[who_rel[who_rel][student!D]][v[v][live[live][d[d][here]]]]]]]]],[[english!D],[d!case!N],[study],[v!phi],[[student!D],[who_rel!case!N]],[T!phi],[c_rel!rel!T!phi]],[[student!D],[who_rel!case!N],[know],[v*!phi],[[i!D],[d!case!N]],[T!phi],[c_rel!rel!T!phi]],[the!case!N]]
Stack (⥥):
SO:	[]

Step 16.

Head of stream [c_rel[who_rel[who_rel][student!D]][c_rel[c_rel][T[who_rel[who_rel][student!D]][T[T][v*[who_rel[who_rel][student!D]][v*[v*][live[live][d[d][here]]]]]]]]] is the initial SO

Stream:	[[[english!D],[d!case!N],[study],[v!phi],[[student!D],[who_rel!case!N]],[T!phi],[c_rel!rel!T!phi]],[[student!D],[who_rel!case!N],[know],[v!phi],[[i!D],[d!case!N]],[T!phi],[c_rel!rel!T!phi]],[the!case!N]]
Stack (⥥):
SO:	[c_rel[who_rel[who_rel][student!D]][c_rel[c_rel][T[who_rel[who_rel][student!D]][T[T][v[who_rel[who_rel][student!D]][v[v*][live[live][d[d][here]]]]]]]]]

Step 17.

Begin substream

Stream:	[[english!D],[d!case!N],[study],[v*!phi],[[student!D],[who_rel!case!N]],[T!phi],[c_rel!rel!T!phi]]
Stack (⥥):
SO:	[]

Step 18.

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

Stream:	[[d!case!N],[study],[v*!phi],[[student!D],[who_rel!case!N]],[T!phi],[c_rel!rel!T!phi]]
Stack (⥥):
SO:	[english!D]

Step 19.

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

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

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

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

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

Stream:	[[study],[v*!phi],[[student!D],[who_rel!case!N]],[T!phi],[c_rel!rel!T!phi]]
Stack (⥥):
SO:	[d!case[d][english]]

Step 20.

Merge [study] and [d!case[d][english]]

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

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

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

Stream:	[[v*!phi],[[student!D],[who_rel!case!N]],[T!phi],[c_rel!rel!T!phi]]
Stack (⥥):	[d!case[d][english]]
SO:	[study[study][d!case[d][english]]]

Step 21.

Merge [v*!phi] and [study[study][d!case[d..][english..]]]

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

[d!case[d][english]] values uPhi on [v*!phi]

[v*] values acc case on [d!case[d][english]]

Stream:	[[[student!D],[who_rel!case!N]],[T!phi],[c_rel!rel!T!phi]]
Stack (⥥):	[d[d][english]]
SO:	[v[v][study[study][d[d][english]]]]

Step 22.

Begin substream

Stream:	[[student!D],[who_rel!case!N]]
Stack (⥥):
SO:	[]

Step 23.

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

Stream:	[[who_rel!case!N]]
Stack (⥥):
SO:	[student!D]

Step 24.

Merge [who_rel!case!N] and [student!D]

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

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

[student!D] values N on [who_rel!case!N]

Push [student!D] (unvalued uF) onto stack

Stream:	[]
Stack (⥥):	[student!D]
SO:	[who_rel!case[who_rel][student!D]]

End substream, SO [who_rel!case[who_rel][student!D]] re-inserted into main stream

Substream stack [[student!D]] saved for possible stack merge

Step 25.

Stream:	[[who_rel!case[who_rel][student!D]],[T!phi],[c_rel!rel!T!phi]]
Stack (⥥):	[d[d][english]]
SO:	[v[v][study[study][d[d][english]]]]

Step 26.

Merge [v*[v*][study[study..][d..]]] and [who_rel!case[who_rel][student!D]]

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

Theta-mark [who_rel!case[who_rel][student!D]]

Saved substream stack [[student!D]] merged with stack

Push [who_rel!case[who_rel][student!D]] (unvalued uF) onto stack

Stream:	[[T!phi],[c_rel!rel!T!phi]]
Stack (⥥):	[who_rel!case[who_rel][student!D]] [student!D] [d[d][english]]
SO:	[v[who_rel!case[who_rel][student!D]][v[v*][study[study][d[d][english]]]]]

Step 27.

Merge [T!phi] and [v*[who_rel!case[who_rel..][student..]][v*[v*..][study..]]]

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

[who_rel!case[who_rel][student!D]] values uPhi on [T!phi]

[T] values nom case on [who_rel!case[who_rel][student!D]]

Stream:	[[c_rel!rel!T!phi]]
Stack (⥥):	[who_rel[who_rel][student!D]] [student!D] [d[d][english]]
SO:	[T[T][v[who_rel[who_rel][student!D]][v[v*][study[study][d[d][english]]]]]]

Step 28.

Internal merge selected

Merge [T[T][v*[who_rel..][v*..]]] and [who_rel[who_rel][student!D]]

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

Stream:	[[c_rel!rel!T!phi]]
Stack (⥥):	[who_rel[who_rel][student!D]] [student!D] [d[d][english]]
SO:	[T[who_rel[who_rel][student!D]][T[T][v[who_rel[who_rel][student!D]][v[v*][study[study][d[d][english]]]]]]]

Step 29.

Merge [c_rel!rel!T!phi] and [T[who_rel[who_rel..][student..]][T[T..][v*..]]]

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

[who_rel[who_rel][student!D]] values rel on [c_rel!rel!T!phi]

[who_rel[who_rel][student!D]] values T on [c_rel!T!phi] (economy)

[who_rel[who_rel][student!D]] values phi on [c_rel!phi] (economy)

[c_rel] values obq case on [who_rel[who_rel][student!D]]

Internal merge selected

Merge [c_rel[c_rel][T[who_rel..][T..]]] and [who_rel[who_rel][student!D]]

Label from [c_rel[c_rel][T[who_rel..][T..]]] (edge feature)

Stream:	[]
Stack (⥥):	[who_rel[who_rel][student!D]] [student!D] [d[d][english]]
SO:	[c_rel[who_rel[who_rel][student!D]][c_rel[c_rel][T[who_rel[who_rel][student!D]][T[T][v[who_rel[who_rel][student!D]][v[v*][study[study][d[d][english]]]]]]]]]

Step 30.

Local Extent boundary at [c_rel[who_rel[who_rel..][student..]][c_rel[c_rel..][T..]]]

Stack element [student!D] with unvalued uF found

New boundary (b) marker stacked

Restack [student!D] onto stack

Stream:	[]
Stack (⥥):	[student!D] b [who_rel[who_rel][student!D]] [d[d][english]]
SO:	[c_rel[who_rel[who_rel][student!D]][c_rel[c_rel][T[who_rel[who_rel][student!D]][T[T][v[who_rel[who_rel][student!D]][v[v*][study[study][d[d][english]]]]]]]]]

End substream, SO [c_rel[who_rel[who_rel][student!D]][c_rel[c_rel][T[who_rel[who_rel][student!D]][T[T][v*[who_rel[who_rel][student!D]][v*[v*][study[study][d[d][english]]]]]]]]] re-inserted into main stream

Substream stack [[student!D],b,[who_rel[who_rel][student!D]],[d[d][english]]] saved for possible stack merge

Step 31.

Stream:	[[c_rel[who_rel[who_rel][student!D]][c_rel[c_rel][T[who_rel[who_rel][student!D]][T[T][v[who_rel[who_rel][student!D]][v[v][study[study][d[d][english]]]]]]]]],[[student!D],[who_rel!case!N],[know],[v!phi],[[i!D],[d!case!N]],[T!phi],[c_rel!rel!T!phi]],[the!case!N]]
Stack (⥥):
SO:	[c_rel[who_rel[who_rel][student!D]][c_rel[c_rel][T[who_rel[who_rel][student!D]][T[T][v[who_rel[who_rel][student!D]][v[v*][live[live][d[d][here]]]]]]]]]

Step 32.

FormSet: set members [c_rel[who_rel[who_rel..][student..]][c_rel[c_rel..][T..]]] and [c_rel[who_rel[who_rel..][student..]][c_rel[c_rel..][T..]]]

Stream:	[[[student!D],[who_rel!case!N],[know],[v*!phi],[[i!D],[d!case!N]],[T!phi],[c_rel!rel!T!phi]],[the!case!N]]
Stack (⥥):
SO:	{[c_rel[who_rel[who_rel][student!D]][c_rel[c_rel][T[who_rel[who_rel][student!D]][T[T][v[who_rel[who_rel][student!D]][v[v][live[live][d[d][here]]]]]]]]],[c_rel[who_rel[who_rel][student!D]][c_rel[c_rel][T[who_rel[who_rel][student!D]][T[T][v[who_rel[who_rel][student!D]][v[v][study[study][d[d][english]]]]]]]]]}

Step 33.

Begin substream

Stream:	[[student!D],[who_rel!case!N],[know],[v*!phi],[[i!D],[d!case!N]],[T!phi],[c_rel!rel!T!phi]]
Stack (⥥):
SO:	[]

Step 34.

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

Stream:	[[who_rel!case!N],[know],[v*!phi],[[i!D],[d!case!N]],[T!phi],[c_rel!rel!T!phi]]
Stack (⥥):
SO:	[student!D]

Step 35.

Merge [who_rel!case!N] and [student!D]

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

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

[student!D] values N on [who_rel!case!N]

Push [student!D] (unvalued uF) onto stack

Stream:	[[know],[v*!phi],[[i!D],[d!case!N]],[T!phi],[c_rel!rel!T!phi]]
Stack (⥥):	[student!D]
SO:	[who_rel!case[who_rel][student!D]]

Step 36.

Merge [know] and [who_rel!case[who_rel][student!D]]

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

Theta-mark [who_rel!case[who_rel][student!D]]

Push [who_rel!case[who_rel][student!D]] (unvalued uF) onto stack

Stream:	[[v*!phi],[[i!D],[d!case!N]],[T!phi],[c_rel!rel!T!phi]]
Stack (⥥):	[who_rel!case[who_rel][student!D]] [student!D]
SO:	[know[know][who_rel!case[who_rel][student!D]]]

Step 37.

Merge [v*!phi] and [know[know][who_rel!case[who_rel..][student..]]]

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

[who_rel!case[who_rel][student!D]] values uPhi on [v*!phi]

[v*] values acc case on [who_rel!case[who_rel][student!D]]

Stream:	[[[i!D],[d!case!N]],[T!phi],[c_rel!rel!T!phi]]
Stack (⥥):	[who_rel[who_rel][student!D]] [student!D]
SO:	[v[v][know[know][who_rel[who_rel][student!D]]]]

Step 38.

Begin substream

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

Step 39.

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

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

Step 40.

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

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

Inherit interpretable feature(s) [f(phi,[1,sg,mf])] from [i!D]

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

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

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

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

Step 41.

Stream:	[[d!case[d][i]],[T!phi],[c_rel!rel!T!phi]]
Stack (⥥):	[who_rel[who_rel][student!D]] [student!D]
SO:	[v[v][know[know][who_rel[who_rel][student!D]]]]

Step 42.

Merge [v*[v*][know[know..][who_rel..]]] and [d!case[d][i]]

Label from [v*[v*][know[know..][who_rel..]]] (edge feature)

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

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

Stream:	[[T!phi],[c_rel!rel!T!phi]]
Stack (⥥):	[d!case[d][i]] [who_rel[who_rel][student!D]] [student!D]
SO:	[v[d!case[d][i]][v[v*][know[know][who_rel[who_rel][student!D]]]]]

Step 43.

Merge [T!phi] and [v*[d!case[d..][i..]][v*[v*..][know..]]]

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

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

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

Stream:	[[c_rel!rel!T!phi]]
Stack (⥥):	[d[d][i]] [who_rel[who_rel][student!D]] [student!D]
SO:	[T[T][v[d[d][i]][v[v*][know[know][who_rel[who_rel][student!D]]]]]]

Step 44.

Internal merge selected

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

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

Stream:	[[c_rel!rel!T!phi]]
Stack (⥥):	[d[d][i]] [who_rel[who_rel][student!D]] [student!D]
SO:	[T[d[d][i]][T[T][v[d[d][i]][v[v*][know[know][who_rel[who_rel][student!D]]]]]]]

Step 45.

Merge [c_rel!rel!T!phi] and [T[d[d..][i..]][T[T..][v*..]]]

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

Relativized TOS search for iF(rel) skipping [d[d][i]]

[who_rel[who_rel][student!D]] values rel on [c_rel!rel!T!phi]

[who_rel[who_rel][student!D]] values T on [c_rel!T!phi] (economy)

[who_rel[who_rel][student!D]] values phi on [c_rel!phi] (economy)

[c_rel] values obq case on [who_rel[who_rel][student!D]]

Internal merge selected

Merge [c_rel[c_rel][T[d..][T..]]] and [who_rel[who_rel][student!D]]

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

Stream:	[]
Stack (⥥):	[d[d][i]] [who_rel[who_rel][student!D]] [student!D]
SO:	[c_rel[who_rel[who_rel][student!D]][c_rel[c_rel][T[d[d][i]][T[T][v[d[d][i]][v[v*][know[know][who_rel[who_rel][student!D]]]]]]]]]

Step 46.

Local Extent boundary at [c_rel[who_rel[who_rel..][student..]][c_rel[c_rel..][T..]]]

Stack element [student!D] with unvalued uF found

New boundary (b) marker stacked

Restack [student!D] onto stack

Stream:	[]
Stack (⥥):	[student!D] b [d[d][i]] [who_rel[who_rel][student!D]]
SO:	[c_rel[who_rel[who_rel][student!D]][c_rel[c_rel][T[d[d][i]][T[T][v[d[d][i]][v[v*][know[know][who_rel[who_rel][student!D]]]]]]]]]

End substream, SO [c_rel[who_rel[who_rel][student!D]][c_rel[c_rel][T[d[d][i]][T[T][v*[d[d][i]][v*[v*][know[know][who_rel[who_rel][student!D]]]]]]]]] re-inserted into main stream

Substream stack [[student!D],b,[d[d][i]],[who_rel[who_rel][student!D]]] saved for possible stack merge

Step 47.

Stream:	[[c_rel[who_rel[who_rel][student!D]][c_rel[c_rel][T[d[d][i]][T[T][v[d[d][i]][v[v*][know[know][who_rel[who_rel][student!D]]]]]]]]],[the!case!N]]
Stack (⥥):
SO:	{[c_rel[who_rel[who_rel][student!D]][c_rel[c_rel][T[who_rel[who_rel][student!D]][T[T][v[who_rel[who_rel][student!D]][v[v][live[live][d[d][here]]]]]]]]],[c_rel[who_rel[who_rel][student!D]][c_rel[c_rel][T[who_rel[who_rel][student!D]][T[T][v[who_rel[who_rel][student!D]][v[v][study[study][d[d][english]]]]]]]]]}

Step 48.

FormSet: adding [c_rel[who_rel[who_rel..][student..]][c_rel[c_rel..][T..]]] to set {[c_rel[who_rel..][c_rel..]],[c_rel[who_rel..][c_rel..]]}

Stream:	[[the!case!N]]
Stack (⥥):
SO:	{[c_rel[who_rel[who_rel][student!D]][c_rel[c_rel][T[who_rel[who_rel][student!D]][T[T][v[who_rel[who_rel][student!D]][v[v][live[live][d[d][here]]]]]]]]],[c_rel[who_rel[who_rel][student!D]][c_rel[c_rel][T[who_rel[who_rel][student!D]][T[T][v[who_rel[who_rel][student!D]][v[v][study[study][d[d][english]]]]]]]]],[c_rel[who_rel[who_rel][student!D]][c_rel[c_rel][T[d[d][i]][T[T][v[d[d][i]][v[v*][know[know][who_rel[who_rel][student!D]]]]]]]]]}

Step 49.

Merge [student!D] and {[c_rel[who_rel..][c_rel..]],[c_rel[who_rel..][c_rel..]],[c_rel[who_rel..][c_rel..]]}

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

Stream:	[[the!case!N]]
Stack (⥥):
SO:	[student!D[student!D]{[c_rel[who_rel[who_rel][student!D]][c_rel[c_rel][T[who_rel[who_rel][student!D]][T[T][v[who_rel[who_rel][student!D]][v[v][live[live][d[d][here]]]]]]]]],[c_rel[who_rel[who_rel][student!D]][c_rel[c_rel][T[who_rel[who_rel][student!D]][T[T][v[who_rel[who_rel][student!D]][v[v][study[study][d[d][english]]]]]]]]],[c_rel[who_rel[who_rel][student!D]][c_rel[c_rel][T[d[d][i]][T[T][v[d[d][i]][v[v*][know[know][who_rel[who_rel][student!D]]]]]]]]]}]

Step 50.

Merge [the!case!N] and [student!D[student!D]{[c_rel..],[c_rel..],[c_rel..]}]

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

Inherit interpretable feature(s) [f(phi,[3,sg,n])] from [student!D[student!D]{[c_rel..],[c_rel..],[c_rel..]}]

[the!case!N] values D on [student!D[student!D]{[c_rel..],[c_rel..],[c_rel..]}]

[student[student]{[c_rel..],[c_rel..],[c_rel..]}] values N on [the!case!N]

Stream:	[]
Stack (⥥):
SO:	[the!case[the][student[student]{[c_rel[who_rel[who_rel][student]][c_rel[c_rel][T[who_rel[who_rel][student]][T[T][v[who_rel[who_rel][student]][v[v][live[live][d[d][here]]]]]]]]],[c_rel[who_rel[who_rel][student]][c_rel[c_rel][T[who_rel[who_rel][student]][T[T][v[who_rel[who_rel][student]][v[v][study[study][d[d][english]]]]]]]]],[c_rel[who_rel[who_rel][student]][c_rel[c_rel][T[d[d][i]][T[T][v[d[d][i]][v[v*][know[know][who_rel[who_rel][student]]]]]]]]]}]]

Parse:

Spell-out:

the student who -s live -acc here who -s study -acc English whom I -m know (after morpheme realization)

the student who live -s here -acc who study -s English -acc whom I know -m (after affix-hop)

the student who live -s here -acc who study -s English -acc whom I know -m (after morpheme realization, stage 2)

the student who lives here who studies English whom I know

One derivation found.

Computational Cost:

Merge: 29, Agree: 35, Unify: 0, Push: 9, Boundaries: 3, Inject: 3

Non-TOS access: 1, Pop: 0, Depth cost: 36

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