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:
(33d) the boy whose brother was taught by Sandra

Derivation:
(33d) the boy whose brother was taught by Sandra

Stream:	[[brother!D],['s!case!N],[[boy!D],[who_rel!case!N]],[teach],[[[sandra!D],[d!case!N]],[by]],[prt!phi!case],[v~],[Tpast!phi],[c_rel!rel!T!phi],[the!case!N]]
Stack (⥥):
SO:	[]

Step 1.

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

Stream:	[['s!case!N],[[boy!D],[who_rel!case!N]],[teach],[[[sandra!D],[d!case!N]],[by]],[prt!phi!case],[v~],[Tpast!phi],[c_rel!rel!T!phi],[the!case!N]]
Stack (⥥):
SO:	[brother!D]

Step 2.

Merge ['s!case!N] and [brother!D]

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

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

['s!case!N] values D on [brother!D]

[brother] values N on ['s!case!N]

Stream:	[[[boy!D],[who_rel!case!N]],[teach],[[[sandra!D],[d!case!N]],[by]],[prt!phi!case],[v~],[Tpast!phi],[c_rel!rel!T!phi],[the!case!N]]
Stack (⥥):
SO:	['s!case['s][brother]]

Step 3.

Begin substream

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

Step 4.

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

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

Step 5.

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

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

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

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

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

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

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

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

Step 6.

Stream:	[[who_rel!case[who_rel][boy!D]],[teach],[[[sandra!D],[d!case!N]],[by]],[prt!phi!case],[v~],[Tpast!phi],[c_rel!rel!T!phi],[the!case!N]]
Stack (⥥):
SO:	['s!case['s][brother]]

Step 7.

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

['s!case['s][brother]] values gen case on [who_rel!case[who_rel][boy!D]]

Merge ['s!case['s][brother]] and [who_rel[who_rel][boy!D]]

Label from ['s!case['s][brother]] (edge feature)

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

Stream:	[[teach],[[[sandra!D],[d!case!N]],[by]],[prt!phi!case],[v~],[Tpast!phi],[c_rel!rel!T!phi],[the!case!N]]
Stack (⥥):	[boy!D]
SO:	['s!case[who_rel[who_rel][boy!D]]['s['s][brother]]]

Step 8.

Local Extent boundary at ['s!case[who_rel[who_rel..][boy..]]['s['s..][brother..]]]

Stack element [boy!D] with unvalued uF found

New boundary (b) marker stacked

Restack [boy!D] onto stack

Stream:	[[teach],[[[sandra!D],[d!case!N]],[by]],[prt!phi!case],[v~],[Tpast!phi],[c_rel!rel!T!phi],[the!case!N]]
Stack (⥥):	[boy!D] b
SO:	['s!case[who_rel[who_rel][boy!D]]['s['s][brother]]]

Step 9.

Merge [teach] and ['s!case[who_rel[who_rel..][boy..]]['s['s..][brother..]]]

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

Theta-mark ['s!case[who_rel[who_rel..][boy..]]['s['s..][brother..]]]

Push ['s!case[who_rel[who_rel..][boy..]]['s['s..][brother..]]] (unvalued uF) onto stack

Stream:	[[[[sandra!D],[d!case!N]],[by]],[prt!phi!case],[v~],[Tpast!phi],[c_rel!rel!T!phi],[the!case!N]]
Stack (⥥):	['s!case[who_rel[who_rel][boy!D]]['s['s][brother]]] [boy!D] b
SO:	[teach[teach]['s!case[who_rel[who_rel][boy!D]]['s['s][brother]]]]

Step 10.

Begin substream

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

Step 11.

Begin substream

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

Step 12.

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

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

Step 13.

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

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

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

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

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

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

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

Step 14.

Stream:	[[d!case[d][sandra]],[by]]
Stack (⥥):
SO:	[]

Step 15.

Head of stream [d!case[d][sandra]] is the initial SO

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

Step 16.

Merge [by] and [d!case[d][sandra]]

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

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

[by] values obq case on [d!case[d][sandra]]

Stream:	[]
Stack (⥥):
SO:	[by[by][d[d][sandra]]]

End substream, SO [by[by][d[d][sandra]]] re-inserted into main stream

Step 17.

Stream:	[[by[by][d[d][sandra]]],[prt!phi!case],[v~],[Tpast!phi],[c_rel!rel!T!phi],[the!case!N]]
Stack (⥥):	['s!case[who_rel[who_rel][boy!D]]['s['s][brother]]] [boy!D] b
SO:	[teach[teach]['s!case[who_rel[who_rel][boy!D]]['s['s][brother]]]]

Step 18.

Pair-merge [by[by][d[d][sandra]]] and [teach[teach]['s!case[who_rel[who_rel][boy!D]]['s['s][brother]]]]

Stream:	[[prt!phi!case],[v~],[Tpast!phi],[c_rel!rel!T!phi],[the!case!N]]
Stack (⥥):	['s!case[who_rel[who_rel][boy!D]]['s['s][brother]]] [boy!D] b
SO:	<[teach[teach]['s!case[who_rel[who_rel][boy!D]]['s['s][brother]]]],[by[by][d[d][sandra]]]>

Step 19.

Merge [prt!phi!case] and <[teach[teach]['s!case[who_rel..]['s..]]],[by[by][d[d..][sandra..]]]>

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

['s!case[who_rel[who_rel..][boy..]]['s['s..][brother..]]] values uPhi on [prt!phi!case]

Unified case feature on [prt!case] and ['s!case[who_rel[who_rel..][boy..]]['s['s..][brother..]]]

Stream:	[[v~],[Tpast!phi],[c_rel!rel!T!phi],[the!case!N]]
Stack (⥥):	['s!case[who_rel[who_rel][boy!D]]['s['s][brother]]] [boy!D] b
SO:	[prt[prt]<[teach[teach]['s!case[who_rel[who_rel][boy!D]]['s['s][brother]]]],[by[by][d[d][sandra]]]>]

Step 20.

Internal merge selected

Merge [prt[prt]<[teach[teach..]['s..]],[by[by..][d..]]>] and ['s!case[who_rel[who_rel..][boy..]]['s['s..][brother..]]]

Label from [prt[prt]<[teach[teach..]['s..]],[by[by..][d..]]>] (edge feature)

Stream:	[[v~],[Tpast!phi],[c_rel!rel!T!phi],[the!case!N]]
Stack (⥥):	['s!case[who_rel[who_rel][boy!D]]['s['s][brother]]] [boy!D] b
SO:	[prt['s!case[who_rel[who_rel][boy!D]]['s['s][brother]]][prt[prt]<[teach[teach]['s[who_rel[who_rel][boy!D]]['s['s][brother]]]],[by[by][d[d][sandra]]]>]]

Step 21.

Merge [v~] and [prt['s!case[who_rel..]['s..]][prt[prt..]<[teach..],[by..]>]]

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

[v~] checks theta on ['s!case[who_rel[who_rel..][boy..]]['s['s..][brother..]]]

Stream:	[[Tpast!phi],[c_rel!rel!T!phi],[the!case!N]]
Stack (⥥):	['s!case[who_rel[who_rel][boy!D]]['s['s][brother]]] [boy!D] b
SO:	[v~[v~][prt['s!case[who_rel[who_rel][boy!D]]['s['s][brother]]][prt[prt]<[teach[teach]['s[who_rel[who_rel][boy!D]]['s['s][brother]]]],[by[by][d[d][sandra]]]>]]]

Step 22.

Internal merge selected

Merge [v~[v~][prt['s..][prt..]]] and ['s!case[who_rel[who_rel..][boy..]]['s['s..][brother..]]]

Label from [v~[v~][prt['s..][prt..]]] (edge feature)

Stream:	[[Tpast!phi],[c_rel!rel!T!phi],[the!case!N]]
Stack (⥥):	['s!case[who_rel[who_rel][boy!D]]['s['s][brother]]] [boy!D] b
SO:	[v~['s!case[who_rel[who_rel][boy!D]]['s['s][brother]]][v~[v~][prt['s[who_rel[who_rel][boy!D]]['s['s][brother]]][prt[prt]<[teach[teach]['s[who_rel[who_rel][boy!D]]['s['s][brother]]]],[by[by][d[d][sandra]]]>]]]]

Step 23.

Merge [Tpast!phi] and [v~['s!case[who_rel..]['s..]][v~[v~..][prt..]]]

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

['s!case[who_rel[who_rel..][boy..]]['s['s..][brother..]]] values uPhi on [Tpast!phi]

[Tpast] values nom case on ['s!case[who_rel[who_rel..][boy..]]['s['s..][brother..]]]

Stream:	[[c_rel!rel!T!phi],[the!case!N]]
Stack (⥥):	['s[who_rel[who_rel][boy!D]]['s['s][brother]]] [boy!D] b
SO:	[Tpast[Tpast][v~['s[who_rel[who_rel][boy!D]]['s['s][brother]]][v~[v~][prt['s[who_rel[who_rel][boy!D]]['s['s][brother]]][prt[prt]<[teach[teach]['s[who_rel[who_rel][boy!D]]['s['s][brother]]]],[by[by][d[d][sandra]]]>]]]]]

Step 24.

Internal merge selected

Merge [Tpast[Tpast][v~['s..][v~..]]] and ['s[who_rel[who_rel..][boy..]]['s['s..][brother..]]]

Label from [Tpast[Tpast][v~['s..][v~..]]] (edge feature)

Stream:	[[c_rel!rel!T!phi],[the!case!N]]
Stack (⥥):	['s[who_rel[who_rel][boy!D]]['s['s][brother]]] [boy!D] b
SO:	[Tpast['s[who_rel[who_rel][boy!D]]['s['s][brother]]][Tpast[Tpast][v~['s[who_rel[who_rel][boy!D]]['s['s][brother]]][v~[v~][prt['s[who_rel[who_rel][boy!D]]['s['s][brother]]][prt[prt]<[teach[teach]['s[who_rel[who_rel][boy!D]]['s['s][brother]]]],[by[by][d[d][sandra]]]>]]]]]]

Step 25.

Merge [c_rel!rel!T!phi] and [Tpast['s[who_rel..]['s..]][Tpast[Tpast..][v~..]]]

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

['s[who_rel[who_rel..][boy..]]['s['s..][brother..]]] values rel on [c_rel!rel!T!phi]

['s[who_rel[who_rel..][boy..]]['s['s..][brother..]]] values T on [c_rel!T!phi] (economy)

['s[who_rel[who_rel..][boy..]]['s['s..][brother..]]] values phi on [c_rel!phi] (economy)

[c_rel] values obq case on ['s[who_rel[who_rel..][boy..]]['s['s..][brother..]]]

Internal merge selected

Merge [c_rel[c_rel][Tpast['s..][Tpast..]]] and ['s[who_rel[who_rel..][boy..]]['s['s..][brother..]]]

Label from [c_rel[c_rel][Tpast['s..][Tpast..]]] (edge feature)

Stream:	[[the!case!N]]
Stack (⥥):	['s[who_rel[who_rel][boy!D]]['s['s][brother]]] [boy!D] b
SO:	[c_rel['s[who_rel[who_rel][boy!D]]['s['s][brother]]][c_rel[c_rel][Tpast['s[who_rel[who_rel][boy!D]]['s['s][brother]]][Tpast[Tpast][v~['s[who_rel[who_rel][boy!D]]['s['s][brother]]][v~[v~][prt['s[who_rel[who_rel][boy!D]]['s['s][brother]]][prt[prt]<[teach[teach]['s[who_rel[who_rel][boy!D]]['s['s][brother]]]],[by[by][d[d][sandra]]]>]]]]]]]]

Step 26.

Local Extent boundary at [c_rel['s[who_rel..]['s..]][c_rel[c_rel..][Tpast..]]]

Stack element [boy!D] with unvalued uF found

New boundary (b) marker stacked

Restack [boy!D] onto stack

Stream:	[[the!case!N]]
Stack (⥥):	[boy!D] b ['s[who_rel[who_rel][boy!D]]['s['s][brother]]] b
SO:	[c_rel['s[who_rel[who_rel][boy!D]]['s['s][brother]]][c_rel[c_rel][Tpast['s[who_rel[who_rel][boy!D]]['s['s][brother]]][Tpast[Tpast][v~['s[who_rel[who_rel][boy!D]]['s['s][brother]]][v~[v~][prt['s[who_rel[who_rel][boy!D]]['s['s][brother]]][prt[prt]<[teach[teach]['s[who_rel[who_rel][boy!D]]['s['s][brother]]]],[by[by][d[d][sandra]]]>]]]]]]]]

Step 27.

Merge [boy!D] and [c_rel['s[who_rel..]['s..]][c_rel[c_rel..][Tpast..]]]

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

Stream:	[[the!case!N]]
Stack (⥥):	[boy!D] b ['s[who_rel[who_rel][boy!D]]['s['s][brother]]] b
SO:	[boy!D[boy!D][c_rel['s[who_rel[who_rel][boy!D]]['s['s][brother]]][c_rel[c_rel][Tpast['s[who_rel[who_rel][boy!D]]['s['s][brother]]][Tpast[Tpast][v~['s[who_rel[who_rel][boy!D]]['s['s][brother]]][v~[v~][prt['s[who_rel[who_rel][boy!D]]['s['s][brother]]][prt[prt]<[teach[teach]['s[who_rel[who_rel][boy!D]]['s['s][brother]]]],[by[by][d[d][sandra]]]>]]]]]]]]]

Step 28.

Merge [the!case!N] and [boy!D[boy!D][c_rel['s..][c_rel..]]]

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

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

[the!case!N] values D on [boy!D[boy!D][c_rel['s..][c_rel..]]]

[boy[boy][c_rel['s..][c_rel..]]] values N on [the!case!N]

Stream:	[]
Stack (⥥):	[boy] b ['s[who_rel[who_rel][boy]]['s['s][brother]]] b
SO:	[the!case[the][boy[boy][c_rel['s[who_rel[who_rel][boy]]['s['s][brother]]][c_rel[c_rel][Tpast['s[who_rel[who_rel][boy]]['s['s][brother]]][Tpast[Tpast][v~['s[who_rel[who_rel][boy]]['s['s][brother]]][v~[v~][prt['s[who_rel[who_rel][boy]]['s['s][brother]]][prt[prt]<[teach[teach]['s[who_rel[who_rel][boy]]['s['s][brother]]]],[by[by][d[d][sandra]]]>]]]]]]]]]]

Parse:

Spell-out:

the boy whose brother -ed(sg) be -en teach by -obq Sandra (after morpheme realization)

the boy whose brother be -ed(sg) teach -en by Sandra -obq (after affix-hop)

the boy whose brother be -ed(sg) teach -en by Sandra -obq (after morpheme realization, stage 2)

the boy whose brother was taught by Sandra

Backtrack

Stream:	[[by[by][d[d][sandra]]],[prt!phi!case],[v~],[Tpast!phi],[c_rel!rel!T!phi],[the!case!N]]
Stack (⥥):	['s!case[who_rel[who_rel][boy!D]]['s['s][brother]]] [boy!D] b
SO:	[teach[teach]['s!case[who_rel[who_rel][boy!D]]['s['s][brother]]]]

re-doing step 18

Step 29.

Retry step 18: instead of pair merge...

Merge [by[by][d[d..][sandra..]]] and [teach[teach]['s!case[who_rel..]['s..]]]

Conditional label from [teach[teach]['s!case[who_rel..]['s..]]] (XP-YP general case)

Push [by[by][d[d..][sandra..]]] (unvalued uF) onto stack

Stream:	[[prt!phi!case],[v~],[Tpast!phi],[c_rel!rel!T!phi],[the!case!N]]
Stack (⥥):	[by[by][d[d][sandra]]] 'teach?' ['s!case[who_rel[who_rel][boy!D]]['s['s][brother]]] [boy!D] b
SO:	[teach?[teach[teach]['s!case[who_rel[who_rel][boy!D]]['s['s][brother]]]][by[by][d[d][sandra]]]]

Step 30.

Merge [prt!phi!case] and [teach?[teach[teach..]['s..]][by[by..][d..]]]

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

[by[by][d[d..][sandra..]]] values uPhi on [prt!phi!case]

Unified case feature on [prt!case] and [by[by][d[d..][sandra..]]]

Stream:	[[v~],[Tpast!phi],[c_rel!rel!T!phi],[the!case!N]]
Stack (⥥):	[by[by][d[d][sandra]]] 'teach?' ['s!case[who_rel[who_rel][boy!D]]['s['s][brother]]] [boy!D] b
SO:	[prt[prt][teach?[teach[teach]['s!case[who_rel[who_rel][boy!D]]['s['s][brother]]]][by[by][d[d][sandra]]]]]

Step 31.

Internal merge selected

Merge [prt[prt][teach[teach..][by..]]] and [by[by][d[d..][sandra..]]]

Label from [prt[prt][teach[teach..][by..]]] (edge feature)

Stream:	[[v~],[Tpast!phi],[c_rel!rel!T!phi],[the!case!N]]
Stack (⥥):	[by[by][d[d][sandra]]] ['s!case[who_rel[who_rel][boy!D]]['s['s][brother]]] [boy!D] b
SO:	[prt[by[by][d[d][sandra]]][prt[prt][teach[teach[teach]['s!case[who_rel[who_rel][boy!D]]['s['s][brother]]]][by[by][d[d][sandra]]]]]]

Step 32.

Merge [v~] and [prt[by[by..][d..]][prt[prt..][teach..]]]

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

Merge stream v [v~] and SO [prt[by[by][d[d][sandra]]][prt[prt][teach[teach[teach]['s!case[who_rel[who_rel][boy!D]]['s['s][brother]]]][by[by][d[d][sandra]]]]]] failed

No possible action for stream [[v~],[Tpast!phi],[c_rel!rel!T!phi],[the!case!N]] and [prt[by[by..][d..]][prt[prt..][teach..]]]

One derivation found.

Computational Cost:

Merge: 21, Agree: 18, Unify: 2, Push: 3, Boundaries: 2, Inject: 2

Non-TOS access: 0, Pop: 0, Depth cost: 42

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