Minimalist Machine Derivations

Files: grammar.txt / m12.txt /

Examples:

  • Additional relative clause examples, mainly from Sag (1997) and Keenan & Hawkins (1987) (11 examples) collapse
    Example Instruction stream (clickable) Notes
    (28) the town where I grew up
    *the town up where I grew
    (Reviewer example)     		[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 Rel on Crel. whererel cannot value D on town. Next, town raises and its uninterpretable D feature is valued when merged with the.
    However, whererel can value T (as well as Rel) 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 is possible.
    (29) the baker to place your trust in
    *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. Covert Drel is used instead, i.e. internal argument of in is [Drel baker]. [Drel baker] is attracted to the edge of Crel by Rel on Crel. Pied-piping is not an option since Drel is an empty category.
    Drel cannot value D so baker will raise further and its uninterpretable D feature will be checked by the.
    Assume T 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.)
    (30) the book which inspired them
    *the book which that inspired them
    (Sag 1997: 448)     		[they,d,inspire,'v*',[book,which_rel],'Tpast',c_rel,the] Subject relative. DP [book, whichrel] is attracted to the edge of Crel by Rel on Crel. By economy, whichrel values both T and Rel on Crel, and the T-to-C option is impossible, i.e. *which that.
    However, whichrel cannot value D so book will raise further and D is valued during the merge with the.
    (31) the person whose mother died
    (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 Rel on Crel to find Rel on whorel at the edge of possessive 's.
    [[whorel person]['s mother]] is attracted to the edge of Crel. However, whorel cannot value D on person. Next, person raises and its uninterpretable D feature is valued when merged with the.
    (32) the person whose mother's dog died
    (Sag 1997: 448)     		[dog, '\'s', [mother, '\'s', [person, who_rel]], die, 'v~unacc', 'Tpast', c_rel, the] Analysis is the same as for (31) above, except we permit Rel on Crel to recursively look for Rel at the edge of possessive 's. Internal argument is [[[whorel person] 's mother]['s dog]].
    (33) the person whose mother's dog we were (all) fond of
    (33') the person whose mother's dog that we were (all) fond of
    (33") *the person of whose mother's dog we were (all) fond
    (33"') *the person of whose mother's dog that we were (all) fond
    (Sag 1997: 448)     		[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 Rel on Crel. We assume, following (32), that Rel on Crel can find recursively Rel at the edge of possessive 's.
    whorel cannot value D on person. Next, person raises and its uninterpretable D feature is valued when merged with the.
    (33') 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.
    (33") and (33"') are blocked by a spellout rule *of who, designed to block *the girl of who friends bought the cake.
    (34) the person to whom they dedicated the building
    the person to whom they dedicated the building
    (Sag 1997: 448)     		[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 Rel on Crel. whorel cannot value D on person. Next, person raises and its uninterpretable D feature 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.
    (35) [This is] the senator to whose mother's friend's sister's favorite charity the lobbyist had donated a small fortune
    (35') [This is] the senator to whose mother's friend's sister's favorite charity that the lobbyist had donated a small fortune
    (35") [This is] the senator whose mother's friend's sister's favorite charity the lobbyist had donated a small fortune to
    (35"') [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 (34). 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 Rel on Crel. whorel cannot value D, so senator will raise further to form a new head. Determiner the merges with the NP headed by senator, valuing D 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.
    (36) someone on whom to rely
    *?someone who to rely on
    (Reviewer example, reviewer judgement)     		[someone, who_rel, on, rely, 'v*', ['PRO', d0], 'Tinf', c_rel, d]
    (37) someone to rely on
    *someone on to rely
    (Reviewer example)     		[someone, d_rel, on, rely, 'v*', ['PRO', d0], 'Tinf', c_rel, d] [Drel someone] is attracted to the edge of Crel by Rel on Crel. Drel cannot value D, so someone will raise further. Tinf checks T on Crel. (Drel cannot value T on Crel, T is valued by Tinf instead.
    Pied-piping is blocked by the empty determiner Drel.
    (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.)
    (38) someone for you to rely on
    *someone on for you to rely
    (Reviewer example)     		[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 (37). Crel, containing Rel, piggy-backs onto for, attracting [Drel someone] to its edge.
    Covert Drel in [on [Drel someone]] incompatible with pied-piping of on.
    As described in (37), someone will raise further and merge with covert d.
    • Machine Parameters: expand

    Animation:
    (33) the person whose mother's dog we were (all) fond of
    (33') the person whose mother's dog that we were (all) fond of
    (33") *the person of whose mother's dog we were (all) fond
    (33"') *the person of whose mother's dog that we were (all) fond
    (Sag 1997: 448)

    Derivation:
    (33) the person whose mother's dog we were (all) fond of
    (33') the person whose mother's dog that we were (all) fond of
    (33") *the person of whose mother's dog we were (all) fond
    (33"') *the person of whose mother's dog that we were (all) fond
    (Sag 1997: 448)

    Stream:[[dog!D],['s!case!N],[[mother!D],['s!case!N],[[person!D],[whorel!case!N]]],[of],[fond],[[we!D],[d!case!N]],[vbe],[Tpast!phi],[crel!rel!T!phi],[the!case!N]]
    Stack (⥥):
    SO:[]

    Step 1.

    Head of stream [dog!D] is the initial SO
    Stream:[['s!case!N],[[mother!D],['s!case!N],[[person!D],[whorel!case!N]]],[of],[fond],[[we!D],[d!case!N]],[vbe],[Tpast!phi],[crel!rel!T!phi],[the!case!N]]
    Stack (⥥):
    SO:[dog!D]

    Step 2.

    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:[[[mother!D],['s!case!N],[[person!D],[whorel!case!N]]],[of],[fond],[[we!D],[d!case!N]],[vbe],[Tpast!phi],[crel!rel!T!phi],[the!case!N]]
    Stack (⥥):
    SO:['s!case['s][dog]]

    Step 3.

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

    Step 4.

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

    Step 5.

    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 6.

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

    Step 7.

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

    Step 8.

    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 9.

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

    Step 10.

    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 11.

    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 12.

    Stream:[['s!case[whorel[whorel][person!D]]['s['s][mother]]],[of],[fond],[[we!D],[d!case!N]],[vbe],[Tpast!phi],[crel!rel!T!phi],[the!case!N]]
    Stack (⥥):
    SO:['s!case['s][dog]]

    Step 13.

    Theta-mark ['s!case[whorel[whorel..][person..]]['s['s..][mother..]]]
    ['s!case['s][dog]] values gen case on ['s!case[whorel[whorel..][person..]]['s['s..][mother..]]]
    Merge ['s!case['s][dog]] and ['s[whorel[whorel..][person..]]['s['s..][mother..]]]
    Label from ['s!case['s][dog]] (edge feature)
    Saved substream stack [[person!D]] merged with stack
    Stream:[[of],[fond],[[we!D],[d!case!N]],[vbe],[Tpast!phi],[crel!rel!T!phi],[the!case!N]]
    Stack (⥥):[person!D]
    SO:['s!case['s[whorel[whorel][person!D]]['s['s][mother]]]['s['s][dog]]]

    Step 14.

    Local Extent boundary at ['s!case['s[whorel..]['s..]]['s['s..][dog..]]]
    Stack element [person!D] with unvalued uF found
    New boundary (b) marker stacked
    Restack [person!D] onto stack
    Stream:[[of],[fond],[[we!D],[d!case!N]],[vbe],[Tpast!phi],[crel!rel!T!phi],[the!case!N]]
    Stack (⥥):[person!D]
    b
    SO:['s!case['s[whorel[whorel][person!D]]['s['s][mother]]]['s['s][dog]]]

    Step 15.

    Merge [of] and ['s!case['s[whorel..]['s..]]['s['s..][dog..]]]
    Label from [of] (syntactic head merging with a non-head)
    Theta-mark ['s!case['s[whorel..]['s..]]['s['s..][dog..]]]
    [of] values obq case on ['s!case['s[whorel..]['s..]]['s['s..][dog..]]]
    Push ['s['s[whorel..]['s..]]['s['s..][dog..]]] (unvalued uF) onto stack
    Stream:[[fond],[[we!D],[d!case!N]],[vbe],[Tpast!phi],[crel!rel!T!phi],[the!case!N]]
    Stack (⥥):['s['s[whorel[whorel][person!D]]['s['s][mother]]]['s['s][dog]]]
    [person!D]
    b
    SO:[of[of]['s['s[whorel[whorel][person!D]]['s['s][mother]]]['s['s][dog]]]]

    Step 16.

    Merge [fond] and [of[of]['s['s..]['s..]]]
    Label from [fond] (syntactic head merging with a non-head)
    Stream:[[[we!D],[d!case!N]],[vbe],[Tpast!phi],[crel!rel!T!phi],[the!case!N]]
    Stack (⥥):['s['s[whorel[whorel][person!D]]['s['s][mother]]]['s['s][dog]]]
    [person!D]
    b
    SO:[fond[fond][of[of]['s['s[whorel[whorel][person!D]]['s['s][mother]]]['s['s][dog]]]]]

    Step 17.

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

    Step 18.

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

    Step 19.

    Merge [d!case!N] and [we!D]
    Label from [d!case!N] (syntactic head with an unvalued uF)
    Inherit interpretable feature(s) [f(phi,[3,pl,mf])] from [we!D]
    [d!case!N] values D on [we!D]
    [we] values N on [d!case!N]
    Stream:[]
    Stack (⥥):
    SO:[d!case[d][we]]
    End substream, SO [d!case[d][we]] re-inserted into main stream

    Step 20.

    Stream:[[d!case[d][we]],[vbe],[Tpast!phi],[crel!rel!T!phi],[the!case!N]]
    Stack (⥥):['s['s[whorel[whorel][person!D]]['s['s][mother]]]['s['s][dog]]]
    [person!D]
    b
    SO:[fond[fond][of[of]['s['s[whorel[whorel][person!D]]['s['s][mother]]]['s['s][dog]]]]]

    Step 21.

    Merge [fond[fond][of[of..]['s..]]] and [d!case[d][we]]
    Label from [fond[fond][of[of..]['s..]]] (edge feature)
    Theta-mark [d!case[d][we]]
    Push [d!case[d][we]] (unvalued uF) onto stack
    Stream:[[vbe],[Tpast!phi],[crel!rel!T!phi],[the!case!N]]
    Stack (⥥):[d!case[d][we]]
    ['s['s[whorel[whorel][person!D]]['s['s][mother]]]['s['s][dog]]]
    [person!D]
    b
    SO:[fond[d!case[d][we]][fond[fond][of[of]['s['s[whorel[whorel][person!D]]['s['s][mother]]]['s['s][dog]]]]]]

    Step 22.

    Merge [vbe] and [fond[d!case[d..][we..]][fond[fond..][of..]]]
    Label from [vbe] (syntactic head merging with a non-head)
    Stream:[[Tpast!phi],[crel!rel!T!phi],[the!case!N]]
    Stack (⥥):[d!case[d][we]]
    ['s['s[whorel[whorel][person!D]]['s['s][mother]]]['s['s][dog]]]
    [person!D]
    b
    SO:[vbe[vbe][fond[d!case[d][we]][fond[fond][of[of]['s['s[whorel[whorel][person!D]]['s['s][mother]]]['s['s][dog]]]]]]]

    Step 23.

    Internal merge selected
    Merge [vbe[vbe][fond[d..][fond..]]] and [d!case[d][we]]
    Label from [vbe[vbe][fond[d..][fond..]]] (edge feature)
    Preference: [vbe] edge merge from the stack (not stream)
    Stream:[[Tpast!phi],[crel!rel!T!phi],[the!case!N]]
    Stack (⥥):[d!case[d][we]]
    ['s['s[whorel[whorel][person!D]]['s['s][mother]]]['s['s][dog]]]
    [person!D]
    b
    SO:[vbe[d!case[d][we]][vbe[vbe][fond[d[d][we]][fond[fond][of[of]['s['s[whorel[whorel][person!D]]['s['s][mother]]]['s['s][dog]]]]]]]]

    Step 24.

    Merge [Tpast!phi] and [vbe[d!case[d..][we..]][vbe[vbe..][fond..]]]
    Label from [Tpast!phi] (syntactic head merging with a non-head)
    [d!case[d][we]] values uPhi on [Tpast!phi]
    [Tpast] values nom case on [d!case[d][we]]
    Stream:[[crel!rel!T!phi],[the!case!N]]
    Stack (⥥):[d[d][we]]
    ['s['s[whorel[whorel][person!D]]['s['s][mother]]]['s['s][dog]]]
    [person!D]
    b
    SO:[Tpast[Tpast][vbe[d[d][we]][vbe[vbe][fond[d[d][we]][fond[fond][of[of]['s['s[whorel[whorel][person!D]]['s['s][mother]]]['s['s][dog]]]]]]]]]

    Step 25.

    Internal merge selected
    Merge [Tpast[Tpast][vbe[d..][vbe..]]] and [d[d][we]]
    Label from [Tpast[Tpast][vbe[d..][vbe..]]] (edge feature)
    Stream:[[crel!rel!T!phi],[the!case!N]]
    Stack (⥥):[d[d][we]]
    ['s['s[whorel[whorel][person!D]]['s['s][mother]]]['s['s][dog]]]
    [person!D]
    b
    SO:[Tpast[d[d][we]][Tpast[Tpast][vbe[d[d][we]][vbe[vbe][fond[d[d][we]][fond[fond][of[of]['s['s[whorel[whorel][person!D]]['s['s][mother]]]['s['s][dog]]]]]]]]]]

    Step 26.

    Merge [crel!rel!T!phi] and [Tpast[d[d..][we..]][Tpast[Tpast..][vbe..]]]
    Label from [crel!rel!T!phi] (syntactic head merging with a non-head)
    Relativized TOS search for iF(rel) skipping [d[d][we]]
    ['s['s[whorel..]['s..]]['s['s..][dog..]]] values rel on [crel!rel!T!phi]
    [d[d][we]] values T on [crel!T!phi]
    ['s['s[whorel..]['s..]]['s['s..][dog..]]] values phi on [crel!phi] (economy)
    [crel] values obq case on ['s['s[whorel..]['s..]]['s['s..][dog..]]]
    Internal merge selected
    Merge [crel[crel][Tpast[d..][Tpast..]]] and [d[d][we]]
    Label from [crel[crel][Tpast[d..][Tpast..]]] (edge feature)
    Merge [crel[d[d..][we..]][crel[crel..][Tpast..]]] and ['s['s[whorel..]['s..]]['s['s..][dog..]]]
    Label from [crel[d[d..][we..]][crel[crel..][Tpast..]]] (edge feature)
    Stream:[[the!case!N]]
    Stack (⥥):[d[d][we]]
    ['s['s[whorel[whorel][person!D]]['s['s][mother]]]['s['s][dog]]]
    [person!D]
    b
    SO:[crel['s['s[whorel[whorel][person!D]]['s['s][mother]]]['s['s][dog]]][crel[d[d][we]][crel[crel][Tpast[d[d][we]][Tpast[Tpast][vbe[d[d][we]][vbe[vbe][fond[d[d][we]][fond[fond][of[of]['s['s[whorel[whorel][person!D]]['s['s][mother]]]['s['s][dog]]]]]]]]]]]]]

    Step 27.

    Local Extent boundary at [crel['s['s..]['s..]][crel[d..][crel..]]]
    Stack element [person!D] with unvalued uF found
    New boundary (b) marker stacked
    Restack [person!D] onto stack
    Stream:[[the!case!N]]
    Stack (⥥):[person!D]
    b
    [d[d][we]]
    ['s['s[whorel[whorel][person!D]]['s['s][mother]]]['s['s][dog]]]
    b
    SO:[crel['s['s[whorel[whorel][person!D]]['s['s][mother]]]['s['s][dog]]][crel[d[d][we]][crel[crel][Tpast[d[d][we]][Tpast[Tpast][vbe[d[d][we]][vbe[vbe][fond[d[d][we]][fond[fond][of[of]['s['s[whorel[whorel][person!D]]['s['s][mother]]]['s['s][dog]]]]]]]]]]]]]

    Step 28.

    Merge [person!D] and [crel['s['s..]['s..]][crel[d..][crel..]]]
    Label from [person!D] (syntactic head merging with a non-head)
    Stream:[[the!case!N]]
    Stack (⥥):[person!D]
    b
    [d[d][we]]
    ['s['s[whorel[whorel][person!D]]['s['s][mother]]]['s['s][dog]]]
    b
    SO:[person!D[person!D][crel['s['s[whorel[whorel][person!D]]['s['s][mother]]]['s['s][dog]]][crel[d[d][we]][crel[crel][Tpast[d[d][we]][Tpast[Tpast][vbe[d[d][we]][vbe[vbe][fond[d[d][we]][fond[fond][of[of]['s['s[whorel[whorel][person!D]]['s['s][mother]]]['s['s][dog]]]]]]]]]]]]]]

    Step 29.

    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:[]
    Stack (⥥):[person]
    b
    [d[d][we]]
    ['s['s[whorel[whorel][person]]['s['s][mother]]]['s['s][dog]]]
    b
    SO:[the!case[the][person[person][crel['s['s[whorel[whorel][person]]['s['s][mother]]]['s['s][dog]]][crel[d[d][we]][crel[crel][Tpast[d[d][we]][Tpast[Tpast][vbe[d[d][we]][vbe[vbe][fond[d[d][we]][fond[fond][of[of]['s['s[whorel[whorel][person]]['s['s][mother]]]['s['s][dog]]]]]]]]]]]]]]]

    Parse:
    Spell-out:
    the person whose mother 's dog we -ed(pl) be fond of (after morpheme realization)
    the person whose mother 's dog we be -ed(pl) fond of (after affix-hop)
    the person whose mother 's dog we be -ed(pl) fond of (after morpheme realization, stage 2)
    the person whose mother 's dog we were fond of  

    Backtrack

    Stream:[[crel!rel!T!phi],[the!case!N]]
    Stack (⥥):[d[d][we]]
    ['s['s[whorel[whorel][person!D]]['s['s][mother]]]['s['s][dog]]]
    [person!D]
    b
    SO:[Tpast[d[d][we]][Tpast[Tpast][vbe[d[d][we]][vbe[vbe][fond[d[d][we]][fond[fond][of[of]['s['s[whorel[whorel][person!D]]['s['s][mother]]]['s['s][dog]]]]]]]]]]
    re-doing step 26

    Step 30.

    [crel!T!phi] attracts [Tpast[d[d..][we..]][Tpast[Tpast..][vbe..]]]
    ['s['s[whorel..]['s..]]['s['s..][dog..]]] values phi on [crel!phi] (economy)
    [crel] values obq case on ['s['s[whorel..]['s..]]['s['s..][dog..]]]
    Internal merge selected
    Merge [crel[crel][Tpast[d..][Tpast..]]] and [Tpast]
    Label from [crel[crel][Tpast[d..][Tpast..]]] (edge feature)
    Merge [crel[Tpast][crel[crel..][Tpast..]]] and ['s['s[whorel..]['s..]]['s['s..][dog..]]]
    Label from [crel[Tpast][crel[crel..][Tpast..]]] (edge feature)
    Stream:[[the!case!N]]
    Stack (⥥):[d[d][we]]
    ['s['s[whorel[whorel][person!D]]['s['s][mother]]]['s['s][dog]]]
    [person!D]
    b
    SO:[crel['s['s[whorel[whorel][person!D]]['s['s][mother]]]['s['s][dog]]][crel[Tpast][crel[crel][Tpast[d[d][we]][Tpast[Tpast][vbe[d[d][we]][vbe[vbe][fond[d[d][we]][fond[fond][of[of]['s['s[whorel[whorel][person!D]]['s['s][mother]]]['s['s][dog]]]]]]]]]]]]]

    Step 31.

    Local Extent boundary at [crel['s['s..]['s..]][crel[Tpast..][crel..]]]
    Stack element [person!D] with unvalued uF found
    New boundary (b) marker stacked
    Restack [person!D] onto stack
    Stream:[[the!case!N]]
    Stack (⥥):[person!D]
    b
    [d[d][we]]
    ['s['s[whorel[whorel][person!D]]['s['s][mother]]]['s['s][dog]]]
    b
    SO:[crel['s['s[whorel[whorel][person!D]]['s['s][mother]]]['s['s][dog]]][crel[Tpast][crel[crel][Tpast[d[d][we]][Tpast[Tpast][vbe[d[d][we]][vbe[vbe][fond[d[d][we]][fond[fond][of[of]['s['s[whorel[whorel][person!D]]['s['s][mother]]]['s['s][dog]]]]]]]]]]]]]

    Step 32.

    Merge [person!D] and [crel['s['s..]['s..]][crel[Tpast..][crel..]]]
    Label from [person!D] (syntactic head merging with a non-head)
    Stream:[[the!case!N]]
    Stack (⥥):[person!D]
    b
    [d[d][we]]
    ['s['s[whorel[whorel][person!D]]['s['s][mother]]]['s['s][dog]]]
    b
    SO:[person!D[person!D][crel['s['s[whorel[whorel][person!D]]['s['s][mother]]]['s['s][dog]]][crel[Tpast][crel[crel][Tpast[d[d][we]][Tpast[Tpast][vbe[d[d][we]][vbe[vbe][fond[d[d][we]][fond[fond][of[of]['s['s[whorel[whorel][person!D]]['s['s][mother]]]['s['s][dog]]]]]]]]]]]]]]

    Step 33.

    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:[]
    Stack (⥥):[person]
    b
    [d[d][we]]
    ['s['s[whorel[whorel][person]]['s['s][mother]]]['s['s][dog]]]
    b
    SO:[the!case[the][person[person][crel['s['s[whorel[whorel][person]]['s['s][mother]]]['s['s][dog]]][crel[Tpast][crel[crel][Tpast[d[d][we]][Tpast[Tpast][vbe[d[d][we]][vbe[vbe][fond[d[d][we]][fond[fond][of[of]['s['s[whorel[whorel][person]]['s['s][mother]]]['s['s][dog]]]]]]]]]]]]]]]

    Parse:
    Spell-out:
    the person whose mother 's dog that we -ed(pl) be fond of (after morpheme realization)
    the person whose mother 's dog that we be -ed(pl) fond of (after affix-hop)
    the person whose mother 's dog that we be -ed(pl) fond of (after morpheme realization, stage 2)
    the person whose mother 's dog that we were fond of  

    Backtrack

    Stream:[[of],[fond],[[we!D],[d!case!N]],[vbe],[Tpast!phi],[crel!rel!T!phi],[the!case!N]]
    Stack (⥥):[person!D]
    b
    SO:['s!case['s[whorel[whorel][person!D]]['s['s][mother]]]['s['s][dog]]]
    re-doing step 15

    Step 34.

    Push [of[of]['s['s..]['s..]]] (unvalued uF) onto stack
    Stream:[[fond],[[we!D],[d!case!N]],[vbe],[Tpast!phi],[crel!rel!T!phi],[the!case!N]]
    Stack (⥥):[of[of]['s['s[whorel[whorel][person!D]]['s['s][mother]]]['s['s][dog]]]]
    [person!D]
    b
    SO:[of[of]['s['s[whorel[whorel][person!D]]['s['s][mother]]]['s['s][dog]]]]

    Step 35.

    Merge [fond] and [of[of]['s['s..]['s..]]]
    Label from [fond] (syntactic head merging with a non-head)
    Stream:[[[we!D],[d!case!N]],[vbe],[Tpast!phi],[crel!rel!T!phi],[the!case!N]]
    Stack (⥥):[of[of]['s['s[whorel[whorel][person!D]]['s['s][mother]]]['s['s][dog]]]]
    [person!D]
    b
    SO:[fond[fond][of[of]['s['s[whorel[whorel][person!D]]['s['s][mother]]]['s['s][dog]]]]]

    Step 36.

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

    Step 37.

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

    Step 38.

    Merge [d!case!N] and [we!D]
    Label from [d!case!N] (syntactic head with an unvalued uF)
    Inherit interpretable feature(s) [f(phi,[3,pl,mf])] from [we!D]
    [d!case!N] values D on [we!D]
    [we] values N on [d!case!N]
    Stream:[]
    Stack (⥥):
    SO:[d!case[d][we]]
    End substream, SO [d!case[d][we]] re-inserted into main stream

    Step 39.

    Stream:[[d!case[d][we]],[vbe],[Tpast!phi],[crel!rel!T!phi],[the!case!N]]
    Stack (⥥):[of[of]['s['s[whorel[whorel][person!D]]['s['s][mother]]]['s['s][dog]]]]
    [person!D]
    b
    SO:[fond[fond][of[of]['s['s[whorel[whorel][person!D]]['s['s][mother]]]['s['s][dog]]]]]

    Step 40.

    Merge [fond[fond][of[of..]['s..]]] and [d!case[d][we]]
    Label from [fond[fond][of[of..]['s..]]] (edge feature)
    Theta-mark [d!case[d][we]]
    Push [d!case[d][we]] (unvalued uF) onto stack
    Stream:[[vbe],[Tpast!phi],[crel!rel!T!phi],[the!case!N]]
    Stack (⥥):[d!case[d][we]]
    [of[of]['s['s[whorel[whorel][person!D]]['s['s][mother]]]['s['s][dog]]]]
    [person!D]
    b
    SO:[fond[d!case[d][we]][fond[fond][of[of]['s['s[whorel[whorel][person!D]]['s['s][mother]]]['s['s][dog]]]]]]

    Step 41.

    Merge [vbe] and [fond[d!case[d..][we..]][fond[fond..][of..]]]
    Label from [vbe] (syntactic head merging with a non-head)
    Stream:[[Tpast!phi],[crel!rel!T!phi],[the!case!N]]
    Stack (⥥):[d!case[d][we]]
    [of[of]['s['s[whorel[whorel][person!D]]['s['s][mother]]]['s['s][dog]]]]
    [person!D]
    b
    SO:[vbe[vbe][fond[d!case[d][we]][fond[fond][of[of]['s['s[whorel[whorel][person!D]]['s['s][mother]]]['s['s][dog]]]]]]]

    Step 42.

    Internal merge selected
    Merge [vbe[vbe][fond[d..][fond..]]] and [d!case[d][we]]
    Label from [vbe[vbe][fond[d..][fond..]]] (edge feature)
    Preference: [vbe] edge merge from the stack (not stream)
    Stream:[[Tpast!phi],[crel!rel!T!phi],[the!case!N]]
    Stack (⥥):[d!case[d][we]]
    [of[of]['s['s[whorel[whorel][person!D]]['s['s][mother]]]['s['s][dog]]]]
    [person!D]
    b
    SO:[vbe[d!case[d][we]][vbe[vbe][fond[d[d][we]][fond[fond][of[of]['s['s[whorel[whorel][person!D]]['s['s][mother]]]['s['s][dog]]]]]]]]

    Step 43.

    Merge [Tpast!phi] and [vbe[d!case[d..][we..]][vbe[vbe..][fond..]]]
    Label from [Tpast!phi] (syntactic head merging with a non-head)
    [d!case[d][we]] values uPhi on [Tpast!phi]
    [Tpast] values nom case on [d!case[d][we]]
    Stream:[[crel!rel!T!phi],[the!case!N]]
    Stack (⥥):[d[d][we]]
    [of[of]['s['s[whorel[whorel][person!D]]['s['s][mother]]]['s['s][dog]]]]
    [person!D]
    b
    SO:[Tpast[Tpast][vbe[d[d][we]][vbe[vbe][fond[d[d][we]][fond[fond][of[of]['s['s[whorel[whorel][person!D]]['s['s][mother]]]['s['s][dog]]]]]]]]]

    Step 44.

    Internal merge selected
    Merge [Tpast[Tpast][vbe[d..][vbe..]]] and [d[d][we]]
    Label from [Tpast[Tpast][vbe[d..][vbe..]]] (edge feature)
    Stream:[[crel!rel!T!phi],[the!case!N]]
    Stack (⥥):[d[d][we]]
    [of[of]['s['s[whorel[whorel][person!D]]['s['s][mother]]]['s['s][dog]]]]
    [person!D]
    b
    SO:[Tpast[d[d][we]][Tpast[Tpast][vbe[d[d][we]][vbe[vbe][fond[d[d][we]][fond[fond][of[of]['s['s[whorel[whorel][person!D]]['s['s][mother]]]['s['s][dog]]]]]]]]]]

    Step 45.

    Merge [crel!rel!T!phi] and [Tpast[d[d..][we..]][Tpast[Tpast..][vbe..]]]
    Label from [crel!rel!T!phi] (syntactic head merging with a non-head)
    Relativized TOS search for iF(rel) skipping [d[d][we]]
    [of[of]['s['s..]['s..]]] values rel on [crel!rel!T!phi]
    [d[d][we]] values T on [crel!T!phi]
    [d[d][we]] values phi on [crel!phi] (economy)
    [crel] values obq case on [d[d][we]]
    Internal merge selected
    Merge [crel[crel][Tpast[d..][Tpast..]]] and [d[d][we]]
    Label from [crel[crel][Tpast[d..][Tpast..]]] (edge feature)
    Merge [crel[d[d..][we..]][crel[crel..][Tpast..]]] and [of[of]['s['s..]['s..]]]
    Label from [crel[d[d..][we..]][crel[crel..][Tpast..]]] (edge feature)
    Stream:[[the!case!N]]
    Stack (⥥):[d[d][we]]
    [of[of]['s['s[whorel[whorel][person!D]]['s['s][mother]]]['s['s][dog]]]]
    [person!D]
    b
    SO:[crel[of[of]['s['s[whorel[whorel][person!D]]['s['s][mother]]]['s['s][dog]]]][crel[d[d][we]][crel[crel][Tpast[d[d][we]][Tpast[Tpast][vbe[d[d][we]][vbe[vbe][fond[d[d][we]][fond[fond][of[of]['s['s[whorel[whorel][person!D]]['s['s][mother]]]['s['s][dog]]]]]]]]]]]]]

    Step 46.

    Local Extent boundary at [crel[of[of..]['s..]][crel[d..][crel..]]]
    Stack element [person!D] with unvalued uF found
    New boundary (b) marker stacked
    Restack [person!D] onto stack
    Stream:[[the!case!N]]
    Stack (⥥):[person!D]
    b
    [d[d][we]]
    [of[of]['s['s[whorel[whorel][person!D]]['s['s][mother]]]['s['s][dog]]]]
    b
    SO:[crel[of[of]['s['s[whorel[whorel][person!D]]['s['s][mother]]]['s['s][dog]]]][crel[d[d][we]][crel[crel][Tpast[d[d][we]][Tpast[Tpast][vbe[d[d][we]][vbe[vbe][fond[d[d][we]][fond[fond][of[of]['s['s[whorel[whorel][person!D]]['s['s][mother]]]['s['s][dog]]]]]]]]]]]]]

    Step 47.

    Merge [person!D] and [crel[of[of..]['s..]][crel[d..][crel..]]]
    Label from [person!D] (syntactic head merging with a non-head)
    Stream:[[the!case!N]]
    Stack (⥥):[person!D]
    b
    [d[d][we]]
    [of[of]['s['s[whorel[whorel][person!D]]['s['s][mother]]]['s['s][dog]]]]
    b
    SO:[person!D[person!D][crel[of[of]['s['s[whorel[whorel][person!D]]['s['s][mother]]]['s['s][dog]]]][crel[d[d][we]][crel[crel][Tpast[d[d][we]][Tpast[Tpast][vbe[d[d][we]][vbe[vbe][fond[d[d][we]][fond[fond][of[of]['s['s[whorel[whorel][person!D]]['s['s][mother]]]['s['s][dog]]]]]]]]]]]]]]

    Step 48.

    Merge [the!case!N] and [person!D[person!D][crel[of..][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[of..][crel..]]]
    [the!case!N] values D on [person!D[person!D][crel[of..][crel..]]]
    [person[person][crel[of..][crel..]]] values N on [the!case!N]
    Stream:[]
    Stack (⥥):[person]
    b
    [d[d][we]]
    [of[of]['s['s[whorel[whorel][person]]['s['s][mother]]]['s['s][dog]]]]
    b
    SO:[the!case[the][person[person][crel[of[of]['s['s[whorel[whorel][person]]['s['s][mother]]]['s['s][dog]]]][crel[d[d][we]][crel[crel][Tpast[d[d][we]][Tpast[Tpast][vbe[d[d][we]][vbe[vbe][fond[d[d][we]][fond[fond][of[of]['s['s[whorel[whorel][person]]['s['s][mother]]]['s['s][dog]]]]]]]]]]]]]]]

    Parse:
    Spell-out:
    Crash: sequence 'of whorel ' cannot be spelled out
    [crel!T!phi] attracts [Tpast[d[d..][we..]][Tpast[Tpast..][vbe..]]]
    [d[d][we]] values phi on [crel!phi]
    [d[d][we]] values uPhi on [crel!phi]
    Internal merge selected
    Merge [crel[crel][Tpast[d..][Tpast..]]] and [d[d][we]]
    Label from [crel[crel][Tpast[d..][Tpast..]]] (edge feature)
    Merge [crel[d[d..][we..]][crel[crel..][Tpast..]]] and [Tpast]
    Label from [crel[d[d..][we..]][crel[crel..][Tpast..]]] (edge feature)
    Merge [crel[Tpast][crel[d..][crel..]]] and [of[of]['s['s..]['s..]]]
    Label from [crel[Tpast][crel[d..][crel..]]] (edge feature)
    Stream:[[the!case!N]]
    Stack (⥥):[d[d][we]]
    [of[of]['s['s[whorel[whorel][person!D]]['s['s][mother]]]['s['s][dog]]]]
    [person!D]
    b
    SO:[crel[of[of]['s['s[whorel[whorel][person!D]]['s['s][mother]]]['s['s][dog]]]][crel[Tpast][crel[d[d][we]][crel[crel][Tpast[d[d][we]][Tpast[Tpast][vbe[d[d][we]][vbe[vbe][fond[d[d][we]][fond[fond][of[of]['s['s[whorel[whorel][person!D]]['s['s][mother]]]['s['s][dog]]]]]]]]]]]]]]

    Step 49.

    Local Extent boundary at [crel[of[of..]['s..]][crel[Tpast..][crel..]]]
    Stack element [person!D] with unvalued uF found
    New boundary (b) marker stacked
    Restack [person!D] onto stack
    Stream:[[the!case!N]]
    Stack (⥥):[person!D]
    b
    [d[d][we]]
    [of[of]['s['s[whorel[whorel][person!D]]['s['s][mother]]]['s['s][dog]]]]
    b
    SO:[crel[of[of]['s['s[whorel[whorel][person!D]]['s['s][mother]]]['s['s][dog]]]][crel[Tpast][crel[d[d][we]][crel[crel][Tpast[d[d][we]][Tpast[Tpast][vbe[d[d][we]][vbe[vbe][fond[d[d][we]][fond[fond][of[of]['s['s[whorel[whorel][person!D]]['s['s][mother]]]['s['s][dog]]]]]]]]]]]]]]

    Step 50.

    Merge [person!D] and [crel[of[of..]['s..]][crel[Tpast..][crel..]]]
    Label from [person!D] (syntactic head merging with a non-head)
    Stream:[[the!case!N]]
    Stack (⥥):[person!D]
    b
    [d[d][we]]
    [of[of]['s['s[whorel[whorel][person!D]]['s['s][mother]]]['s['s][dog]]]]
    b
    SO:[person!D[person!D][crel[of[of]['s['s[whorel[whorel][person!D]]['s['s][mother]]]['s['s][dog]]]][crel[Tpast][crel[d[d][we]][crel[crel][Tpast[d[d][we]][Tpast[Tpast][vbe[d[d][we]][vbe[vbe][fond[d[d][we]][fond[fond][of[of]['s['s[whorel[whorel][person!D]]['s['s][mother]]]['s['s][dog]]]]]]]]]]]]]]]

    Step 51.

    Merge [the!case!N] and [person!D[person!D][crel[of..][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[of..][crel..]]]
    [the!case!N] values D on [person!D[person!D][crel[of..][crel..]]]
    [person[person][crel[of..][crel..]]] values N on [the!case!N]
    Stream:[]
    Stack (⥥):[person]
    b
    [d[d][we]]
    [of[of]['s['s[whorel[whorel][person]]['s['s][mother]]]['s['s][dog]]]]
    b
    SO:[the!case[the][person[person][crel[of[of]['s['s[whorel[whorel][person]]['s['s][mother]]]['s['s][dog]]]][crel[Tpast][crel[d[d][we]][crel[crel][Tpast[d[d][we]][Tpast[Tpast][vbe[d[d][we]][vbe[vbe][fond[d[d][we]][fond[fond][of[of]['s['s[whorel[whorel][person]]['s['s][mother]]]['s['s][dog]]]]]]]]]]]]]]]]

    Parse:
    Spell-out:
    Crash: sequence 'of whorel ' cannot be spelled out
    4 derivations found.
    Computational Cost:
    Merge: 39, Agree: 38, Unify: 0, Push: 5, Boundaries: 6, Inject: 6
    Non-TOS access: 2, Pop: 0, Depth cost: 104
    Step:012345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152
    Stack depth:00000000101201233000344444455545553300034444445554555

    Back to top