Minimalist Machine Derivations

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

Examples:

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

    Animation:
    (33c') the man who Patrick bought the house of
    cf. *the man of who Patrick bought the house

    Derivation:
    (33c') the man who Patrick bought the house of
    cf. *the man of who Patrick bought the house

    Stream:[[man!D],[whorel!case!N],[of],[house!D],[the!case!N],[buy],[v*!phi],[[patrick!D],[d!case!N]],[Tpast!phi],[crel!rel!T!phi],[the!case!N]]
    Stack (⥥):
    SO:[]

    Step 1.

    Head of stream [man!D] is the initial SO
    Stream:[[whorel!case!N],[of],[house!D],[the!case!N],[buy],[v*!phi],[[patrick!D],[d!case!N]],[Tpast!phi],[crel!rel!T!phi],[the!case!N]]
    Stack (⥥):
    SO:[man!D]

    Step 2.

    Merge [whorel!case!N] and [man!D]
    Label from [whorel!case!N] (syntactic head with an unvalued uF)
    Inherit interpretable feature(s) [f(phi,[3,sg,n])] from [man!D]
    [man!D] values N on [whorel!case!N]
    Push [man!D] (unvalued uF) onto stack
    Stream:[[of],[house!D],[the!case!N],[buy],[v*!phi],[[patrick!D],[d!case!N]],[Tpast!phi],[crel!rel!T!phi],[the!case!N]]
    Stack (⥥):[man!D]
    SO:[whorel!case[whorel][man!D]]

    Step 3.

    Merge [of] and [whorel!case[whorel][man!D]]
    Label from [of] (syntactic head merging with a non-head)
    Theta-mark [whorel!case[whorel][man!D]]
    [of] values obq case on [whorel!case[whorel][man!D]]
    Push [whorel[whorel][man!D]] (unvalued uF) onto stack
    Stream:[[house!D],[the!case!N],[buy],[v*!phi],[[patrick!D],[d!case!N]],[Tpast!phi],[crel!rel!T!phi],[the!case!N]]
    Stack (⥥):[whorel[whorel][man!D]]
    [man!D]
    SO:[of[of][whorel[whorel][man!D]]]

    Step 4.

    Merge [house!D] and [of[of][whorel[whorel..][man..]]]
    Label from [house!D] (syntactic head merging with a non-head)
    Stream:[[the!case!N],[buy],[v*!phi],[[patrick!D],[d!case!N]],[Tpast!phi],[crel!rel!T!phi],[the!case!N]]
    Stack (⥥):[whorel[whorel][man!D]]
    [man!D]
    SO:[house!D[house!D][of[of][whorel[whorel][man!D]]]]

    Step 5.

    Merge [the!case!N] and [house!D[house!D][of[of..][whorel..]]]
    Label from [the!case!N] (syntactic head merging with a non-head)
    Inherit interpretable feature(s) [f(phi,[3,sg,n])] from [house!D[house!D][of[of..][whorel..]]]
    [the!case!N] values D on [house!D[house!D][of[of..][whorel..]]]
    [house[house][of[of..][whorel..]]] values N on [the!case!N]
    Stream:[[buy],[v*!phi],[[patrick!D],[d!case!N]],[Tpast!phi],[crel!rel!T!phi],[the!case!N]]
    Stack (⥥):[whorel[whorel][man!D]]
    [man!D]
    SO:[the!case[the][house[house][of[of][whorel[whorel][man!D]]]]]

    Step 6.

    Merge [buy] and [the!case[the][house[house..][of..]]]
    Label from [buy] (syntactic head merging with a non-head)
    Theta-mark [the!case[the][house[house..][of..]]]
    Push [the!case[the][house[house..][of..]]] (unvalued uF) onto stack
    Stream:[[v*!phi],[[patrick!D],[d!case!N]],[Tpast!phi],[crel!rel!T!phi],[the!case!N]]
    Stack (⥥):[the!case[the][house[house][of[of][whorel[whorel][man!D]]]]]
    [whorel[whorel][man!D]]
    [man!D]
    SO:[buy[buy][the!case[the][house[house][of[of][whorel[whorel][man!D]]]]]]

    Step 7.

    Merge [v*!phi] and [buy[buy][the!case[the..][house..]]]
    Label from [v*!phi] (syntactic head merging with a non-head)
    [the!case[the][house[house..][of..]]] values uPhi on [v*!phi]
    [v*] values acc case on [the!case[the][house[house..][of..]]]
    Stream:[[[patrick!D],[d!case!N]],[Tpast!phi],[crel!rel!T!phi],[the!case!N]]
    Stack (⥥):[the[the][house[house][of[of][whorel[whorel][man!D]]]]]
    [whorel[whorel][man!D]]
    [man!D]
    SO:[v*[v*][buy[buy][the[the][house[house][of[of][whorel[whorel][man!D]]]]]]]

    Step 8.

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

    Step 9.

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

    Step 10.

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

    Step 11.

    Stream:[[d!case[d][patrick]],[Tpast!phi],[crel!rel!T!phi],[the!case!N]]
    Stack (⥥):[the[the][house[house][of[of][whorel[whorel][man!D]]]]]
    [whorel[whorel][man!D]]
    [man!D]
    SO:[v*[v*][buy[buy][the[the][house[house][of[of][whorel[whorel][man!D]]]]]]]

    Step 12.

    Merge [v*[v*][buy[buy..][the..]]] and [d!case[d][patrick]]
    Label from [v*[v*][buy[buy..][the..]]] (edge feature)
    Theta-mark [d!case[d][patrick]]
    Push [d!case[d][patrick]] (unvalued uF) onto stack
    Stream:[[Tpast!phi],[crel!rel!T!phi],[the!case!N]]
    Stack (⥥):[d!case[d][patrick]]
    [the[the][house[house][of[of][whorel[whorel][man!D]]]]]
    [whorel[whorel][man!D]]
    [man!D]
    SO:[v*[d!case[d][patrick]][v*[v*][buy[buy][the[the][house[house][of[of][whorel[whorel][man!D]]]]]]]]

    Step 13.

    Merge [Tpast!phi] and [v*[d!case[d..][patrick..]][v*[v*..][buy..]]]
    Label from [Tpast!phi] (syntactic head merging with a non-head)
    [d!case[d][patrick]] values uPhi on [Tpast!phi]
    [Tpast] values nom case on [d!case[d][patrick]]
    Stream:[[crel!rel!T!phi],[the!case!N]]
    Stack (⥥):[d[d][patrick]]
    [the[the][house[house][of[of][whorel[whorel][man!D]]]]]
    [whorel[whorel][man!D]]
    [man!D]
    SO:[Tpast[Tpast][v*[d[d][patrick]][v*[v*][buy[buy][the[the][house[house][of[of][whorel[whorel][man!D]]]]]]]]]

    Step 14.

    Internal merge selected
    Merge [Tpast[Tpast][v*[d..][v*..]]] and [d[d][patrick]]
    Label from [Tpast[Tpast][v*[d..][v*..]]] (edge feature)
    Stream:[[crel!rel!T!phi],[the!case!N]]
    Stack (⥥):[d[d][patrick]]
    [the[the][house[house][of[of][whorel[whorel][man!D]]]]]
    [whorel[whorel][man!D]]
    [man!D]
    SO:[Tpast[d[d][patrick]][Tpast[Tpast][v*[d[d][patrick]][v*[v*][buy[buy][the[the][house[house][of[of][whorel[whorel][man!D]]]]]]]]]]

    Step 15.

    Merge [crel!rel!T!phi] and [Tpast[d[d..][patrick..]][Tpast[Tpast..][v*..]]]
    Label from [crel!rel!T!phi] (syntactic head merging with a non-head)
    Relativized TOS search for iF(rel) skipping [d[d][patrick]]
    Relativized TOS search for iF(rel) skipping [the[the][house[house..][of..]]]
    [whorel[whorel][man!D]] values rel on [crel!rel!T!phi]
    [whorel[whorel][man!D]] values T on [crel!T!phi] (economy)
    [whorel[whorel][man!D]] values phi on [crel!phi] (economy)
    [crel] values obq case on [whorel[whorel][man!D]]
    Internal merge selected
    Merge [crel[crel][Tpast[d..][Tpast..]]] and [whorel[whorel][man!D]]
    Label from [crel[crel][Tpast[d..][Tpast..]]] (edge feature)
    Stream:[[the!case!N]]
    Stack (⥥):[d[d][patrick]]
    [the[the][house[house][of[of][whorel[whorel][man!D]]]]]
    [whorel[whorel][man!D]]
    [man!D]
    SO:[crel[whorel[whorel][man!D]][crel[crel][Tpast[d[d][patrick]][Tpast[Tpast][v*[d[d][patrick]][v*[v*][buy[buy][the[the][house[house][of[of][whorel[whorel][man!D]]]]]]]]]]]]

    Step 16.

    Local Extent boundary at [crel[whorel[whorel..][man..]][crel[crel..][Tpast..]]]
    Stack element [man!D] with unvalued uF found
    New boundary (b) marker stacked
    Restack [man!D] onto stack
    Stream:[[the!case!N]]
    Stack (⥥):[man!D]
    b
    [d[d][patrick]]
    [the[the][house[house][of[of][whorel[whorel][man!D]]]]]
    [whorel[whorel][man!D]]
    SO:[crel[whorel[whorel][man!D]][crel[crel][Tpast[d[d][patrick]][Tpast[Tpast][v*[d[d][patrick]][v*[v*][buy[buy][the[the][house[house][of[of][whorel[whorel][man!D]]]]]]]]]]]]

    Step 17.

    Merge [man!D] and [crel[whorel[whorel..][man..]][crel[crel..][Tpast..]]]
    Label from [man!D] (syntactic head merging with a non-head)
    Stream:[[the!case!N]]
    Stack (⥥):[man!D]
    b
    [d[d][patrick]]
    [the[the][house[house][of[of][whorel[whorel][man!D]]]]]
    [whorel[whorel][man!D]]
    SO:[man!D[man!D][crel[whorel[whorel][man!D]][crel[crel][Tpast[d[d][patrick]][Tpast[Tpast][v*[d[d][patrick]][v*[v*][buy[buy][the[the][house[house][of[of][whorel[whorel][man!D]]]]]]]]]]]]]

    Step 18.

    Merge [the!case!N] and [man!D[man!D][crel[whorel..][crel..]]]
    Label from [the!case!N] (syntactic head merging with a non-head)
    Inherit interpretable feature(s) [f(phi,[3,sg,n])] from [man!D[man!D][crel[whorel..][crel..]]]
    [the!case!N] values D on [man!D[man!D][crel[whorel..][crel..]]]
    [man[man][crel[whorel..][crel..]]] values N on [the!case!N]
    Stream:[]
    Stack (⥥):[man]
    b
    [d[d][patrick]]
    [the[the][house[house][of[of][whorel[whorel][man]]]]]
    [whorel[whorel][man]]
    SO:[the!case[the][man[man][crel[whorel[whorel][man]][crel[crel][Tpast[d[d][patrick]][Tpast[Tpast][v*[d[d][patrick]][v*[v*][buy[buy][the[the][house[house][of[of][whorel[whorel][man]]]]]]]]]]]]]]

    Parse:
    Spell-out:
    the man who Patrick -ed(sg) buy the house of (after morpheme realization)
    the man who Patrick buy -ed(sg) the house of (after affix-hop)
    the man who Patrick buy -ed(sg) the house of (after morpheme realization, stage 2)
    the man who Patrick bought the house of  

    Backtrack

    Stream:[[of],[house!D],[the!case!N],[buy],[v*!phi],[[patrick!D],[d!case!N]],[Tpast!phi],[crel!rel!T!phi],[the!case!N]]
    Stack (⥥):[man!D]
    SO:[whorel!case[whorel][man!D]]
    re-doing step 3

    Step 19.

    Push [of[of][whorel[whorel..][man..]]] (unvalued uF) onto stack
    Stream:[[house!D],[the!case!N],[buy],[v*!phi],[[patrick!D],[d!case!N]],[Tpast!phi],[crel!rel!T!phi],[the!case!N]]
    Stack (⥥):[of[of][whorel[whorel][man!D]]]
    [man!D]
    SO:[of[of][whorel[whorel][man!D]]]

    Step 20.

    Merge [house!D] and [of[of][whorel[whorel..][man..]]]
    Label from [house!D] (syntactic head merging with a non-head)
    Stream:[[the!case!N],[buy],[v*!phi],[[patrick!D],[d!case!N]],[Tpast!phi],[crel!rel!T!phi],[the!case!N]]
    Stack (⥥):[of[of][whorel[whorel][man!D]]]
    [man!D]
    SO:[house!D[house!D][of[of][whorel[whorel][man!D]]]]

    Step 21.

    Merge [the!case!N] and [house!D[house!D][of[of..][whorel..]]]
    Label from [the!case!N] (syntactic head merging with a non-head)
    Inherit interpretable feature(s) [f(phi,[3,sg,n])] from [house!D[house!D][of[of..][whorel..]]]
    [the!case!N] values D on [house!D[house!D][of[of..][whorel..]]]
    [house[house][of[of..][whorel..]]] values N on [the!case!N]
    Stream:[[buy],[v*!phi],[[patrick!D],[d!case!N]],[Tpast!phi],[crel!rel!T!phi],[the!case!N]]
    Stack (⥥):[of[of][whorel[whorel][man!D]]]
    [man!D]
    SO:[the!case[the][house[house][of[of][whorel[whorel][man!D]]]]]

    Step 22.

    Merge [buy] and [the!case[the][house[house..][of..]]]
    Label from [buy] (syntactic head merging with a non-head)
    Theta-mark [the!case[the][house[house..][of..]]]
    Push [the!case[the][house[house..][of..]]] (unvalued uF) onto stack
    Stream:[[v*!phi],[[patrick!D],[d!case!N]],[Tpast!phi],[crel!rel!T!phi],[the!case!N]]
    Stack (⥥):[the!case[the][house[house][of[of][whorel[whorel][man!D]]]]]
    [of[of][whorel[whorel][man!D]]]
    [man!D]
    SO:[buy[buy][the!case[the][house[house][of[of][whorel[whorel][man!D]]]]]]

    Step 23.

    Merge [v*!phi] and [buy[buy][the!case[the..][house..]]]
    Label from [v*!phi] (syntactic head merging with a non-head)
    [the!case[the][house[house..][of..]]] values uPhi on [v*!phi]
    [v*] values acc case on [the!case[the][house[house..][of..]]]
    Stream:[[[patrick!D],[d!case!N]],[Tpast!phi],[crel!rel!T!phi],[the!case!N]]
    Stack (⥥):[the[the][house[house][of[of][whorel[whorel][man!D]]]]]
    [of[of][whorel[whorel][man!D]]]
    [man!D]
    SO:[v*[v*][buy[buy][the[the][house[house][of[of][whorel[whorel][man!D]]]]]]]

    Step 24.

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

    Step 25.

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

    Step 26.

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

    Step 27.

    Stream:[[d!case[d][patrick]],[Tpast!phi],[crel!rel!T!phi],[the!case!N]]
    Stack (⥥):[the[the][house[house][of[of][whorel[whorel][man!D]]]]]
    [of[of][whorel[whorel][man!D]]]
    [man!D]
    SO:[v*[v*][buy[buy][the[the][house[house][of[of][whorel[whorel][man!D]]]]]]]

    Step 28.

    Merge [v*[v*][buy[buy..][the..]]] and [d!case[d][patrick]]
    Label from [v*[v*][buy[buy..][the..]]] (edge feature)
    Theta-mark [d!case[d][patrick]]
    Push [d!case[d][patrick]] (unvalued uF) onto stack
    Stream:[[Tpast!phi],[crel!rel!T!phi],[the!case!N]]
    Stack (⥥):[d!case[d][patrick]]
    [the[the][house[house][of[of][whorel[whorel][man!D]]]]]
    [of[of][whorel[whorel][man!D]]]
    [man!D]
    SO:[v*[d!case[d][patrick]][v*[v*][buy[buy][the[the][house[house][of[of][whorel[whorel][man!D]]]]]]]]

    Step 29.

    Merge [Tpast!phi] and [v*[d!case[d..][patrick..]][v*[v*..][buy..]]]
    Label from [Tpast!phi] (syntactic head merging with a non-head)
    [d!case[d][patrick]] values uPhi on [Tpast!phi]
    [Tpast] values nom case on [d!case[d][patrick]]
    Stream:[[crel!rel!T!phi],[the!case!N]]
    Stack (⥥):[d[d][patrick]]
    [the[the][house[house][of[of][whorel[whorel][man!D]]]]]
    [of[of][whorel[whorel][man!D]]]
    [man!D]
    SO:[Tpast[Tpast][v*[d[d][patrick]][v*[v*][buy[buy][the[the][house[house][of[of][whorel[whorel][man!D]]]]]]]]]

    Step 30.

    Internal merge selected
    Merge [Tpast[Tpast][v*[d..][v*..]]] and [d[d][patrick]]
    Label from [Tpast[Tpast][v*[d..][v*..]]] (edge feature)
    Stream:[[crel!rel!T!phi],[the!case!N]]
    Stack (⥥):[d[d][patrick]]
    [the[the][house[house][of[of][whorel[whorel][man!D]]]]]
    [of[of][whorel[whorel][man!D]]]
    [man!D]
    SO:[Tpast[d[d][patrick]][Tpast[Tpast][v*[d[d][patrick]][v*[v*][buy[buy][the[the][house[house][of[of][whorel[whorel][man!D]]]]]]]]]]

    Step 31.

    Merge [crel!rel!T!phi] and [Tpast[d[d..][patrick..]][Tpast[Tpast..][v*..]]]
    Label from [crel!rel!T!phi] (syntactic head merging with a non-head)
    Relativized TOS search for iF(rel) skipping [d[d][patrick]]
    Relativized TOS search for iF(rel) skipping [the[the][house[house..][of..]]]
    [of[of][whorel[whorel..][man..]]] values rel on [crel!rel!T!phi]
    [of[of][whorel[whorel..][man..]]] values T on [crel!T!phi] (economy)
    [d[d][patrick]] values phi on [crel!phi]
    [d[d][patrick]] values uPhi on [crel!phi]
    Internal merge selected
    Merge [crel[crel][Tpast[d..][Tpast..]]] and [d[d][patrick]]
    Label from [crel[crel][Tpast[d..][Tpast..]]] (edge feature)
    Merge [crel[d[d..][patrick..]][crel[crel..][Tpast..]]] and [of[of][whorel[whorel..][man..]]]
    Label from [crel[d[d..][patrick..]][crel[crel..][Tpast..]]] (edge feature)
    Stream:[[the!case!N]]
    Stack (⥥):[d[d][patrick]]
    [the[the][house[house][of[of][whorel[whorel][man!D]]]]]
    [of[of][whorel[whorel][man!D]]]
    [man!D]
    SO:[crel[of[of][whorel[whorel][man!D]]][crel[d[d][patrick]][crel[crel][Tpast[d[d][patrick]][Tpast[Tpast][v*[d[d][patrick]][v*[v*][buy[buy][the[the][house[house][of[of][whorel[whorel][man!D]]]]]]]]]]]]]

    Step 32.

    Local Extent boundary at [crel[of[of..][whorel..]][crel[d..][crel..]]]
    Stack element [man!D] with unvalued uF found
    New boundary (b) marker stacked
    Restack [man!D] onto stack
    Stream:[[the!case!N]]
    Stack (⥥):[man!D]
    b
    [d[d][patrick]]
    [the[the][house[house][of[of][whorel[whorel][man!D]]]]]
    [of[of][whorel[whorel][man!D]]]
    SO:[crel[of[of][whorel[whorel][man!D]]][crel[d[d][patrick]][crel[crel][Tpast[d[d][patrick]][Tpast[Tpast][v*[d[d][patrick]][v*[v*][buy[buy][the[the][house[house][of[of][whorel[whorel][man!D]]]]]]]]]]]]]

    Step 33.

    Merge [man!D] and [crel[of[of..][whorel..]][crel[d..][crel..]]]
    Label from [man!D] (syntactic head merging with a non-head)
    Stream:[[the!case!N]]
    Stack (⥥):[man!D]
    b
    [d[d][patrick]]
    [the[the][house[house][of[of][whorel[whorel][man!D]]]]]
    [of[of][whorel[whorel][man!D]]]
    SO:[man!D[man!D][crel[of[of][whorel[whorel][man!D]]][crel[d[d][patrick]][crel[crel][Tpast[d[d][patrick]][Tpast[Tpast][v*[d[d][patrick]][v*[v*][buy[buy][the[the][house[house][of[of][whorel[whorel][man!D]]]]]]]]]]]]]]

    Step 34.

    Merge [the!case!N] and [man!D[man!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 [man!D[man!D][crel[of..][crel..]]]
    [the!case!N] values D on [man!D[man!D][crel[of..][crel..]]]
    [man[man][crel[of..][crel..]]] values N on [the!case!N]
    Stream:[]
    Stack (⥥):[man]
    b
    [d[d][patrick]]
    [the[the][house[house][of[of][whorel[whorel][man]]]]]
    [of[of][whorel[whorel][man]]]
    SO:[the!case[the][man[man][crel[of[of][whorel[whorel][man]]][crel[d[d][patrick]][crel[crel][Tpast[d[d][patrick]][Tpast[Tpast][v*[d[d][patrick]][v*[v*][buy[buy][the[the][house[house][of[of][whorel[whorel][man]]]]]]]]]]]]]]]

    Parse:
    Spell-out:
    Crash: sequence 'of whorel ' cannot be spelled out
    2 derivations found.
    Computational Cost:
    Merge: 27, Agree: 30, Unify: 0, Push: 7, Boundaries: 2, Inject: 2
    Non-TOS access: 4, Pop: 0, Depth cost: 66
    Step:012345678910111213141516171819202122232425262728293031323334
    Stack depth:00122233000344445552223300034444555

    Back to top