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, whichrel] is attracted to the edge of Crel by uRel on Crel. By economy, whichrel values both uT and uRel on Crel, and the T-to-C option is impossible, i.e. *which that in (23b).
    However, whichrel 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 whorel + 's and die is unaccusative, i.e. [[whorel person]['s mother]] is theta-merged at the internal argument position.
    Furthermore, permit uRel on Crel to find iRel on whorel at the edge of possessive 's.
    [[whorel person]['s mother]] is attracted to the edge of Crel. However, whorel 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 Crel to recursively look for iRel at the edge of possessive 's. Internal argument is [[[whorel 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] [[[whorel person] 's mother]['s dog]] is attracted to the edge of Crel by uRel on Crel. We assume, following (25), that uRel on Crel can find recursively iRel at the edge of possessive 's.
    whorel cannot value uD on person. Next, person raises and its uD is valued when merged with the.
    (26b) is predicted as [[[whorel 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 [whoRel person]]]]. [whoRel person] is attracted to the edge of Crel by uRel on Crel. whorel cannot value uD on person. Next, person raises and its uD is valued when merged with the.
    Pied-piping is permitted as whorel is overt.
    Note: after the two successful derivations, at step 41, the system tries unsuccessfully to employ monadic to with [dedicate [to [whoRel 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 [whoRel 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 whorel is deeply embedded recursively within the specifier of possessive 's for the head noun appearance. However, it must be visible to uRel probing.
    Therefore, [[[[[[whorel person]['s mother]]['s friend]]['s sister]]['s dog]]['s appearance]] is attracted to the edge of Crel by uRel on Crel. whorel 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.
    [[[[[whorel senator]['s mother]]['s friend]]['s sister]]['s favorite charity]] is attracted to the edge of Crel by uRel on Crel. whorel 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 [whenrel 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.)
    [whenrel time] is attracted to the edge of Crel by uRel on Crel. whenrel cannot value uD on time. Next, time raises and its uD is valued when merged with the.
    However, whenrel can value uT (as well as uRel) on Crel. 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 [whererel 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.)
    [whererel town] is attracted to the edge of Crel by uRel on Crel. whererel cannot value uD on town. Next, town raises and its uD is valued when merged with the.
    However, whererel can value uT (as well as uRel) on Crel. By economy, no T-to-C (that) is possible.
    Finally, up does not head a PP with complement [whererel 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] [drel someone] is attracted to the edge of Crel by uRel on Crel. drel cannot value uD, so someone will raise further. Tinf checks uT on Crel. (drel cannot value uT on Crel, uT is valued by Tinf instead.
    Pied-piping is blocked by the empty determiner drel, cf. overt whorel 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). Crel, containing uRel, piggy-backs onto for, attracting [drel someone] to its edge.
    Covert drel in [on [drel 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 [whorel baker]] (for pied-piping) or [whorel baker], the internal argument of in, may be attracted to edge of Crel by uRel on Crel.
    NB: whorel 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 whorel here, cf. (35a-b). Covert drel is used instead, i.e. internal argument of in is [drel baker]. [drel baker] is attracted to the edge of Crel by uRel on Crel. Pied-piping is not an option since drel is an empty category, cf. (35b).
    drel cannot value uD so baker will raise further and its uD will be checked by the.
    Assume uT on Crel is valued by Tinf.
    (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. Crel, containing uRel, piggy-backs onto the complementizer for, attracting [drel person] to its edge.
    drel 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.
    [drel person] is attracted to the edge of Crel by uRel on Crel. drel cannot value uD on person. The head person raises further and merges with the, which values person's uD feature.
    • Machine Parameters: expand

    Animation:
    (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)

    Derivation:
    (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)

    Stream:[[audience!D],[the!case!N],[offend],[v*!phi],[[appearance!D],['s!case!N],[[dog!D],['s!case!N],[[sister!D],['s!case!N],[[friend!D],['s!case!N],[[mother!D],['s!case!N],[[person!D],[whorel!case!N]]]]]]],[perf],[v],[Tpast!phi],[crel!rel!T!phi],[the!case!N],[of],[number!D],[phone!D],[the!case!N]]
    Stack (⥥):
    SO:[]

    Step 1.

    Head of stream [audience!D] is the initial SO
    Stream:[[the!case!N],[offend],[v*!phi],[[appearance!D],['s!case!N],[[dog!D],['s!case!N],[[sister!D],['s!case!N],[[friend!D],['s!case!N],[[mother!D],['s!case!N],[[person!D],[whorel!case!N]]]]]]],[perf],[v],[Tpast!phi],[crel!rel!T!phi],[the!case!N],[of],[number!D],[phone!D],[the!case!N]]
    Stack (⥥):
    SO:[audience!D]

    Step 2.

    Merge [the!case!N] and [audience!D]
    Label from [the!case!N] (syntactic head with an unvalued uF)
    Inherit interpretable feature(s) [f(phi,[3,sg,n])] from [audience!D]
    [the!case!N] values D on [audience!D]
    [audience] values N on [the!case!N]
    Stream:[[offend],[v*!phi],[[appearance!D],['s!case!N],[[dog!D],['s!case!N],[[sister!D],['s!case!N],[[friend!D],['s!case!N],[[mother!D],['s!case!N],[[person!D],[whorel!case!N]]]]]]],[perf],[v],[Tpast!phi],[crel!rel!T!phi],[the!case!N],[of],[number!D],[phone!D],[the!case!N]]
    Stack (⥥):
    SO:[the!case[the][audience]]

    Step 3.

    Merge [offend] and [the!case[the][audience]]
    Label from [offend] (syntactic head merging with a non-head)
    Theta-mark [the!case[the][audience]]
    Push [the!case[the][audience]] (unvalued uF) onto stack
    Stream:[[v*!phi],[[appearance!D],['s!case!N],[[dog!D],['s!case!N],[[sister!D],['s!case!N],[[friend!D],['s!case!N],[[mother!D],['s!case!N],[[person!D],[whorel!case!N]]]]]]],[perf],[v],[Tpast!phi],[crel!rel!T!phi],[the!case!N],[of],[number!D],[phone!D],[the!case!N]]
    Stack (⥥):[the!case[the][audience]]
    SO:[offend[offend][the!case[the][audience]]]

    Step 4.

    Merge [v*!phi] and [offend[offend][the!case[the..][audience..]]]
    Label from [v*!phi] (syntactic head merging with a non-head)
    [the!case[the][audience]] values uPhi on [v*!phi]
    [v*] values acc case on [the!case[the][audience]]
    Stream:[[[appearance!D],['s!case!N],[[dog!D],['s!case!N],[[sister!D],['s!case!N],[[friend!D],['s!case!N],[[mother!D],['s!case!N],[[person!D],[whorel!case!N]]]]]]],[perf],[v],[Tpast!phi],[crel!rel!T!phi],[the!case!N],[of],[number!D],[phone!D],[the!case!N]]
    Stack (⥥):[the[the][audience]]
    SO:[v*[v*][offend[offend][the[the][audience]]]]

    Step 5.

    Begin substream
    Stream:[[appearance!D],['s!case!N],[[dog!D],['s!case!N],[[sister!D],['s!case!N],[[friend!D],['s!case!N],[[mother!D],['s!case!N],[[person!D],[whorel!case!N]]]]]]]
    Stack (⥥):
    SO:[]

    Step 6.

    Head of stream [appearance!D] is the initial SO
    Stream:[['s!case!N],[[dog!D],['s!case!N],[[sister!D],['s!case!N],[[friend!D],['s!case!N],[[mother!D],['s!case!N],[[person!D],[whorel!case!N]]]]]]]
    Stack (⥥):
    SO:[appearance!D]

    Step 7.

    Merge ['s!case!N] and [appearance!D]
    Label from ['s!case!N] (syntactic head with an unvalued uF)
    Inherit interpretable feature(s) [f(phi,[3,sg,n])] from [appearance!D]
    ['s!case!N] values D on [appearance!D]
    [appearance] values N on ['s!case!N]
    Stream:[[[dog!D],['s!case!N],[[sister!D],['s!case!N],[[friend!D],['s!case!N],[[mother!D],['s!case!N],[[person!D],[whorel!case!N]]]]]]]
    Stack (⥥):
    SO:['s!case['s][appearance]]

    Step 8.

    Begin substream
    Stream:[[dog!D],['s!case!N],[[sister!D],['s!case!N],[[friend!D],['s!case!N],[[mother!D],['s!case!N],[[person!D],[whorel!case!N]]]]]]
    Stack (⥥):
    SO:[]

    Step 9.

    Head of stream [dog!D] is the initial SO
    Stream:[['s!case!N],[[sister!D],['s!case!N],[[friend!D],['s!case!N],[[mother!D],['s!case!N],[[person!D],[whorel!case!N]]]]]]
    Stack (⥥):
    SO:[dog!D]

    Step 10.

    Merge ['s!case!N] and [dog!D]
    Label from ['s!case!N] (syntactic head with an unvalued uF)
    Inherit interpretable feature(s) [f(phi,[3,sg,n])] from [dog!D]
    ['s!case!N] values D on [dog!D]
    [dog] values N on ['s!case!N]
    Stream:[[[sister!D],['s!case!N],[[friend!D],['s!case!N],[[mother!D],['s!case!N],[[person!D],[whorel!case!N]]]]]]
    Stack (⥥):
    SO:['s!case['s][dog]]

    Step 11.

    Begin substream
    Stream:[[sister!D],['s!case!N],[[friend!D],['s!case!N],[[mother!D],['s!case!N],[[person!D],[whorel!case!N]]]]]
    Stack (⥥):
    SO:[]

    Step 12.

    Head of stream [sister!D] is the initial SO
    Stream:[['s!case!N],[[friend!D],['s!case!N],[[mother!D],['s!case!N],[[person!D],[whorel!case!N]]]]]
    Stack (⥥):
    SO:[sister!D]

    Step 13.

    Merge ['s!case!N] and [sister!D]
    Label from ['s!case!N] (syntactic head with an unvalued uF)
    Inherit interpretable feature(s) [f(phi,[3,sg,n])] from [sister!D]
    ['s!case!N] values D on [sister!D]
    [sister] values N on ['s!case!N]
    Stream:[[[friend!D],['s!case!N],[[mother!D],['s!case!N],[[person!D],[whorel!case!N]]]]]
    Stack (⥥):
    SO:['s!case['s][sister]]

    Step 14.

    Begin substream
    Stream:[[friend!D],['s!case!N],[[mother!D],['s!case!N],[[person!D],[whorel!case!N]]]]
    Stack (⥥):
    SO:[]

    Step 15.

    Head of stream [friend!D] is the initial SO
    Stream:[['s!case!N],[[mother!D],['s!case!N],[[person!D],[whorel!case!N]]]]
    Stack (⥥):
    SO:[friend!D]

    Step 16.

    Merge ['s!case!N] and [friend!D]
    Label from ['s!case!N] (syntactic head with an unvalued uF)
    Inherit interpretable feature(s) [f(phi,[3,sg,n])] from [friend!D]
    ['s!case!N] values D on [friend!D]
    [friend] values N on ['s!case!N]
    Stream:[[[mother!D],['s!case!N],[[person!D],[whorel!case!N]]]]
    Stack (⥥):
    SO:['s!case['s][friend]]

    Step 17.

    Begin substream
    Stream:[[mother!D],['s!case!N],[[person!D],[whorel!case!N]]]
    Stack (⥥):
    SO:[]

    Step 18.

    Head of stream [mother!D] is the initial SO
    Stream:[['s!case!N],[[person!D],[whorel!case!N]]]
    Stack (⥥):
    SO:[mother!D]

    Step 19.

    Merge ['s!case!N] and [mother!D]
    Label from ['s!case!N] (syntactic head with an unvalued uF)
    Inherit interpretable feature(s) [f(phi,[3,sg,n])] from [mother!D]
    ['s!case!N] values D on [mother!D]
    [mother] values N on ['s!case!N]
    Stream:[[[person!D],[whorel!case!N]]]
    Stack (⥥):
    SO:['s!case['s][mother]]

    Step 20.

    Begin substream
    Stream:[[person!D],[whorel!case!N]]
    Stack (⥥):
    SO:[]

    Step 21.

    Head of stream [person!D] is the initial SO
    Stream:[[whorel!case!N]]
    Stack (⥥):
    SO:[person!D]

    Step 22.

    Merge [whorel!case!N] and [person!D]
    Label from [whorel!case!N] (syntactic head with an unvalued uF)
    Inherit interpretable feature(s) [f(phi,[3,sg,n])] from [person!D]
    [person!D] values N on [whorel!case!N]
    Push [person!D] (unvalued uF) onto stack
    Stream:[]
    Stack (⥥):[person!D]
    SO:[whorel!case[whorel][person!D]]
    End substream, SO [whorel!case[whorel][person!D]] re-inserted into main stream
    Substream stack [[person!D]] saved for possible stack merge

    Step 23.

    Stream:[[whorel!case[whorel][person!D]]]
    Stack (⥥):
    SO:['s!case['s][mother]]

    Step 24.

    Theta-mark [whorel!case[whorel][person!D]]
    ['s!case['s][mother]] values gen case on [whorel!case[whorel][person!D]]
    Merge ['s!case['s][mother]] and [whorel[whorel][person!D]]
    Label from ['s!case['s][mother]] (edge feature)
    Saved substream stack [[person!D]] merged with stack
    Stream:[]
    Stack (⥥):[person!D]
    SO:['s!case[whorel[whorel][person!D]]['s['s][mother]]]

    Step 25.

    Local Extent boundary at ['s!case[whorel[whorel..][person..]]['s['s..][mother..]]]
    Stack element [person!D] with unvalued uF found
    New boundary (b) marker stacked
    Restack [person!D] onto stack
    Stream:[]
    Stack (⥥):[person!D]
    b
    SO:['s!case[whorel[whorel][person!D]]['s['s][mother]]]
    End substream, SO ['s!case[whorel[whorel][person!D]]['s['s][mother]]] re-inserted into main stream
    Substream stack [[person!D]] saved for possible stack merge

    Step 26.

    Stream:[['s!case[whorel[whorel][person!D]]['s['s][mother]]]]
    Stack (⥥):
    SO:['s!case['s][friend]]

    Step 27.

    Theta-mark ['s!case[whorel[whorel..][person..]]['s['s..][mother..]]]
    ['s!case['s][friend]] values gen case on ['s!case[whorel[whorel..][person..]]['s['s..][mother..]]]
    Merge ['s!case['s][friend]] and ['s[whorel[whorel..][person..]]['s['s..][mother..]]]
    Label from ['s!case['s][friend]] (edge feature)
    Saved substream stack [[person!D]] merged with stack
    Stream:[]
    Stack (⥥):[person!D]
    SO:['s!case['s[whorel[whorel][person!D]]['s['s][mother]]]['s['s][friend]]]

    Step 28.

    Local Extent boundary at ['s!case['s[whorel..]['s..]]['s['s..][friend..]]]
    Stack element [person!D] with unvalued uF found
    New boundary (b) marker stacked
    Restack [person!D] onto stack
    Stream:[]
    Stack (⥥):[person!D]
    b
    SO:['s!case['s[whorel[whorel][person!D]]['s['s][mother]]]['s['s][friend]]]
    End substream, SO ['s!case['s[whorel[whorel][person!D]]['s['s][mother]]]['s['s][friend]]] re-inserted into main stream
    Substream stack [[person!D]] saved for possible stack merge

    Step 29.

    Stream:[['s!case['s[whorel[whorel][person!D]]['s['s][mother]]]['s['s][friend]]]]
    Stack (⥥):
    SO:['s!case['s][sister]]

    Step 30.

    Theta-mark ['s!case['s[whorel..]['s..]]['s['s..][friend..]]]
    ['s!case['s][sister]] values gen case on ['s!case['s[whorel..]['s..]]['s['s..][friend..]]]
    Merge ['s!case['s][sister]] and ['s['s[whorel..]['s..]]['s['s..][friend..]]]
    Label from ['s!case['s][sister]] (edge feature)
    Saved substream stack [[person!D]] merged with stack
    Stream:[]
    Stack (⥥):[person!D]
    SO:['s!case['s['s[whorel[whorel][person!D]]['s['s][mother]]]['s['s][friend]]]['s['s][sister]]]

    Step 31.

    Local Extent boundary at ['s!case['s['s..]['s..]]['s['s..][sister..]]]
    Stack element [person!D] with unvalued uF found
    New boundary (b) marker stacked
    Restack [person!D] onto stack
    Stream:[]
    Stack (⥥):[person!D]
    b
    SO:['s!case['s['s[whorel[whorel][person!D]]['s['s][mother]]]['s['s][friend]]]['s['s][sister]]]
    End substream, SO ['s!case['s['s[whorel[whorel][person!D]]['s['s][mother]]]['s['s][friend]]]['s['s][sister]]] re-inserted into main stream
    Substream stack [[person!D]] saved for possible stack merge

    Step 32.

    Stream:[['s!case['s['s[whorel[whorel][person!D]]['s['s][mother]]]['s['s][friend]]]['s['s][sister]]]]
    Stack (⥥):
    SO:['s!case['s][dog]]

    Step 33.

    Theta-mark ['s!case['s['s..]['s..]]['s['s..][sister..]]]
    ['s!case['s][dog]] values gen case on ['s!case['s['s..]['s..]]['s['s..][sister..]]]
    Merge ['s!case['s][dog]] and ['s['s['s..]['s..]]['s['s..][sister..]]]
    Label from ['s!case['s][dog]] (edge feature)
    Saved substream stack [[person!D]] merged with stack
    Stream:[]
    Stack (⥥):[person!D]
    SO:['s!case['s['s['s[whorel[whorel][person!D]]['s['s][mother]]]['s['s][friend]]]['s['s][sister]]]['s['s][dog]]]

    Step 34.

    Local Extent boundary at ['s!case['s['s..]['s..]]['s['s..][dog..]]]
    Stack element [person!D] with unvalued uF found
    New boundary (b) marker stacked
    Restack [person!D] onto stack
    Stream:[]
    Stack (⥥):[person!D]
    b
    SO:['s!case['s['s['s[whorel[whorel][person!D]]['s['s][mother]]]['s['s][friend]]]['s['s][sister]]]['s['s][dog]]]
    End substream, SO ['s!case['s['s['s[whorel[whorel][person!D]]['s['s][mother]]]['s['s][friend]]]['s['s][sister]]]['s['s][dog]]] re-inserted into main stream
    Substream stack [[person!D]] saved for possible stack merge

    Step 35.

    Stream:[['s!case['s['s['s[whorel[whorel][person!D]]['s['s][mother]]]['s['s][friend]]]['s['s][sister]]]['s['s][dog]]]]
    Stack (⥥):
    SO:['s!case['s][appearance]]

    Step 36.

    Theta-mark ['s!case['s['s..]['s..]]['s['s..][dog..]]]
    ['s!case['s][appearance]] values gen case on ['s!case['s['s..]['s..]]['s['s..][dog..]]]
    Merge ['s!case['s][appearance]] and ['s['s['s..]['s..]]['s['s..][dog..]]]
    Label from ['s!case['s][appearance]] (edge feature)
    Saved substream stack [[person!D]] merged with stack
    Stream:[]
    Stack (⥥):[person!D]
    SO:['s!case['s['s['s['s[whorel[whorel][person!D]]['s['s][mother]]]['s['s][friend]]]['s['s][sister]]]['s['s][dog]]]['s['s][appearance]]]

    Step 37.

    Local Extent boundary at ['s!case['s['s..]['s..]]['s['s..][appearance..]]]
    Stack element [person!D] with unvalued uF found
    New boundary (b) marker stacked
    Restack [person!D] onto stack
    Stream:[]
    Stack (⥥):[person!D]
    b
    SO:['s!case['s['s['s['s[whorel[whorel][person!D]]['s['s][mother]]]['s['s][friend]]]['s['s][sister]]]['s['s][dog]]]['s['s][appearance]]]
    End substream, SO ['s!case['s['s['s['s[whorel[whorel][person!D]]['s['s][mother]]]['s['s][friend]]]['s['s][sister]]]['s['s][dog]]]['s['s][appearance]]] re-inserted into main stream
    Substream stack [[person!D]] saved for possible stack merge

    Step 38.

    Stream:[['s!case['s['s['s['s[whorel[whorel][person!D]]['s['s][mother]]]['s['s][friend]]]['s['s][sister]]]['s['s][dog]]]['s['s][appearance]]],[perf],[v],[Tpast!phi],[crel!rel!T!phi],[the!case!N],[of],[number!D],[phone!D],[the!case!N]]
    Stack (⥥):[the[the][audience]]
    SO:[v*[v*][offend[offend][the[the][audience]]]]

    Step 39.

    Merge [v*[v*][offend[offend..][the..]]] and ['s!case['s['s..]['s..]]['s['s..][appearance..]]]
    Label from [v*[v*][offend[offend..][the..]]] (edge feature)
    Theta-mark ['s!case['s['s..]['s..]]['s['s..][appearance..]]]
    Saved substream stack [[person!D]] merged with stack
    Push ['s!case['s['s..]['s..]]['s['s..][appearance..]]] (unvalued uF) onto stack
    Stream:[[perf],[v],[Tpast!phi],[crel!rel!T!phi],[the!case!N],[of],[number!D],[phone!D],[the!case!N]]
    Stack (⥥):['s!case['s['s['s['s[whorel[whorel][person!D]]['s['s][mother]]]['s['s][friend]]]['s['s][sister]]]['s['s][dog]]]['s['s][appearance]]]
    [person!D]
    [the[the][audience]]
    SO:[v*['s!case['s['s['s['s[whorel[whorel][person!D]]['s['s][mother]]]['s['s][friend]]]['s['s][sister]]]['s['s][dog]]]['s['s][appearance]]][v*[v*][offend[offend][the[the][audience]]]]]

    Step 40.

    Merge [perf] and [v*['s!case['s..]['s..]][v*[v*..][offend..]]]
    Label from [perf] (syntactic head merging with a non-head)
    Stream:[[v],[Tpast!phi],[crel!rel!T!phi],[the!case!N],[of],[number!D],[phone!D],[the!case!N]]
    Stack (⥥):['s!case['s['s['s['s[whorel[whorel][person!D]]['s['s][mother]]]['s['s][friend]]]['s['s][sister]]]['s['s][dog]]]['s['s][appearance]]]
    [person!D]
    [the[the][audience]]
    SO:[perf[perf][v*['s!case['s['s['s['s[whorel[whorel][person!D]]['s['s][mother]]]['s['s][friend]]]['s['s][sister]]]['s['s][dog]]]['s['s][appearance]]][v*[v*][offend[offend][the[the][audience]]]]]]

    Step 41.

    Merge [v] and [perf[perf][v*['s..][v*..]]]
    Label from [v] (syntactic head merging with a non-head)
    Stream:[[Tpast!phi],[crel!rel!T!phi],[the!case!N],[of],[number!D],[phone!D],[the!case!N]]
    Stack (⥥):['s!case['s['s['s['s[whorel[whorel][person!D]]['s['s][mother]]]['s['s][friend]]]['s['s][sister]]]['s['s][dog]]]['s['s][appearance]]]
    [person!D]
    [the[the][audience]]
    SO:[v[v][perf[perf][v*['s!case['s['s['s['s[whorel[whorel][person!D]]['s['s][mother]]]['s['s][friend]]]['s['s][sister]]]['s['s][dog]]]['s['s][appearance]]][v*[v*][offend[offend][the[the][audience]]]]]]]

    Step 42.

    Merge [Tpast!phi] and [v[v][perf[perf..][v*..]]]
    Label from [Tpast!phi] (syntactic head merging with a non-head)
    ['s!case['s['s..]['s..]]['s['s..][appearance..]]] values uPhi on [Tpast!phi]
    [Tpast] values nom case on ['s!case['s['s..]['s..]]['s['s..][appearance..]]]
    Stream:[[crel!rel!T!phi],[the!case!N],[of],[number!D],[phone!D],[the!case!N]]
    Stack (⥥):['s['s['s['s['s[whorel[whorel][person!D]]['s['s][mother]]]['s['s][friend]]]['s['s][sister]]]['s['s][dog]]]['s['s][appearance]]]
    [person!D]
    [the[the][audience]]
    SO:[Tpast[Tpast][v[v][perf[perf][v*['s['s['s['s['s[whorel[whorel][person!D]]['s['s][mother]]]['s['s][friend]]]['s['s][sister]]]['s['s][dog]]]['s['s][appearance]]][v*[v*][offend[offend][the[the][audience]]]]]]]]

    Step 43.

    Internal merge selected
    Merge [Tpast[Tpast][v[v..][perf..]]] and ['s['s['s..]['s..]]['s['s..][appearance..]]]
    Label from [Tpast[Tpast][v[v..][perf..]]] (edge feature)
    Stream:[[crel!rel!T!phi],[the!case!N],[of],[number!D],[phone!D],[the!case!N]]
    Stack (⥥):['s['s['s['s['s[whorel[whorel][person!D]]['s['s][mother]]]['s['s][friend]]]['s['s][sister]]]['s['s][dog]]]['s['s][appearance]]]
    [person!D]
    [the[the][audience]]
    SO:[Tpast['s['s['s['s['s[whorel[whorel][person!D]]['s['s][mother]]]['s['s][friend]]]['s['s][sister]]]['s['s][dog]]]['s['s][appearance]]][Tpast[Tpast][v[v][perf[perf][v*['s['s['s['s['s[whorel[whorel][person!D]]['s['s][mother]]]['s['s][friend]]]['s['s][sister]]]['s['s][dog]]]['s['s][appearance]]][v*[v*][offend[offend][the[the][audience]]]]]]]]]

    Step 44.

    Merge [crel!rel!T!phi] and [Tpast['s['s..]['s..]][Tpast[Tpast..][v..]]]
    Label from [crel!rel!T!phi] (syntactic head merging with a non-head)
    ['s['s['s..]['s..]]['s['s..][appearance..]]] values rel on [crel!rel!T!phi]
    ['s['s['s..]['s..]]['s['s..][appearance..]]] values T on [crel!T!phi] (economy)
    ['s['s['s..]['s..]]['s['s..][appearance..]]] values phi on [crel!phi] (economy)
    [crel] values obq case on ['s['s['s..]['s..]]['s['s..][appearance..]]]
    Internal merge selected
    Merge [crel[crel][Tpast['s..][Tpast..]]] and ['s['s['s..]['s..]]['s['s..][appearance..]]]
    Label from [crel[crel][Tpast['s..][Tpast..]]] (edge feature)
    Stream:[[the!case!N],[of],[number!D],[phone!D],[the!case!N]]
    Stack (⥥):['s['s['s['s['s[whorel[whorel][person!D]]['s['s][mother]]]['s['s][friend]]]['s['s][sister]]]['s['s][dog]]]['s['s][appearance]]]
    [person!D]
    [the[the][audience]]
    SO:[crel['s['s['s['s['s[whorel[whorel][person!D]]['s['s][mother]]]['s['s][friend]]]['s['s][sister]]]['s['s][dog]]]['s['s][appearance]]][crel[crel][Tpast['s['s['s['s['s[whorel[whorel][person!D]]['s['s][mother]]]['s['s][friend]]]['s['s][sister]]]['s['s][dog]]]['s['s][appearance]]][Tpast[Tpast][v[v][perf[perf][v*['s['s['s['s['s[whorel[whorel][person!D]]['s['s][mother]]]['s['s][friend]]]['s['s][sister]]]['s['s][dog]]]['s['s][appearance]]][v*[v*][offend[offend][the[the][audience]]]]]]]]]]]

    Step 45.

    Local Extent boundary at [crel['s['s..]['s..]][crel[crel..][Tpast..]]]
    Stack element [person!D] with unvalued uF found
    New boundary (b) marker stacked
    Restack [person!D] onto stack
    Stream:[[the!case!N],[of],[number!D],[phone!D],[the!case!N]]
    Stack (⥥):[person!D]
    b
    ['s['s['s['s['s[whorel[whorel][person!D]]['s['s][mother]]]['s['s][friend]]]['s['s][sister]]]['s['s][dog]]]['s['s][appearance]]]
    [the[the][audience]]
    SO:[crel['s['s['s['s['s[whorel[whorel][person!D]]['s['s][mother]]]['s['s][friend]]]['s['s][sister]]]['s['s][dog]]]['s['s][appearance]]][crel[crel][Tpast['s['s['s['s['s[whorel[whorel][person!D]]['s['s][mother]]]['s['s][friend]]]['s['s][sister]]]['s['s][dog]]]['s['s][appearance]]][Tpast[Tpast][v[v][perf[perf][v*['s['s['s['s['s[whorel[whorel][person!D]]['s['s][mother]]]['s['s][friend]]]['s['s][sister]]]['s['s][dog]]]['s['s][appearance]]][v*[v*][offend[offend][the[the][audience]]]]]]]]]]]

    Step 46.

    Merge [person!D] and [crel['s['s..]['s..]][crel[crel..][Tpast..]]]
    Label from [person!D] (syntactic head merging with a non-head)
    Stream:[[the!case!N],[of],[number!D],[phone!D],[the!case!N]]
    Stack (⥥):[person!D]
    b
    ['s['s['s['s['s[whorel[whorel][person!D]]['s['s][mother]]]['s['s][friend]]]['s['s][sister]]]['s['s][dog]]]['s['s][appearance]]]
    [the[the][audience]]
    SO:[person!D[person!D][crel['s['s['s['s['s[whorel[whorel][person!D]]['s['s][mother]]]['s['s][friend]]]['s['s][sister]]]['s['s][dog]]]['s['s][appearance]]][crel[crel][Tpast['s['s['s['s['s[whorel[whorel][person!D]]['s['s][mother]]]['s['s][friend]]]['s['s][sister]]]['s['s][dog]]]['s['s][appearance]]][Tpast[Tpast][v[v][perf[perf][v*['s['s['s['s['s[whorel[whorel][person!D]]['s['s][mother]]]['s['s][friend]]]['s['s][sister]]]['s['s][dog]]]['s['s][appearance]]][v*[v*][offend[offend][the[the][audience]]]]]]]]]]]]

    Step 47.

    Merge [the!case!N] and [person!D[person!D][crel['s..][crel..]]]
    Label from [the!case!N] (syntactic head merging with a non-head)
    Inherit interpretable feature(s) [f(phi,[3,sg,n])] from [person!D[person!D][crel['s..][crel..]]]
    [the!case!N] values D on [person!D[person!D][crel['s..][crel..]]]
    [person[person][crel['s..][crel..]]] values N on [the!case!N]
    Stream:[[of],[number!D],[phone!D],[the!case!N]]
    Stack (⥥):[person]
    b
    ['s['s['s['s['s[whorel[whorel][person]]['s['s][mother]]]['s['s][friend]]]['s['s][sister]]]['s['s][dog]]]['s['s][appearance]]]
    [the[the][audience]]
    SO:[the!case[the][person[person][crel['s['s['s['s['s[whorel[whorel][person]]['s['s][mother]]]['s['s][friend]]]['s['s][sister]]]['s['s][dog]]]['s['s][appearance]]][crel[crel][Tpast['s['s['s['s['s[whorel[whorel][person]]['s['s][mother]]]['s['s][friend]]]['s['s][sister]]]['s['s][dog]]]['s['s][appearance]]][Tpast[Tpast][v[v][perf[perf][v*['s['s['s['s['s[whorel[whorel][person]]['s['s][mother]]]['s['s][friend]]]['s['s][sister]]]['s['s][dog]]]['s['s][appearance]]][v*[v*][offend[offend][the[the][audience]]]]]]]]]]]]]

    Step 48.

    Merge [of] and [the!case[the][person[person..][crel..]]]
    Label from [of] (syntactic head merging with a non-head)
    Theta-mark [the!case[the][person[person..][crel..]]]
    [of] values obq case on [the!case[the][person[person..][crel..]]]
    Stream:[[number!D],[phone!D],[the!case!N]]
    Stack (⥥):[person]
    b
    ['s['s['s['s['s[whorel[whorel][person]]['s['s][mother]]]['s['s][friend]]]['s['s][sister]]]['s['s][dog]]]['s['s][appearance]]]
    [the[the][audience]]
    SO:[of[of][the[the][person[person][crel['s['s['s['s['s[whorel[whorel][person]]['s['s][mother]]]['s['s][friend]]]['s['s][sister]]]['s['s][dog]]]['s['s][appearance]]][crel[crel][Tpast['s['s['s['s['s[whorel[whorel][person]]['s['s][mother]]]['s['s][friend]]]['s['s][sister]]]['s['s][dog]]]['s['s][appearance]]][Tpast[Tpast][v[v][perf[perf][v*['s['s['s['s['s[whorel[whorel][person]]['s['s][mother]]]['s['s][friend]]]['s['s][sister]]]['s['s][dog]]]['s['s][appearance]]][v*[v*][offend[offend][the[the][audience]]]]]]]]]]]]]]

    Step 49.

    Merge [number!D] and [of[of][the[the..][person..]]]
    Label from [number!D] (syntactic head merging with a non-head)
    Stream:[[phone!D],[the!case!N]]
    Stack (⥥):[person]
    b
    ['s['s['s['s['s[whorel[whorel][person]]['s['s][mother]]]['s['s][friend]]]['s['s][sister]]]['s['s][dog]]]['s['s][appearance]]]
    [the[the][audience]]
    SO:[number!D[number!D][of[of][the[the][person[person][crel['s['s['s['s['s[whorel[whorel][person]]['s['s][mother]]]['s['s][friend]]]['s['s][sister]]]['s['s][dog]]]['s['s][appearance]]][crel[crel][Tpast['s['s['s['s['s[whorel[whorel][person]]['s['s][mother]]]['s['s][friend]]]['s['s][sister]]]['s['s][dog]]]['s['s][appearance]]][Tpast[Tpast][v[v][perf[perf][v*['s['s['s['s['s[whorel[whorel][person]]['s['s][mother]]]['s['s][friend]]]['s['s][sister]]]['s['s][dog]]]['s['s][appearance]]][v*[v*][offend[offend][the[the][audience]]]]]]]]]]]]]]]

    Step 50.

    Merge [phone!D] and [number!D[number!D][of[of..][the..]]]
    Label from [number!D[number!D][of[of..][the..]]] (head-final specified)
    Noun-noun compounding, valued uD on [phone]
    Stream:[[the!case!N]]
    Stack (⥥):[person]
    b
    ['s['s['s['s['s[whorel[whorel][person]]['s['s][mother]]]['s['s][friend]]]['s['s][sister]]]['s['s][dog]]]['s['s][appearance]]]
    [the[the][audience]]
    SO:[number!D[phone][number!D[number!D][of[of][the[the][person[person][crel['s['s['s['s['s[whorel[whorel][person]]['s['s][mother]]]['s['s][friend]]]['s['s][sister]]]['s['s][dog]]]['s['s][appearance]]][crel[crel][Tpast['s['s['s['s['s[whorel[whorel][person]]['s['s][mother]]]['s['s][friend]]]['s['s][sister]]]['s['s][dog]]]['s['s][appearance]]][Tpast[Tpast][v[v][perf[perf][v*['s['s['s['s['s[whorel[whorel][person]]['s['s][mother]]]['s['s][friend]]]['s['s][sister]]]['s['s][dog]]]['s['s][appearance]]][v*[v*][offend[offend][the[the][audience]]]]]]]]]]]]]]]]

    Step 51.

    Merge [the!case!N] and [number!D[phone][number!D[number..][of..]]]
    Label from [the!case!N] (syntactic head merging with a non-head)
    Inherit interpretable feature(s) [f(phi,[3,sg,n])] from [number!D[phone][number!D[number..][of..]]]
    [the!case!N] values D on [number!D[phone][number!D[number..][of..]]]
    [number[phone][number[number..][of..]]] values N on [the!case!N]
    Stream:[]
    Stack (⥥):[person]
    b
    ['s['s['s['s['s[whorel[whorel][person]]['s['s][mother]]]['s['s][friend]]]['s['s][sister]]]['s['s][dog]]]['s['s][appearance]]]
    [the[the][audience]]
    SO:[the!case[the][number[phone][number[number][of[of][the[the][person[person][crel['s['s['s['s['s[whorel[whorel][person]]['s['s][mother]]]['s['s][friend]]]['s['s][sister]]]['s['s][dog]]]['s['s][appearance]]][crel[crel][Tpast['s['s['s['s['s[whorel[whorel][person]]['s['s][mother]]]['s['s][friend]]]['s['s][sister]]]['s['s][dog]]]['s['s][appearance]]][Tpast[Tpast][v[v][perf[perf][v*['s['s['s['s['s[whorel[whorel][person]]['s['s][mother]]]['s['s][friend]]]['s['s][sister]]]['s['s][dog]]]['s['s][appearance]]][v*[v*][offend[offend][the[the][audience]]]]]]]]]]]]]]]]]

    Parse:
    Spell-out:
    the phone number of the person whose mother 's friend 's sister 's dog 's appearance -ed(sg) have -en offend the audience (after morpheme realization)
    the phone number of the person whose mother 's friend 's sister 's dog 's appearance have -ed(sg) offend -en the audience (after affix-hop)
    the phone number of the person whose mother 's friend 's sister 's dog 's appearance have -ed(sg) offend -en the audience (after morpheme realization, stage 2)
    the phone number of the person whose mother 's friend 's sister 's dog 's appearance had offended the audience  

    One derivation found.
    Computational Cost:
    Merge: 27, Agree: 31, Unify: 0, Push: 3, Boundaries: 6, Inject: 6
    Non-TOS access: 0, Pop: 0, Depth cost: 38
    Step:0123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051
    Stack depth:0001100000000000000000101201201201201213333334444444

    Back to top