Minimalist Machine Derivations

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

Examples:

  • Computation with doubling constituents: Pronouns and antecedents in Phase Theory. (Fong & Ginsburg, 2012). collapse
    Example Instruction stream (clickable) Notes
    (4)(a) John1 thinks he1 is smart
    John1 thinks that he1 is smart    		 [john, d, he, d, smart, v_be, 'T', c_e, think, v_unerg, 'T', c] Doubling constituent (DC) he-John.
    Local Extent (LE) boundary (b) at embedded CeP triggers stacking of John.
    vunerg picks up TOS John.
    Two derivations due to T-to-C movement (Pesetsky & Torrego, 2001).
    (5)(a) *John1 praises him1 [john, d, he, d, praise, 'v*', 'T', c] Does not converge.
    DC he-John.
    John not on the stack, not available for theta-merge.
    (No LE boundary, no stacking triggered.)
    (6)(a) John1 praises himself1 [john, d, he, self, praise, 'v*', 'T', c] Determiner self heads a LE.
    Completion of DC self-he-John triggers stacking of John.
    [Note: stack elements introduced by self are subject to the condition that they may only be stacked once, i.e. must be "used" (merged) in the current LE. See example (8a).]
    v* picks up TOS John.
    (7)(a) John1 thinks that Mary likes him1
    John1 thinks Mary likes him1    		 [john, d, he, d, like, 'v*', [mary, d], 'T', c_e, think, v_unerg, 'T', c] DC he-John.
    LE boundary (b) at embedded CeP triggers stacking of John.
    vunerg merges TOS John to its edge.
    Two derivations due to T-to-C movement (Pesetsky & Torrego, 2001).
    (8)(a) *John1 thinks that Mary likes himself1 [john, d, he, self, like, 'v*', [mary, d], 'T', c_e, think, v_unerg, 'T', c] Does not converge.
    LE boundary (b) at DC self-he-John stacking of John.
    [Stack elements introduced by self are subject to the condition that they may only be stacked once, i.e. must be "used" (merged) in the current LE.]
    Edge of v* preferentially merges Mary from the stream.
    At the next LE boundary, embedded CeP, John cannot be re-stacked, and falls behind the LE boundary (b).
    Search past a LE boundary (b) is not permitted.
    Derivation crashes since edge of matrix v* cannot see John on the stack.
    (29) John1 thinks that Peter thinks that Mary thinks that Bill likes him1 [john, d, he, d, like, 'v*', [bill, d], 'T', c_e, think, v_unerg, [mary, d], 'T', c_e, think, v_unerg, [peter, d], 'T', c_e, think, v_unerg, 'T', c] DC he-John.
    CeP triggers stacking of John.
    v* preferentially merges from the stream: Mary and Peter will be preferred over John on the stack.
    At each intermediate LE boundary, CeP, John will be re-stacked in front of the boundary mark (b).
    Matrix vunerg picks up TOS John.
    (No competition from the stream at this point.)
    Eight derivations due to T-to-C movement for each sub-clause (Pesetsky & Torrego, 2001).
    (32) ?John thinks that Peter1 thinks that Mary thinks that Bill likes him1 [peter, d, he, d, like, 'v*', [bill, d], 'T', c_e, think, v_unerg, [mary, d], 'T', c_e, think, v_unerg, 'T', c_e, think, v_unerg, [john, d], 'T', c] DC he-Peter.
    Derivation proceeds as in (29) above, except no competition from the stream for v* theta-merge in 1st embedded clause (cf. matrix v*).
    (38) John1 considers himself1 to be intelligent [john, d, he, self, intelligent, v_be, 'Tinf', consider, 'v*', 'T', c] DC self-he-John forms a LE boundary.
    John is stacked (but cannot be restacked).
    Complement of ECM verb consider is not a CP, and thus not a LE boundary.
    Matrix v* picks up TOS John .
    (9)(a) *John1 considers him1 to be intelligent [john, d, he, d, intelligent, v_be, 'Tinf', consider, 'v*', 'T', c] Does not converge.
    DC he-John.
    The complement of ECM verb consider is not a LE boundary.
    No stacking triggered.
    John not on stack, not available for theta-merge at matrix v*.
    (40) *John1 thinks heself1 is smart [john, d, he, self, smart, v_be, 'T', c_e, think, v_unerg, 'T', c] Does not converge.
    DC self-he-John forms a LE boundary.
    John is stacked (but not permitted to be restacked).
    At the next LE boundary, CeP, John cannot be restacked, and falls behinds the boundary marker (b).
    Matrix vunerg fails to find John on the stack.
    (42)(a) John1 likes his1 dog [dog, '\'s', [john, d, he, d], like, 'v*', 'T', c] DC he-John.
    's heads a LE.
    DP he-John's dog triggers stacking of John.
    Merge likes and he-John's dog triggers stacking of he-John's dog (uCase).
    [Note: if [A .. [B ..]] is pushed onto the stack, and [B ..] from a substream is already on the stack, A subsumes B and renders B unavailable on the stack. (See On Phases examples.) ]
    John is a subconstituent of he-John's dog but John, although formed in a substream, is only stacked visibly in the mainstream.
    Constraint does not apply.
    Matrix v* picks up TOS John.
    (42)(b) *John1 likes himself1's dog [dog, '\'s', [john, d, he, self], like, 'v*', 'T', c] DC self-he-John marks a LE boundary.
    John is stacked (but not permitted to be restacked).
    's heads the next LE boundary.
    Since John cannot be restacked, it falls behind the boundary marker (b) and is inaccessible to matrix v*.
    (45)(a) *Hannah1 found a picture of her1 [hannah, d, she, d, of, picture, a, find, 'v*', 'Tpast', c] Does not converge.
    DC she-Hannah.
    Hannah not on the stack, not available for theta-merge.
    (No LE boundary, no stacking triggered.)
    (45)(b) Hannah1 found a picture of herself1 [hannah, d, she, self, of, picture, a, find, 'v*', 'Tpast', c] Determiner self heads a LE.
    Completion of DC self-she-Hannah triggers stacking of Hannah.
    v* picks up TOS Hannah.
    (45)(c) *Hannah found Peter1's picture of him1 [peter, d, he, d, of, picture, '\'s', find, 'v*', [hannah, d], 'Tpast', c] Does not converge.
    DC he-Peter.
    Peter not on the stack, not available for theta-merge.
    (No LE boundary, no stacking triggered.)
    (45)(d) Hannah found Peter1's picture of himself1 [peter, d, he, self, of, picture, '\'s', find, 'v*', [hannah, d], 'Tpast', c] Determiner self heads a LE.
    DP self-he-Peter triggers stacking of Peter.
    's edge theta-merges with TOS Peter.
    (45)(e) Hannah1 found Peter's picture of her1 [hannah, d, she, d, of, picture, '\'s', [peter, d], find, 'v*','Tpast', c] DC she-Hannah.
    's heads a LE.
    DP Peter's picture of her-Hannah triggers stacking of Hannah.
    v* picks up TOS Hannah.
    (45)(f) Hannah1 found Peter's picture of herself1 [hannah, d, she, self, of, picture, '\'s', [peter, d], find, 'v*','Tpast', c] Does not converge.
    Determiner self heads a LE.
    Completion of DC self-she-Hannah triggers stacking of Hannah.
    [Stack elements introduced by self are subject to the condition that they may only be stacked once, i.e. must be "used" (merged) in the current LE.]
    's heads a LE Peter's picture of self-she-Hannah.
    Since Hannah cannot be restacked, it falls behind the boundary marker (b) and is inaccessible to matrix v*.
    Extra test cases
    (x1) John1 thinks he1 likes Mary
    John1 thinks that he1 likes Mary     		[mary, d, like, 'v*', [john, d, he, d], 'T', c_e, think, v_unerg, 'T', c] DC he-John.
    LE boundary at CeP triggers stacking of John.
    vunerg picks up TOS John.
    Two derivations due to T-to-C movement (Pesetsky & Torrego, 2001).
    • Machine Parameters: expand

    Animation:
    (29) John1 thinks that Peter thinks that Mary thinks that Bill likes him1

    Derivation:
    (29) John1 thinks that Peter thinks that Mary thinks that Bill likes him1

    Stream:[[john!D],[d!case!N],[he!D],[d!case!N],[like],[v*!phi],[[bill!D],[d!case!N]],[T!phi],[ce!T],[think],[vunerg],[[mary!D],[d!case!N]],[T!phi],[ce!T],[think],[vunerg],[[peter!D],[d!case!N]],[T!phi],[ce!T],[think],[vunerg],[T!phi],[c]]
    Stack (⥥):
    SO:[]

    Step 1.

    Head of stream [john!D] is the initial SO
    Stream:[[d!case!N],[he!D],[d!case!N],[like],[v*!phi],[[bill!D],[d!case!N]],[T!phi],[ce!T],[think],[vunerg],[[mary!D],[d!case!N]],[T!phi],[ce!T],[think],[vunerg],[[peter!D],[d!case!N]],[T!phi],[ce!T],[think],[vunerg],[T!phi],[c]]
    Stack (⥥):
    SO:[john!D]

    Step 2.

    Merge [d!case!N] and [john!D]
    Label from [d!case!N] (head with an unvalued uF)
    Inherit interpretable feature(s) [f(phi,[3,sg,n])] from [john!D]
    [d!case!N] values D on [john!D]
    [john] values N on [d!case!N]
    Stream:[[he!D],[d!case!N],[like],[v*!phi],[[bill!D],[d!case!N]],[T!phi],[ce!T],[think],[vunerg],[[mary!D],[d!case!N]],[T!phi],[ce!T],[think],[vunerg],[[peter!D],[d!case!N]],[T!phi],[ce!T],[think],[vunerg],[T!phi],[c]]
    Stack (⥥):
    SO:[d!case[d][john]]
    Doubling Constitutent (DC) merge

    Step 3.

    Merge [he!D] and [d!case[d][john]]
    Label from [he!D] (head merging with a non-head)
    Push [d!case[d][john]] (unvalued uF) onto stack
    Stream:[[d!case!N],[like],[v*!phi],[[bill!D],[d!case!N]],[T!phi],[ce!T],[think],[vunerg],[[mary!D],[d!case!N]],[T!phi],[ce!T],[think],[vunerg],[[peter!D],[d!case!N]],[T!phi],[ce!T],[think],[vunerg],[T!phi],[c]]
    Stack (⥥):inactive([d!case[d][john]])
    SO:[he!D[he!D][d!case[d][john]]]

    Step 4.

    Merge [d!case!N] and [he!D[he!D][d!case[d..][john..]]]
    Label from [d!case!N] (head merging with a non-head)
    Inherit interpretable feature(s) [f(phi,[3,sg,m])] from [he!D[he!D][d!case[d..][john..]]]
    [d!case!N] values D on [he!D[he!D][d!case[d..][john..]]]
    [he[he][d!case[d..][john..]]] values N on [d!case!N]
    Stream:[[like],[v*!phi],[[bill!D],[d!case!N]],[T!phi],[ce!T],[think],[vunerg],[[mary!D],[d!case!N]],[T!phi],[ce!T],[think],[vunerg],[[peter!D],[d!case!N]],[T!phi],[ce!T],[think],[vunerg],[T!phi],[c]]
    Stack (⥥):inactive([d!case[d][john]])
    SO:[d!case[d][he[he][d!case[d][john]]]]

    Step 5.

    Merge [like] and [d!case[d][he[he..][d..]]]
    Label from [like] (head merging with a non-head)
    Theta-mark [d!case[d][he[he..][d..]]]
    Push [d!case[d][he[he..][d..]]] (unvalued uF) onto stack
    Stream:[[v*!phi],[[bill!D],[d!case!N]],[T!phi],[ce!T],[think],[vunerg],[[mary!D],[d!case!N]],[T!phi],[ce!T],[think],[vunerg],[[peter!D],[d!case!N]],[T!phi],[ce!T],[think],[vunerg],[T!phi],[c]]
    Stack (⥥):[d!case[d][he[he][d!case[d][john]]]]
    inactive([d!case[d][john]])
    SO:[like[like][d!case[d][he[he][d!case[d][john]]]]]

    Step 6.

    Merge [v*!phi] and [like[like][d!case[d..][he..]]]
    Label from [v*!phi] (head merging with a non-head)
    [d!case[d][he[he..][d..]]] values uPhi on [v*!phi]
    [v*] values acc case on [d!case[d][he[he..][d..]]]
    Stream:[[[bill!D],[d!case!N]],[T!phi],[ce!T],[think],[vunerg],[[mary!D],[d!case!N]],[T!phi],[ce!T],[think],[vunerg],[[peter!D],[d!case!N]],[T!phi],[ce!T],[think],[vunerg],[T!phi],[c]]
    Stack (⥥):[d[d][he[he][d!case[d][john]]]]
    inactive([d!case[d][john]])
    SO:[v*[v*][like[like][d[d][he[he][d!case[d][john]]]]]]

    Step 7.

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

    Step 8.

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

    Step 9.

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

    Step 10.

    Stream:[[d!case[d][bill]],[T!phi],[ce!T],[think],[vunerg],[[mary!D],[d!case!N]],[T!phi],[ce!T],[think],[vunerg],[[peter!D],[d!case!N]],[T!phi],[ce!T],[think],[vunerg],[T!phi],[c]]
    Stack (⥥):[d[d][he[he][d!case[d][john]]]]
    inactive([d!case[d][john]])
    SO:[v*[v*][like[like][d[d][he[he][d!case[d][john]]]]]]

    Step 11.

    Merge [v*[v*][like[like..][d..]]] and [d!case[d][bill]]
    Label from [v*[v*][like[like..][d..]]] (edge feature)
    Theta-mark [d!case[d][bill]]
    Push [d!case[d][bill]] (unvalued uF) onto stack
    Stream:[[T!phi],[ce!T],[think],[vunerg],[[mary!D],[d!case!N]],[T!phi],[ce!T],[think],[vunerg],[[peter!D],[d!case!N]],[T!phi],[ce!T],[think],[vunerg],[T!phi],[c]]
    Stack (⥥):[d!case[d][bill]]
    [d[d][he[he][d!case[d][john]]]]
    inactive([d!case[d][john]])
    SO:[v*[d!case[d][bill]][v*[v*][like[like][d[d][he[he][d!case[d][john]]]]]]]

    Step 12.

    Merge [T!phi] and [v*[d!case[d..][bill..]][v*[v*..][like..]]]
    Label from [T!phi] (head merging with a non-head)
    [d!case[d][bill]] values uPhi on [T!phi]
    [T] values nom case on [d!case[d][bill]]
    Stream:[[ce!T],[think],[vunerg],[[mary!D],[d!case!N]],[T!phi],[ce!T],[think],[vunerg],[[peter!D],[d!case!N]],[T!phi],[ce!T],[think],[vunerg],[T!phi],[c]]
    Stack (⥥):[d[d][bill]]
    [d[d][he[he][d!case[d][john]]]]
    inactive([d!case[d][john]])
    SO:[T[T][v*[d[d][bill]][v*[v*][like[like][d[d][he[he][d!case[d][john]]]]]]]]

    Step 13.

    Internal merge selected
    Merge [T[T][v*[d..][v*..]]] and [d[d][bill]]
    Label from [T[T][v*[d..][v*..]]] (edge feature)
    Stream:[[ce!T],[think],[vunerg],[[mary!D],[d!case!N]],[T!phi],[ce!T],[think],[vunerg],[[peter!D],[d!case!N]],[T!phi],[ce!T],[think],[vunerg],[T!phi],[c]]
    Stack (⥥):[d[d][bill]]
    [d[d][he[he][d!case[d][john]]]]
    inactive([d!case[d][john]])
    SO:[T[d[d][bill]][T[T][v*[d[d][bill]][v*[v*][like[like][d[d][he[he][d!case[d][john]]]]]]]]]

    Step 14.

    Merge [ce!T] and [T[d[d..][bill..]][T[T..][v*..]]]
    Label from [ce!T] (head merging with a non-head)
    [d[d][bill]] values T on [ce!T]
    Internal merge selected
    Merge [ce[ce][T[d..][T..]]] and [d[d][bill]]
    Label from [ce[ce][T[d..][T..]]] (edge feature)
    Stream:[[think],[vunerg],[[mary!D],[d!case!N]],[T!phi],[ce!T],[think],[vunerg],[[peter!D],[d!case!N]],[T!phi],[ce!T],[think],[vunerg],[T!phi],[c]]
    Stack (⥥):[d[d][bill]]
    [d[d][he[he][d!case[d][john]]]]
    inactive([d!case[d][john]])
    SO:[ce[d[d][bill]][ce[ce][T[d[d][bill]][T[T][v*[d[d][bill]][v*[v*][like[like][d[d][he[he][d!case[d][john]]]]]]]]]]]

    Step 15.

    Local Extent boundary at [ce[d[d..][bill..]][ce[ce..][T..]]]
    Inactive stack element inactive([d!case[d][john]]) found
    New boundary (b) marker stacked
    Restack [d!case[d][john]] onto stack
    Stream:[[think],[vunerg],[[mary!D],[d!case!N]],[T!phi],[ce!T],[think],[vunerg],[[peter!D],[d!case!N]],[T!phi],[ce!T],[think],[vunerg],[T!phi],[c]]
    Stack (⥥):[d!case[d][john]]
    b
    [d[d][bill]]
    [d[d][he[he][d!case[d][john]]]]
    SO:[ce[d[d][bill]][ce[ce][T[d[d][bill]][T[T][v*[d[d][bill]][v*[v*][like[like][d[d][he[he][d!case[d][john]]]]]]]]]]]

    Step 16.

    Merge [think] and [ce[d[d..][bill..]][ce[ce..][T..]]]
    Label from [think] (head merging with a non-head)
    Theta-mark [ce[d[d..][bill..]][ce[ce..][T..]]]
    Stream:[[vunerg],[[mary!D],[d!case!N]],[T!phi],[ce!T],[think],[vunerg],[[peter!D],[d!case!N]],[T!phi],[ce!T],[think],[vunerg],[T!phi],[c]]
    Stack (⥥):[d!case[d][john]]
    b
    [d[d][bill]]
    [d[d][he[he][d!case[d][john]]]]
    SO:[think[think][ce[d[d][bill]][ce[ce][T[d[d][bill]][T[T][v*[d[d][bill]][v*[v*][like[like][d[d][he[he][d!case[d][john]]]]]]]]]]]]

    Step 17.

    Merge [vunerg] and [think[think][ce[d..][ce..]]]
    Label from [vunerg] (head merging with a non-head)
    Stream:[[[mary!D],[d!case!N]],[T!phi],[ce!T],[think],[vunerg],[[peter!D],[d!case!N]],[T!phi],[ce!T],[think],[vunerg],[T!phi],[c]]
    Stack (⥥):[d!case[d][john]]
    b
    [d[d][bill]]
    [d[d][he[he][d!case[d][john]]]]
    SO:[vunerg[vunerg][think[think][ce[d[d][bill]][ce[ce][T[d[d][bill]][T[T][v*[d[d][bill]][v*[v*][like[like][d[d][he[he][d!case[d][john]]]]]]]]]]]]]

    Step 18.

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

    Step 19.

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

    Step 20.

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

    Step 21.

    Stream:[[d!case[d][mary]],[T!phi],[ce!T],[think],[vunerg],[[peter!D],[d!case!N]],[T!phi],[ce!T],[think],[vunerg],[T!phi],[c]]
    Stack (⥥):[d!case[d][john]]
    b
    [d[d][bill]]
    [d[d][he[he][d!case[d][john]]]]
    SO:[vunerg[vunerg][think[think][ce[d[d][bill]][ce[ce][T[d[d][bill]][T[T][v*[d[d][bill]][v*[v*][like[like][d[d][he[he][d!case[d][john]]]]]]]]]]]]]

    Step 22.

    Merge [vunerg[vunerg][think[think..][ce..]]] and [d!case[d][mary]]
    Label from [vunerg[vunerg][think[think..][ce..]]] (edge feature)
    Theta-mark [d!case[d][mary]]
    Push [d!case[d][mary]] (unvalued uF) onto stack
    Stream:[[T!phi],[ce!T],[think],[vunerg],[[peter!D],[d!case!N]],[T!phi],[ce!T],[think],[vunerg],[T!phi],[c]]
    Stack (⥥):[d!case[d][mary]]
    [d!case[d][john]]
    b
    [d[d][bill]]
    [d[d][he[he][d!case[d][john]]]]
    SO:[vunerg[d!case[d][mary]][vunerg[vunerg][think[think][ce[d[d][bill]][ce[ce][T[d[d][bill]][T[T][v*[d[d][bill]][v*[v*][like[like][d[d][he[he][d!case[d][john]]]]]]]]]]]]]]

    Step 23.

    Merge [T!phi] and [vunerg[d!case[d..][mary..]][vunerg[vunerg..][think..]]]
    Label from [T!phi] (head merging with a non-head)
    [d!case[d][mary]] values uPhi on [T!phi]
    [T] values nom case on [d!case[d][mary]]
    Stream:[[ce!T],[think],[vunerg],[[peter!D],[d!case!N]],[T!phi],[ce!T],[think],[vunerg],[T!phi],[c]]
    Stack (⥥):[d[d][mary]]
    [d!case[d][john]]
    b
    [d[d][bill]]
    [d[d][he[he][d!case[d][john]]]]
    SO:[T[T][vunerg[d[d][mary]][vunerg[vunerg][think[think][ce[d[d][bill]][ce[ce][T[d[d][bill]][T[T][v*[d[d][bill]][v*[v*][like[like][d[d][he[he][d!case[d][john]]]]]]]]]]]]]]]

    Step 24.

    Internal merge selected
    Merge [T[T][vunerg[d..][vunerg..]]] and [d[d][mary]]
    Label from [T[T][vunerg[d..][vunerg..]]] (edge feature)
    Stream:[[ce!T],[think],[vunerg],[[peter!D],[d!case!N]],[T!phi],[ce!T],[think],[vunerg],[T!phi],[c]]
    Stack (⥥):[d[d][mary]]
    [d!case[d][john]]
    b
    [d[d][bill]]
    [d[d][he[he][d!case[d][john]]]]
    SO:[T[d[d][mary]][T[T][vunerg[d[d][mary]][vunerg[vunerg][think[think][ce[d[d][bill]][ce[ce][T[d[d][bill]][T[T][v*[d[d][bill]][v*[v*][like[like][d[d][he[he][d!case[d][john]]]]]]]]]]]]]]]]

    Step 25.

    Merge [ce!T] and [T[d[d..][mary..]][T[T..][vunerg..]]]
    Label from [ce!T] (head merging with a non-head)
    [d[d][mary]] values T on [ce!T]
    Internal merge selected
    Merge [ce[ce][T[d..][T..]]] and [d[d][mary]]
    Label from [ce[ce][T[d..][T..]]] (edge feature)
    Stream:[[think],[vunerg],[[peter!D],[d!case!N]],[T!phi],[ce!T],[think],[vunerg],[T!phi],[c]]
    Stack (⥥):[d[d][mary]]
    [d!case[d][john]]
    b
    [d[d][bill]]
    [d[d][he[he][d!case[d][john]]]]
    SO:[ce[d[d][mary]][ce[ce][T[d[d][mary]][T[T][vunerg[d[d][mary]][vunerg[vunerg][think[think][ce[d[d][bill]][ce[ce][T[d[d][bill]][T[T][v*[d[d][bill]][v*[v*][like[like][d[d][he[he][d!case[d][john]]]]]]]]]]]]]]]]]]

    Step 26.

    Local Extent boundary at [ce[d[d..][mary..]][ce[ce..][T..]]]
    Stack element [d!case[d][john]] with unvalued uF found
    New boundary (b) marker stacked
    Restack [d!case[d][john]] onto stack
    Stream:[[think],[vunerg],[[peter!D],[d!case!N]],[T!phi],[ce!T],[think],[vunerg],[T!phi],[c]]
    Stack (⥥):[d!case[d][john]]
    b
    [d[d][mary]]
    b
    [d[d][bill]]
    [d[d][he[he][d!case[d][john]]]]
    SO:[ce[d[d][mary]][ce[ce][T[d[d][mary]][T[T][vunerg[d[d][mary]][vunerg[vunerg][think[think][ce[d[d][bill]][ce[ce][T[d[d][bill]][T[T][v*[d[d][bill]][v*[v*][like[like][d[d][he[he][d!case[d][john]]]]]]]]]]]]]]]]]]

    Step 27.

    Merge [think] and [ce[d[d..][mary..]][ce[ce..][T..]]]
    Label from [think] (head merging with a non-head)
    Theta-mark [ce[d[d..][mary..]][ce[ce..][T..]]]
    Stream:[[vunerg],[[peter!D],[d!case!N]],[T!phi],[ce!T],[think],[vunerg],[T!phi],[c]]
    Stack (⥥):[d!case[d][john]]
    b
    [d[d][mary]]
    b
    [d[d][bill]]
    [d[d][he[he][d!case[d][john]]]]
    SO:[think[think][ce[d[d][mary]][ce[ce][T[d[d][mary]][T[T][vunerg[d[d][mary]][vunerg[vunerg][think[think][ce[d[d][bill]][ce[ce][T[d[d][bill]][T[T][v*[d[d][bill]][v*[v*][like[like][d[d][he[he][d!case[d][john]]]]]]]]]]]]]]]]]]]

    Step 28.

    Merge [vunerg] and [think[think][ce[d..][ce..]]]
    Label from [vunerg] (head merging with a non-head)
    Stream:[[[peter!D],[d!case!N]],[T!phi],[ce!T],[think],[vunerg],[T!phi],[c]]
    Stack (⥥):[d!case[d][john]]
    b
    [d[d][mary]]
    b
    [d[d][bill]]
    [d[d][he[he][d!case[d][john]]]]
    SO:[vunerg[vunerg][think[think][ce[d[d][mary]][ce[ce][T[d[d][mary]][T[T][vunerg[d[d][mary]][vunerg[vunerg][think[think][ce[d[d][bill]][ce[ce][T[d[d][bill]][T[T][v*[d[d][bill]][v*[v*][like[like][d[d][he[he][d!case[d][john]]]]]]]]]]]]]]]]]]]]

    Step 29.

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

    Step 30.

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

    Step 31.

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

    Step 32.

    Stream:[[d!case[d][peter]],[T!phi],[ce!T],[think],[vunerg],[T!phi],[c]]
    Stack (⥥):[d!case[d][john]]
    b
    [d[d][mary]]
    b
    [d[d][bill]]
    [d[d][he[he][d!case[d][john]]]]
    SO:[vunerg[vunerg][think[think][ce[d[d][mary]][ce[ce][T[d[d][mary]][T[T][vunerg[d[d][mary]][vunerg[vunerg][think[think][ce[d[d][bill]][ce[ce][T[d[d][bill]][T[T][v*[d[d][bill]][v*[v*][like[like][d[d][he[he][d!case[d][john]]]]]]]]]]]]]]]]]]]]

    Step 33.

    Merge [vunerg[vunerg][think[think..][ce..]]] and [d!case[d][peter]]
    Label from [vunerg[vunerg][think[think..][ce..]]] (edge feature)
    Theta-mark [d!case[d][peter]]
    Push [d!case[d][peter]] (unvalued uF) onto stack
    Stream:[[T!phi],[ce!T],[think],[vunerg],[T!phi],[c]]
    Stack (⥥):[d!case[d][peter]]
    [d!case[d][john]]
    b
    [d[d][mary]]
    b
    [d[d][bill]]
    [d[d][he[he][d!case[d][john]]]]
    SO:[vunerg[d!case[d][peter]][vunerg[vunerg][think[think][ce[d[d][mary]][ce[ce][T[d[d][mary]][T[T][vunerg[d[d][mary]][vunerg[vunerg][think[think][ce[d[d][bill]][ce[ce][T[d[d][bill]][T[T][v*[d[d][bill]][v*[v*][like[like][d[d][he[he][d!case[d][john]]]]]]]]]]]]]]]]]]]]]

    Step 34.

    Merge [T!phi] and [vunerg[d!case[d..][peter..]][vunerg[vunerg..][think..]]]
    Label from [T!phi] (head merging with a non-head)
    [d!case[d][peter]] values uPhi on [T!phi]
    [T] values nom case on [d!case[d][peter]]
    Stream:[[ce!T],[think],[vunerg],[T!phi],[c]]
    Stack (⥥):[d[d][peter]]
    [d!case[d][john]]
    b
    [d[d][mary]]
    b
    [d[d][bill]]
    [d[d][he[he][d!case[d][john]]]]
    SO:[T[T][vunerg[d[d][peter]][vunerg[vunerg][think[think][ce[d[d][mary]][ce[ce][T[d[d][mary]][T[T][vunerg[d[d][mary]][vunerg[vunerg][think[think][ce[d[d][bill]][ce[ce][T[d[d][bill]][T[T][v*[d[d][bill]][v*[v*][like[like][d[d][he[he][d!case[d][john]]]]]]]]]]]]]]]]]]]]]]

    Step 35.

    Internal merge selected
    Merge [T[T][vunerg[d..][vunerg..]]] and [d[d][peter]]
    Label from [T[T][vunerg[d..][vunerg..]]] (edge feature)
    Stream:[[ce!T],[think],[vunerg],[T!phi],[c]]
    Stack (⥥):[d[d][peter]]
    [d!case[d][john]]
    b
    [d[d][mary]]
    b
    [d[d][bill]]
    [d[d][he[he][d!case[d][john]]]]
    SO:[T[d[d][peter]][T[T][vunerg[d[d][peter]][vunerg[vunerg][think[think][ce[d[d][mary]][ce[ce][T[d[d][mary]][T[T][vunerg[d[d][mary]][vunerg[vunerg][think[think][ce[d[d][bill]][ce[ce][T[d[d][bill]][T[T][v*[d[d][bill]][v*[v*][like[like][d[d][he[he][d!case[d][john]]]]]]]]]]]]]]]]]]]]]]]

    Step 36.

    Merge [ce!T] and [T[d[d..][peter..]][T[T..][vunerg..]]]
    Label from [ce!T] (head merging with a non-head)
    [d[d][peter]] values T on [ce!T]
    Internal merge selected
    Merge [ce[ce][T[d..][T..]]] and [d[d][peter]]
    Label from [ce[ce][T[d..][T..]]] (edge feature)
    Stream:[[think],[vunerg],[T!phi],[c]]
    Stack (⥥):[d[d][peter]]
    [d!case[d][john]]
    b
    [d[d][mary]]
    b
    [d[d][bill]]
    [d[d][he[he][d!case[d][john]]]]
    SO:[ce[d[d][peter]][ce[ce][T[d[d][peter]][T[T][vunerg[d[d][peter]][vunerg[vunerg][think[think][ce[d[d][mary]][ce[ce][T[d[d][mary]][T[T][vunerg[d[d][mary]][vunerg[vunerg][think[think][ce[d[d][bill]][ce[ce][T[d[d][bill]][T[T][v*[d[d][bill]][v*[v*][like[like][d[d][he[he][d!case[d][john]]]]]]]]]]]]]]]]]]]]]]]]]

    Step 37.

    Local Extent boundary at [ce[d[d..][peter..]][ce[ce..][T..]]]
    Stack element [d!case[d][john]] with unvalued uF found
    New boundary (b) marker stacked
    Restack [d!case[d][john]] onto stack
    Stream:[[think],[vunerg],[T!phi],[c]]
    Stack (⥥):[d!case[d][john]]
    b
    [d[d][peter]]
    b
    [d[d][mary]]
    b
    [d[d][bill]]
    [d[d][he[he][d!case[d][john]]]]
    SO:[ce[d[d][peter]][ce[ce][T[d[d][peter]][T[T][vunerg[d[d][peter]][vunerg[vunerg][think[think][ce[d[d][mary]][ce[ce][T[d[d][mary]][T[T][vunerg[d[d][mary]][vunerg[vunerg][think[think][ce[d[d][bill]][ce[ce][T[d[d][bill]][T[T][v*[d[d][bill]][v*[v*][like[like][d[d][he[he][d!case[d][john]]]]]]]]]]]]]]]]]]]]]]]]]

    Step 38.

    Merge [think] and [ce[d[d..][peter..]][ce[ce..][T..]]]
    Label from [think] (head merging with a non-head)
    Theta-mark [ce[d[d..][peter..]][ce[ce..][T..]]]
    Stream:[[vunerg],[T!phi],[c]]
    Stack (⥥):[d!case[d][john]]
    b
    [d[d][peter]]
    b
    [d[d][mary]]
    b
    [d[d][bill]]
    [d[d][he[he][d!case[d][john]]]]
    SO:[think[think][ce[d[d][peter]][ce[ce][T[d[d][peter]][T[T][vunerg[d[d][peter]][vunerg[vunerg][think[think][ce[d[d][mary]][ce[ce][T[d[d][mary]][T[T][vunerg[d[d][mary]][vunerg[vunerg][think[think][ce[d[d][bill]][ce[ce][T[d[d][bill]][T[T][v*[d[d][bill]][v*[v*][like[like][d[d][he[he][d!case[d][john]]]]]]]]]]]]]]]]]]]]]]]]]]

    Step 39.

    Merge [vunerg] and [think[think][ce[d..][ce..]]]
    Label from [vunerg] (head merging with a non-head)
    Stream:[[T!phi],[c]]
    Stack (⥥):[d!case[d][john]]
    b
    [d[d][peter]]
    b
    [d[d][mary]]
    b
    [d[d][bill]]
    [d[d][he[he][d!case[d][john]]]]
    SO:[vunerg[vunerg][think[think][ce[d[d][peter]][ce[ce][T[d[d][peter]][T[T][vunerg[d[d][peter]][vunerg[vunerg][think[think][ce[d[d][mary]][ce[ce][T[d[d][mary]][T[T][vunerg[d[d][mary]][vunerg[vunerg][think[think][ce[d[d][bill]][ce[ce][T[d[d][bill]][T[T][v*[d[d][bill]][v*[v*][like[like][d[d][he[he][d!case[d][john]]]]]]]]]]]]]]]]]]]]]]]]]]]

    Step 40.

    Internal merge selected
    Merge [vunerg[vunerg][think[think..][ce..]]] and [d!case[d][john]]
    Label from [vunerg[vunerg][think[think..][ce..]]] (edge feature)
    Theta-mark [d!case[d][john]]
    Stream:[[T!phi],[c]]
    Stack (⥥):[d!case[d][john]]
    b
    [d[d][peter]]
    b
    [d[d][mary]]
    b
    [d[d][bill]]
    [d[d][he[he][d!case[d][john]]]]
    SO:[vunerg[d!case[d][john]][vunerg[vunerg][think[think][ce[d[d][peter]][ce[ce][T[d[d][peter]][T[T][vunerg[d[d][peter]][vunerg[vunerg][think[think][ce[d[d][mary]][ce[ce][T[d[d][mary]][T[T][vunerg[d[d][mary]][vunerg[vunerg][think[think][ce[d[d][bill]][ce[ce][T[d[d][bill]][T[T][v*[d[d][bill]][v*[v*][like[like][d[d][he[he][d[d][john]]]]]]]]]]]]]]]]]]]]]]]]]]]]

    Step 41.

    Merge [T!phi] and [vunerg[d!case[d..][john..]][vunerg[vunerg..][think..]]]
    Label from [T!phi] (head merging with a non-head)
    [d!case[d][john]] values uPhi on [T!phi]
    [T] values nom case on [d!case[d][john]]
    Stream:[[c]]
    Stack (⥥):[d[d][john]]
    b
    [d[d][peter]]
    b
    [d[d][mary]]
    b
    [d[d][bill]]
    [d[d][he[he][d[d][john]]]]
    SO:[T[T][vunerg[d[d][john]][vunerg[vunerg][think[think][ce[d[d][peter]][ce[ce][T[d[d][peter]][T[T][vunerg[d[d][peter]][vunerg[vunerg][think[think][ce[d[d][mary]][ce[ce][T[d[d][mary]][T[T][vunerg[d[d][mary]][vunerg[vunerg][think[think][ce[d[d][bill]][ce[ce][T[d[d][bill]][T[T][v*[d[d][bill]][v*[v*][like[like][d[d][he[he][d[d][john]]]]]]]]]]]]]]]]]]]]]]]]]]]]]

    Step 42.

    Internal merge selected
    Merge [T[T][vunerg[d..][vunerg..]]] and [d[d][john]]
    Label from [T[T][vunerg[d..][vunerg..]]] (edge feature)
    Stream:[[c]]
    Stack (⥥):[d[d][john]]
    b
    [d[d][peter]]
    b
    [d[d][mary]]
    b
    [d[d][bill]]
    [d[d][he[he][d[d][john]]]]
    SO:[T[d[d][john]][T[T][vunerg[d[d][john]][vunerg[vunerg][think[think][ce[d[d][peter]][ce[ce][T[d[d][peter]][T[T][vunerg[d[d][peter]][vunerg[vunerg][think[think][ce[d[d][mary]][ce[ce][T[d[d][mary]][T[T][vunerg[d[d][mary]][vunerg[vunerg][think[think][ce[d[d][bill]][ce[ce][T[d[d][bill]][T[T][v*[d[d][bill]][v*[v*][like[like][d[d][he[he][d[d][john]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]

    Step 43.

    Merge [c] and [T[d[d..][john..]][T[T..][vunerg..]]]
    Label from [c] (head merging with a non-head)
    Stream:[]
    Stack (⥥):[d[d][john]]
    b
    [d[d][peter]]
    b
    [d[d][mary]]
    b
    [d[d][bill]]
    [d[d][he[he][d[d][john]]]]
    SO:[c[c][T[d[d][john]][T[T][vunerg[d[d][john]][vunerg[vunerg][think[think][ce[d[d][peter]][ce[ce][T[d[d][peter]][T[T][vunerg[d[d][peter]][vunerg[vunerg][think[think][ce[d[d][mary]][ce[ce][T[d[d][mary]][T[T][vunerg[d[d][mary]][vunerg[vunerg][think[think][ce[d[d][bill]][ce[ce][T[d[d][bill]][T[T][v*[d[d][bill]][v*[v*][like[like][d[d][he[he][d[d][john]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]

    Step 44.

    Local Extent boundary at [c[c][T[d..][T..]]]
    New boundary (b) marker stacked
    Stream:[]
    Stack (⥥):b
    [d[d][john]]
    b
    [d[d][peter]]
    b
    [d[d][mary]]
    b
    [d[d][bill]]
    [d[d][he[he][d[d][john]]]]
    SO:[c[c][T[d[d][john]][T[T][vunerg[d[d][john]][vunerg[vunerg][think[think][ce[d[d][peter]][ce[ce][T[d[d][peter]][T[T][vunerg[d[d][peter]][vunerg[vunerg][think[think][ce[d[d][mary]][ce[ce][T[d[d][mary]][T[T][vunerg[d[d][mary]][vunerg[vunerg][think[think][ce[d[d][bill]][ce[ce][T[d[d][bill]][T[T][v*[d[d][bill]][v*[v*][like[like][d[d][he[he][d[d][john]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]

    Parse:
    Spell-out:
    john -s think peter -s think mary -s think bill -s like -acc he (after morpheme realization)
    john think -s peter think -s mary think -s bill like -s he -acc (after affix-hop)
    john think -s peter think -s mary think -s bill like -s he -acc (after morpheme realization, stage 2)
    john thinks peter thinks mary thinks bill likes him  

    Backtrack

    Stream:[[ce!T],[think],[vunerg],[T!phi],[c]]
    Stack (⥥):[d[d][peter]]
    [d!case[d][john]]
    b
    [d[d][mary]]
    b
    [d[d][bill]]
    [d[d][he[he][d!case[d][john]]]]
    SO:[T[d[d][peter]][T[T][vunerg[d[d][peter]][vunerg[vunerg][think[think][ce[d[d][mary]][ce[ce][T[d[d][mary]][T[T][vunerg[d[d][mary]][vunerg[vunerg][think[think][ce[d[d][bill]][ce[ce][T[d[d][bill]][T[T][v*[d[d][bill]][v*[v*][like[like][d[d][he[he][d!case[d][john]]]]]]]]]]]]]]]]]]]]]]]
    re-doing step 36

    Step 45.

    [ce!T] attracts [T[d[d..][peter..]][T[T..][vunerg..]]]
    Internal merge selected
    Merge [ce[ce][T[d..][T..]]] and [T]
    Label from [ce[ce][T[d..][T..]]] (edge feature)
    Stream:[[think],[vunerg],[T!phi],[c]]
    Stack (⥥):[d[d][peter]]
    [d!case[d][john]]
    b
    [d[d][mary]]
    b
    [d[d][bill]]
    [d[d][he[he][d!case[d][john]]]]
    SO:[ce[T][ce[ce][T[d[d][peter]][T[T][vunerg[d[d][peter]][vunerg[vunerg][think[think][ce[d[d][mary]][ce[ce][T[d[d][mary]][T[T][vunerg[d[d][mary]][vunerg[vunerg][think[think][ce[d[d][bill]][ce[ce][T[d[d][bill]][T[T][v*[d[d][bill]][v*[v*][like[like][d[d][he[he][d!case[d][john]]]]]]]]]]]]]]]]]]]]]]]]]

    Step 46.

    Local Extent boundary at [ce[T][ce[ce..][T..]]]
    Stack element [d!case[d][john]] with unvalued uF found
    New boundary (b) marker stacked
    Restack [d!case[d][john]] onto stack
    Stream:[[think],[vunerg],[T!phi],[c]]
    Stack (⥥):[d!case[d][john]]
    b
    [d[d][peter]]
    b
    [d[d][mary]]
    b
    [d[d][bill]]
    [d[d][he[he][d!case[d][john]]]]
    SO:[ce[T][ce[ce][T[d[d][peter]][T[T][vunerg[d[d][peter]][vunerg[vunerg][think[think][ce[d[d][mary]][ce[ce][T[d[d][mary]][T[T][vunerg[d[d][mary]][vunerg[vunerg][think[think][ce[d[d][bill]][ce[ce][T[d[d][bill]][T[T][v*[d[d][bill]][v*[v*][like[like][d[d][he[he][d!case[d][john]]]]]]]]]]]]]]]]]]]]]]]]]

    Step 47.

    Merge [think] and [ce[T][ce[ce..][T..]]]
    Label from [think] (head merging with a non-head)
    Theta-mark [ce[T][ce[ce..][T..]]]
    Stream:[[vunerg],[T!phi],[c]]
    Stack (⥥):[d!case[d][john]]
    b
    [d[d][peter]]
    b
    [d[d][mary]]
    b
    [d[d][bill]]
    [d[d][he[he][d!case[d][john]]]]
    SO:[think[think][ce[T][ce[ce][T[d[d][peter]][T[T][vunerg[d[d][peter]][vunerg[vunerg][think[think][ce[d[d][mary]][ce[ce][T[d[d][mary]][T[T][vunerg[d[d][mary]][vunerg[vunerg][think[think][ce[d[d][bill]][ce[ce][T[d[d][bill]][T[T][v*[d[d][bill]][v*[v*][like[like][d[d][he[he][d!case[d][john]]]]]]]]]]]]]]]]]]]]]]]]]]

    Step 48.

    Merge [vunerg] and [think[think][ce[T..][ce..]]]
    Label from [vunerg] (head merging with a non-head)
    Stream:[[T!phi],[c]]
    Stack (⥥):[d!case[d][john]]
    b
    [d[d][peter]]
    b
    [d[d][mary]]
    b
    [d[d][bill]]
    [d[d][he[he][d!case[d][john]]]]
    SO:[vunerg[vunerg][think[think][ce[T][ce[ce][T[d[d][peter]][T[T][vunerg[d[d][peter]][vunerg[vunerg][think[think][ce[d[d][mary]][ce[ce][T[d[d][mary]][T[T][vunerg[d[d][mary]][vunerg[vunerg][think[think][ce[d[d][bill]][ce[ce][T[d[d][bill]][T[T][v*[d[d][bill]][v*[v*][like[like][d[d][he[he][d!case[d][john]]]]]]]]]]]]]]]]]]]]]]]]]]]

    Step 49.

    Internal merge selected
    Merge [vunerg[vunerg][think[think..][ce..]]] and [d!case[d][john]]
    Label from [vunerg[vunerg][think[think..][ce..]]] (edge feature)
    Theta-mark [d!case[d][john]]
    Stream:[[T!phi],[c]]
    Stack (⥥):[d!case[d][john]]
    b
    [d[d][peter]]
    b
    [d[d][mary]]
    b
    [d[d][bill]]
    [d[d][he[he][d!case[d][john]]]]
    SO:[vunerg[d!case[d][john]][vunerg[vunerg][think[think][ce[T][ce[ce][T[d[d][peter]][T[T][vunerg[d[d][peter]][vunerg[vunerg][think[think][ce[d[d][mary]][ce[ce][T[d[d][mary]][T[T][vunerg[d[d][mary]][vunerg[vunerg][think[think][ce[d[d][bill]][ce[ce][T[d[d][bill]][T[T][v*[d[d][bill]][v*[v*][like[like][d[d][he[he][d[d][john]]]]]]]]]]]]]]]]]]]]]]]]]]]]

    Step 50.

    Merge [T!phi] and [vunerg[d!case[d..][john..]][vunerg[vunerg..][think..]]]
    Label from [T!phi] (head merging with a non-head)
    [d!case[d][john]] values uPhi on [T!phi]
    [T] values nom case on [d!case[d][john]]
    Stream:[[c]]
    Stack (⥥):[d[d][john]]
    b
    [d[d][peter]]
    b
    [d[d][mary]]
    b
    [d[d][bill]]
    [d[d][he[he][d[d][john]]]]
    SO:[T[T][vunerg[d[d][john]][vunerg[vunerg][think[think][ce[T][ce[ce][T[d[d][peter]][T[T][vunerg[d[d][peter]][vunerg[vunerg][think[think][ce[d[d][mary]][ce[ce][T[d[d][mary]][T[T][vunerg[d[d][mary]][vunerg[vunerg][think[think][ce[d[d][bill]][ce[ce][T[d[d][bill]][T[T][v*[d[d][bill]][v*[v*][like[like][d[d][he[he][d[d][john]]]]]]]]]]]]]]]]]]]]]]]]]]]]]

    Step 51.

    Internal merge selected
    Merge [T[T][vunerg[d..][vunerg..]]] and [d[d][john]]
    Label from [T[T][vunerg[d..][vunerg..]]] (edge feature)
    Stream:[[c]]
    Stack (⥥):[d[d][john]]
    b
    [d[d][peter]]
    b
    [d[d][mary]]
    b
    [d[d][bill]]
    [d[d][he[he][d[d][john]]]]
    SO:[T[d[d][john]][T[T][vunerg[d[d][john]][vunerg[vunerg][think[think][ce[T][ce[ce][T[d[d][peter]][T[T][vunerg[d[d][peter]][vunerg[vunerg][think[think][ce[d[d][mary]][ce[ce][T[d[d][mary]][T[T][vunerg[d[d][mary]][vunerg[vunerg][think[think][ce[d[d][bill]][ce[ce][T[d[d][bill]][T[T][v*[d[d][bill]][v*[v*][like[like][d[d][he[he][d[d][john]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]

    Step 52.

    Merge [c] and [T[d[d..][john..]][T[T..][vunerg..]]]
    Label from [c] (head merging with a non-head)
    Stream:[]
    Stack (⥥):[d[d][john]]
    b
    [d[d][peter]]
    b
    [d[d][mary]]
    b
    [d[d][bill]]
    [d[d][he[he][d[d][john]]]]
    SO:[c[c][T[d[d][john]][T[T][vunerg[d[d][john]][vunerg[vunerg][think[think][ce[T][ce[ce][T[d[d][peter]][T[T][vunerg[d[d][peter]][vunerg[vunerg][think[think][ce[d[d][mary]][ce[ce][T[d[d][mary]][T[T][vunerg[d[d][mary]][vunerg[vunerg][think[think][ce[d[d][bill]][ce[ce][T[d[d][bill]][T[T][v*[d[d][bill]][v*[v*][like[like][d[d][he[he][d[d][john]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]

    Step 53.

    Local Extent boundary at [c[c][T[d..][T..]]]
    New boundary (b) marker stacked
    Stream:[]
    Stack (⥥):b
    [d[d][john]]
    b
    [d[d][peter]]
    b
    [d[d][mary]]
    b
    [d[d][bill]]
    [d[d][he[he][d[d][john]]]]
    SO:[c[c][T[d[d][john]][T[T][vunerg[d[d][john]][vunerg[vunerg][think[think][ce[T][ce[ce][T[d[d][peter]][T[T][vunerg[d[d][peter]][vunerg[vunerg][think[think][ce[d[d][mary]][ce[ce][T[d[d][mary]][T[T][vunerg[d[d][mary]][vunerg[vunerg][think[think][ce[d[d][bill]][ce[ce][T[d[d][bill]][T[T][v*[d[d][bill]][v*[v*][like[like][d[d][he[he][d[d][john]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]

    Parse:
    Spell-out:
    john -s think that peter -s think mary -s think bill -s like -acc he (after morpheme realization)
    john think -s that peter think -s mary think -s bill like -s he -acc (after affix-hop)
    john think -s that peter think -s mary think -s bill like -s he -acc (after morpheme realization, stage 2)
    john thinks that peter thinks mary thinks bill likes him  

    Backtrack

    Stream:[[ce!T],[think],[vunerg],[[peter!D],[d!case!N]],[T!phi],[ce!T],[think],[vunerg],[T!phi],[c]]
    Stack (⥥):[d[d][mary]]
    [d!case[d][john]]
    b
    [d[d][bill]]
    [d[d][he[he][d!case[d][john]]]]
    SO:[T[d[d][mary]][T[T][vunerg[d[d][mary]][vunerg[vunerg][think[think][ce[d[d][bill]][ce[ce][T[d[d][bill]][T[T][v*[d[d][bill]][v*[v*][like[like][d[d][he[he][d!case[d][john]]]]]]]]]]]]]]]]
    re-doing step 25

    Step 54.

    [ce!T] attracts [T[d[d..][mary..]][T[T..][vunerg..]]]
    Internal merge selected
    Merge [ce[ce][T[d..][T..]]] and [T]
    Label from [ce[ce][T[d..][T..]]] (edge feature)
    Stream:[[think],[vunerg],[[peter!D],[d!case!N]],[T!phi],[ce!T],[think],[vunerg],[T!phi],[c]]
    Stack (⥥):[d[d][mary]]
    [d!case[d][john]]
    b
    [d[d][bill]]
    [d[d][he[he][d!case[d][john]]]]
    SO:[ce[T][ce[ce][T[d[d][mary]][T[T][vunerg[d[d][mary]][vunerg[vunerg][think[think][ce[d[d][bill]][ce[ce][T[d[d][bill]][T[T][v*[d[d][bill]][v*[v*][like[like][d[d][he[he][d!case[d][john]]]]]]]]]]]]]]]]]]

    Step 55.

    Local Extent boundary at [ce[T][ce[ce..][T..]]]
    Stack element [d!case[d][john]] with unvalued uF found
    New boundary (b) marker stacked
    Restack [d!case[d][john]] onto stack
    Stream:[[think],[vunerg],[[peter!D],[d!case!N]],[T!phi],[ce!T],[think],[vunerg],[T!phi],[c]]
    Stack (⥥):[d!case[d][john]]
    b
    [d[d][mary]]
    b
    [d[d][bill]]
    [d[d][he[he][d!case[d][john]]]]
    SO:[ce[T][ce[ce][T[d[d][mary]][T[T][vunerg[d[d][mary]][vunerg[vunerg][think[think][ce[d[d][bill]][ce[ce][T[d[d][bill]][T[T][v*[d[d][bill]][v*[v*][like[like][d[d][he[he][d!case[d][john]]]]]]]]]]]]]]]]]]

    Step 56.

    Merge [think] and [ce[T][ce[ce..][T..]]]
    Label from [think] (head merging with a non-head)
    Theta-mark [ce[T][ce[ce..][T..]]]
    Stream:[[vunerg],[[peter!D],[d!case!N]],[T!phi],[ce!T],[think],[vunerg],[T!phi],[c]]
    Stack (⥥):[d!case[d][john]]
    b
    [d[d][mary]]
    b
    [d[d][bill]]
    [d[d][he[he][d!case[d][john]]]]
    SO:[think[think][ce[T][ce[ce][T[d[d][mary]][T[T][vunerg[d[d][mary]][vunerg[vunerg][think[think][ce[d[d][bill]][ce[ce][T[d[d][bill]][T[T][v*[d[d][bill]][v*[v*][like[like][d[d][he[he][d!case[d][john]]]]]]]]]]]]]]]]]]]

    Step 57.

    Merge [vunerg] and [think[think][ce[T..][ce..]]]
    Label from [vunerg] (head merging with a non-head)
    Stream:[[[peter!D],[d!case!N]],[T!phi],[ce!T],[think],[vunerg],[T!phi],[c]]
    Stack (⥥):[d!case[d][john]]
    b
    [d[d][mary]]
    b
    [d[d][bill]]
    [d[d][he[he][d!case[d][john]]]]
    SO:[vunerg[vunerg][think[think][ce[T][ce[ce][T[d[d][mary]][T[T][vunerg[d[d][mary]][vunerg[vunerg][think[think][ce[d[d][bill]][ce[ce][T[d[d][bill]][T[T][v*[d[d][bill]][v*[v*][like[like][d[d][he[he][d!case[d][john]]]]]]]]]]]]]]]]]]]]

    Step 58.

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

    Step 59.

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

    Step 60.

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

    Step 61.

    Stream:[[d!case[d][peter]],[T!phi],[ce!T],[think],[vunerg],[T!phi],[c]]
    Stack (⥥):[d!case[d][john]]
    b
    [d[d][mary]]
    b
    [d[d][bill]]
    [d[d][he[he][d!case[d][john]]]]
    SO:[vunerg[vunerg][think[think][ce[T][ce[ce][T[d[d][mary]][T[T][vunerg[d[d][mary]][vunerg[vunerg][think[think][ce[d[d][bill]][ce[ce][T[d[d][bill]][T[T][v*[d[d][bill]][v*[v*][like[like][d[d][he[he][d!case[d][john]]]]]]]]]]]]]]]]]]]]

    Step 62.

    Merge [vunerg[vunerg][think[think..][ce..]]] and [d!case[d][peter]]
    Label from [vunerg[vunerg][think[think..][ce..]]] (edge feature)
    Theta-mark [d!case[d][peter]]
    Push [d!case[d][peter]] (unvalued uF) onto stack
    Stream:[[T!phi],[ce!T],[think],[vunerg],[T!phi],[c]]
    Stack (⥥):[d!case[d][peter]]
    [d!case[d][john]]
    b
    [d[d][mary]]
    b
    [d[d][bill]]
    [d[d][he[he][d!case[d][john]]]]
    SO:[vunerg[d!case[d][peter]][vunerg[vunerg][think[think][ce[T][ce[ce][T[d[d][mary]][T[T][vunerg[d[d][mary]][vunerg[vunerg][think[think][ce[d[d][bill]][ce[ce][T[d[d][bill]][T[T][v*[d[d][bill]][v*[v*][like[like][d[d][he[he][d!case[d][john]]]]]]]]]]]]]]]]]]]]]

    Step 63.

    Merge [T!phi] and [vunerg[d!case[d..][peter..]][vunerg[vunerg..][think..]]]
    Label from [T!phi] (head merging with a non-head)
    [d!case[d][peter]] values uPhi on [T!phi]
    [T] values nom case on [d!case[d][peter]]
    Stream:[[ce!T],[think],[vunerg],[T!phi],[c]]
    Stack (⥥):[d[d][peter]]
    [d!case[d][john]]
    b
    [d[d][mary]]
    b
    [d[d][bill]]
    [d[d][he[he][d!case[d][john]]]]
    SO:[T[T][vunerg[d[d][peter]][vunerg[vunerg][think[think][ce[T][ce[ce][T[d[d][mary]][T[T][vunerg[d[d][mary]][vunerg[vunerg][think[think][ce[d[d][bill]][ce[ce][T[d[d][bill]][T[T][v*[d[d][bill]][v*[v*][like[like][d[d][he[he][d!case[d][john]]]]]]]]]]]]]]]]]]]]]]

    Step 64.

    Internal merge selected
    Merge [T[T][vunerg[d..][vunerg..]]] and [d[d][peter]]
    Label from [T[T][vunerg[d..][vunerg..]]] (edge feature)
    Stream:[[ce!T],[think],[vunerg],[T!phi],[c]]
    Stack (⥥):[d[d][peter]]
    [d!case[d][john]]
    b
    [d[d][mary]]
    b
    [d[d][bill]]
    [d[d][he[he][d!case[d][john]]]]
    SO:[T[d[d][peter]][T[T][vunerg[d[d][peter]][vunerg[vunerg][think[think][ce[T][ce[ce][T[d[d][mary]][T[T][vunerg[d[d][mary]][vunerg[vunerg][think[think][ce[d[d][bill]][ce[ce][T[d[d][bill]][T[T][v*[d[d][bill]][v*[v*][like[like][d[d][he[he][d!case[d][john]]]]]]]]]]]]]]]]]]]]]]]

    Step 65.

    Merge [ce!T] and [T[d[d..][peter..]][T[T..][vunerg..]]]
    Label from [ce!T] (head merging with a non-head)
    [d[d][peter]] values T on [ce!T]
    Internal merge selected
    Merge [ce[ce][T[d..][T..]]] and [d[d][peter]]
    Label from [ce[ce][T[d..][T..]]] (edge feature)
    Stream:[[think],[vunerg],[T!phi],[c]]
    Stack (⥥):[d[d][peter]]
    [d!case[d][john]]
    b
    [d[d][mary]]
    b
    [d[d][bill]]
    [d[d][he[he][d!case[d][john]]]]
    SO:[ce[d[d][peter]][ce[ce][T[d[d][peter]][T[T][vunerg[d[d][peter]][vunerg[vunerg][think[think][ce[T][ce[ce][T[d[d][mary]][T[T][vunerg[d[d][mary]][vunerg[vunerg][think[think][ce[d[d][bill]][ce[ce][T[d[d][bill]][T[T][v*[d[d][bill]][v*[v*][like[like][d[d][he[he][d!case[d][john]]]]]]]]]]]]]]]]]]]]]]]]]

    Step 66.

    Local Extent boundary at [ce[d[d..][peter..]][ce[ce..][T..]]]
    Stack element [d!case[d][john]] with unvalued uF found
    New boundary (b) marker stacked
    Restack [d!case[d][john]] onto stack
    Stream:[[think],[vunerg],[T!phi],[c]]
    Stack (⥥):[d!case[d][john]]
    b
    [d[d][peter]]
    b
    [d[d][mary]]
    b
    [d[d][bill]]
    [d[d][he[he][d!case[d][john]]]]
    SO:[ce[d[d][peter]][ce[ce][T[d[d][peter]][T[T][vunerg[d[d][peter]][vunerg[vunerg][think[think][ce[T][ce[ce][T[d[d][mary]][T[T][vunerg[d[d][mary]][vunerg[vunerg][think[think][ce[d[d][bill]][ce[ce][T[d[d][bill]][T[T][v*[d[d][bill]][v*[v*][like[like][d[d][he[he][d!case[d][john]]]]]]]]]]]]]]]]]]]]]]]]]

    Step 67.

    Merge [think] and [ce[d[d..][peter..]][ce[ce..][T..]]]
    Label from [think] (head merging with a non-head)
    Theta-mark [ce[d[d..][peter..]][ce[ce..][T..]]]
    Stream:[[vunerg],[T!phi],[c]]
    Stack (⥥):[d!case[d][john]]
    b
    [d[d][peter]]
    b
    [d[d][mary]]
    b
    [d[d][bill]]
    [d[d][he[he][d!case[d][john]]]]
    SO:[think[think][ce[d[d][peter]][ce[ce][T[d[d][peter]][T[T][vunerg[d[d][peter]][vunerg[vunerg][think[think][ce[T][ce[ce][T[d[d][mary]][T[T][vunerg[d[d][mary]][vunerg[vunerg][think[think][ce[d[d][bill]][ce[ce][T[d[d][bill]][T[T][v*[d[d][bill]][v*[v*][like[like][d[d][he[he][d!case[d][john]]]]]]]]]]]]]]]]]]]]]]]]]]

    Step 68.

    Merge [vunerg] and [think[think][ce[d..][ce..]]]
    Label from [vunerg] (head merging with a non-head)
    Stream:[[T!phi],[c]]
    Stack (⥥):[d!case[d][john]]
    b
    [d[d][peter]]
    b
    [d[d][mary]]
    b
    [d[d][bill]]
    [d[d][he[he][d!case[d][john]]]]
    SO:[vunerg[vunerg][think[think][ce[d[d][peter]][ce[ce][T[d[d][peter]][T[T][vunerg[d[d][peter]][vunerg[vunerg][think[think][ce[T][ce[ce][T[d[d][mary]][T[T][vunerg[d[d][mary]][vunerg[vunerg][think[think][ce[d[d][bill]][ce[ce][T[d[d][bill]][T[T][v*[d[d][bill]][v*[v*][like[like][d[d][he[he][d!case[d][john]]]]]]]]]]]]]]]]]]]]]]]]]]]

    Step 69.

    Internal merge selected
    Merge [vunerg[vunerg][think[think..][ce..]]] and [d!case[d][john]]
    Label from [vunerg[vunerg][think[think..][ce..]]] (edge feature)
    Theta-mark [d!case[d][john]]
    Stream:[[T!phi],[c]]
    Stack (⥥):[d!case[d][john]]
    b
    [d[d][peter]]
    b
    [d[d][mary]]
    b
    [d[d][bill]]
    [d[d][he[he][d!case[d][john]]]]
    SO:[vunerg[d!case[d][john]][vunerg[vunerg][think[think][ce[d[d][peter]][ce[ce][T[d[d][peter]][T[T][vunerg[d[d][peter]][vunerg[vunerg][think[think][ce[T][ce[ce][T[d[d][mary]][T[T][vunerg[d[d][mary]][vunerg[vunerg][think[think][ce[d[d][bill]][ce[ce][T[d[d][bill]][T[T][v*[d[d][bill]][v*[v*][like[like][d[d][he[he][d[d][john]]]]]]]]]]]]]]]]]]]]]]]]]]]]

    Step 70.

    Merge [T!phi] and [vunerg[d!case[d..][john..]][vunerg[vunerg..][think..]]]
    Label from [T!phi] (head merging with a non-head)
    [d!case[d][john]] values uPhi on [T!phi]
    [T] values nom case on [d!case[d][john]]
    Stream:[[c]]
    Stack (⥥):[d[d][john]]
    b
    [d[d][peter]]
    b
    [d[d][mary]]
    b
    [d[d][bill]]
    [d[d][he[he][d[d][john]]]]
    SO:[T[T][vunerg[d[d][john]][vunerg[vunerg][think[think][ce[d[d][peter]][ce[ce][T[d[d][peter]][T[T][vunerg[d[d][peter]][vunerg[vunerg][think[think][ce[T][ce[ce][T[d[d][mary]][T[T][vunerg[d[d][mary]][vunerg[vunerg][think[think][ce[d[d][bill]][ce[ce][T[d[d][bill]][T[T][v*[d[d][bill]][v*[v*][like[like][d[d][he[he][d[d][john]]]]]]]]]]]]]]]]]]]]]]]]]]]]]

    Step 71.

    Internal merge selected
    Merge [T[T][vunerg[d..][vunerg..]]] and [d[d][john]]
    Label from [T[T][vunerg[d..][vunerg..]]] (edge feature)
    Stream:[[c]]
    Stack (⥥):[d[d][john]]
    b
    [d[d][peter]]
    b
    [d[d][mary]]
    b
    [d[d][bill]]
    [d[d][he[he][d[d][john]]]]
    SO:[T[d[d][john]][T[T][vunerg[d[d][john]][vunerg[vunerg][think[think][ce[d[d][peter]][ce[ce][T[d[d][peter]][T[T][vunerg[d[d][peter]][vunerg[vunerg][think[think][ce[T][ce[ce][T[d[d][mary]][T[T][vunerg[d[d][mary]][vunerg[vunerg][think[think][ce[d[d][bill]][ce[ce][T[d[d][bill]][T[T][v*[d[d][bill]][v*[v*][like[like][d[d][he[he][d[d][john]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]

    Step 72.

    Merge [c] and [T[d[d..][john..]][T[T..][vunerg..]]]
    Label from [c] (head merging with a non-head)
    Stream:[]
    Stack (⥥):[d[d][john]]
    b
    [d[d][peter]]
    b
    [d[d][mary]]
    b
    [d[d][bill]]
    [d[d][he[he][d[d][john]]]]
    SO:[c[c][T[d[d][john]][T[T][vunerg[d[d][john]][vunerg[vunerg][think[think][ce[d[d][peter]][ce[ce][T[d[d][peter]][T[T][vunerg[d[d][peter]][vunerg[vunerg][think[think][ce[T][ce[ce][T[d[d][mary]][T[T][vunerg[d[d][mary]][vunerg[vunerg][think[think][ce[d[d][bill]][ce[ce][T[d[d][bill]][T[T][v*[d[d][bill]][v*[v*][like[like][d[d][he[he][d[d][john]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]

    Step 73.

    Local Extent boundary at [c[c][T[d..][T..]]]
    New boundary (b) marker stacked
    Stream:[]
    Stack (⥥):b
    [d[d][john]]
    b
    [d[d][peter]]
    b
    [d[d][mary]]
    b
    [d[d][bill]]
    [d[d][he[he][d[d][john]]]]
    SO:[c[c][T[d[d][john]][T[T][vunerg[d[d][john]][vunerg[vunerg][think[think][ce[d[d][peter]][ce[ce][T[d[d][peter]][T[T][vunerg[d[d][peter]][vunerg[vunerg][think[think][ce[T][ce[ce][T[d[d][mary]][T[T][vunerg[d[d][mary]][vunerg[vunerg][think[think][ce[d[d][bill]][ce[ce][T[d[d][bill]][T[T][v*[d[d][bill]][v*[v*][like[like][d[d][he[he][d[d][john]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]

    Parse:
    Spell-out:
    john -s think peter -s think that mary -s think bill -s like -acc he (after morpheme realization)
    john think -s peter think -s that mary think -s bill like -s he -acc (after affix-hop)
    john think -s peter think -s that mary think -s bill like -s he -acc (after morpheme realization, stage 2)
    john thinks peter thinks that mary thinks bill likes him  

    Backtrack

    Stream:[[ce!T],[think],[vunerg],[T!phi],[c]]
    Stack (⥥):[d[d][peter]]
    [d!case[d][john]]
    b
    [d[d][mary]]
    b
    [d[d][bill]]
    [d[d][he[he][d!case[d][john]]]]
    SO:[T[d[d][peter]][T[T][vunerg[d[d][peter]][vunerg[vunerg][think[think][ce[T][ce[ce][T[d[d][mary]][T[T][vunerg[d[d][mary]][vunerg[vunerg][think[think][ce[d[d][bill]][ce[ce][T[d[d][bill]][T[T][v*[d[d][bill]][v*[v*][like[like][d[d][he[he][d!case[d][john]]]]]]]]]]]]]]]]]]]]]]]
    re-doing step 65

    Step 74.

    [ce!T] attracts [T[d[d..][peter..]][T[T..][vunerg..]]]
    Internal merge selected
    Merge [ce[ce][T[d..][T..]]] and [T]
    Label from [ce[ce][T[d..][T..]]] (edge feature)
    Stream:[[think],[vunerg],[T!phi],[c]]
    Stack (⥥):[d[d][peter]]
    [d!case[d][john]]
    b
    [d[d][mary]]
    b
    [d[d][bill]]
    [d[d][he[he][d!case[d][john]]]]
    SO:[ce[T][ce[ce][T[d[d][peter]][T[T][vunerg[d[d][peter]][vunerg[vunerg][think[think][ce[T][ce[ce][T[d[d][mary]][T[T][vunerg[d[d][mary]][vunerg[vunerg][think[think][ce[d[d][bill]][ce[ce][T[d[d][bill]][T[T][v*[d[d][bill]][v*[v*][like[like][d[d][he[he][d!case[d][john]]]]]]]]]]]]]]]]]]]]]]]]]

    Step 75.

    Local Extent boundary at [ce[T][ce[ce..][T..]]]
    Stack element [d!case[d][john]] with unvalued uF found
    New boundary (b) marker stacked
    Restack [d!case[d][john]] onto stack
    Stream:[[think],[vunerg],[T!phi],[c]]
    Stack (⥥):[d!case[d][john]]
    b
    [d[d][peter]]
    b
    [d[d][mary]]
    b
    [d[d][bill]]
    [d[d][he[he][d!case[d][john]]]]
    SO:[ce[T][ce[ce][T[d[d][peter]][T[T][vunerg[d[d][peter]][vunerg[vunerg][think[think][ce[T][ce[ce][T[d[d][mary]][T[T][vunerg[d[d][mary]][vunerg[vunerg][think[think][ce[d[d][bill]][ce[ce][T[d[d][bill]][T[T][v*[d[d][bill]][v*[v*][like[like][d[d][he[he][d!case[d][john]]]]]]]]]]]]]]]]]]]]]]]]]

    Step 76.

    Merge [think] and [ce[T][ce[ce..][T..]]]
    Label from [think] (head merging with a non-head)
    Theta-mark [ce[T][ce[ce..][T..]]]
    Stream:[[vunerg],[T!phi],[c]]
    Stack (⥥):[d!case[d][john]]
    b
    [d[d][peter]]
    b
    [d[d][mary]]
    b
    [d[d][bill]]
    [d[d][he[he][d!case[d][john]]]]
    SO:[think[think][ce[T][ce[ce][T[d[d][peter]][T[T][vunerg[d[d][peter]][vunerg[vunerg][think[think][ce[T][ce[ce][T[d[d][mary]][T[T][vunerg[d[d][mary]][vunerg[vunerg][think[think][ce[d[d][bill]][ce[ce][T[d[d][bill]][T[T][v*[d[d][bill]][v*[v*][like[like][d[d][he[he][d!case[d][john]]]]]]]]]]]]]]]]]]]]]]]]]]

    Step 77.

    Merge [vunerg] and [think[think][ce[T..][ce..]]]
    Label from [vunerg] (head merging with a non-head)
    Stream:[[T!phi],[c]]
    Stack (⥥):[d!case[d][john]]
    b
    [d[d][peter]]
    b
    [d[d][mary]]
    b
    [d[d][bill]]
    [d[d][he[he][d!case[d][john]]]]
    SO:[vunerg[vunerg][think[think][ce[T][ce[ce][T[d[d][peter]][T[T][vunerg[d[d][peter]][vunerg[vunerg][think[think][ce[T][ce[ce][T[d[d][mary]][T[T][vunerg[d[d][mary]][vunerg[vunerg][think[think][ce[d[d][bill]][ce[ce][T[d[d][bill]][T[T][v*[d[d][bill]][v*[v*][like[like][d[d][he[he][d!case[d][john]]]]]]]]]]]]]]]]]]]]]]]]]]]

    Step 78.

    Internal merge selected
    Merge [vunerg[vunerg][think[think..][ce..]]] and [d!case[d][john]]
    Label from [vunerg[vunerg][think[think..][ce..]]] (edge feature)
    Theta-mark [d!case[d][john]]
    Stream:[[T!phi],[c]]
    Stack (⥥):[d!case[d][john]]
    b
    [d[d][peter]]
    b
    [d[d][mary]]
    b
    [d[d][bill]]
    [d[d][he[he][d!case[d][john]]]]
    SO:[vunerg[d!case[d][john]][vunerg[vunerg][think[think][ce[T][ce[ce][T[d[d][peter]][T[T][vunerg[d[d][peter]][vunerg[vunerg][think[think][ce[T][ce[ce][T[d[d][mary]][T[T][vunerg[d[d][mary]][vunerg[vunerg][think[think][ce[d[d][bill]][ce[ce][T[d[d][bill]][T[T][v*[d[d][bill]][v*[v*][like[like][d[d][he[he][d[d][john]]]]]]]]]]]]]]]]]]]]]]]]]]]]

    Step 79.

    Merge [T!phi] and [vunerg[d!case[d..][john..]][vunerg[vunerg..][think..]]]
    Label from [T!phi] (head merging with a non-head)
    [d!case[d][john]] values uPhi on [T!phi]
    [T] values nom case on [d!case[d][john]]
    Stream:[[c]]
    Stack (⥥):[d[d][john]]
    b
    [d[d][peter]]
    b
    [d[d][mary]]
    b
    [d[d][bill]]
    [d[d][he[he][d[d][john]]]]
    SO:[T[T][vunerg[d[d][john]][vunerg[vunerg][think[think][ce[T][ce[ce][T[d[d][peter]][T[T][vunerg[d[d][peter]][vunerg[vunerg][think[think][ce[T][ce[ce][T[d[d][mary]][T[T][vunerg[d[d][mary]][vunerg[vunerg][think[think][ce[d[d][bill]][ce[ce][T[d[d][bill]][T[T][v*[d[d][bill]][v*[v*][like[like][d[d][he[he][d[d][john]]]]]]]]]]]]]]]]]]]]]]]]]]]]]

    Step 80.

    Internal merge selected
    Merge [T[T][vunerg[d..][vunerg..]]] and [d[d][john]]
    Label from [T[T][vunerg[d..][vunerg..]]] (edge feature)
    Stream:[[c]]
    Stack (⥥):[d[d][john]]
    b
    [d[d][peter]]
    b
    [d[d][mary]]
    b
    [d[d][bill]]
    [d[d][he[he][d[d][john]]]]
    SO:[T[d[d][john]][T[T][vunerg[d[d][john]][vunerg[vunerg][think[think][ce[T][ce[ce][T[d[d][peter]][T[T][vunerg[d[d][peter]][vunerg[vunerg][think[think][ce[T][ce[ce][T[d[d][mary]][T[T][vunerg[d[d][mary]][vunerg[vunerg][think[think][ce[d[d][bill]][ce[ce][T[d[d][bill]][T[T][v*[d[d][bill]][v*[v*][like[like][d[d][he[he][d[d][john]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]

    Step 81.

    Merge [c] and [T[d[d..][john..]][T[T..][vunerg..]]]
    Label from [c] (head merging with a non-head)
    Stream:[]
    Stack (⥥):[d[d][john]]
    b
    [d[d][peter]]
    b
    [d[d][mary]]
    b
    [d[d][bill]]
    [d[d][he[he][d[d][john]]]]
    SO:[c[c][T[d[d][john]][T[T][vunerg[d[d][john]][vunerg[vunerg][think[think][ce[T][ce[ce][T[d[d][peter]][T[T][vunerg[d[d][peter]][vunerg[vunerg][think[think][ce[T][ce[ce][T[d[d][mary]][T[T][vunerg[d[d][mary]][vunerg[vunerg][think[think][ce[d[d][bill]][ce[ce][T[d[d][bill]][T[T][v*[d[d][bill]][v*[v*][like[like][d[d][he[he][d[d][john]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]

    Step 82.

    Local Extent boundary at [c[c][T[d..][T..]]]
    New boundary (b) marker stacked
    Stream:[]
    Stack (⥥):b
    [d[d][john]]
    b
    [d[d][peter]]
    b
    [d[d][mary]]
    b
    [d[d][bill]]
    [d[d][he[he][d[d][john]]]]
    SO:[c[c][T[d[d][john]][T[T][vunerg[d[d][john]][vunerg[vunerg][think[think][ce[T][ce[ce][T[d[d][peter]][T[T][vunerg[d[d][peter]][vunerg[vunerg][think[think][ce[T][ce[ce][T[d[d][mary]][T[T][vunerg[d[d][mary]][vunerg[vunerg][think[think][ce[d[d][bill]][ce[ce][T[d[d][bill]][T[T][v*[d[d][bill]][v*[v*][like[like][d[d][he[he][d[d][john]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]

    Parse:
    Spell-out:
    john -s think that peter -s think that mary -s think bill -s like -acc he (after morpheme realization)
    john think -s that peter think -s that mary think -s bill like -s he -acc (after affix-hop)
    john think -s that peter think -s that mary think -s bill like -s he -acc (after morpheme realization, stage 2)
    john thinks that peter thinks that mary thinks bill likes him  

    Backtrack

    Stream:[[ce!T],[think],[vunerg],[[mary!D],[d!case!N]],[T!phi],[ce!T],[think],[vunerg],[[peter!D],[d!case!N]],[T!phi],[ce!T],[think],[vunerg],[T!phi],[c]]
    Stack (⥥):[d[d][bill]]
    [d[d][he[he][d!case[d][john]]]]
    inactive([d!case[d][john]])
    SO:[T[d[d][bill]][T[T][v*[d[d][bill]][v*[v*][like[like][d[d][he[he][d!case[d][john]]]]]]]]]
    re-doing step 14

    Step 83.

    [ce!T] attracts [T[d[d..][bill..]][T[T..][v*..]]]
    Internal merge selected
    Merge [ce[ce][T[d..][T..]]] and [T]
    Label from [ce[ce][T[d..][T..]]] (edge feature)
    Stream:[[think],[vunerg],[[mary!D],[d!case!N]],[T!phi],[ce!T],[think],[vunerg],[[peter!D],[d!case!N]],[T!phi],[ce!T],[think],[vunerg],[T!phi],[c]]
    Stack (⥥):[d[d][bill]]
    [d[d][he[he][d!case[d][john]]]]
    inactive([d!case[d][john]])
    SO:[ce[T][ce[ce][T[d[d][bill]][T[T][v*[d[d][bill]][v*[v*][like[like][d[d][he[he][d!case[d][john]]]]]]]]]]]

    Step 84.

    Local Extent boundary at [ce[T][ce[ce..][T..]]]
    Inactive stack element inactive([d!case[d][john]]) found
    New boundary (b) marker stacked
    Restack [d!case[d][john]] onto stack
    Stream:[[think],[vunerg],[[mary!D],[d!case!N]],[T!phi],[ce!T],[think],[vunerg],[[peter!D],[d!case!N]],[T!phi],[ce!T],[think],[vunerg],[T!phi],[c]]
    Stack (⥥):[d!case[d][john]]
    b
    [d[d][bill]]
    [d[d][he[he][d!case[d][john]]]]
    SO:[ce[T][ce[ce][T[d[d][bill]][T[T][v*[d[d][bill]][v*[v*][like[like][d[d][he[he][d!case[d][john]]]]]]]]]]]

    Step 85.

    Merge [think] and [ce[T][ce[ce..][T..]]]
    Label from [think] (head merging with a non-head)
    Theta-mark [ce[T][ce[ce..][T..]]]
    Stream:[[vunerg],[[mary!D],[d!case!N]],[T!phi],[ce!T],[think],[vunerg],[[peter!D],[d!case!N]],[T!phi],[ce!T],[think],[vunerg],[T!phi],[c]]
    Stack (⥥):[d!case[d][john]]
    b
    [d[d][bill]]
    [d[d][he[he][d!case[d][john]]]]
    SO:[think[think][ce[T][ce[ce][T[d[d][bill]][T[T][v*[d[d][bill]][v*[v*][like[like][d[d][he[he][d!case[d][john]]]]]]]]]]]]

    Step 86.

    Merge [vunerg] and [think[think][ce[T..][ce..]]]
    Label from [vunerg] (head merging with a non-head)
    Stream:[[[mary!D],[d!case!N]],[T!phi],[ce!T],[think],[vunerg],[[peter!D],[d!case!N]],[T!phi],[ce!T],[think],[vunerg],[T!phi],[c]]
    Stack (⥥):[d!case[d][john]]
    b
    [d[d][bill]]
    [d[d][he[he][d!case[d][john]]]]
    SO:[vunerg[vunerg][think[think][ce[T][ce[ce][T[d[d][bill]][T[T][v*[d[d][bill]][v*[v*][like[like][d[d][he[he][d!case[d][john]]]]]]]]]]]]]

    Step 87.

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

    Step 88.

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

    Step 89.

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

    Step 90.

    Stream:[[d!case[d][mary]],[T!phi],[ce!T],[think],[vunerg],[[peter!D],[d!case!N]],[T!phi],[ce!T],[think],[vunerg],[T!phi],[c]]
    Stack (⥥):[d!case[d][john]]
    b
    [d[d][bill]]
    [d[d][he[he][d!case[d][john]]]]
    SO:[vunerg[vunerg][think[think][ce[T][ce[ce][T[d[d][bill]][T[T][v*[d[d][bill]][v*[v*][like[like][d[d][he[he][d!case[d][john]]]]]]]]]]]]]

    Step 91.

    Merge [vunerg[vunerg][think[think..][ce..]]] and [d!case[d][mary]]
    Label from [vunerg[vunerg][think[think..][ce..]]] (edge feature)
    Theta-mark [d!case[d][mary]]
    Push [d!case[d][mary]] (unvalued uF) onto stack
    Stream:[[T!phi],[ce!T],[think],[vunerg],[[peter!D],[d!case!N]],[T!phi],[ce!T],[think],[vunerg],[T!phi],[c]]
    Stack (⥥):[d!case[d][mary]]
    [d!case[d][john]]
    b
    [d[d][bill]]
    [d[d][he[he][d!case[d][john]]]]
    SO:[vunerg[d!case[d][mary]][vunerg[vunerg][think[think][ce[T][ce[ce][T[d[d][bill]][T[T][v*[d[d][bill]][v*[v*][like[like][d[d][he[he][d!case[d][john]]]]]]]]]]]]]]

    Step 92.

    Merge [T!phi] and [vunerg[d!case[d..][mary..]][vunerg[vunerg..][think..]]]
    Label from [T!phi] (head merging with a non-head)
    [d!case[d][mary]] values uPhi on [T!phi]
    [T] values nom case on [d!case[d][mary]]
    Stream:[[ce!T],[think],[vunerg],[[peter!D],[d!case!N]],[T!phi],[ce!T],[think],[vunerg],[T!phi],[c]]
    Stack (⥥):[d[d][mary]]
    [d!case[d][john]]
    b
    [d[d][bill]]
    [d[d][he[he][d!case[d][john]]]]
    SO:[T[T][vunerg[d[d][mary]][vunerg[vunerg][think[think][ce[T][ce[ce][T[d[d][bill]][T[T][v*[d[d][bill]][v*[v*][like[like][d[d][he[he][d!case[d][john]]]]]]]]]]]]]]]

    Step 93.

    Internal merge selected
    Merge [T[T][vunerg[d..][vunerg..]]] and [d[d][mary]]
    Label from [T[T][vunerg[d..][vunerg..]]] (edge feature)
    Stream:[[ce!T],[think],[vunerg],[[peter!D],[d!case!N]],[T!phi],[ce!T],[think],[vunerg],[T!phi],[c]]
    Stack (⥥):[d[d][mary]]
    [d!case[d][john]]
    b
    [d[d][bill]]
    [d[d][he[he][d!case[d][john]]]]
    SO:[T[d[d][mary]][T[T][vunerg[d[d][mary]][vunerg[vunerg][think[think][ce[T][ce[ce][T[d[d][bill]][T[T][v*[d[d][bill]][v*[v*][like[like][d[d][he[he][d!case[d][john]]]]]]]]]]]]]]]]

    Step 94.

    Merge [ce!T] and [T[d[d..][mary..]][T[T..][vunerg..]]]
    Label from [ce!T] (head merging with a non-head)
    [d[d][mary]] values T on [ce!T]
    Internal merge selected
    Merge [ce[ce][T[d..][T..]]] and [d[d][mary]]
    Label from [ce[ce][T[d..][T..]]] (edge feature)
    Stream:[[think],[vunerg],[[peter!D],[d!case!N]],[T!phi],[ce!T],[think],[vunerg],[T!phi],[c]]
    Stack (⥥):[d[d][mary]]
    [d!case[d][john]]
    b
    [d[d][bill]]
    [d[d][he[he][d!case[d][john]]]]
    SO:[ce[d[d][mary]][ce[ce][T[d[d][mary]][T[T][vunerg[d[d][mary]][vunerg[vunerg][think[think][ce[T][ce[ce][T[d[d][bill]][T[T][v*[d[d][bill]][v*[v*][like[like][d[d][he[he][d!case[d][john]]]]]]]]]]]]]]]]]]

    Step 95.

    Local Extent boundary at [ce[d[d..][mary..]][ce[ce..][T..]]]
    Stack element [d!case[d][john]] with unvalued uF found
    New boundary (b) marker stacked
    Restack [d!case[d][john]] onto stack
    Stream:[[think],[vunerg],[[peter!D],[d!case!N]],[T!phi],[ce!T],[think],[vunerg],[T!phi],[c]]
    Stack (⥥):[d!case[d][john]]
    b
    [d[d][mary]]
    b
    [d[d][bill]]
    [d[d][he[he][d!case[d][john]]]]
    SO:[ce[d[d][mary]][ce[ce][T[d[d][mary]][T[T][vunerg[d[d][mary]][vunerg[vunerg][think[think][ce[T][ce[ce][T[d[d][bill]][T[T][v*[d[d][bill]][v*[v*][like[like][d[d][he[he][d!case[d][john]]]]]]]]]]]]]]]]]]

    Step 96.

    Merge [think] and [ce[d[d..][mary..]][ce[ce..][T..]]]
    Label from [think] (head merging with a non-head)
    Theta-mark [ce[d[d..][mary..]][ce[ce..][T..]]]
    Stream:[[vunerg],[[peter!D],[d!case!N]],[T!phi],[ce!T],[think],[vunerg],[T!phi],[c]]
    Stack (⥥):[d!case[d][john]]
    b
    [d[d][mary]]
    b
    [d[d][bill]]
    [d[d][he[he][d!case[d][john]]]]
    SO:[think[think][ce[d[d][mary]][ce[ce][T[d[d][mary]][T[T][vunerg[d[d][mary]][vunerg[vunerg][think[think][ce[T][ce[ce][T[d[d][bill]][T[T][v*[d[d][bill]][v*[v*][like[like][d[d][he[he][d!case[d][john]]]]]]]]]]]]]]]]]]]

    Step 97.

    Merge [vunerg] and [think[think][ce[d..][ce..]]]
    Label from [vunerg] (head merging with a non-head)
    Stream:[[[peter!D],[d!case!N]],[T!phi],[ce!T],[think],[vunerg],[T!phi],[c]]
    Stack (⥥):[d!case[d][john]]
    b
    [d[d][mary]]
    b
    [d[d][bill]]
    [d[d][he[he][d!case[d][john]]]]
    SO:[vunerg[vunerg][think[think][ce[d[d][mary]][ce[ce][T[d[d][mary]][T[T][vunerg[d[d][mary]][vunerg[vunerg][think[think][ce[T][ce[ce][T[d[d][bill]][T[T][v*[d[d][bill]][v*[v*][like[like][d[d][he[he][d!case[d][john]]]]]]]]]]]]]]]]]]]]

    Step 98.

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

    Step 99.

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

    Step 100.

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

    Step 101.

    Stream:[[d!case[d][peter]],[T!phi],[ce!T],[think],[vunerg],[T!phi],[c]]
    Stack (⥥):[d!case[d][john]]
    b
    [d[d][mary]]
    b
    [d[d][bill]]
    [d[d][he[he][d!case[d][john]]]]
    SO:[vunerg[vunerg][think[think][ce[d[d][mary]][ce[ce][T[d[d][mary]][T[T][vunerg[d[d][mary]][vunerg[vunerg][think[think][ce[T][ce[ce][T[d[d][bill]][T[T][v*[d[d][bill]][v*[v*][like[like][d[d][he[he][d!case[d][john]]]]]]]]]]]]]]]]]]]]

    Step 102.

    Merge [vunerg[vunerg][think[think..][ce..]]] and [d!case[d][peter]]
    Label from [vunerg[vunerg][think[think..][ce..]]] (edge feature)
    Theta-mark [d!case[d][peter]]
    Push [d!case[d][peter]] (unvalued uF) onto stack
    Stream:[[T!phi],[ce!T],[think],[vunerg],[T!phi],[c]]
    Stack (⥥):[d!case[d][peter]]
    [d!case[d][john]]
    b
    [d[d][mary]]
    b
    [d[d][bill]]
    [d[d][he[he][d!case[d][john]]]]
    SO:[vunerg[d!case[d][peter]][vunerg[vunerg][think[think][ce[d[d][mary]][ce[ce][T[d[d][mary]][T[T][vunerg[d[d][mary]][vunerg[vunerg][think[think][ce[T][ce[ce][T[d[d][bill]][T[T][v*[d[d][bill]][v*[v*][like[like][d[d][he[he][d!case[d][john]]]]]]]]]]]]]]]]]]]]]

    Step 103.

    Merge [T!phi] and [vunerg[d!case[d..][peter..]][vunerg[vunerg..][think..]]]
    Label from [T!phi] (head merging with a non-head)
    [d!case[d][peter]] values uPhi on [T!phi]
    [T] values nom case on [d!case[d][peter]]
    Stream:[[ce!T],[think],[vunerg],[T!phi],[c]]
    Stack (⥥):[d[d][peter]]
    [d!case[d][john]]
    b
    [d[d][mary]]
    b
    [d[d][bill]]
    [d[d][he[he][d!case[d][john]]]]
    SO:[T[T][vunerg[d[d][peter]][vunerg[vunerg][think[think][ce[d[d][mary]][ce[ce][T[d[d][mary]][T[T][vunerg[d[d][mary]][vunerg[vunerg][think[think][ce[T][ce[ce][T[d[d][bill]][T[T][v*[d[d][bill]][v*[v*][like[like][d[d][he[he][d!case[d][john]]]]]]]]]]]]]]]]]]]]]]

    Step 104.

    Internal merge selected
    Merge [T[T][vunerg[d..][vunerg..]]] and [d[d][peter]]
    Label from [T[T][vunerg[d..][vunerg..]]] (edge feature)
    Stream:[[ce!T],[think],[vunerg],[T!phi],[c]]
    Stack (⥥):[d[d][peter]]
    [d!case[d][john]]
    b
    [d[d][mary]]
    b
    [d[d][bill]]
    [d[d][he[he][d!case[d][john]]]]
    SO:[T[d[d][peter]][T[T][vunerg[d[d][peter]][vunerg[vunerg][think[think][ce[d[d][mary]][ce[ce][T[d[d][mary]][T[T][vunerg[d[d][mary]][vunerg[vunerg][think[think][ce[T][ce[ce][T[d[d][bill]][T[T][v*[d[d][bill]][v*[v*][like[like][d[d][he[he][d!case[d][john]]]]]]]]]]]]]]]]]]]]]]]

    Step 105.

    Merge [ce!T] and [T[d[d..][peter..]][T[T..][vunerg..]]]
    Label from [ce!T] (head merging with a non-head)
    [d[d][peter]] values T on [ce!T]
    Internal merge selected
    Merge [ce[ce][T[d..][T..]]] and [d[d][peter]]
    Label from [ce[ce][T[d..][T..]]] (edge feature)
    Stream:[[think],[vunerg],[T!phi],[c]]
    Stack (⥥):[d[d][peter]]
    [d!case[d][john]]
    b
    [d[d][mary]]
    b
    [d[d][bill]]
    [d[d][he[he][d!case[d][john]]]]
    SO:[ce[d[d][peter]][ce[ce][T[d[d][peter]][T[T][vunerg[d[d][peter]][vunerg[vunerg][think[think][ce[d[d][mary]][ce[ce][T[d[d][mary]][T[T][vunerg[d[d][mary]][vunerg[vunerg][think[think][ce[T][ce[ce][T[d[d][bill]][T[T][v*[d[d][bill]][v*[v*][like[like][d[d][he[he][d!case[d][john]]]]]]]]]]]]]]]]]]]]]]]]]

    Step 106.

    Local Extent boundary at [ce[d[d..][peter..]][ce[ce..][T..]]]
    Stack element [d!case[d][john]] with unvalued uF found
    New boundary (b) marker stacked
    Restack [d!case[d][john]] onto stack
    Stream:[[think],[vunerg],[T!phi],[c]]
    Stack (⥥):[d!case[d][john]]
    b
    [d[d][peter]]
    b
    [d[d][mary]]
    b
    [d[d][bill]]
    [d[d][he[he][d!case[d][john]]]]
    SO:[ce[d[d][peter]][ce[ce][T[d[d][peter]][T[T][vunerg[d[d][peter]][vunerg[vunerg][think[think][ce[d[d][mary]][ce[ce][T[d[d][mary]][T[T][vunerg[d[d][mary]][vunerg[vunerg][think[think][ce[T][ce[ce][T[d[d][bill]][T[T][v*[d[d][bill]][v*[v*][like[like][d[d][he[he][d!case[d][john]]]]]]]]]]]]]]]]]]]]]]]]]

    Step 107.

    Merge [think] and [ce[d[d..][peter..]][ce[ce..][T..]]]
    Label from [think] (head merging with a non-head)
    Theta-mark [ce[d[d..][peter..]][ce[ce..][T..]]]
    Stream:[[vunerg],[T!phi],[c]]
    Stack (⥥):[d!case[d][john]]
    b
    [d[d][peter]]
    b
    [d[d][mary]]
    b
    [d[d][bill]]
    [d[d][he[he][d!case[d][john]]]]
    SO:[think[think][ce[d[d][peter]][ce[ce][T[d[d][peter]][T[T][vunerg[d[d][peter]][vunerg[vunerg][think[think][ce[d[d][mary]][ce[ce][T[d[d][mary]][T[T][vunerg[d[d][mary]][vunerg[vunerg][think[think][ce[T][ce[ce][T[d[d][bill]][T[T][v*[d[d][bill]][v*[v*][like[like][d[d][he[he][d!case[d][john]]]]]]]]]]]]]]]]]]]]]]]]]]

    Step 108.

    Merge [vunerg] and [think[think][ce[d..][ce..]]]
    Label from [vunerg] (head merging with a non-head)
    Stream:[[T!phi],[c]]
    Stack (⥥):[d!case[d][john]]
    b
    [d[d][peter]]
    b
    [d[d][mary]]
    b
    [d[d][bill]]
    [d[d][he[he][d!case[d][john]]]]
    SO:[vunerg[vunerg][think[think][ce[d[d][peter]][ce[ce][T[d[d][peter]][T[T][vunerg[d[d][peter]][vunerg[vunerg][think[think][ce[d[d][mary]][ce[ce][T[d[d][mary]][T[T][vunerg[d[d][mary]][vunerg[vunerg][think[think][ce[T][ce[ce][T[d[d][bill]][T[T][v*[d[d][bill]][v*[v*][like[like][d[d][he[he][d!case[d][john]]]]]]]]]]]]]]]]]]]]]]]]]]]

    Step 109.

    Internal merge selected
    Merge [vunerg[vunerg][think[think..][ce..]]] and [d!case[d][john]]
    Label from [vunerg[vunerg][think[think..][ce..]]] (edge feature)
    Theta-mark [d!case[d][john]]
    Stream:[[T!phi],[c]]
    Stack (⥥):[d!case[d][john]]
    b
    [d[d][peter]]
    b
    [d[d][mary]]
    b
    [d[d][bill]]
    [d[d][he[he][d!case[d][john]]]]
    SO:[vunerg[d!case[d][john]][vunerg[vunerg][think[think][ce[d[d][peter]][ce[ce][T[d[d][peter]][T[T][vunerg[d[d][peter]][vunerg[vunerg][think[think][ce[d[d][mary]][ce[ce][T[d[d][mary]][T[T][vunerg[d[d][mary]][vunerg[vunerg][think[think][ce[T][ce[ce][T[d[d][bill]][T[T][v*[d[d][bill]][v*[v*][like[like][d[d][he[he][d[d][john]]]]]]]]]]]]]]]]]]]]]]]]]]]]

    Step 110.

    Merge [T!phi] and [vunerg[d!case[d..][john..]][vunerg[vunerg..][think..]]]
    Label from [T!phi] (head merging with a non-head)
    [d!case[d][john]] values uPhi on [T!phi]
    [T] values nom case on [d!case[d][john]]
    Stream:[[c]]
    Stack (⥥):[d[d][john]]
    b
    [d[d][peter]]
    b
    [d[d][mary]]
    b
    [d[d][bill]]
    [d[d][he[he][d[d][john]]]]
    SO:[T[T][vunerg[d[d][john]][vunerg[vunerg][think[think][ce[d[d][peter]][ce[ce][T[d[d][peter]][T[T][vunerg[d[d][peter]][vunerg[vunerg][think[think][ce[d[d][mary]][ce[ce][T[d[d][mary]][T[T][vunerg[d[d][mary]][vunerg[vunerg][think[think][ce[T][ce[ce][T[d[d][bill]][T[T][v*[d[d][bill]][v*[v*][like[like][d[d][he[he][d[d][john]]]]]]]]]]]]]]]]]]]]]]]]]]]]]

    Step 111.

    Internal merge selected
    Merge [T[T][vunerg[d..][vunerg..]]] and [d[d][john]]
    Label from [T[T][vunerg[d..][vunerg..]]] (edge feature)
    Stream:[[c]]
    Stack (⥥):[d[d][john]]
    b
    [d[d][peter]]
    b
    [d[d][mary]]
    b
    [d[d][bill]]
    [d[d][he[he][d[d][john]]]]
    SO:[T[d[d][john]][T[T][vunerg[d[d][john]][vunerg[vunerg][think[think][ce[d[d][peter]][ce[ce][T[d[d][peter]][T[T][vunerg[d[d][peter]][vunerg[vunerg][think[think][ce[d[d][mary]][ce[ce][T[d[d][mary]][T[T][vunerg[d[d][mary]][vunerg[vunerg][think[think][ce[T][ce[ce][T[d[d][bill]][T[T][v*[d[d][bill]][v*[v*][like[like][d[d][he[he][d[d][john]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]

    Step 112.

    Merge [c] and [T[d[d..][john..]][T[T..][vunerg..]]]
    Label from [c] (head merging with a non-head)
    Stream:[]
    Stack (⥥):[d[d][john]]
    b
    [d[d][peter]]
    b
    [d[d][mary]]
    b
    [d[d][bill]]
    [d[d][he[he][d[d][john]]]]
    SO:[c[c][T[d[d][john]][T[T][vunerg[d[d][john]][vunerg[vunerg][think[think][ce[d[d][peter]][ce[ce][T[d[d][peter]][T[T][vunerg[d[d][peter]][vunerg[vunerg][think[think][ce[d[d][mary]][ce[ce][T[d[d][mary]][T[T][vunerg[d[d][mary]][vunerg[vunerg][think[think][ce[T][ce[ce][T[d[d][bill]][T[T][v*[d[d][bill]][v*[v*][like[like][d[d][he[he][d[d][john]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]

    Step 113.

    Local Extent boundary at [c[c][T[d..][T..]]]
    New boundary (b) marker stacked
    Stream:[]
    Stack (⥥):b
    [d[d][john]]
    b
    [d[d][peter]]
    b
    [d[d][mary]]
    b
    [d[d][bill]]
    [d[d][he[he][d[d][john]]]]
    SO:[c[c][T[d[d][john]][T[T][vunerg[d[d][john]][vunerg[vunerg][think[think][ce[d[d][peter]][ce[ce][T[d[d][peter]][T[T][vunerg[d[d][peter]][vunerg[vunerg][think[think][ce[d[d][mary]][ce[ce][T[d[d][mary]][T[T][vunerg[d[d][mary]][vunerg[vunerg][think[think][ce[T][ce[ce][T[d[d][bill]][T[T][v*[d[d][bill]][v*[v*][like[like][d[d][he[he][d[d][john]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]

    Parse:
    Spell-out:
    john -s think peter -s think mary -s think that bill -s like -acc he (after morpheme realization)
    john think -s peter think -s mary think -s that bill like -s he -acc (after affix-hop)
    john think -s peter think -s mary think -s that bill like -s he -acc (after morpheme realization, stage 2)
    john thinks peter thinks mary thinks that bill likes him  

    Backtrack

    Stream:[[ce!T],[think],[vunerg],[T!phi],[c]]
    Stack (⥥):[d[d][peter]]
    [d!case[d][john]]
    b
    [d[d][mary]]
    b
    [d[d][bill]]
    [d[d][he[he][d!case[d][john]]]]
    SO:[T[d[d][peter]][T[T][vunerg[d[d][peter]][vunerg[vunerg][think[think][ce[d[d][mary]][ce[ce][T[d[d][mary]][T[T][vunerg[d[d][mary]][vunerg[vunerg][think[think][ce[T][ce[ce][T[d[d][bill]][T[T][v*[d[d][bill]][v*[v*][like[like][d[d][he[he][d!case[d][john]]]]]]]]]]]]]]]]]]]]]]]
    re-doing step 105

    Step 114.

    [ce!T] attracts [T[d[d..][peter..]][T[T..][vunerg..]]]
    Internal merge selected
    Merge [ce[ce][T[d..][T..]]] and [T]
    Label from [ce[ce][T[d..][T..]]] (edge feature)
    Stream:[[think],[vunerg],[T!phi],[c]]
    Stack (⥥):[d[d][peter]]
    [d!case[d][john]]
    b
    [d[d][mary]]
    b
    [d[d][bill]]
    [d[d][he[he][d!case[d][john]]]]
    SO:[ce[T][ce[ce][T[d[d][peter]][T[T][vunerg[d[d][peter]][vunerg[vunerg][think[think][ce[d[d][mary]][ce[ce][T[d[d][mary]][T[T][vunerg[d[d][mary]][vunerg[vunerg][think[think][ce[T][ce[ce][T[d[d][bill]][T[T][v*[d[d][bill]][v*[v*][like[like][d[d][he[he][d!case[d][john]]]]]]]]]]]]]]]]]]]]]]]]]

    Step 115.

    Local Extent boundary at [ce[T][ce[ce..][T..]]]
    Stack element [d!case[d][john]] with unvalued uF found
    New boundary (b) marker stacked
    Restack [d!case[d][john]] onto stack
    Stream:[[think],[vunerg],[T!phi],[c]]
    Stack (⥥):[d!case[d][john]]
    b
    [d[d][peter]]
    b
    [d[d][mary]]
    b
    [d[d][bill]]
    [d[d][he[he][d!case[d][john]]]]
    SO:[ce[T][ce[ce][T[d[d][peter]][T[T][vunerg[d[d][peter]][vunerg[vunerg][think[think][ce[d[d][mary]][ce[ce][T[d[d][mary]][T[T][vunerg[d[d][mary]][vunerg[vunerg][think[think][ce[T][ce[ce][T[d[d][bill]][T[T][v*[d[d][bill]][v*[v*][like[like][d[d][he[he][d!case[d][john]]]]]]]]]]]]]]]]]]]]]]]]]

    Step 116.

    Merge [think] and [ce[T][ce[ce..][T..]]]
    Label from [think] (head merging with a non-head)
    Theta-mark [ce[T][ce[ce..][T..]]]
    Stream:[[vunerg],[T!phi],[c]]
    Stack (⥥):[d!case[d][john]]
    b
    [d[d][peter]]
    b
    [d[d][mary]]
    b
    [d[d][bill]]
    [d[d][he[he][d!case[d][john]]]]
    SO:[think[think][ce[T][ce[ce][T[d[d][peter]][T[T][vunerg[d[d][peter]][vunerg[vunerg][think[think][ce[d[d][mary]][ce[ce][T[d[d][mary]][T[T][vunerg[d[d][mary]][vunerg[vunerg][think[think][ce[T][ce[ce][T[d[d][bill]][T[T][v*[d[d][bill]][v*[v*][like[like][d[d][he[he][d!case[d][john]]]]]]]]]]]]]]]]]]]]]]]]]]

    Step 117.

    Merge [vunerg] and [think[think][ce[T..][ce..]]]
    Label from [vunerg] (head merging with a non-head)
    Stream:[[T!phi],[c]]
    Stack (⥥):[d!case[d][john]]
    b
    [d[d][peter]]
    b
    [d[d][mary]]
    b
    [d[d][bill]]
    [d[d][he[he][d!case[d][john]]]]
    SO:[vunerg[vunerg][think[think][ce[T][ce[ce][T[d[d][peter]][T[T][vunerg[d[d][peter]][vunerg[vunerg][think[think][ce[d[d][mary]][ce[ce][T[d[d][mary]][T[T][vunerg[d[d][mary]][vunerg[vunerg][think[think][ce[T][ce[ce][T[d[d][bill]][T[T][v*[d[d][bill]][v*[v*][like[like][d[d][he[he][d!case[d][john]]]]]]]]]]]]]]]]]]]]]]]]]]]

    Step 118.

    Internal merge selected
    Merge [vunerg[vunerg][think[think..][ce..]]] and [d!case[d][john]]
    Label from [vunerg[vunerg][think[think..][ce..]]] (edge feature)
    Theta-mark [d!case[d][john]]
    Stream:[[T!phi],[c]]
    Stack (⥥):[d!case[d][john]]
    b
    [d[d][peter]]
    b
    [d[d][mary]]
    b
    [d[d][bill]]
    [d[d][he[he][d!case[d][john]]]]
    SO:[vunerg[d!case[d][john]][vunerg[vunerg][think[think][ce[T][ce[ce][T[d[d][peter]][T[T][vunerg[d[d][peter]][vunerg[vunerg][think[think][ce[d[d][mary]][ce[ce][T[d[d][mary]][T[T][vunerg[d[d][mary]][vunerg[vunerg][think[think][ce[T][ce[ce][T[d[d][bill]][T[T][v*[d[d][bill]][v*[v*][like[like][d[d][he[he][d[d][john]]]]]]]]]]]]]]]]]]]]]]]]]]]]

    Step 119.

    Merge [T!phi] and [vunerg[d!case[d..][john..]][vunerg[vunerg..][think..]]]
    Label from [T!phi] (head merging with a non-head)
    [d!case[d][john]] values uPhi on [T!phi]
    [T] values nom case on [d!case[d][john]]
    Stream:[[c]]
    Stack (⥥):[d[d][john]]
    b
    [d[d][peter]]
    b
    [d[d][mary]]
    b
    [d[d][bill]]
    [d[d][he[he][d[d][john]]]]
    SO:[T[T][vunerg[d[d][john]][vunerg[vunerg][think[think][ce[T][ce[ce][T[d[d][peter]][T[T][vunerg[d[d][peter]][vunerg[vunerg][think[think][ce[d[d][mary]][ce[ce][T[d[d][mary]][T[T][vunerg[d[d][mary]][vunerg[vunerg][think[think][ce[T][ce[ce][T[d[d][bill]][T[T][v*[d[d][bill]][v*[v*][like[like][d[d][he[he][d[d][john]]]]]]]]]]]]]]]]]]]]]]]]]]]]]

    Step 120.

    Internal merge selected
    Merge [T[T][vunerg[d..][vunerg..]]] and [d[d][john]]
    Label from [T[T][vunerg[d..][vunerg..]]] (edge feature)
    Stream:[[c]]
    Stack (⥥):[d[d][john]]
    b
    [d[d][peter]]
    b
    [d[d][mary]]
    b
    [d[d][bill]]
    [d[d][he[he][d[d][john]]]]
    SO:[T[d[d][john]][T[T][vunerg[d[d][john]][vunerg[vunerg][think[think][ce[T][ce[ce][T[d[d][peter]][T[T][vunerg[d[d][peter]][vunerg[vunerg][think[think][ce[d[d][mary]][ce[ce][T[d[d][mary]][T[T][vunerg[d[d][mary]][vunerg[vunerg][think[think][ce[T][ce[ce][T[d[d][bill]][T[T][v*[d[d][bill]][v*[v*][like[like][d[d][he[he][d[d][john]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]

    Step 121.

    Merge [c] and [T[d[d..][john..]][T[T..][vunerg..]]]
    Label from [c] (head merging with a non-head)
    Stream:[]
    Stack (⥥):[d[d][john]]
    b
    [d[d][peter]]
    b
    [d[d][mary]]
    b
    [d[d][bill]]
    [d[d][he[he][d[d][john]]]]
    SO:[c[c][T[d[d][john]][T[T][vunerg[d[d][john]][vunerg[vunerg][think[think][ce[T][ce[ce][T[d[d][peter]][T[T][vunerg[d[d][peter]][vunerg[vunerg][think[think][ce[d[d][mary]][ce[ce][T[d[d][mary]][T[T][vunerg[d[d][mary]][vunerg[vunerg][think[think][ce[T][ce[ce][T[d[d][bill]][T[T][v*[d[d][bill]][v*[v*][like[like][d[d][he[he][d[d][john]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]

    Step 122.

    Local Extent boundary at [c[c][T[d..][T..]]]
    New boundary (b) marker stacked
    Stream:[]
    Stack (⥥):b
    [d[d][john]]
    b
    [d[d][peter]]
    b
    [d[d][mary]]
    b
    [d[d][bill]]
    [d[d][he[he][d[d][john]]]]
    SO:[c[c][T[d[d][john]][T[T][vunerg[d[d][john]][vunerg[vunerg][think[think][ce[T][ce[ce][T[d[d][peter]][T[T][vunerg[d[d][peter]][vunerg[vunerg][think[think][ce[d[d][mary]][ce[ce][T[d[d][mary]][T[T][vunerg[d[d][mary]][vunerg[vunerg][think[think][ce[T][ce[ce][T[d[d][bill]][T[T][v*[d[d][bill]][v*[v*][like[like][d[d][he[he][d[d][john]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]

    Parse:
    Spell-out:
    john -s think that peter -s think mary -s think that bill -s like -acc he (after morpheme realization)
    john think -s that peter think -s mary think -s that bill like -s he -acc (after affix-hop)
    john think -s that peter think -s mary think -s that bill like -s he -acc (after morpheme realization, stage 2)
    john thinks that peter thinks mary thinks that bill likes him  

    Backtrack

    Stream:[[ce!T],[think],[vunerg],[[peter!D],[d!case!N]],[T!phi],[ce!T],[think],[vunerg],[T!phi],[c]]
    Stack (⥥):[d[d][mary]]
    [d!case[d][john]]
    b
    [d[d][bill]]
    [d[d][he[he][d!case[d][john]]]]
    SO:[T[d[d][mary]][T[T][vunerg[d[d][mary]][vunerg[vunerg][think[think][ce[T][ce[ce][T[d[d][bill]][T[T][v*[d[d][bill]][v*[v*][like[like][d[d][he[he][d!case[d][john]]]]]]]]]]]]]]]]
    re-doing step 94

    Step 123.

    [ce!T] attracts [T[d[d..][mary..]][T[T..][vunerg..]]]
    Internal merge selected
    Merge [ce[ce][T[d..][T..]]] and [T]
    Label from [ce[ce][T[d..][T..]]] (edge feature)
    Stream:[[think],[vunerg],[[peter!D],[d!case!N]],[T!phi],[ce!T],[think],[vunerg],[T!phi],[c]]
    Stack (⥥):[d[d][mary]]
    [d!case[d][john]]
    b
    [d[d][bill]]
    [d[d][he[he][d!case[d][john]]]]
    SO:[ce[T][ce[ce][T[d[d][mary]][T[T][vunerg[d[d][mary]][vunerg[vunerg][think[think][ce[T][ce[ce][T[d[d][bill]][T[T][v*[d[d][bill]][v*[v*][like[like][d[d][he[he][d!case[d][john]]]]]]]]]]]]]]]]]]

    Step 124.

    Local Extent boundary at [ce[T][ce[ce..][T..]]]
    Stack element [d!case[d][john]] with unvalued uF found
    New boundary (b) marker stacked
    Restack [d!case[d][john]] onto stack
    Stream:[[think],[vunerg],[[peter!D],[d!case!N]],[T!phi],[ce!T],[think],[vunerg],[T!phi],[c]]
    Stack (⥥):[d!case[d][john]]
    b
    [d[d][mary]]
    b
    [d[d][bill]]
    [d[d][he[he][d!case[d][john]]]]
    SO:[ce[T][ce[ce][T[d[d][mary]][T[T][vunerg[d[d][mary]][vunerg[vunerg][think[think][ce[T][ce[ce][T[d[d][bill]][T[T][v*[d[d][bill]][v*[v*][like[like][d[d][he[he][d!case[d][john]]]]]]]]]]]]]]]]]]

    Step 125.

    Merge [think] and [ce[T][ce[ce..][T..]]]
    Label from [think] (head merging with a non-head)
    Theta-mark [ce[T][ce[ce..][T..]]]
    Stream:[[vunerg],[[peter!D],[d!case!N]],[T!phi],[ce!T],[think],[vunerg],[T!phi],[c]]
    Stack (⥥):[d!case[d][john]]
    b
    [d[d][mary]]
    b
    [d[d][bill]]
    [d[d][he[he][d!case[d][john]]]]
    SO:[think[think][ce[T][ce[ce][T[d[d][mary]][T[T][vunerg[d[d][mary]][vunerg[vunerg][think[think][ce[T][ce[ce][T[d[d][bill]][T[T][v*[d[d][bill]][v*[v*][like[like][d[d][he[he][d!case[d][john]]]]]]]]]]]]]]]]]]]

    Step 126.

    Merge [vunerg] and [think[think][ce[T..][ce..]]]
    Label from [vunerg] (head merging with a non-head)
    Stream:[[[peter!D],[d!case!N]],[T!phi],[ce!T],[think],[vunerg],[T!phi],[c]]
    Stack (⥥):[d!case[d][john]]
    b
    [d[d][mary]]
    b
    [d[d][bill]]
    [d[d][he[he][d!case[d][john]]]]
    SO:[vunerg[vunerg][think[think][ce[T][ce[ce][T[d[d][mary]][T[T][vunerg[d[d][mary]][vunerg[vunerg][think[think][ce[T][ce[ce][T[d[d][bill]][T[T][v*[d[d][bill]][v*[v*][like[like][d[d][he[he][d!case[d][john]]]]]]]]]]]]]]]]]]]]

    Step 127.

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

    Step 128.

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

    Step 129.

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

    Step 130.

    Stream:[[d!case[d][peter]],[T!phi],[ce!T],[think],[vunerg],[T!phi],[c]]
    Stack (⥥):[d!case[d][john]]
    b
    [d[d][mary]]
    b
    [d[d][bill]]
    [d[d][he[he][d!case[d][john]]]]
    SO:[vunerg[vunerg][think[think][ce[T][ce[ce][T[d[d][mary]][T[T][vunerg[d[d][mary]][vunerg[vunerg][think[think][ce[T][ce[ce][T[d[d][bill]][T[T][v*[d[d][bill]][v*[v*][like[like][d[d][he[he][d!case[d][john]]]]]]]]]]]]]]]]]]]]

    Step 131.

    Merge [vunerg[vunerg][think[think..][ce..]]] and [d!case[d][peter]]
    Label from [vunerg[vunerg][think[think..][ce..]]] (edge feature)
    Theta-mark [d!case[d][peter]]
    Push [d!case[d][peter]] (unvalued uF) onto stack
    Stream:[[T!phi],[ce!T],[think],[vunerg],[T!phi],[c]]
    Stack (⥥):[d!case[d][peter]]
    [d!case[d][john]]
    b
    [d[d][mary]]
    b
    [d[d][bill]]
    [d[d][he[he][d!case[d][john]]]]
    SO:[vunerg[d!case[d][peter]][vunerg[vunerg][think[think][ce[T][ce[ce][T[d[d][mary]][T[T][vunerg[d[d][mary]][vunerg[vunerg][think[think][ce[T][ce[ce][T[d[d][bill]][T[T][v*[d[d][bill]][v*[v*][like[like][d[d][he[he][d!case[d][john]]]]]]]]]]]]]]]]]]]]]

    Step 132.

    Merge [T!phi] and [vunerg[d!case[d..][peter..]][vunerg[vunerg..][think..]]]
    Label from [T!phi] (head merging with a non-head)
    [d!case[d][peter]] values uPhi on [T!phi]
    [T] values nom case on [d!case[d][peter]]
    Stream:[[ce!T],[think],[vunerg],[T!phi],[c]]
    Stack (⥥):[d[d][peter]]
    [d!case[d][john]]
    b
    [d[d][mary]]
    b
    [d[d][bill]]
    [d[d][he[he][d!case[d][john]]]]
    SO:[T[T][vunerg[d[d][peter]][vunerg[vunerg][think[think][ce[T][ce[ce][T[d[d][mary]][T[T][vunerg[d[d][mary]][vunerg[vunerg][think[think][ce[T][ce[ce][T[d[d][bill]][T[T][v*[d[d][bill]][v*[v*][like[like][d[d][he[he][d!case[d][john]]]]]]]]]]]]]]]]]]]]]]

    Step 133.

    Internal merge selected
    Merge [T[T][vunerg[d..][vunerg..]]] and [d[d][peter]]
    Label from [T[T][vunerg[d..][vunerg..]]] (edge feature)
    Stream:[[ce!T],[think],[vunerg],[T!phi],[c]]
    Stack (⥥):[d[d][peter]]
    [d!case[d][john]]
    b
    [d[d][mary]]
    b
    [d[d][bill]]
    [d[d][he[he][d!case[d][john]]]]
    SO:[T[d[d][peter]][T[T][vunerg[d[d][peter]][vunerg[vunerg][think[think][ce[T][ce[ce][T[d[d][mary]][T[T][vunerg[d[d][mary]][vunerg[vunerg][think[think][ce[T][ce[ce][T[d[d][bill]][T[T][v*[d[d][bill]][v*[v*][like[like][d[d][he[he][d!case[d][john]]]]]]]]]]]]]]]]]]]]]]]

    Step 134.

    Merge [ce!T] and [T[d[d..][peter..]][T[T..][vunerg..]]]
    Label from [ce!T] (head merging with a non-head)
    [d[d][peter]] values T on [ce!T]
    Internal merge selected
    Merge [ce[ce][T[d..][T..]]] and [d[d][peter]]
    Label from [ce[ce][T[d..][T..]]] (edge feature)
    Stream:[[think],[vunerg],[T!phi],[c]]
    Stack (⥥):[d[d][peter]]
    [d!case[d][john]]
    b
    [d[d][mary]]
    b
    [d[d][bill]]
    [d[d][he[he][d!case[d][john]]]]
    SO:[ce[d[d][peter]][ce[ce][T[d[d][peter]][T[T][vunerg[d[d][peter]][vunerg[vunerg][think[think][ce[T][ce[ce][T[d[d][mary]][T[T][vunerg[d[d][mary]][vunerg[vunerg][think[think][ce[T][ce[ce][T[d[d][bill]][T[T][v*[d[d][bill]][v*[v*][like[like][d[d][he[he][d!case[d][john]]]]]]]]]]]]]]]]]]]]]]]]]

    Step 135.

    Local Extent boundary at [ce[d[d..][peter..]][ce[ce..][T..]]]
    Stack element [d!case[d][john]] with unvalued uF found
    New boundary (b) marker stacked
    Restack [d!case[d][john]] onto stack
    Stream:[[think],[vunerg],[T!phi],[c]]
    Stack (⥥):[d!case[d][john]]
    b
    [d[d][peter]]
    b
    [d[d][mary]]
    b
    [d[d][bill]]
    [d[d][he[he][d!case[d][john]]]]
    SO:[ce[d[d][peter]][ce[ce][T[d[d][peter]][T[T][vunerg[d[d][peter]][vunerg[vunerg][think[think][ce[T][ce[ce][T[d[d][mary]][T[T][vunerg[d[d][mary]][vunerg[vunerg][think[think][ce[T][ce[ce][T[d[d][bill]][T[T][v*[d[d][bill]][v*[v*][like[like][d[d][he[he][d!case[d][john]]]]]]]]]]]]]]]]]]]]]]]]]

    Step 136.

    Merge [think] and [ce[d[d..][peter..]][ce[ce..][T..]]]
    Label from [think] (head merging with a non-head)
    Theta-mark [ce[d[d..][peter..]][ce[ce..][T..]]]
    Stream:[[vunerg],[T!phi],[c]]
    Stack (⥥):[d!case[d][john]]
    b
    [d[d][peter]]
    b
    [d[d][mary]]
    b
    [d[d][bill]]
    [d[d][he[he][d!case[d][john]]]]
    SO:[think[think][ce[d[d][peter]][ce[ce][T[d[d][peter]][T[T][vunerg[d[d][peter]][vunerg[vunerg][think[think][ce[T][ce[ce][T[d[d][mary]][T[T][vunerg[d[d][mary]][vunerg[vunerg][think[think][ce[T][ce[ce][T[d[d][bill]][T[T][v*[d[d][bill]][v*[v*][like[like][d[d][he[he][d!case[d][john]]]]]]]]]]]]]]]]]]]]]]]]]]

    Step 137.

    Merge [vunerg] and [think[think][ce[d..][ce..]]]
    Label from [vunerg] (head merging with a non-head)
    Stream:[[T!phi],[c]]
    Stack (⥥):[d!case[d][john]]
    b
    [d[d][peter]]
    b
    [d[d][mary]]
    b
    [d[d][bill]]
    [d[d][he[he][d!case[d][john]]]]
    SO:[vunerg[vunerg][think[think][ce[d[d][peter]][ce[ce][T[d[d][peter]][T[T][vunerg[d[d][peter]][vunerg[vunerg][think[think][ce[T][ce[ce][T[d[d][mary]][T[T][vunerg[d[d][mary]][vunerg[vunerg][think[think][ce[T][ce[ce][T[d[d][bill]][T[T][v*[d[d][bill]][v*[v*][like[like][d[d][he[he][d!case[d][john]]]]]]]]]]]]]]]]]]]]]]]]]]]

    Step 138.

    Internal merge selected
    Merge [vunerg[vunerg][think[think..][ce..]]] and [d!case[d][john]]
    Label from [vunerg[vunerg][think[think..][ce..]]] (edge feature)
    Theta-mark [d!case[d][john]]
    Stream:[[T!phi],[c]]
    Stack (⥥):[d!case[d][john]]
    b
    [d[d][peter]]
    b
    [d[d][mary]]
    b
    [d[d][bill]]
    [d[d][he[he][d!case[d][john]]]]
    SO:[vunerg[d!case[d][john]][vunerg[vunerg][think[think][ce[d[d][peter]][ce[ce][T[d[d][peter]][T[T][vunerg[d[d][peter]][vunerg[vunerg][think[think][ce[T][ce[ce][T[d[d][mary]][T[T][vunerg[d[d][mary]][vunerg[vunerg][think[think][ce[T][ce[ce][T[d[d][bill]][T[T][v*[d[d][bill]][v*[v*][like[like][d[d][he[he][d[d][john]]]]]]]]]]]]]]]]]]]]]]]]]]]]

    Step 139.

    Merge [T!phi] and [vunerg[d!case[d..][john..]][vunerg[vunerg..][think..]]]
    Label from [T!phi] (head merging with a non-head)
    [d!case[d][john]] values uPhi on [T!phi]
    [T] values nom case on [d!case[d][john]]
    Stream:[[c]]
    Stack (⥥):[d[d][john]]
    b
    [d[d][peter]]
    b
    [d[d][mary]]
    b
    [d[d][bill]]
    [d[d][he[he][d[d][john]]]]
    SO:[T[T][vunerg[d[d][john]][vunerg[vunerg][think[think][ce[d[d][peter]][ce[ce][T[d[d][peter]][T[T][vunerg[d[d][peter]][vunerg[vunerg][think[think][ce[T][ce[ce][T[d[d][mary]][T[T][vunerg[d[d][mary]][vunerg[vunerg][think[think][ce[T][ce[ce][T[d[d][bill]][T[T][v*[d[d][bill]][v*[v*][like[like][d[d][he[he][d[d][john]]]]]]]]]]]]]]]]]]]]]]]]]]]]]

    Step 140.

    Internal merge selected
    Merge [T[T][vunerg[d..][vunerg..]]] and [d[d][john]]
    Label from [T[T][vunerg[d..][vunerg..]]] (edge feature)
    Stream:[[c]]
    Stack (⥥):[d[d][john]]
    b
    [d[d][peter]]
    b
    [d[d][mary]]
    b
    [d[d][bill]]
    [d[d][he[he][d[d][john]]]]
    SO:[T[d[d][john]][T[T][vunerg[d[d][john]][vunerg[vunerg][think[think][ce[d[d][peter]][ce[ce][T[d[d][peter]][T[T][vunerg[d[d][peter]][vunerg[vunerg][think[think][ce[T][ce[ce][T[d[d][mary]][T[T][vunerg[d[d][mary]][vunerg[vunerg][think[think][ce[T][ce[ce][T[d[d][bill]][T[T][v*[d[d][bill]][v*[v*][like[like][d[d][he[he][d[d][john]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]

    Step 141.

    Merge [c] and [T[d[d..][john..]][T[T..][vunerg..]]]
    Label from [c] (head merging with a non-head)
    Stream:[]
    Stack (⥥):[d[d][john]]
    b
    [d[d][peter]]
    b
    [d[d][mary]]
    b
    [d[d][bill]]
    [d[d][he[he][d[d][john]]]]
    SO:[c[c][T[d[d][john]][T[T][vunerg[d[d][john]][vunerg[vunerg][think[think][ce[d[d][peter]][ce[ce][T[d[d][peter]][T[T][vunerg[d[d][peter]][vunerg[vunerg][think[think][ce[T][ce[ce][T[d[d][mary]][T[T][vunerg[d[d][mary]][vunerg[vunerg][think[think][ce[T][ce[ce][T[d[d][bill]][T[T][v*[d[d][bill]][v*[v*][like[like][d[d][he[he][d[d][john]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]

    Step 142.

    Local Extent boundary at [c[c][T[d..][T..]]]
    New boundary (b) marker stacked
    Stream:[]
    Stack (⥥):b
    [d[d][john]]
    b
    [d[d][peter]]
    b
    [d[d][mary]]
    b
    [d[d][bill]]
    [d[d][he[he][d[d][john]]]]
    SO:[c[c][T[d[d][john]][T[T][vunerg[d[d][john]][vunerg[vunerg][think[think][ce[d[d][peter]][ce[ce][T[d[d][peter]][T[T][vunerg[d[d][peter]][vunerg[vunerg][think[think][ce[T][ce[ce][T[d[d][mary]][T[T][vunerg[d[d][mary]][vunerg[vunerg][think[think][ce[T][ce[ce][T[d[d][bill]][T[T][v*[d[d][bill]][v*[v*][like[like][d[d][he[he][d[d][john]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]

    Parse:
    Spell-out:
    john -s think peter -s think that mary -s think that bill -s like -acc he (after morpheme realization)
    john think -s peter think -s that mary think -s that bill like -s he -acc (after affix-hop)
    john think -s peter think -s that mary think -s that bill like -s he -acc (after morpheme realization, stage 2)
    john thinks peter thinks that mary thinks that bill likes him  

    Backtrack

    Stream:[[ce!T],[think],[vunerg],[T!phi],[c]]
    Stack (⥥):[d[d][peter]]
    [d!case[d][john]]
    b
    [d[d][mary]]
    b
    [d[d][bill]]
    [d[d][he[he][d!case[d][john]]]]
    SO:[T[d[d][peter]][T[T][vunerg[d[d][peter]][vunerg[vunerg][think[think][ce[T][ce[ce][T[d[d][mary]][T[T][vunerg[d[d][mary]][vunerg[vunerg][think[think][ce[T][ce[ce][T[d[d][bill]][T[T][v*[d[d][bill]][v*[v*][like[like][d[d][he[he][d!case[d][john]]]]]]]]]]]]]]]]]]]]]]]
    re-doing step 134

    Step 143.

    [ce!T] attracts [T[d[d..][peter..]][T[T..][vunerg..]]]
    Internal merge selected
    Merge [ce[ce][T[d..][T..]]] and [T]
    Label from [ce[ce][T[d..][T..]]] (edge feature)
    Stream:[[think],[vunerg],[T!phi],[c]]
    Stack (⥥):[d[d][peter]]
    [d!case[d][john]]
    b
    [d[d][mary]]
    b
    [d[d][bill]]
    [d[d][he[he][d!case[d][john]]]]
    SO:[ce[T][ce[ce][T[d[d][peter]][T[T][vunerg[d[d][peter]][vunerg[vunerg][think[think][ce[T][ce[ce][T[d[d][mary]][T[T][vunerg[d[d][mary]][vunerg[vunerg][think[think][ce[T][ce[ce][T[d[d][bill]][T[T][v*[d[d][bill]][v*[v*][like[like][d[d][he[he][d!case[d][john]]]]]]]]]]]]]]]]]]]]]]]]]

    Step 144.

    Local Extent boundary at [ce[T][ce[ce..][T..]]]
    Stack element [d!case[d][john]] with unvalued uF found
    New boundary (b) marker stacked
    Restack [d!case[d][john]] onto stack
    Stream:[[think],[vunerg],[T!phi],[c]]
    Stack (⥥):[d!case[d][john]]
    b
    [d[d][peter]]
    b
    [d[d][mary]]
    b
    [d[d][bill]]
    [d[d][he[he][d!case[d][john]]]]
    SO:[ce[T][ce[ce][T[d[d][peter]][T[T][vunerg[d[d][peter]][vunerg[vunerg][think[think][ce[T][ce[ce][T[d[d][mary]][T[T][vunerg[d[d][mary]][vunerg[vunerg][think[think][ce[T][ce[ce][T[d[d][bill]][T[T][v*[d[d][bill]][v*[v*][like[like][d[d][he[he][d!case[d][john]]]]]]]]]]]]]]]]]]]]]]]]]

    Step 145.

    Merge [think] and [ce[T][ce[ce..][T..]]]
    Label from [think] (head merging with a non-head)
    Theta-mark [ce[T][ce[ce..][T..]]]
    Stream:[[vunerg],[T!phi],[c]]
    Stack (⥥):[d!case[d][john]]
    b
    [d[d][peter]]
    b
    [d[d][mary]]
    b
    [d[d][bill]]
    [d[d][he[he][d!case[d][john]]]]
    SO:[think[think][ce[T][ce[ce][T[d[d][peter]][T[T][vunerg[d[d][peter]][vunerg[vunerg][think[think][ce[T][ce[ce][T[d[d][mary]][T[T][vunerg[d[d][mary]][vunerg[vunerg][think[think][ce[T][ce[ce][T[d[d][bill]][T[T][v*[d[d][bill]][v*[v*][like[like][d[d][he[he][d!case[d][john]]]]]]]]]]]]]]]]]]]]]]]]]]

    Step 146.

    Merge [vunerg] and [think[think][ce[T..][ce..]]]
    Label from [vunerg] (head merging with a non-head)
    Stream:[[T!phi],[c]]
    Stack (⥥):[d!case[d][john]]
    b
    [d[d][peter]]
    b
    [d[d][mary]]
    b
    [d[d][bill]]
    [d[d][he[he][d!case[d][john]]]]
    SO:[vunerg[vunerg][think[think][ce[T][ce[ce][T[d[d][peter]][T[T][vunerg[d[d][peter]][vunerg[vunerg][think[think][ce[T][ce[ce][T[d[d][mary]][T[T][vunerg[d[d][mary]][vunerg[vunerg][think[think][ce[T][ce[ce][T[d[d][bill]][T[T][v*[d[d][bill]][v*[v*][like[like][d[d][he[he][d!case[d][john]]]]]]]]]]]]]]]]]]]]]]]]]]]

    Step 147.

    Internal merge selected
    Merge [vunerg[vunerg][think[think..][ce..]]] and [d!case[d][john]]
    Label from [vunerg[vunerg][think[think..][ce..]]] (edge feature)
    Theta-mark [d!case[d][john]]
    Stream:[[T!phi],[c]]
    Stack (⥥):[d!case[d][john]]
    b
    [d[d][peter]]
    b
    [d[d][mary]]
    b
    [d[d][bill]]
    [d[d][he[he][d!case[d][john]]]]
    SO:[vunerg[d!case[d][john]][vunerg[vunerg][think[think][ce[T][ce[ce][T[d[d][peter]][T[T][vunerg[d[d][peter]][vunerg[vunerg][think[think][ce[T][ce[ce][T[d[d][mary]][T[T][vunerg[d[d][mary]][vunerg[vunerg][think[think][ce[T][ce[ce][T[d[d][bill]][T[T][v*[d[d][bill]][v*[v*][like[like][d[d][he[he][d[d][john]]]]]]]]]]]]]]]]]]]]]]]]]]]]

    Step 148.

    Merge [T!phi] and [vunerg[d!case[d..][john..]][vunerg[vunerg..][think..]]]
    Label from [T!phi] (head merging with a non-head)
    [d!case[d][john]] values uPhi on [T!phi]
    [T] values nom case on [d!case[d][john]]
    Stream:[[c]]
    Stack (⥥):[d[d][john]]
    b
    [d[d][peter]]
    b
    [d[d][mary]]
    b
    [d[d][bill]]
    [d[d][he[he][d[d][john]]]]
    SO:[T[T][vunerg[d[d][john]][vunerg[vunerg][think[think][ce[T][ce[ce][T[d[d][peter]][T[T][vunerg[d[d][peter]][vunerg[vunerg][think[think][ce[T][ce[ce][T[d[d][mary]][T[T][vunerg[d[d][mary]][vunerg[vunerg][think[think][ce[T][ce[ce][T[d[d][bill]][T[T][v*[d[d][bill]][v*[v*][like[like][d[d][he[he][d[d][john]]]]]]]]]]]]]]]]]]]]]]]]]]]]]

    Step 149.

    Internal merge selected
    Merge [T[T][vunerg[d..][vunerg..]]] and [d[d][john]]
    Label from [T[T][vunerg[d..][vunerg..]]] (edge feature)
    Stream:[[c]]
    Stack (⥥):[d[d][john]]
    b
    [d[d][peter]]
    b
    [d[d][mary]]
    b
    [d[d][bill]]
    [d[d][he[he][d[d][john]]]]
    SO:[T[d[d][john]][T[T][vunerg[d[d][john]][vunerg[vunerg][think[think][ce[T][ce[ce][T[d[d][peter]][T[T][vunerg[d[d][peter]][vunerg[vunerg][think[think][ce[T][ce[ce][T[d[d][mary]][T[T][vunerg[d[d][mary]][vunerg[vunerg][think[think][ce[T][ce[ce][T[d[d][bill]][T[T][v*[d[d][bill]][v*[v*][like[like][d[d][he[he][d[d][john]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]

    Step 150.

    Merge [c] and [T[d[d..][john..]][T[T..][vunerg..]]]
    Label from [c] (head merging with a non-head)
    Stream:[]
    Stack (⥥):[d[d][john]]
    b
    [d[d][peter]]
    b
    [d[d][mary]]
    b
    [d[d][bill]]
    [d[d][he[he][d[d][john]]]]
    SO:[c[c][T[d[d][john]][T[T][vunerg[d[d][john]][vunerg[vunerg][think[think][ce[T][ce[ce][T[d[d][peter]][T[T][vunerg[d[d][peter]][vunerg[vunerg][think[think][ce[T][ce[ce][T[d[d][mary]][T[T][vunerg[d[d][mary]][vunerg[vunerg][think[think][ce[T][ce[ce][T[d[d][bill]][T[T][v*[d[d][bill]][v*[v*][like[like][d[d][he[he][d[d][john]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]

    Step 151.

    Local Extent boundary at [c[c][T[d..][T..]]]
    New boundary (b) marker stacked
    Stream:[]
    Stack (⥥):b
    [d[d][john]]
    b
    [d[d][peter]]
    b
    [d[d][mary]]
    b
    [d[d][bill]]
    [d[d][he[he][d[d][john]]]]
    SO:[c[c][T[d[d][john]][T[T][vunerg[d[d][john]][vunerg[vunerg][think[think][ce[T][ce[ce][T[d[d][peter]][T[T][vunerg[d[d][peter]][vunerg[vunerg][think[think][ce[T][ce[ce][T[d[d][mary]][T[T][vunerg[d[d][mary]][vunerg[vunerg][think[think][ce[T][ce[ce][T[d[d][bill]][T[T][v*[d[d][bill]][v*[v*][like[like][d[d][he[he][d[d][john]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]

    Parse:
    Spell-out:
    john -s think that peter -s think that mary -s think that bill -s like -acc he (after morpheme realization)
    john think -s that peter think -s that mary think -s that bill like -s he -acc (after affix-hop)
    john think -s that peter think -s that mary think -s that bill like -s he -acc (after morpheme realization, stage 2)
    john thinks that peter thinks that mary thinks that bill likes him  

    8 derivations found.
    Computational Cost:
    Merge: 114, Agree: 64, Unify: 0, Push: 9, Boundaries: 22, Inject: 14
    Non-TOS access: 0, Pop: 0, Depth cost: 733
    Step:0123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151
    Stack depth:00011220002333344400045555666000677778888888978888888956660006777788888889788888889344400045555666000677778888888978888888956660006777788888889788888889

    Back to top