Minimalist Machine Derivations

Minimalist Machine Derivations

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

Examples:

Relative clause examples from Keenan 1987 (Fong & Ginsburg, ms.) collapse

Example	Instruction stream (clickable)	Notes
(32a) the boy who told the story	[story, the, tell, 'v*', [boy, who_rel], 'Tpast', c_rel, the]	A subject relative clause. Subject who boy attracted to edge of C_rel, i.e. C with an uRel. DP who boy is marked with an iRel feature, originating on who. Note, who_rel is defective, i.e. it doesn't value uD feature on boy. Instead, boy raises from edge of C and its uD feature is checked by the.
(32b) the letter which Dick wrote yesterday	[letter, which_rel, write, 'v*', [dick, d], 'Tpast', [yesterday, d], c_rel, the]	An object relative clause. Assume, substantially following (Haumann, 2007) and (Larson, 1985), that yesterday is a TP-level bare NP adverb. As an adjunct, yesterday is pair merged at TP. Defective which_rel is attracted by c_rel; the entire DP which letter raising to the edge of C, see notes for (32a) above. Finally, letter within the DP raises and its uD feature is valued by the.
(32c) the man who Ann gave the present to the man to who Ann gave the present (pied-piping)	[man, who_rel, to, [present, the], give, 'v*', [ann, d], 'Tpast', c_rel, the]	Relativization of the indirect object of a double object verb. Two analyses, also produces pied-piped variant. C_rel attracts who man, headed by who_rel, to its edge. Defective who, can't value uD on man. man raises. uD on man valued by c-commanding the.
(32d) the box which Pat brought the apples in the box in which Pat brought the apples (pied-piping)	[box, which_rel, in, [apples, the], bring, 'v*', [pat, d], 'Tpast', c_rel, the]	Assume bring...in involves a dyadic preposition in. C_rel attracts which box, headed by which_rel, to its edge. Defective which, can't value uD on box. box raises. uD on box valued by c-commanding the.
(32e) the dog which was taught by John	[dog, which_rel, teach, [[john, d], by], prt, 'v~', 'Tpast', c_rel, the]	Relativization of passivized object. The agentive by-phrase is pair-merged to teach (not PRT or v~ due to merge over move preference). C_rel attracts which dog, headed by which_rel, to its edge. Defective which, can't value uD on dog. dog raises. uD on box valued by c-commanding the.
(33a) the boy who Mike writes better than cf. *the boy than who Mike writes better	[boy, who_rel, than, better, write, 'v_unerg', [mike, d], 'T', c_rel, the]	Relativization of the object of a comparative. Assume than is a preposition, not a C - as needed in the case of Comparative Deletion (not implemented here: e.g. as in Mike writes better than I do/write. The pied-piped counterpart (see cf.) is blocked by a spellout rule (after the parse has been completed). C_rel attracts who boy, headed by who_rel, to its edge. Defective who, can't value uD on boy. boy raises. uD on boy valued by c-commanding the.
(33b) the girl whose friends bought the cake	[cake, the, buy, 'v*', [friends,'\'s',[girl, who_rel]],'Tpast',c_rel,the]	Relativization of a genitive from a subject. Assume the entire possessive 's DP [_'s [_who who_rel girl][_'s 's friends]] raises to edge of C_rel. Defective who_rel cannot value uD on girl. This permits girl to raise out and its uD feature is valued by the. Finally assume spellout rule: who + 's -> whose.
(33b') the girl who friends of bought the cake cf. *the girl of who friends bought the cake	[cake, the, buy, 'v*', [girl, who_rel, of, friends, d], 'Tpast', c_rel, the]	Relativization of a genitive from a subject. Assume DP [_d d [_friends friends [_of of [_who who_rel girl]]]], cf. possessive DP analysis above. C_rel attracts who girl, headed by who_rel, to its edge. Defective who, can't value uD on girl. This permits girl to raise. uD on girl is valued by c-commanding the. The pied-piped counterpart is blocked by a spellout rule that asserts there is no spellout for who_rel.
(33c) the man whose house Patrick bought the man whose house that Patrick bought (T-to-C variant)	[house,'\'s',[man,who_rel],buy,'v*',[patrick,d],'Tpast',c_rel,the]	Relativization of a genitive from the object. Assume possessive 's DP [_'s [_who who_rel man] [_'s 's house]] raises to edge of C_rel. who_rel cannot value uD on man. This permits man to raise out and its uD feature is valued by the. Finally assume spellout rule: who + 's -> whose.
(33c') the man who Patrick bought the house of cf. *the man of who Patrick bought the house	[man, who_rel, of, house, the, buy, 'v*', [patrick, d], 'Tpast', c_rel, the]	Relativization of a genitive from the object. Assume DP [_the the [_house house [_of of [_who who man]]]], cf. possessive DP analysis above in (33c). C_rel attracts who man, headed by who_rel, to its edge. Defective who, can't value uD on man. This permits man to raise. uD on man is valued by c-commanding the. The pied-piped counterpart (see cf.) is blocked by a spellout rule (after the parse has been completed). See also (33b').
(33d) the boy whose brother was taught by Sandra	[brother, '\'s', [boy, who_rel], teach, [[sandra, d], by], prt, 'v~', 'Tpast', c_rel, the]	Relativization of a genitive from the passivized object. Assume possessive DP [_'s [_who who_rel boy][_'s 's brother]] raises to edge of C_rel. who_rel cannot value uD on boy. This permits boy to raise out and its uD feature is valued by the. Finally assume spellout rule: who + 's -> whose.

Machine Parameters: expand

Animation:
(32c) the man who Ann gave the present to
the man to who Ann gave the present (pied-piping)

Derivation:
(32c) the man who Ann gave the present to
the man to who Ann gave the present (pied-piping)

Stream:	[[man!D],[who_rel!case!N],[to],[[present!D],[the!case!N]],[give],[v*!phi],[[ann!D],[d!case!N]],[Tpast!phi],[c_rel!rel!T!phi],[the!case!N]]
Stack (⥥):
SO:	[]

Step 1.

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

Stream:	[[who_rel!case!N],[to],[[present!D],[the!case!N]],[give],[v*!phi],[[ann!D],[d!case!N]],[Tpast!phi],[c_rel!rel!T!phi],[the!case!N]]
Stack (⥥):
SO:	[man!D]

Step 2.

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

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

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

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

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

Stream:	[[to],[[present!D],[the!case!N]],[give],[v*!phi],[[ann!D],[d!case!N]],[Tpast!phi],[c_rel!rel!T!phi],[the!case!N]]
Stack (⥥):	[man!D]
SO:	[who_rel!case[who_rel][man!D]]

Step 3.

Merge [to] and [who_rel!case[who_rel][man!D]]

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

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

[to] values obq case on [who_rel!case[who_rel][man!D]]

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

Stream:	[[[present!D],[the!case!N]],[give],[v*!phi],[[ann!D],[d!case!N]],[Tpast!phi],[c_rel!rel!T!phi],[the!case!N]]
Stack (⥥):	[who_rel[who_rel][man!D]] [man!D]
SO:	[to[to][who_rel[who_rel][man!D]]]

Step 4.

Begin substream

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

Step 5.

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

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

Step 6.

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

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

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

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

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

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

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

Step 7.

Stream:	[[the!case[the][present]],[give],[v*!phi],[[ann!D],[d!case!N]],[Tpast!phi],[c_rel!rel!T!phi],[the!case!N]]
Stack (⥥):	[who_rel[who_rel][man!D]] [man!D]
SO:	[to[to][who_rel[who_rel][man!D]]]

Step 8.

Merge [to[to][who_rel[who_rel..][man..]]] and [the!case[the][present]]

Label from [to[to][who_rel[who_rel..][man..]]] (edge feature)

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

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

Stream:	[[give],[v*!phi],[[ann!D],[d!case!N]],[Tpast!phi],[c_rel!rel!T!phi],[the!case!N]]
Stack (⥥):	[the!case[the][present]] [who_rel[who_rel][man!D]] [man!D]
SO:	[to[the!case[the][present]][to[to][who_rel[who_rel][man!D]]]]

Step 9.

Merge [give] and [to[the!case[the..][present..]][to[to..][who_rel..]]]

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

Stream:	[[v*!phi],[[ann!D],[d!case!N]],[Tpast!phi],[c_rel!rel!T!phi],[the!case!N]]
Stack (⥥):	[the!case[the][present]] [who_rel[who_rel][man!D]] [man!D]
SO:	[give[give][to[the!case[the][present]][to[to][who_rel[who_rel][man!D]]]]]

Step 10.

Merge [v*!phi] and [give[give][to[the..][to..]]]

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

[the!case[the][present]] values uPhi on [v*!phi]

[v*] values acc case on [the!case[the][present]]

Stream:	[[[ann!D],[d!case!N]],[Tpast!phi],[c_rel!rel!T!phi],[the!case!N]]
Stack (⥥):	[the[the][present]] [who_rel[who_rel][man!D]] [man!D]
SO:	[v[v][give[give][to[the[the][present]][to[to][who_rel[who_rel][man!D]]]]]]

Step 11.

Begin substream

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

Step 12.

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

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

Step 13.

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

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

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

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

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

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

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

Step 14.

Stream:	[[d!case[d][ann]],[Tpast!phi],[c_rel!rel!T!phi],[the!case!N]]
Stack (⥥):	[the[the][present]] [who_rel[who_rel][man!D]] [man!D]
SO:	[v[v][give[give][to[the[the][present]][to[to][who_rel[who_rel][man!D]]]]]]

Step 15.

Merge [v*[v*][give[give..][to..]]] and [d!case[d][ann]]

Label from [v*[v*][give[give..][to..]]] (edge feature)

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

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

Stream:	[[Tpast!phi],[c_rel!rel!T!phi],[the!case!N]]
Stack (⥥):	[d!case[d][ann]] [the[the][present]] [who_rel[who_rel][man!D]] [man!D]
SO:	[v[d!case[d][ann]][v[v*][give[give][to[the[the][present]][to[to][who_rel[who_rel][man!D]]]]]]]

Step 16.

Merge [Tpast!phi] and [v*[d!case[d..][ann..]][v*[v*..][give..]]]

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

[d!case[d][ann]] values uPhi on [Tpast!phi]

[Tpast] values nom case on [d!case[d][ann]]

Stream:	[[c_rel!rel!T!phi],[the!case!N]]
Stack (⥥):	[d[d][ann]] [the[the][present]] [who_rel[who_rel][man!D]] [man!D]
SO:	[Tpast[Tpast][v[d[d][ann]][v[v*][give[give][to[the[the][present]][to[to][who_rel[who_rel][man!D]]]]]]]]

Step 17.

Internal merge selected

Merge [Tpast[Tpast][v*[d..][v*..]]] and [d[d][ann]]

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

Stream:	[[c_rel!rel!T!phi],[the!case!N]]
Stack (⥥):	[d[d][ann]] [the[the][present]] [who_rel[who_rel][man!D]] [man!D]
SO:	[Tpast[d[d][ann]][Tpast[Tpast][v[d[d][ann]][v[v*][give[give][to[the[the][present]][to[to][who_rel[who_rel][man!D]]]]]]]]]

Step 18.

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

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

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

Relativized TOS search for iF(rel) skipping [the[the][present]]

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

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

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

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

Internal merge selected

Merge [c_rel[c_rel][Tpast[d..][Tpast..]]] and [who_rel[who_rel][man!D]]

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

Stream:	[[the!case!N]]
Stack (⥥):	[d[d][ann]] [the[the][present]] [who_rel[who_rel][man!D]] [man!D]
SO:	[c_rel[who_rel[who_rel][man!D]][c_rel[c_rel][Tpast[d[d][ann]][Tpast[Tpast][v[d[d][ann]][v[v*][give[give][to[the[the][present]][to[to][who_rel[who_rel][man!D]]]]]]]]]]]

Step 19.

Local Extent boundary at [c_rel[who_rel[who_rel..][man..]][c_rel[c_rel..][Tpast..]]]

Stack element [man!D] with unvalued uF found

New boundary (b) marker stacked

Restack [man!D] onto stack

Stream:	[[the!case!N]]
Stack (⥥):	[man!D] b [d[d][ann]] [the[the][present]] [who_rel[who_rel][man!D]]
SO:	[c_rel[who_rel[who_rel][man!D]][c_rel[c_rel][Tpast[d[d][ann]][Tpast[Tpast][v[d[d][ann]][v[v*][give[give][to[the[the][present]][to[to][who_rel[who_rel][man!D]]]]]]]]]]]

Step 20.

Merge [man!D] and [c_rel[who_rel[who_rel..][man..]][c_rel[c_rel..][Tpast..]]]

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

Stream:	[[the!case!N]]
Stack (⥥):	[man!D] b [d[d][ann]] [the[the][present]] [who_rel[who_rel][man!D]]
SO:	[man!D[man!D][c_rel[who_rel[who_rel][man!D]][c_rel[c_rel][Tpast[d[d][ann]][Tpast[Tpast][v[d[d][ann]][v[v*][give[give][to[the[the][present]][to[to][who_rel[who_rel][man!D]]]]]]]]]]]]

Step 21.

Merge [the!case!N] and [man!D[man!D][c_rel[who_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 [man!D[man!D][c_rel[who_rel..][c_rel..]]]

[the!case!N] values D on [man!D[man!D][c_rel[who_rel..][c_rel..]]]

[man[man][c_rel[who_rel..][c_rel..]]] values N on [the!case!N]

Stream:	[]
Stack (⥥):	[man] b [d[d][ann]] [the[the][present]] [who_rel[who_rel][man]]
SO:	[the!case[the][man[man][c_rel[who_rel[who_rel][man]][c_rel[c_rel][Tpast[d[d][ann]][Tpast[Tpast][v[d[d][ann]][v[v*][give[give][to[the[the][present]][to[to][who_rel[who_rel][man]]]]]]]]]]]]]

Parse:

Spell-out:

the man who Ann -ed(sg) give the present to (after morpheme realization)

the man who Ann give -ed(sg) the present to (after affix-hop)

the man who Ann give -ed(sg) the present to (after morpheme realization, stage 2)

the man who Ann gave the present to

Backtrack

Stream:	[[to],[[present!D],[the!case!N]],[give],[v*!phi],[[ann!D],[d!case!N]],[Tpast!phi],[c_rel!rel!T!phi],[the!case!N]]
Stack (⥥):	[man!D]
SO:	[who_rel!case[who_rel][man!D]]

re-doing step 3

Step 22.

Push [to[to][who_rel[who_rel..][man..]]] (unvalued uF) onto stack

Stream:	[[[present!D],[the!case!N]],[give],[v*!phi],[[ann!D],[d!case!N]],[Tpast!phi],[c_rel!rel!T!phi],[the!case!N]]
Stack (⥥):	[to[to][who_rel[who_rel][man!D]]] [man!D]
SO:	[to[to][who_rel[who_rel][man!D]]]

Step 23.

Begin substream

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

Step 24.

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

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

Step 25.

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

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

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

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

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

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

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

Step 26.

Stream:	[[the!case[the][present]],[give],[v*!phi],[[ann!D],[d!case!N]],[Tpast!phi],[c_rel!rel!T!phi],[the!case!N]]
Stack (⥥):	[to[to][who_rel[who_rel][man!D]]] [man!D]
SO:	[to[to][who_rel[who_rel][man!D]]]

Step 27.

Merge [to[to][who_rel[who_rel..][man..]]] and [the!case[the][present]]

Label from [to[to][who_rel[who_rel..][man..]]] (edge feature)

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

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

Stream:	[[give],[v*!phi],[[ann!D],[d!case!N]],[Tpast!phi],[c_rel!rel!T!phi],[the!case!N]]
Stack (⥥):	[the!case[the][present]] [to[to][who_rel[who_rel][man!D]]] [man!D]
SO:	[to[the!case[the][present]][to[to][who_rel[who_rel][man!D]]]]

Step 28.

Merge [give] and [to[the!case[the..][present..]][to[to..][who_rel..]]]

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

Stream:	[[v*!phi],[[ann!D],[d!case!N]],[Tpast!phi],[c_rel!rel!T!phi],[the!case!N]]
Stack (⥥):	[the!case[the][present]] [to[to][who_rel[who_rel][man!D]]] [man!D]
SO:	[give[give][to[the!case[the][present]][to[to][who_rel[who_rel][man!D]]]]]

Step 29.

Merge [v*!phi] and [give[give][to[the..][to..]]]

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

[the!case[the][present]] values uPhi on [v*!phi]

[v*] values acc case on [the!case[the][present]]

Stream:	[[[ann!D],[d!case!N]],[Tpast!phi],[c_rel!rel!T!phi],[the!case!N]]
Stack (⥥):	[the[the][present]] [to[to][who_rel[who_rel][man!D]]] [man!D]
SO:	[v[v][give[give][to[the[the][present]][to[to][who_rel[who_rel][man!D]]]]]]

Step 30.

Begin substream

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

Step 31.

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

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

Step 32.

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

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

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

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

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

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

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

Step 33.

Stream:	[[d!case[d][ann]],[Tpast!phi],[c_rel!rel!T!phi],[the!case!N]]
Stack (⥥):	[the[the][present]] [to[to][who_rel[who_rel][man!D]]] [man!D]
SO:	[v[v][give[give][to[the[the][present]][to[to][who_rel[who_rel][man!D]]]]]]

Step 34.

Merge [v*[v*][give[give..][to..]]] and [d!case[d][ann]]

Label from [v*[v*][give[give..][to..]]] (edge feature)

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

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

Stream:	[[Tpast!phi],[c_rel!rel!T!phi],[the!case!N]]
Stack (⥥):	[d!case[d][ann]] [the[the][present]] [to[to][who_rel[who_rel][man!D]]] [man!D]
SO:	[v[d!case[d][ann]][v[v*][give[give][to[the[the][present]][to[to][who_rel[who_rel][man!D]]]]]]]

Step 35.

Merge [Tpast!phi] and [v*[d!case[d..][ann..]][v*[v*..][give..]]]

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

[d!case[d][ann]] values uPhi on [Tpast!phi]

[Tpast] values nom case on [d!case[d][ann]]

Stream:	[[c_rel!rel!T!phi],[the!case!N]]
Stack (⥥):	[d[d][ann]] [the[the][present]] [to[to][who_rel[who_rel][man!D]]] [man!D]
SO:	[Tpast[Tpast][v[d[d][ann]][v[v*][give[give][to[the[the][present]][to[to][who_rel[who_rel][man!D]]]]]]]]

Step 36.

Internal merge selected

Merge [Tpast[Tpast][v*[d..][v*..]]] and [d[d][ann]]

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

Stream:	[[c_rel!rel!T!phi],[the!case!N]]
Stack (⥥):	[d[d][ann]] [the[the][present]] [to[to][who_rel[who_rel][man!D]]] [man!D]
SO:	[Tpast[d[d][ann]][Tpast[Tpast][v[d[d][ann]][v[v*][give[give][to[the[the][present]][to[to][who_rel[who_rel][man!D]]]]]]]]]

Step 37.

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

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

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

Relativized TOS search for iF(rel) skipping [the[the][present]]

[to[to][who_rel[who_rel..][man..]]] values rel on [c_rel!rel!T!phi]

[to[to][who_rel[who_rel..][man..]]] values T on [c_rel!T!phi] (economy)

[d[d][ann]] values phi on [c_rel!phi]

[d[d][ann]] values uPhi on [c_rel!phi]

Internal merge selected

Merge [c_rel[c_rel][Tpast[d..][Tpast..]]] and [d[d][ann]]

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

Merge [c_rel[d[d..][ann..]][c_rel[c_rel..][Tpast..]]] and [to[to][who_rel[who_rel..][man..]]]

Label from [c_rel[d[d..][ann..]][c_rel[c_rel..][Tpast..]]] (edge feature)

Stream:	[[the!case!N]]
Stack (⥥):	[d[d][ann]] [the[the][present]] [to[to][who_rel[who_rel][man!D]]] [man!D]
SO:	[c_rel[to[to][who_rel[who_rel][man!D]]][c_rel[d[d][ann]][c_rel[c_rel][Tpast[d[d][ann]][Tpast[Tpast][v[d[d][ann]][v[v*][give[give][to[the[the][present]][to[to][who_rel[who_rel][man!D]]]]]]]]]]]]

Step 38.

Local Extent boundary at [c_rel[to[to..][who_rel..]][c_rel[d..][c_rel..]]]

Stack element [man!D] with unvalued uF found

New boundary (b) marker stacked

Restack [man!D] onto stack

Stream:	[[the!case!N]]
Stack (⥥):	[man!D] b [d[d][ann]] [the[the][present]] [to[to][who_rel[who_rel][man!D]]]
SO:	[c_rel[to[to][who_rel[who_rel][man!D]]][c_rel[d[d][ann]][c_rel[c_rel][Tpast[d[d][ann]][Tpast[Tpast][v[d[d][ann]][v[v*][give[give][to[the[the][present]][to[to][who_rel[who_rel][man!D]]]]]]]]]]]]

Step 39.

Merge [man!D] and [c_rel[to[to..][who_rel..]][c_rel[d..][c_rel..]]]

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

Stream:	[[the!case!N]]
Stack (⥥):	[man!D] b [d[d][ann]] [the[the][present]] [to[to][who_rel[who_rel][man!D]]]
SO:	[man!D[man!D][c_rel[to[to][who_rel[who_rel][man!D]]][c_rel[d[d][ann]][c_rel[c_rel][Tpast[d[d][ann]][Tpast[Tpast][v[d[d][ann]][v[v*][give[give][to[the[the][present]][to[to][who_rel[who_rel][man!D]]]]]]]]]]]]]

Step 40.

Merge [the!case!N] and [man!D[man!D][c_rel[to..][c_rel..]]]

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

Inherit interpretable feature(s) [f(phi,[3,sg,n])] from [man!D[man!D][c_rel[to..][c_rel..]]]

[the!case!N] values D on [man!D[man!D][c_rel[to..][c_rel..]]]

[man[man][c_rel[to..][c_rel..]]] values N on [the!case!N]

Stream:	[]
Stack (⥥):	[man] b [d[d][ann]] [the[the][present]] [to[to][who_rel[who_rel][man]]]
SO:	[the!case[the][man[man][c_rel[to[to][who_rel[who_rel][man]]][c_rel[d[d][ann]][c_rel[c_rel][Tpast[d[d][ann]][Tpast[Tpast][v[d[d][ann]][v[v*][give[give][to[the[the][present]][to[to][who_rel[who_rel][man]]]]]]]]]]]]]]

Parse:

Spell-out:

the man to who Ann -ed(sg) give the present (after morpheme realization)

the man to who Ann give -ed(sg) the present (after affix-hop)

the man to who Ann give -ed(sg) the present (after morpheme realization, stage 2)

the man to who Ann gave the present

Stream:	[[man!D],[who_rel!case!N],[to],[[present!D],[the!case!N]],[give],[v*!phi],[[ann!D],[d!case!N]],[Tpast!phi],[c_rel!rel!T!phi],[the!case!N]]
Stack (⥥):
SO:	[]

Step 41.

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

Stream:	[[who_rel!case!N],[to],[[present!D],[the!case!N]],[give],[v*!phi],[[ann!D],[d!case!N]],[Tpast!phi],[c_rel!rel!T!phi],[the!case!N]]
Stack (⥥):
SO:	[man!D]

Step 42.

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

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

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

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

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

Stream:	[[to],[[present!D],[the!case!N]],[give],[v*!phi],[[ann!D],[d!case!N]],[Tpast!phi],[c_rel!rel!T!phi],[the!case!N]]
Stack (⥥):	[man!D]
SO:	[who_rel!case[who_rel][man!D]]

Step 43.

Merge [to] and [who_rel!case[who_rel][man!D]]

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

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

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

Stream:	[[[present!D],[the!case!N]],[give],[v*!phi],[[ann!D],[d!case!N]],[Tpast!phi],[c_rel!rel!T!phi],[the!case!N]]
Stack (⥥):	[who_rel!case[who_rel][man!D]] [man!D]
SO:	[to[to][who_rel!case[who_rel][man!D]]]

Step 44.

Begin substream

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

Step 45.

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

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

Step 46.

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

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

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

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

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

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

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

Step 47.

Stream:	[[the!case[the][present]],[give],[v*!phi],[[ann!D],[d!case!N]],[Tpast!phi],[c_rel!rel!T!phi],[the!case!N]]
Stack (⥥):	[who_rel!case[who_rel][man!D]] [man!D]
SO:	[to[to][who_rel!case[who_rel][man!D]]]

Step 48.

Pair-merge [the!case[the][present]] and [to[to][who_rel!case[who_rel][man!D]]]

Pair Merged [the!case[the][present]] has no theta role

Pair merge stream [the!case[the][present]] and SO [to[to][who_rel!case[who_rel][man!D]]] failed

Retry step 48: instead of pair merge...

Merge [the!case[the][present]] and [to[to][who_rel!case[who_rel..][man..]]]

Conditional label from [to[to][who_rel!case[who_rel..][man..]]] (XP-YP general case)

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

Stream:	[[give],[v*!phi],[[ann!D],[d!case!N]],[Tpast!phi],[c_rel!rel!T!phi],[the!case!N]]
Stack (⥥):	[the!case[the][present]] 'to?' [who_rel!case[who_rel][man!D]] [man!D]
SO:	[to?[to[to][who_rel!case[who_rel][man!D]]][the!case[the][present]]]

Step 49.

Merge [give] and [to?[to[to..][who_rel..]][the!case[the..][present..]]]

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

Stream:	[[v*!phi],[[ann!D],[d!case!N]],[Tpast!phi],[c_rel!rel!T!phi],[the!case!N]]
Stack (⥥):	[the!case[the][present]] 'to?' [who_rel!case[who_rel][man!D]] [man!D]
SO:	[give[give][to?[to[to][who_rel!case[who_rel][man!D]]][the!case[the][present]]]]

Step 50.

Merge [v*!phi] and [give[give][to?[to..][the..]]]

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

[the!case[the][present]] values uPhi on [v*!phi]

[v*] values acc case on [the!case[the][present]]

Stream:	[[[ann!D],[d!case!N]],[Tpast!phi],[c_rel!rel!T!phi],[the!case!N]]
Stack (⥥):	[the[the][present]] 'to?' [who_rel!case[who_rel][man!D]] [man!D]
SO:	[v[v][give[give][to?[to[to][who_rel!case[who_rel][man!D]]][the[the][present]]]]]

Step 51.

Begin substream

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

Step 52.

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

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

Step 53.

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

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

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

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

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

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

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

Step 54.

Stream:	[[d!case[d][ann]],[Tpast!phi],[c_rel!rel!T!phi],[the!case!N]]
Stack (⥥):	[the[the][present]] 'to?' [who_rel!case[who_rel][man!D]] [man!D]
SO:	[v[v][give[give][to?[to[to][who_rel!case[who_rel][man!D]]][the[the][present]]]]]

Step 55.

Merge [v*[v*][give[give..][to?..]]] and [d!case[d][ann]]

Label from [v*[v*][give[give..][to?..]]] (edge feature)

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

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

Stream:	[[Tpast!phi],[c_rel!rel!T!phi],[the!case!N]]
Stack (⥥):	[d!case[d][ann]] [the[the][present]] 'to?' [who_rel!case[who_rel][man!D]] [man!D]
SO:	[v[d!case[d][ann]][v[v*][give[give][to?[to[to][who_rel!case[who_rel][man!D]]][the[the][present]]]]]]

Step 56.

Merge [Tpast!phi] and [v*[d!case[d..][ann..]][v*[v*..][give..]]]

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

[d!case[d][ann]] values uPhi on [Tpast!phi]

[Tpast] values nom case on [d!case[d][ann]]

Stream:	[[c_rel!rel!T!phi],[the!case!N]]
Stack (⥥):	[d[d][ann]] [the[the][present]] 'to?' [who_rel!case[who_rel][man!D]] [man!D]
SO:	[Tpast[Tpast][v[d[d][ann]][v[v*][give[give][to?[to[to][who_rel!case[who_rel][man!D]]][the[the][present]]]]]]]

Step 57.

Internal merge selected

Merge [Tpast[Tpast][v*[d..][v*..]]] and [d[d][ann]]

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

Stream:	[[c_rel!rel!T!phi],[the!case!N]]
Stack (⥥):	[d[d][ann]] [the[the][present]] 'to?' [who_rel!case[who_rel][man!D]] [man!D]
SO:	[Tpast[d[d][ann]][Tpast[Tpast][v[d[d][ann]][v[v*][give[give][to?[to[to][who_rel!case[who_rel][man!D]]][the[the][present]]]]]]]]

Step 58.

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

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

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

Relativized TOS search for iF(rel) skipping [the[the][present]]

Relativized TOS search for iF(rel) skipping abbrv(c(to,nonvar(_1082)))

[who_rel!case[who_rel][man!D]] values rel on [c_rel!rel!T!phi]

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

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

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

Internal merge selected

Merge [c_rel[c_rel][Tpast[d..][Tpast..]]] and [who_rel[who_rel][man!D]]

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

Stream:	[[the!case!N]]
Stack (⥥):	[d[d][ann]] [the[the][present]] 'to?' [who_rel[who_rel][man!D]] [man!D]
SO:	[c_rel[who_rel[who_rel][man!D]][c_rel[c_rel][Tpast[d[d][ann]][Tpast[Tpast][v[d[d][ann]][v[v*][give[give][to?[to[to][who_rel[who_rel][man!D]]][the[the][present]]]]]]]]]]

Step 59.

Local Extent boundary at [c_rel[who_rel[who_rel..][man..]][c_rel[c_rel..][Tpast..]]]

Stack element [man!D] with unvalued uF found

XP-YP labeling failure at node to?

SO mark Local Extent boundary, release failed

No possible action for stream [[the!case!N]] and [c_rel[who_rel[who_rel..][man..]][c_rel[c_rel..][Tpast..]]]

Push [to[to][who_rel!case[who_rel..][man..]]] (unvalued uF) onto stack

Stream:	[[[present!D],[the!case!N]],[give],[v*!phi],[[ann!D],[d!case!N]],[Tpast!phi],[c_rel!rel!T!phi],[the!case!N]]
Stack (⥥):	[to[to][who_rel!case[who_rel][man!D]]] [man!D]
SO:	[to[to][who_rel!case[who_rel][man!D]]]

Step 60.

Begin substream

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

Step 61.

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

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

Step 62.

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

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

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

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

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

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

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

Step 63.

Stream:	[[the!case[the][present]],[give],[v*!phi],[[ann!D],[d!case!N]],[Tpast!phi],[c_rel!rel!T!phi],[the!case!N]]
Stack (⥥):	[to[to][who_rel!case[who_rel][man!D]]] [man!D]
SO:	[to[to][who_rel!case[who_rel][man!D]]]

Step 64.

Pair-merge [the!case[the][present]] and [to[to][who_rel!case[who_rel][man!D]]]

Pair Merged [the!case[the][present]] has no theta role

Pair merge stream [the!case[the][present]] and SO [to[to][who_rel!case[who_rel][man!D]]] failed

Retry step 64: instead of pair merge...

Merge [the!case[the][present]] and [to[to][who_rel!case[who_rel..][man..]]]

Conditional label from [to[to][who_rel!case[who_rel..][man..]]] (XP-YP general case)

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

Stream:	[[give],[v*!phi],[[ann!D],[d!case!N]],[Tpast!phi],[c_rel!rel!T!phi],[the!case!N]]
Stack (⥥):	[the!case[the][present]] 'to?' [to[to][who_rel!case[who_rel][man!D]]] [man!D]
SO:	[to?[to[to][who_rel!case[who_rel][man!D]]][the!case[the][present]]]

Step 65.

Merge [give] and [to?[to[to..][who_rel..]][the!case[the..][present..]]]

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

Stream:	[[v*!phi],[[ann!D],[d!case!N]],[Tpast!phi],[c_rel!rel!T!phi],[the!case!N]]
Stack (⥥):	[the!case[the][present]] 'to?' [to[to][who_rel!case[who_rel][man!D]]] [man!D]
SO:	[give[give][to?[to[to][who_rel!case[who_rel][man!D]]][the!case[the][present]]]]

Step 66.

Merge [v*!phi] and [give[give][to?[to..][the..]]]

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

[the!case[the][present]] values uPhi on [v*!phi]

[v*] values acc case on [the!case[the][present]]

Stream:	[[[ann!D],[d!case!N]],[Tpast!phi],[c_rel!rel!T!phi],[the!case!N]]
Stack (⥥):	[the[the][present]] 'to?' [to[to][who_rel!case[who_rel][man!D]]] [man!D]
SO:	[v[v][give[give][to?[to[to][who_rel!case[who_rel][man!D]]][the[the][present]]]]]

Step 67.

Begin substream

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

Step 68.

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

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

Step 69.

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

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

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

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

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

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

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

Step 70.

Stream:	[[d!case[d][ann]],[Tpast!phi],[c_rel!rel!T!phi],[the!case!N]]
Stack (⥥):	[the[the][present]] 'to?' [to[to][who_rel!case[who_rel][man!D]]] [man!D]
SO:	[v[v][give[give][to?[to[to][who_rel!case[who_rel][man!D]]][the[the][present]]]]]

Step 71.

Merge [v*[v*][give[give..][to?..]]] and [d!case[d][ann]]

Label from [v*[v*][give[give..][to?..]]] (edge feature)

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

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

Stream:	[[Tpast!phi],[c_rel!rel!T!phi],[the!case!N]]
Stack (⥥):	[d!case[d][ann]] [the[the][present]] 'to?' [to[to][who_rel!case[who_rel][man!D]]] [man!D]
SO:	[v[d!case[d][ann]][v[v*][give[give][to?[to[to][who_rel!case[who_rel][man!D]]][the[the][present]]]]]]

Step 72.

Merge [Tpast!phi] and [v*[d!case[d..][ann..]][v*[v*..][give..]]]

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

[d!case[d][ann]] values uPhi on [Tpast!phi]

[Tpast] values nom case on [d!case[d][ann]]

Stream:	[[c_rel!rel!T!phi],[the!case!N]]
Stack (⥥):	[d[d][ann]] [the[the][present]] 'to?' [to[to][who_rel!case[who_rel][man!D]]] [man!D]
SO:	[Tpast[Tpast][v[d[d][ann]][v[v*][give[give][to?[to[to][who_rel!case[who_rel][man!D]]][the[the][present]]]]]]]

Step 73.

Internal merge selected

Merge [Tpast[Tpast][v*[d..][v*..]]] and [d[d][ann]]

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

Stream:	[[c_rel!rel!T!phi],[the!case!N]]
Stack (⥥):	[d[d][ann]] [the[the][present]] 'to?' [to[to][who_rel!case[who_rel][man!D]]] [man!D]
SO:	[Tpast[d[d][ann]][Tpast[Tpast][v[d[d][ann]][v[v*][give[give][to?[to[to][who_rel!case[who_rel][man!D]]][the[the][present]]]]]]]]

Step 74.

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

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

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

Relativized TOS search for iF(rel) skipping [the[the][present]]

Relativized TOS search for iF(rel) skipping abbrv(c(to,nonvar(_1082)))

[to[to][who_rel!case[who_rel..][man..]]] values rel on [c_rel!rel!T!phi]

[to[to][who_rel!case[who_rel..][man..]]] values T on [c_rel!T!phi] (economy)

[d[d][ann]] values phi on [c_rel!phi]

[d[d][ann]] values uPhi on [c_rel!phi]

Internal merge selected

Merge [c_rel[c_rel][Tpast[d..][Tpast..]]] and [d[d][ann]]

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

Merge [c_rel[d[d..][ann..]][c_rel[c_rel..][Tpast..]]] and [to[to][who_rel!case[who_rel..][man..]]]

Label from [c_rel[d[d..][ann..]][c_rel[c_rel..][Tpast..]]] (edge feature)

Stream:	[[the!case!N]]
Stack (⥥):	[d[d][ann]] [the[the][present]] 'to?' [to[to][who_rel!case[who_rel][man!D]]] [man!D]
SO:	[c_rel[to[to][who_rel!case[who_rel][man!D]]][c_rel[d[d][ann]][c_rel[c_rel][Tpast[d[d][ann]][Tpast[Tpast][v[d[d][ann]][v[v*][give[give][to?[to[to][who_rel[who_rel][man!D]]][the[the][present]]]]]]]]]]]

Step 75.

Local Extent boundary at [c_rel[to[to..][who_rel..]][c_rel[d..][c_rel..]]]

Stack element [to[to][who_rel!case[who_rel..][man..]]] with unvalued uF found

Stack element [man!D] with unvalued uF found

XP-YP labeling failure at node to?

SO mark Local Extent boundary, release failed

No possible action for stream [[the!case!N]] and [c_rel[to[to..][who_rel..]][c_rel[d..][c_rel..]]]

2 derivations found.

Computational Cost:

Merge: 52, Agree: 55, Unify: 0, Push: 14, Boundaries: 2, Inject: 2

Non-TOS access: 10, Pop: 0, Depth cost: 128

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	55	56	57	58	59	60	61	62	63	64	65	66	67	68	69	70	71	72	73	74	75
Stack depth:	0	0	1	2	0	0	0	2	3	3	3	0	0	0	3	4	4	4	4	5	5	5	2	0	0	0	2	3	3	3	0	0	0	3	4	4	4	4	5	5	5	0	0	1	2	0	0	0	2	4	4	4	0	0	0	4	5	5	5	5	2	0	0	0	2	4	4	4	0	0	0	4	5	5	5	5