Minimalist Machine Derivations

Minimalist Machine Derivations

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

Examples:

Relative clause examples from Sag 1997 (Fong & Ginsburg, ms.) collapse

Example	Instruction stream (clickable)	Notes
(23a) the book which inspired them (Example (24a); Sag 1997: 448 (23b) *the book which that inspired them	[they,d,inspire,'v*',[book,which_rel],'Tpast',c_rel,the]	Subject relative. DP [book, which_rel] is attracted to the edge of C_rel by uRel on C_rel. By economy, which_rel values both uT and uRel on C_rel, and the T-to-C option is impossible, i.e. *which that in (23b). However, which_rel cannot value uD so book will raise further and uD is valued during the merge with the.
(24) the person whose mother died (Example (24b); Sag 1997: 448)	[mother, '\'s', [person, who_rel], die, 'v~unacc', 'Tpast', c_rel, the]	Assume whose here is who_rel + 's and die is unaccusative, i.e. [[who_rel person]['s mother]] is theta-merged at the internal argument position. Furthermore, permit uRel on C_rel to find iRel on who_rel at the edge of possessive 's. [[who_rel person]['s mother]] is attracted to the edge of C_rel. However, who_rel cannot value uD on person. Next, person raises and its uD is valued when merged with the.
(25) the person whose mother's dog died (Example (24d); Sag 1997: 448)	[dog, '\'s', [mother, '\'s', [person, who_rel]], die, 'v~unacc', 'Tpast', c_rel, the]	Analysis is the same as for (24) above, except we permit uRel on C_rel to recursively look for iRel at the edge of possessive 's. Internal argument is [[[who_rel person] 's mother]['s dog]].
(26a) the person whose mother's dog we were (all) fond of (Example (24d); Sag 1997: 448) (26b) the person whose mother's dog that we were (all) fond of (26c) the person of whose mother's dog we were (all) fond (26d) the person of whose mother's dog that we were (all) fond	[dog, '\'s', [mother, '\'s', [person, who_rel]],of,fond,[we,d],v_be,'Tpast',c_rel,the]	[[[who_rel person] 's mother]['s dog]] is attracted to the edge of C_rel by uRel on C_rel. We assume, following (25), that uRel on C_rel can find recursively iRel at the edge of possessive 's. who_rel cannot value uD on person. Next, person raises and its uD is valued when merged with the. (26b) is predicted as [[[who_rel person] 's mother]['s dog]] is not a nominative subject, so economy does not apply. The option of T-to-C generates the complementizer that. (26c-d) are blocked by a spellout rule *of who, designed to block *the girl of who friends bought the cake.
(27a) the person to whom they dedicated the building (Example (24e); Sag 1997: 448) (27b) the person whom they dedicated the building to	[person,who_rel,to,[building,the],dedicate,'v*',[they,d],'Tpast',c_rel,the]	We assume dyadic to, i.e. the VP is [dedicate [[the building] [to [who_Rel person]]]]. [who_Rel person] is attracted to the edge of C_rel by uRel on C_rel. who_rel cannot value uD on person. Next, person raises and its uD is valued when merged with the. Pied-piping is permitted as who_rel is overt. Note: after the two successful derivations, at step 41, the system tries unsuccessfully to employ monadic to with [dedicate [to [who_Rel person]]]. The problem is the merge of [the building]. At step 48, the attempted XP-YP pair merge of [the building] fails. At step 59, the corresponding XP-YP set merge fails. After that, there are a further two parallel attempts pushing [to [who_Rel person]] onto the stack.
(28) [Give me] the phone number of the person whose mother's friend's sister's dog's appearance had offended the audience (Example (31a); Sag 1997: 450)	[audience,the,offend,'v*',[appearance,'\'s',[dog,'\'s',[sister,'\'s',[friend,'\'s',[mother,'\'s',[person,who_rel]]]]]],perf,v,'Tpast',c_rel,the,of,number,phone,the]	The DP with the relative pronoun who_rel is deeply embedded recursively within the specifier of possessive 's for the head noun appearance. However, it must be visible to uRel probing. Therefore, [[[[[[who_rel person]['s mother]]['s friend]]['s sister]]['s dog]]['s appearance]] is attracted to the edge of C_rel by uRel on C_rel. who_rel cannot value uD, so person will raise further to form a new head. Determiner the merges with the NP headed by person, valuing uD on person.
(29a) [This is] the senator to whose mother's friend's sister's favorite charity the lobbyist had donated a small fortune (Example (31b); Sag 1997: 450) (29b) [This is] the senator to whose mother's friend's sister's favorite charity that the lobbyist had donated a small fortune (29c) [This is] the senator whose mother's friend's sister's favorite charity the lobbyist had donated a small fortune to (29d) [This is] the senator to whose mother's friend's sister's favorite charity that the lobbyist had donated a small fortune	[charity,favorite,'\'s',[sister,'\'s',[friend,'\'s',[mother,'\'s',[senator,who_rel]]]],to,[small,fortune,a],donate,'v*',[lobbyist,the],'Tpast',c_rel,the]	Similar derivation to example (28). We wh-relativize senator from the lobbyist donated a small fortune to the senator's mother's friend's sister's favorite charity. [[[[[who_rel senator]['s mother]]['s friend]]['s sister]]['s favorite charity]] is attracted to the edge of C_rel by uRel on C_rel. who_rel cannot value uD, so senator will raise further to form a new head. Determiner the merges with the NP headed by senator, valuing uD on senator. There are four parses as the options of inserting the complementizer that and the pied-piping of prepositional to are both freely available.
(30a) the time when I got drunk (30b) *the time when that I got drunk	[drunk,get,v_unerg,[i,d],'Tpast',[time,when_rel],c_rel,the]	Assume the time expression [when_rel time] is merged at TP level for semantic reasons. Both pair merge and set merge options are tested. Because extraction must take place for relativization, only the set merge option can succeed. (Pair merged adjuncts are inaccessible to probing.) [when_rel time] is attracted to the edge of C_rel by uRel on C_rel. when_rel cannot value uD on time. Next, time raises and its uD is valued when merged with the. However, when_rel can value uT (as well as uRel) on C_rel. By economy, no T-to-C, that in (30b), is possible.
(31a) the town where I grew up (31b) *the town up where I grew	[up,grow,[town,where_rel],'v_unerg',[i,d],'Tpast',c_rel,the]	Assume the location adverbial [where_rel town] is merged at the VP level. Both pair merge and set merge options are tested. Because extraction must take place for relativization, only the set merge option can succeed. (Pair merged adjuncts are inaccessible to probing.) [where_rel town] is attracted to the edge of C_rel by uRel on C_rel. where_rel cannot value uD on town. Next, town raises and its uD is valued when merged with the. However, where_rel can value uT (as well as uRel) on C_rel. By economy, no T-to-C (that) is possible. Finally, up does not head a PP with complement [where_rel town] (merged at VP level instead). Therefore no pied-piping, as in (31b), is possible.
(33a) someone to rely on (33b) *someone on to rely	[someone, d_rel, on, rely, 'v*', ['PRO', d0], 'Tinf', c_rel, d]	[d_rel someone] is attracted to the edge of C_rel by uRel on C_rel. d_rel cannot value uD, so someone will raise further. T_inf checks uT on C_rel. (d_rel cannot value uT on C_rel, uT is valued by T_inf instead. Pied-piping is blocked by the empty determiner d_rel, cf. overt who_rel in (35a). (Note: this lexicon contains both simple prepositional on and dyadic on, e.g. put the book on the shelf. Step 17 onwards using dyadic on fails to derive.)
(34a) someone for you to rely on (34b) *someone on for you to rely	[someone, d_rel, on, rely, 'v*', [you, d], 'Tinf', for, c_rel, d]	Assume complementizer for generally licenses an overt subject, you, by assigning Case, cf. PRO in (33a). C_rel, containing uRel, piggy-backs onto for, attracting [d_rel someone] to its edge. Covert d_rel in [on [d_rel someone]] incompatible with pied-piping of on, so (34b) is blocked. As described in (33a), someone will raise further and merge with covert d.
(35a) the baker in whom to place your trust (Example (63a); Sag 1997:461) (35b) *the baker whom to place your trust in (Example (63d); Sag 1997:461)	[baker, who_rel, in, [ trust, '\'s', [you, d]], place, 'v*', ['PRO', d0], 'Tinf', c_rel, the]	Both (35a-b) are predicted to be grammatical here, i.e. pied-piping is permitted. (Judgements shown are from Sag.) Assume in is dyadic, i.e. VP structure is [place [your trust [in [who baker]]]]. (Note: the derivations with dyadic in begin at step 51 and end at step 103. Simple preposition in is tried first, but fails to converge at step 50.) Either [in [who_rel baker]] (for pied-piping) or [who_rel baker], the internal argument of in, may be attracted to edge of C_rel by uRel on C_rel. NB: who_rel is defective, i.e. it doesn't value the uD feature on baker. Therefore, baker raises from edge of C and its uD feature is checked by determiner the.
(36a) the baker to place your trust in (36b) *the baker in to place your trust	[baker, d_rel, in, [ trust, '\'s', [you, d]], place, 'v*', ['PRO', d0], 'Tinf', c_rel, the]	No overt who_rel here, cf. (35a-b). Covert d_rel is used instead, i.e. internal argument of in is [d_rel baker]. [d_rel baker] is attracted to the edge of C_rel by uRel on C_rel. Pied-piping is not an option since d_rel is an empty category, cf. (35b). d_rel cannot value uD so baker will raise further and its uD will be checked by the. Assume uT on C_rel is valued by T_inf. (Note: the derivation with dyadic in begins at step 28 and concludes at step 54. Simple preposition in is tried first, but fails to converge at steps 16 and 27 for pair and set merge, respectively.)
(37) the person for us to visit (Example (75b); Sag 1997: 464)	[person, d_rel, visit, 'v*', [we, d], 'Tinf', for, c_rel, the]	Similar to (34a), assume complementizer for generally licenses an overt subject, we, in a tenseless clause by assigning Case. C_rel, containing uRel, piggy-backs onto the complementizer for, attracting [d_rel person] to its edge. d_rel cannot value uD on person. The head person raises further and merges with the, which values person's uD feature.
(38) the person to visit (Example (75c); Sag 1997: 464)	[person, d_rel, visit, 'v*', ['PRO', d0], 'Tinf', c_rel, the]	Compared with (37), there is no for with an overt subject; instead, we assume the covert subject is PRO. [d_rel person] is attracted to the edge of C_rel by uRel on C_rel. d_rel cannot value uD on person. The head person raises further and merges with the, which values person's uD feature.

Machine Parameters: expand

Animation:
(35a) the baker in whom to place your trust (Example (63a); Sag 1997:461)
(35b) *the baker whom to place your trust in (Example (63d); Sag 1997:461)

Derivation:
(35a) the baker in whom to place your trust (Example (63a); Sag 1997:461)
(35b) *the baker whom to place your trust in (Example (63d); Sag 1997:461)

Stream:	[[baker!D],[who_rel!case!N],[in],[[trust!D],['s!case!N],[[you!D],[d!case!N]]],[place],[v*!phi],[[PRO!D],[d0!case!N]],[Tinf!phi],[c_rel!rel!T!phi],[the!case!N]]
Stack (⥥):
SO:	[]

Step 1.

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

Stream:	[[who_rel!case!N],[in],[[trust!D],['s!case!N],[[you!D],[d!case!N]]],[place],[v*!phi],[[PRO!D],[d0!case!N]],[Tinf!phi],[c_rel!rel!T!phi],[the!case!N]]
Stack (⥥):
SO:	[baker!D]

Step 2.

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

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

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

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

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

Stream:	[[in],[[trust!D],['s!case!N],[[you!D],[d!case!N]]],[place],[v*!phi],[[PRO!D],[d0!case!N]],[Tinf!phi],[c_rel!rel!T!phi],[the!case!N]]
Stack (⥥):	[baker!D]
SO:	[who_rel!case[who_rel][baker!D]]

Step 3.

Merge [in] and [who_rel!case[who_rel][baker!D]]

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

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

[in] values obq case on [who_rel!case[who_rel][baker!D]]

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

Stream:	[[[trust!D],['s!case!N],[[you!D],[d!case!N]]],[place],[v*!phi],[[PRO!D],[d0!case!N]],[Tinf!phi],[c_rel!rel!T!phi],[the!case!N]]
Stack (⥥):	[who_rel[who_rel][baker!D]] [baker!D]
SO:	[in[in][who_rel[who_rel][baker!D]]]

Step 4.

Begin substream

Stream:	[[trust!D],['s!case!N],[[you!D],[d!case!N]]]
Stack (⥥):
SO:	[]

Step 5.

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

Stream:	[['s!case!N],[[you!D],[d!case!N]]]
Stack (⥥):
SO:	[trust!D]

Step 6.

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

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

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

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

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

Stream:	[[[you!D],[d!case!N]]]
Stack (⥥):
SO:	['s!case['s][trust]]

Step 7.

Begin substream

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

Step 8.

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

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

Step 9.

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

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

Inherit interpretable feature(s) [f(phi,[2,pl,mf])] from [you!D]

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

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

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

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

Step 10.

Stream:	[[d!case[d][you]]]
Stack (⥥):
SO:	['s!case['s][trust]]

Step 11.

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

['s!case['s][trust]] values gen case on [d!case[d][you]]

Merge ['s!case['s][trust]] and [d[d][you]]

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

Stream:	[]
Stack (⥥):
SO:	['s!case[d[d][you]]['s['s][trust]]]

Step 12.

Local Extent boundary at ['s!case[d[d..][you..]]['s['s..][trust..]]]

New boundary (b) marker stacked

Stream:	[]
Stack (⥥):	b
SO:	['s!case[d[d][you]]['s['s][trust]]]

End substream, SO ['s!case[d[d][you]]['s['s][trust]]] re-inserted into main stream

Substream stack [] saved for possible stack merge

Step 13.

Stream:	[['s!case[d[d][you]]['s['s][trust]]],[place],[v*!phi],[[PRO!D],[d0!case!N]],[Tinf!phi],[c_rel!rel!T!phi],[the!case!N]]
Stack (⥥):	[who_rel[who_rel][baker!D]] [baker!D]
SO:	[in[in][who_rel[who_rel][baker!D]]]

Step 14.

Pair-merge ['s!case[d[d][you]]['s['s][trust]]] and [in[in][who_rel[who_rel][baker!D]]]

Pair Merged ['s!case[d[d..][you..]]['s['s..][trust..]]] has no theta role

Pair merge stream ['s!case[d[d][you]]['s['s][trust]]] and SO [in[in][who_rel[who_rel][baker!D]]] failed

Retry step 14: instead of pair merge...

Merge ['s!case[d[d..][you..]]['s['s..][trust..]]] and [in[in][who_rel[who_rel..][baker..]]]

Conditional label from [in[in][who_rel[who_rel..][baker..]]] (XP-YP general case)

Saved substream stack [] merged with stack

Push ['s!case[d[d..][you..]]['s['s..][trust..]]] (unvalued uF) onto stack

Stream:	[[place],[v*!phi],[[PRO!D],[d0!case!N]],[Tinf!phi],[c_rel!rel!T!phi],[the!case!N]]
Stack (⥥):	['s!case[d[d][you]]['s['s][trust]]] 'in?' [who_rel[who_rel][baker!D]] [baker!D]
SO:	[in?[in[in][who_rel[who_rel][baker!D]]]['s!case[d[d][you]]['s['s][trust]]]]

Step 15.

Merge [place] and [in?[in[in..][who_rel..]]['s!case[d..]['s..]]]

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

Stream:	[[v*!phi],[[PRO!D],[d0!case!N]],[Tinf!phi],[c_rel!rel!T!phi],[the!case!N]]
Stack (⥥):	['s!case[d[d][you]]['s['s][trust]]] 'in?' [who_rel[who_rel][baker!D]] [baker!D]
SO:	[place[place][in?[in[in][who_rel[who_rel][baker!D]]]['s!case[d[d][you]]['s['s][trust]]]]]

Step 16.

Merge [v*!phi] and [place[place][in?[in..]['s..]]]

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

['s!case[d[d..][you..]]['s['s..][trust..]]] values uPhi on [v*!phi]

[v*] values acc case on ['s!case[d[d..][you..]]['s['s..][trust..]]]

Stream:	[[[PRO!D],[d0!case!N]],[Tinf!phi],[c_rel!rel!T!phi],[the!case!N]]
Stack (⥥):	['s[d[d][you]]['s['s][trust]]] 'in?' [who_rel[who_rel][baker!D]] [baker!D]
SO:	[v[v][place[place][in?[in[in][who_rel[who_rel][baker!D]]]['s[d[d][you]]['s['s][trust]]]]]]

Step 17.

Begin substream

Stream:	[[PRO!D],[d0!case!N]]
Stack (⥥):
SO:	[]

Step 18.

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

Stream:	[[d0!case!N]]
Stack (⥥):
SO:	[PRO!D]

Step 19.

Merge [d0!case!N] and [PRO!D]

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

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

[d0!case!N] values D on [PRO!D]

[PRO] values N on [d0!case!N]

Stream:	[]
Stack (⥥):
SO:	[d0!case[d0][PRO]]

End substream, SO [d0!case[d0][PRO]] re-inserted into main stream

Step 20.

Stream:	[[d0!case[d0][PRO]],[Tinf!phi],[c_rel!rel!T!phi],[the!case!N]]
Stack (⥥):	['s[d[d][you]]['s['s][trust]]] 'in?' [who_rel[who_rel][baker!D]] [baker!D]
SO:	[v[v][place[place][in?[in[in][who_rel[who_rel][baker!D]]]['s[d[d][you]]['s['s][trust]]]]]]

Step 21.

Merge [v*[v*][place[place..][in?..]]] and [d0!case[d0][PRO]]

Label from [v*[v*][place[place..][in?..]]] (edge feature)

Theta-mark [d0!case[d0][PRO]]

Push [d0!case[d0][PRO]] (unvalued uF) onto stack

Stream:	[[Tinf!phi],[c_rel!rel!T!phi],[the!case!N]]
Stack (⥥):	[d0!case[d0][PRO]] ['s[d[d][you]]['s['s][trust]]] 'in?' [who_rel[who_rel][baker!D]] [baker!D]
SO:	[v[d0!case[d0][PRO]][v[v*][place[place][in?[in[in][who_rel[who_rel][baker!D]]]['s[d[d][you]]['s['s][trust]]]]]]]

Step 22.

Merge [Tinf!phi] and [v*[d0!case[d0..][PRO..]][v*[v*..][place..]]]

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

[d0!case[d0][PRO]] values uPhi on [Tinf!phi]

[Tinf] values nullCase case on [d0[d0][PRO]]

Stream:	[[c_rel!rel!T!phi],[the!case!N]]
Stack (⥥):	[d0[d0][PRO]] ['s[d[d][you]]['s['s][trust]]] 'in?' [who_rel[who_rel][baker!D]] [baker!D]
SO:	[Tinf[Tinf][v[d0[d0][PRO]][v[v*][place[place][in?[in[in][who_rel[who_rel][baker!D]]]['s[d[d][you]]['s['s][trust]]]]]]]]

Step 23.

Internal merge selected

Merge [Tinf[Tinf][v*[d0..][v*..]]] and [d0[d0][PRO]]

Label from [Tinf[Tinf][v*[d0..][v*..]]] (edge feature)

Stream:	[[c_rel!rel!T!phi],[the!case!N]]
Stack (⥥):	[d0[d0][PRO]] ['s[d[d][you]]['s['s][trust]]] 'in?' [who_rel[who_rel][baker!D]] [baker!D]
SO:	[Tinf[d0[d0][PRO]][Tinf[Tinf][v[d0[d0][PRO]][v[v*][place[place][in?[in[in][who_rel[who_rel][baker!D]]]['s[d[d][you]]['s['s][trust]]]]]]]]]

Step 24.

Merge [c_rel!rel!T!phi] and [Tinf[d0[d0..][PRO..]][Tinf[Tinf..][v*..]]]

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

Relativized TOS search for iF(rel) skipping [d0[d0][PRO]]

Relativized TOS search for iF(rel) skipping ['s[d[d..][you..]]['s['s..][trust..]]]

Relativized TOS search for iF(rel) skipping abbrv(c(in,nonvar(_1152)))

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

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

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

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

Internal merge selected

Merge [c_rel[c_rel][Tinf[d0..][Tinf..]]] and [who_rel[who_rel][baker!D]]

Label from [c_rel[c_rel][Tinf[d0..][Tinf..]]] (edge feature)

Stream:	[[the!case!N]]
Stack (⥥):	[d0[d0][PRO]] ['s[d[d][you]]['s['s][trust]]] 'in?' [who_rel[who_rel][baker!D]] [baker!D]
SO:	[c_rel[who_rel[who_rel][baker!D]][c_rel[c_rel][Tinf[d0[d0][PRO]][Tinf[Tinf][v[d0[d0][PRO]][v[v*][place[place][in?[in[in][who_rel[who_rel][baker!D]]]['s[d[d][you]]['s['s][trust]]]]]]]]]]]

Step 25.

Local Extent boundary at [c_rel[who_rel[who_rel..][baker..]][c_rel[c_rel..][Tinf..]]]

Stack element [baker!D] with unvalued uF found

XP-YP labeling failure at node in?

SO mark Local Extent boundary, release failed

No possible action for stream [[the!case!N]] and [c_rel[who_rel[who_rel..][baker..]][c_rel[c_rel..][Tinf..]]]

Push [in[in][who_rel[who_rel..][baker..]]] (unvalued uF) onto stack

Stream:	[[[trust!D],['s!case!N],[[you!D],[d!case!N]]],[place],[v*!phi],[[PRO!D],[d0!case!N]],[Tinf!phi],[c_rel!rel!T!phi],[the!case!N]]
Stack (⥥):	[in[in][who_rel[who_rel][baker!D]]] [baker!D]
SO:	[in[in][who_rel[who_rel][baker!D]]]

Step 26.

Begin substream

Stream:	[[trust!D],['s!case!N],[[you!D],[d!case!N]]]
Stack (⥥):
SO:	[]

Step 27.

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

Stream:	[['s!case!N],[[you!D],[d!case!N]]]
Stack (⥥):
SO:	[trust!D]

Step 28.

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

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

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

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

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

Stream:	[[[you!D],[d!case!N]]]
Stack (⥥):
SO:	['s!case['s][trust]]

Step 29.

Begin substream

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

Step 30.

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

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

Step 31.

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

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

Inherit interpretable feature(s) [f(phi,[2,pl,mf])] from [you!D]

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

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

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

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

Step 32.

Stream:	[[d!case[d][you]]]
Stack (⥥):
SO:	['s!case['s][trust]]

Step 33.

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

['s!case['s][trust]] values gen case on [d!case[d][you]]

Merge ['s!case['s][trust]] and [d[d][you]]

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

Stream:	[]
Stack (⥥):
SO:	['s!case[d[d][you]]['s['s][trust]]]

Step 34.

Local Extent boundary at ['s!case[d[d..][you..]]['s['s..][trust..]]]

New boundary (b) marker stacked

Stream:	[]
Stack (⥥):	b
SO:	['s!case[d[d][you]]['s['s][trust]]]

End substream, SO ['s!case[d[d][you]]['s['s][trust]]] re-inserted into main stream

Substream stack [] saved for possible stack merge

Step 35.

Stream:	[['s!case[d[d][you]]['s['s][trust]]],[place],[v*!phi],[[PRO!D],[d0!case!N]],[Tinf!phi],[c_rel!rel!T!phi],[the!case!N]]
Stack (⥥):	[in[in][who_rel[who_rel][baker!D]]] [baker!D]
SO:	[in[in][who_rel[who_rel][baker!D]]]

Step 36.

Pair-merge ['s!case[d[d][you]]['s['s][trust]]] and [in[in][who_rel[who_rel][baker!D]]]

Pair Merged ['s!case[d[d..][you..]]['s['s..][trust..]]] has no theta role

Pair merge stream ['s!case[d[d][you]]['s['s][trust]]] and SO [in[in][who_rel[who_rel][baker!D]]] failed

Retry step 36: instead of pair merge...

Merge ['s!case[d[d..][you..]]['s['s..][trust..]]] and [in[in][who_rel[who_rel..][baker..]]]

Conditional label from [in[in][who_rel[who_rel..][baker..]]] (XP-YP general case)

Saved substream stack [] merged with stack

Push ['s!case[d[d..][you..]]['s['s..][trust..]]] (unvalued uF) onto stack

Stream:	[[place],[v*!phi],[[PRO!D],[d0!case!N]],[Tinf!phi],[c_rel!rel!T!phi],[the!case!N]]
Stack (⥥):	['s!case[d[d][you]]['s['s][trust]]] 'in?' [in[in][who_rel[who_rel][baker!D]]] [baker!D]
SO:	[in?[in[in][who_rel[who_rel][baker!D]]]['s!case[d[d][you]]['s['s][trust]]]]

Step 37.

Merge [place] and [in?[in[in..][who_rel..]]['s!case[d..]['s..]]]

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

Stream:	[[v*!phi],[[PRO!D],[d0!case!N]],[Tinf!phi],[c_rel!rel!T!phi],[the!case!N]]
Stack (⥥):	['s!case[d[d][you]]['s['s][trust]]] 'in?' [in[in][who_rel[who_rel][baker!D]]] [baker!D]
SO:	[place[place][in?[in[in][who_rel[who_rel][baker!D]]]['s!case[d[d][you]]['s['s][trust]]]]]

Step 38.

Merge [v*!phi] and [place[place][in?[in..]['s..]]]

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

['s!case[d[d..][you..]]['s['s..][trust..]]] values uPhi on [v*!phi]

[v*] values acc case on ['s!case[d[d..][you..]]['s['s..][trust..]]]

Stream:	[[[PRO!D],[d0!case!N]],[Tinf!phi],[c_rel!rel!T!phi],[the!case!N]]
Stack (⥥):	['s[d[d][you]]['s['s][trust]]] 'in?' [in[in][who_rel[who_rel][baker!D]]] [baker!D]
SO:	[v[v][place[place][in?[in[in][who_rel[who_rel][baker!D]]]['s[d[d][you]]['s['s][trust]]]]]]

Step 39.

Begin substream

Stream:	[[PRO!D],[d0!case!N]]
Stack (⥥):
SO:	[]

Step 40.

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

Stream:	[[d0!case!N]]
Stack (⥥):
SO:	[PRO!D]

Step 41.

Merge [d0!case!N] and [PRO!D]

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

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

[d0!case!N] values D on [PRO!D]

[PRO] values N on [d0!case!N]

Stream:	[]
Stack (⥥):
SO:	[d0!case[d0][PRO]]

End substream, SO [d0!case[d0][PRO]] re-inserted into main stream

Step 42.

Stream:	[[d0!case[d0][PRO]],[Tinf!phi],[c_rel!rel!T!phi],[the!case!N]]
Stack (⥥):	['s[d[d][you]]['s['s][trust]]] 'in?' [in[in][who_rel[who_rel][baker!D]]] [baker!D]
SO:	[v[v][place[place][in?[in[in][who_rel[who_rel][baker!D]]]['s[d[d][you]]['s['s][trust]]]]]]

Step 43.

Merge [v*[v*][place[place..][in?..]]] and [d0!case[d0][PRO]]

Label from [v*[v*][place[place..][in?..]]] (edge feature)

Theta-mark [d0!case[d0][PRO]]

Push [d0!case[d0][PRO]] (unvalued uF) onto stack

Stream:	[[Tinf!phi],[c_rel!rel!T!phi],[the!case!N]]
Stack (⥥):	[d0!case[d0][PRO]] ['s[d[d][you]]['s['s][trust]]] 'in?' [in[in][who_rel[who_rel][baker!D]]] [baker!D]
SO:	[v[d0!case[d0][PRO]][v[v*][place[place][in?[in[in][who_rel[who_rel][baker!D]]]['s[d[d][you]]['s['s][trust]]]]]]]

Step 44.

Merge [Tinf!phi] and [v*[d0!case[d0..][PRO..]][v*[v*..][place..]]]

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

[d0!case[d0][PRO]] values uPhi on [Tinf!phi]

[Tinf] values nullCase case on [d0[d0][PRO]]

Stream:	[[c_rel!rel!T!phi],[the!case!N]]
Stack (⥥):	[d0[d0][PRO]] ['s[d[d][you]]['s['s][trust]]] 'in?' [in[in][who_rel[who_rel][baker!D]]] [baker!D]
SO:	[Tinf[Tinf][v[d0[d0][PRO]][v[v*][place[place][in?[in[in][who_rel[who_rel][baker!D]]]['s[d[d][you]]['s['s][trust]]]]]]]]

Step 45.

Internal merge selected

Merge [Tinf[Tinf][v*[d0..][v*..]]] and [d0[d0][PRO]]

Label from [Tinf[Tinf][v*[d0..][v*..]]] (edge feature)

Stream:	[[c_rel!rel!T!phi],[the!case!N]]
Stack (⥥):	[d0[d0][PRO]] ['s[d[d][you]]['s['s][trust]]] 'in?' [in[in][who_rel[who_rel][baker!D]]] [baker!D]
SO:	[Tinf[d0[d0][PRO]][Tinf[Tinf][v[d0[d0][PRO]][v[v*][place[place][in?[in[in][who_rel[who_rel][baker!D]]]['s[d[d][you]]['s['s][trust]]]]]]]]]

Step 46.

Merge [c_rel!rel!T!phi] and [Tinf[d0[d0..][PRO..]][Tinf[Tinf..][v*..]]]

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

Relativized TOS search for iF(rel) skipping [d0[d0][PRO]]

Relativized TOS search for iF(rel) skipping ['s[d[d..][you..]]['s['s..][trust..]]]

Relativized TOS search for iF(rel) skipping abbrv(c(in,nonvar(_1152)))

[in[in][who_rel[who_rel..][baker..]]] values rel on [c_rel!rel!T!phi]

[in[in][who_rel[who_rel..][baker..]]] values T on [c_rel!T!phi] (economy)

[d0[d0][PRO]] values phi on [c_rel!phi]

[d0[d0][PRO]] values uPhi on [c_rel!phi]

Internal merge selected

Merge [c_rel[c_rel][Tinf[d0..][Tinf..]]] and [d0[d0][PRO]]

Label from [c_rel[c_rel][Tinf[d0..][Tinf..]]] (edge feature)

Merge [c_rel[d0[d0..][PRO..]][c_rel[c_rel..][Tinf..]]] and [in[in][who_rel[who_rel..][baker..]]]

Label from [c_rel[d0[d0..][PRO..]][c_rel[c_rel..][Tinf..]]] (edge feature)

Stream:	[[the!case!N]]
Stack (⥥):	[d0[d0][PRO]] ['s[d[d][you]]['s['s][trust]]] 'in?' [in[in][who_rel[who_rel][baker!D]]] [baker!D]
SO:	[c_rel[in[in][who_rel[who_rel][baker!D]]][c_rel[d0[d0][PRO]][c_rel[c_rel][Tinf[d0[d0][PRO]][Tinf[Tinf][v[d0[d0][PRO]][v[v*][place[place][in?[in[in][who_rel[who_rel][baker!D]]]['s[d[d][you]]['s['s][trust]]]]]]]]]]]]

Step 47.

Local Extent boundary at [c_rel[in[in..][who_rel..]][c_rel[d0..][c_rel..]]]

Stack element [baker!D] with unvalued uF found

XP-YP labeling failure at node in?

SO mark Local Extent boundary, release failed

No possible action for stream [[the!case!N]] and [c_rel[in[in..][who_rel..]][c_rel[d0..][c_rel..]]]

Stream:	[[baker!D],[who_rel!case!N],[in],[[trust!D],['s!case!N],[[you!D],[d!case!N]]],[place],[v*!phi],[[PRO!D],[d0!case!N]],[Tinf!phi],[c_rel!rel!T!phi],[the!case!N]]
Stack (⥥):
SO:	[]

Step 48.

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

Stream:	[[who_rel!case!N],[in],[[trust!D],['s!case!N],[[you!D],[d!case!N]]],[place],[v*!phi],[[PRO!D],[d0!case!N]],[Tinf!phi],[c_rel!rel!T!phi],[the!case!N]]
Stack (⥥):
SO:	[baker!D]

Step 49.

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

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

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

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

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

Stream:	[[in],[[trust!D],['s!case!N],[[you!D],[d!case!N]]],[place],[v*!phi],[[PRO!D],[d0!case!N]],[Tinf!phi],[c_rel!rel!T!phi],[the!case!N]]
Stack (⥥):	[baker!D]
SO:	[who_rel!case[who_rel][baker!D]]

Step 50.

Merge [in] and [who_rel!case[who_rel][baker!D]]

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

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

[in] values obq case on [who_rel!case[who_rel][baker!D]]

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

Stream:	[[[trust!D],['s!case!N],[[you!D],[d!case!N]]],[place],[v*!phi],[[PRO!D],[d0!case!N]],[Tinf!phi],[c_rel!rel!T!phi],[the!case!N]]
Stack (⥥):	[who_rel[who_rel][baker!D]] [baker!D]
SO:	[in[in][who_rel[who_rel][baker!D]]]

Step 51.

Begin substream

Stream:	[[trust!D],['s!case!N],[[you!D],[d!case!N]]]
Stack (⥥):
SO:	[]

Step 52.

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

Stream:	[['s!case!N],[[you!D],[d!case!N]]]
Stack (⥥):
SO:	[trust!D]

Step 53.

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

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

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

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

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

Stream:	[[[you!D],[d!case!N]]]
Stack (⥥):
SO:	['s!case['s][trust]]

Step 54.

Begin substream

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

Step 55.

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

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

Step 56.

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

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

Inherit interpretable feature(s) [f(phi,[2,pl,mf])] from [you!D]

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

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

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

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

Step 57.

Stream:	[[d!case[d][you]]]
Stack (⥥):
SO:	['s!case['s][trust]]

Step 58.

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

['s!case['s][trust]] values gen case on [d!case[d][you]]

Merge ['s!case['s][trust]] and [d[d][you]]

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

Stream:	[]
Stack (⥥):
SO:	['s!case[d[d][you]]['s['s][trust]]]

Step 59.

Local Extent boundary at ['s!case[d[d..][you..]]['s['s..][trust..]]]

New boundary (b) marker stacked

Stream:	[]
Stack (⥥):	b
SO:	['s!case[d[d][you]]['s['s][trust]]]

End substream, SO ['s!case[d[d][you]]['s['s][trust]]] re-inserted into main stream

Substream stack [] saved for possible stack merge

Step 60.

Stream:	[['s!case[d[d][you]]['s['s][trust]]],[place],[v*!phi],[[PRO!D],[d0!case!N]],[Tinf!phi],[c_rel!rel!T!phi],[the!case!N]]
Stack (⥥):	[who_rel[who_rel][baker!D]] [baker!D]
SO:	[in[in][who_rel[who_rel][baker!D]]]

Step 61.

Merge [in[in][who_rel[who_rel..][baker..]]] and ['s!case[d[d..][you..]]['s['s..][trust..]]]

Label from [in[in][who_rel[who_rel..][baker..]]] (edge feature)

Theta-mark ['s!case[d[d..][you..]]['s['s..][trust..]]]

Saved substream stack [] merged with stack

Push ['s!case[d[d..][you..]]['s['s..][trust..]]] (unvalued uF) onto stack

Stream:	[[place],[v*!phi],[[PRO!D],[d0!case!N]],[Tinf!phi],[c_rel!rel!T!phi],[the!case!N]]
Stack (⥥):	['s!case[d[d][you]]['s['s][trust]]] [who_rel[who_rel][baker!D]] [baker!D]
SO:	[in['s!case[d[d][you]]['s['s][trust]]][in[in][who_rel[who_rel][baker!D]]]]

Step 62.

Merge [place] and [in['s!case[d..]['s..]][in[in..][who_rel..]]]

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

Stream:	[[v*!phi],[[PRO!D],[d0!case!N]],[Tinf!phi],[c_rel!rel!T!phi],[the!case!N]]
Stack (⥥):	['s!case[d[d][you]]['s['s][trust]]] [who_rel[who_rel][baker!D]] [baker!D]
SO:	[place[place][in['s!case[d[d][you]]['s['s][trust]]][in[in][who_rel[who_rel][baker!D]]]]]

Step 63.

Merge [v*!phi] and [place[place][in['s..][in..]]]

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

['s!case[d[d..][you..]]['s['s..][trust..]]] values uPhi on [v*!phi]

[v*] values acc case on ['s!case[d[d..][you..]]['s['s..][trust..]]]

Stream:	[[[PRO!D],[d0!case!N]],[Tinf!phi],[c_rel!rel!T!phi],[the!case!N]]
Stack (⥥):	['s[d[d][you]]['s['s][trust]]] [who_rel[who_rel][baker!D]] [baker!D]
SO:	[v[v][place[place][in['s[d[d][you]]['s['s][trust]]][in[in][who_rel[who_rel][baker!D]]]]]]

Step 64.

Begin substream

Stream:	[[PRO!D],[d0!case!N]]
Stack (⥥):
SO:	[]

Step 65.

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

Stream:	[[d0!case!N]]
Stack (⥥):
SO:	[PRO!D]

Step 66.

Merge [d0!case!N] and [PRO!D]

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

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

[d0!case!N] values D on [PRO!D]

[PRO] values N on [d0!case!N]

Stream:	[]
Stack (⥥):
SO:	[d0!case[d0][PRO]]

End substream, SO [d0!case[d0][PRO]] re-inserted into main stream

Step 67.

Stream:	[[d0!case[d0][PRO]],[Tinf!phi],[c_rel!rel!T!phi],[the!case!N]]
Stack (⥥):	['s[d[d][you]]['s['s][trust]]] [who_rel[who_rel][baker!D]] [baker!D]
SO:	[v[v][place[place][in['s[d[d][you]]['s['s][trust]]][in[in][who_rel[who_rel][baker!D]]]]]]

Step 68.

Merge [v*[v*][place[place..][in..]]] and [d0!case[d0][PRO]]

Label from [v*[v*][place[place..][in..]]] (edge feature)

Theta-mark [d0!case[d0][PRO]]

Push [d0!case[d0][PRO]] (unvalued uF) onto stack

Stream:	[[Tinf!phi],[c_rel!rel!T!phi],[the!case!N]]
Stack (⥥):	[d0!case[d0][PRO]] ['s[d[d][you]]['s['s][trust]]] [who_rel[who_rel][baker!D]] [baker!D]
SO:	[v[d0!case[d0][PRO]][v[v*][place[place][in['s[d[d][you]]['s['s][trust]]][in[in][who_rel[who_rel][baker!D]]]]]]]

Step 69.

Merge [Tinf!phi] and [v*[d0!case[d0..][PRO..]][v*[v*..][place..]]]

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

[d0!case[d0][PRO]] values uPhi on [Tinf!phi]

[Tinf] values nullCase case on [d0[d0][PRO]]

Stream:	[[c_rel!rel!T!phi],[the!case!N]]
Stack (⥥):	[d0[d0][PRO]] ['s[d[d][you]]['s['s][trust]]] [who_rel[who_rel][baker!D]] [baker!D]
SO:	[Tinf[Tinf][v[d0[d0][PRO]][v[v*][place[place][in['s[d[d][you]]['s['s][trust]]][in[in][who_rel[who_rel][baker!D]]]]]]]]

Step 70.

Internal merge selected

Merge [Tinf[Tinf][v*[d0..][v*..]]] and [d0[d0][PRO]]

Label from [Tinf[Tinf][v*[d0..][v*..]]] (edge feature)

Stream:	[[c_rel!rel!T!phi],[the!case!N]]
Stack (⥥):	[d0[d0][PRO]] ['s[d[d][you]]['s['s][trust]]] [who_rel[who_rel][baker!D]] [baker!D]
SO:	[Tinf[d0[d0][PRO]][Tinf[Tinf][v[d0[d0][PRO]][v[v*][place[place][in['s[d[d][you]]['s['s][trust]]][in[in][who_rel[who_rel][baker!D]]]]]]]]]

Step 71.

Merge [c_rel!rel!T!phi] and [Tinf[d0[d0..][PRO..]][Tinf[Tinf..][v*..]]]

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

Relativized TOS search for iF(rel) skipping [d0[d0][PRO]]

Relativized TOS search for iF(rel) skipping ['s[d[d..][you..]]['s['s..][trust..]]]

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

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

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

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

Internal merge selected

Merge [c_rel[c_rel][Tinf[d0..][Tinf..]]] and [who_rel[who_rel][baker!D]]

Label from [c_rel[c_rel][Tinf[d0..][Tinf..]]] (edge feature)

Stream:	[[the!case!N]]
Stack (⥥):	[d0[d0][PRO]] ['s[d[d][you]]['s['s][trust]]] [who_rel[who_rel][baker!D]] [baker!D]
SO:	[c_rel[who_rel[who_rel][baker!D]][c_rel[c_rel][Tinf[d0[d0][PRO]][Tinf[Tinf][v[d0[d0][PRO]][v[v*][place[place][in['s[d[d][you]]['s['s][trust]]][in[in][who_rel[who_rel][baker!D]]]]]]]]]]]

Step 72.

Local Extent boundary at [c_rel[who_rel[who_rel..][baker..]][c_rel[c_rel..][Tinf..]]]

Stack element [baker!D] with unvalued uF found

New boundary (b) marker stacked

Restack [baker!D] onto stack

Stream:	[[the!case!N]]
Stack (⥥):	[baker!D] b [d0[d0][PRO]] ['s[d[d][you]]['s['s][trust]]] [who_rel[who_rel][baker!D]]
SO:	[c_rel[who_rel[who_rel][baker!D]][c_rel[c_rel][Tinf[d0[d0][PRO]][Tinf[Tinf][v[d0[d0][PRO]][v[v*][place[place][in['s[d[d][you]]['s['s][trust]]][in[in][who_rel[who_rel][baker!D]]]]]]]]]]]

Step 73.

Merge [baker!D] and [c_rel[who_rel[who_rel..][baker..]][c_rel[c_rel..][Tinf..]]]

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

Stream:	[[the!case!N]]
Stack (⥥):	[baker!D] b [d0[d0][PRO]] ['s[d[d][you]]['s['s][trust]]] [who_rel[who_rel][baker!D]]
SO:	[baker!D[baker!D][c_rel[who_rel[who_rel][baker!D]][c_rel[c_rel][Tinf[d0[d0][PRO]][Tinf[Tinf][v[d0[d0][PRO]][v[v*][place[place][in['s[d[d][you]]['s['s][trust]]][in[in][who_rel[who_rel][baker!D]]]]]]]]]]]]

Step 74.

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

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

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

Stream:	[]
Stack (⥥):	[baker] b [d0[d0][PRO]] ['s[d[d][you]]['s['s][trust]]] [who_rel[who_rel][baker]]
SO:	[the!case[the][baker[baker][c_rel[who_rel[who_rel][baker]][c_rel[c_rel][Tinf[d0[d0][PRO]][Tinf[Tinf][v[d0[d0][PRO]][v[v*][place[place][in['s[d[d][you]]['s['s][trust]]][in[in][who_rel[who_rel][baker]]]]]]]]]]]]]

Parse:

Spell-out:

the baker who to place -gen your trust in (after morpheme realization)

the baker who to place your -gen trust in (after affix-hop)

the baker who to place your -gen trust in (after morpheme realization, stage 2)

the baker who to place your trust in

Backtrack

Stream:	[[in],[[trust!D],['s!case!N],[[you!D],[d!case!N]]],[place],[v*!phi],[[PRO!D],[d0!case!N]],[Tinf!phi],[c_rel!rel!T!phi],[the!case!N]]
Stack (⥥):	[baker!D]
SO:	[who_rel!case[who_rel][baker!D]]

re-doing step 50

Step 75.

Push [in[in][who_rel[who_rel..][baker..]]] (unvalued uF) onto stack

Stream:	[[[trust!D],['s!case!N],[[you!D],[d!case!N]]],[place],[v*!phi],[[PRO!D],[d0!case!N]],[Tinf!phi],[c_rel!rel!T!phi],[the!case!N]]
Stack (⥥):	[in[in][who_rel[who_rel][baker!D]]] [baker!D]
SO:	[in[in][who_rel[who_rel][baker!D]]]

Step 76.

Begin substream

Stream:	[[trust!D],['s!case!N],[[you!D],[d!case!N]]]
Stack (⥥):
SO:	[]

Step 77.

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

Stream:	[['s!case!N],[[you!D],[d!case!N]]]
Stack (⥥):
SO:	[trust!D]

Step 78.

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

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

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

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

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

Stream:	[[[you!D],[d!case!N]]]
Stack (⥥):
SO:	['s!case['s][trust]]

Step 79.

Begin substream

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

Step 80.

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

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

Step 81.

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

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

Inherit interpretable feature(s) [f(phi,[2,pl,mf])] from [you!D]

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

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

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

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

Step 82.

Stream:	[[d!case[d][you]]]
Stack (⥥):
SO:	['s!case['s][trust]]

Step 83.

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

['s!case['s][trust]] values gen case on [d!case[d][you]]

Merge ['s!case['s][trust]] and [d[d][you]]

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

Stream:	[]
Stack (⥥):
SO:	['s!case[d[d][you]]['s['s][trust]]]

Step 84.

Local Extent boundary at ['s!case[d[d..][you..]]['s['s..][trust..]]]

New boundary (b) marker stacked

Stream:	[]
Stack (⥥):	b
SO:	['s!case[d[d][you]]['s['s][trust]]]

End substream, SO ['s!case[d[d][you]]['s['s][trust]]] re-inserted into main stream

Substream stack [] saved for possible stack merge

Step 85.

Stream:	[['s!case[d[d][you]]['s['s][trust]]],[place],[v*!phi],[[PRO!D],[d0!case!N]],[Tinf!phi],[c_rel!rel!T!phi],[the!case!N]]
Stack (⥥):	[in[in][who_rel[who_rel][baker!D]]] [baker!D]
SO:	[in[in][who_rel[who_rel][baker!D]]]

Step 86.

Merge [in[in][who_rel[who_rel..][baker..]]] and ['s!case[d[d..][you..]]['s['s..][trust..]]]

Label from [in[in][who_rel[who_rel..][baker..]]] (edge feature)

Theta-mark ['s!case[d[d..][you..]]['s['s..][trust..]]]

Saved substream stack [] merged with stack

Push ['s!case[d[d..][you..]]['s['s..][trust..]]] (unvalued uF) onto stack

Stream:	[[place],[v*!phi],[[PRO!D],[d0!case!N]],[Tinf!phi],[c_rel!rel!T!phi],[the!case!N]]
Stack (⥥):	['s!case[d[d][you]]['s['s][trust]]] [in[in][who_rel[who_rel][baker!D]]] [baker!D]
SO:	[in['s!case[d[d][you]]['s['s][trust]]][in[in][who_rel[who_rel][baker!D]]]]

Step 87.

Merge [place] and [in['s!case[d..]['s..]][in[in..][who_rel..]]]

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

Stream:	[[v*!phi],[[PRO!D],[d0!case!N]],[Tinf!phi],[c_rel!rel!T!phi],[the!case!N]]
Stack (⥥):	['s!case[d[d][you]]['s['s][trust]]] [in[in][who_rel[who_rel][baker!D]]] [baker!D]
SO:	[place[place][in['s!case[d[d][you]]['s['s][trust]]][in[in][who_rel[who_rel][baker!D]]]]]

Step 88.

Merge [v*!phi] and [place[place][in['s..][in..]]]

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

['s!case[d[d..][you..]]['s['s..][trust..]]] values uPhi on [v*!phi]

[v*] values acc case on ['s!case[d[d..][you..]]['s['s..][trust..]]]

Stream:	[[[PRO!D],[d0!case!N]],[Tinf!phi],[c_rel!rel!T!phi],[the!case!N]]
Stack (⥥):	['s[d[d][you]]['s['s][trust]]] [in[in][who_rel[who_rel][baker!D]]] [baker!D]
SO:	[v[v][place[place][in['s[d[d][you]]['s['s][trust]]][in[in][who_rel[who_rel][baker!D]]]]]]

Step 89.

Begin substream

Stream:	[[PRO!D],[d0!case!N]]
Stack (⥥):
SO:	[]

Step 90.

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

Stream:	[[d0!case!N]]
Stack (⥥):
SO:	[PRO!D]

Step 91.

Merge [d0!case!N] and [PRO!D]

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

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

[d0!case!N] values D on [PRO!D]

[PRO] values N on [d0!case!N]

Stream:	[]
Stack (⥥):
SO:	[d0!case[d0][PRO]]

End substream, SO [d0!case[d0][PRO]] re-inserted into main stream

Step 92.

Stream:	[[d0!case[d0][PRO]],[Tinf!phi],[c_rel!rel!T!phi],[the!case!N]]
Stack (⥥):	['s[d[d][you]]['s['s][trust]]] [in[in][who_rel[who_rel][baker!D]]] [baker!D]
SO:	[v[v][place[place][in['s[d[d][you]]['s['s][trust]]][in[in][who_rel[who_rel][baker!D]]]]]]

Step 93.

Merge [v*[v*][place[place..][in..]]] and [d0!case[d0][PRO]]

Label from [v*[v*][place[place..][in..]]] (edge feature)

Theta-mark [d0!case[d0][PRO]]

Push [d0!case[d0][PRO]] (unvalued uF) onto stack

Stream:	[[Tinf!phi],[c_rel!rel!T!phi],[the!case!N]]
Stack (⥥):	[d0!case[d0][PRO]] ['s[d[d][you]]['s['s][trust]]] [in[in][who_rel[who_rel][baker!D]]] [baker!D]
SO:	[v[d0!case[d0][PRO]][v[v*][place[place][in['s[d[d][you]]['s['s][trust]]][in[in][who_rel[who_rel][baker!D]]]]]]]

Step 94.

Merge [Tinf!phi] and [v*[d0!case[d0..][PRO..]][v*[v*..][place..]]]

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

[d0!case[d0][PRO]] values uPhi on [Tinf!phi]

[Tinf] values nullCase case on [d0[d0][PRO]]

Stream:	[[c_rel!rel!T!phi],[the!case!N]]
Stack (⥥):	[d0[d0][PRO]] ['s[d[d][you]]['s['s][trust]]] [in[in][who_rel[who_rel][baker!D]]] [baker!D]
SO:	[Tinf[Tinf][v[d0[d0][PRO]][v[v*][place[place][in['s[d[d][you]]['s['s][trust]]][in[in][who_rel[who_rel][baker!D]]]]]]]]

Step 95.

Internal merge selected

Merge [Tinf[Tinf][v*[d0..][v*..]]] and [d0[d0][PRO]]

Label from [Tinf[Tinf][v*[d0..][v*..]]] (edge feature)

Stream:	[[c_rel!rel!T!phi],[the!case!N]]
Stack (⥥):	[d0[d0][PRO]] ['s[d[d][you]]['s['s][trust]]] [in[in][who_rel[who_rel][baker!D]]] [baker!D]
SO:	[Tinf[d0[d0][PRO]][Tinf[Tinf][v[d0[d0][PRO]][v[v*][place[place][in['s[d[d][you]]['s['s][trust]]][in[in][who_rel[who_rel][baker!D]]]]]]]]]

Step 96.

Merge [c_rel!rel!T!phi] and [Tinf[d0[d0..][PRO..]][Tinf[Tinf..][v*..]]]

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

Relativized TOS search for iF(rel) skipping [d0[d0][PRO]]

Relativized TOS search for iF(rel) skipping ['s[d[d..][you..]]['s['s..][trust..]]]

[in[in][who_rel[who_rel..][baker..]]] values rel on [c_rel!rel!T!phi]

[in[in][who_rel[who_rel..][baker..]]] values T on [c_rel!T!phi] (economy)

[d0[d0][PRO]] values phi on [c_rel!phi]

[d0[d0][PRO]] values uPhi on [c_rel!phi]

Internal merge selected

Merge [c_rel[c_rel][Tinf[d0..][Tinf..]]] and [d0[d0][PRO]]

Label from [c_rel[c_rel][Tinf[d0..][Tinf..]]] (edge feature)

Merge [c_rel[d0[d0..][PRO..]][c_rel[c_rel..][Tinf..]]] and [in[in][who_rel[who_rel..][baker..]]]

Label from [c_rel[d0[d0..][PRO..]][c_rel[c_rel..][Tinf..]]] (edge feature)

Stream:	[[the!case!N]]
Stack (⥥):	[d0[d0][PRO]] ['s[d[d][you]]['s['s][trust]]] [in[in][who_rel[who_rel][baker!D]]] [baker!D]
SO:	[c_rel[in[in][who_rel[who_rel][baker!D]]][c_rel[d0[d0][PRO]][c_rel[c_rel][Tinf[d0[d0][PRO]][Tinf[Tinf][v[d0[d0][PRO]][v[v*][place[place][in['s[d[d][you]]['s['s][trust]]][in[in][who_rel[who_rel][baker!D]]]]]]]]]]]]

Step 97.

Local Extent boundary at [c_rel[in[in..][who_rel..]][c_rel[d0..][c_rel..]]]

Stack element [baker!D] with unvalued uF found

New boundary (b) marker stacked

Restack [baker!D] onto stack

Stream:	[[the!case!N]]
Stack (⥥):	[baker!D] b [d0[d0][PRO]] ['s[d[d][you]]['s['s][trust]]] [in[in][who_rel[who_rel][baker!D]]]
SO:	[c_rel[in[in][who_rel[who_rel][baker!D]]][c_rel[d0[d0][PRO]][c_rel[c_rel][Tinf[d0[d0][PRO]][Tinf[Tinf][v[d0[d0][PRO]][v[v*][place[place][in['s[d[d][you]]['s['s][trust]]][in[in][who_rel[who_rel][baker!D]]]]]]]]]]]]

Step 98.

Merge [baker!D] and [c_rel[in[in..][who_rel..]][c_rel[d0..][c_rel..]]]

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

Stream:	[[the!case!N]]
Stack (⥥):	[baker!D] b [d0[d0][PRO]] ['s[d[d][you]]['s['s][trust]]] [in[in][who_rel[who_rel][baker!D]]]
SO:	[baker!D[baker!D][c_rel[in[in][who_rel[who_rel][baker!D]]][c_rel[d0[d0][PRO]][c_rel[c_rel][Tinf[d0[d0][PRO]][Tinf[Tinf][v[d0[d0][PRO]][v[v*][place[place][in['s[d[d][you]]['s['s][trust]]][in[in][who_rel[who_rel][baker!D]]]]]]]]]]]]]

Step 99.

Merge [the!case!N] and [baker!D[baker!D][c_rel[in..][c_rel..]]]

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

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

[the!case!N] values D on [baker!D[baker!D][c_rel[in..][c_rel..]]]

[baker[baker][c_rel[in..][c_rel..]]] values N on [the!case!N]

Stream:	[]
Stack (⥥):	[baker] b [d0[d0][PRO]] ['s[d[d][you]]['s['s][trust]]] [in[in][who_rel[who_rel][baker]]]
SO:	[the!case[the][baker[baker][c_rel[in[in][who_rel[who_rel][baker]]][c_rel[d0[d0][PRO]][c_rel[c_rel][Tinf[d0[d0][PRO]][Tinf[Tinf][v[d0[d0][PRO]][v[v*][place[place][in['s[d[d][you]]['s['s][trust]]][in[in][who_rel[who_rel][baker]]]]]]]]]]]]]]

Parse:

Spell-out:

the baker in who to place -gen your trust (after morpheme realization)

the baker in who to place your -gen trust (after affix-hop)

the baker in who to place your -gen trust (after morpheme realization, stage 2)

the baker in who to place your trust

2 derivations found.

Backtrack

Stream:	[[the!case!N]]
Stack (⥥):	[d0[d0][PRO]] ['s[d[d][you]]['s['s][trust]]] 'in?' [in[in][who_rel[who_rel][baker!D]]] [baker!D]
SO:	[c_rel[in[in][who_rel[who_rel][baker!D]]][c_rel[d0[d0][PRO]][c_rel[c_rel][Tinf[d0[d0][PRO]][Tinf[Tinf][v[d0[d0][PRO]][v[v*][place[place][in?[in[in][who_rel[who_rel][baker!D]]]['s[d[d][you]]['s['s][trust]]]]]]]]]]]]

re-doing step 47

Step 100.

Computational Cost:

Merge: 60, Agree: 68, Unify: 0, Push: 14, Boundaries: 6, 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	76	77	78	79	80	81	82	83	84	85	86	87	88	89	90	91	92	93	94	95	96	97	98	99
Stack depth:	0	0	1	2	0	0	0	0	0	0	0	0	1	2	4	4	4	0	0	0	4	5	5	5	5	2	0	0	0	0	0	0	0	0	1	2	4	4	4	0	0	0	4	5	5	5	5	0	0	1	2	0	0	0	0	0	0	0	0	1	2	3	3	3	0	0	0	3	4	4	4	4	5	5	5	2	0	0	0	0	0	0	0	0	1	2	3	3	3	0	0	0	3	4	4	4	4	5	5	5