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:
    (32) ?John thinks that Peter1 thinks that Mary thinks that Bill likes him1

    Derivation:
    (32) ?John thinks that Peter1 thinks that Mary thinks that Bill likes him1

    Stream:[[peter!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],[T!phi],[ce!T],[think],[vunerg],[[john!D],[d!case!N]],[T!phi],[c]]
    Stack (⥥):
    SO:[]

    Step 1.

    Head of stream [peter!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],[T!phi],[ce!T],[think],[vunerg],[[john!D],[d!case!N]],[T!phi],[c]]
    Stack (⥥):
    SO:[peter!D]

    Step 2.

    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:[[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],[T!phi],[ce!T],[think],[vunerg],[[john!D],[d!case!N]],[T!phi],[c]]
    Stack (⥥):
    SO:[d!case[d][peter]]
    Doubling Constitutent (DC) merge

    Step 3.

    Merge [he!D] and [d!case[d][peter]]
    Label from [he!D] (head merging with a non-head)
    Push [d!case[d][peter]] (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],[T!phi],[ce!T],[think],[vunerg],[[john!D],[d!case!N]],[T!phi],[c]]
    Stack (⥥):inactive([d!case[d][peter]])
    SO:[he!D[he!D][d!case[d][peter]]]

    Step 4.

    Merge [d!case!N] and [he!D[he!D][d!case[d..][peter..]]]
    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..][peter..]]]
    [d!case!N] values D on [he!D[he!D][d!case[d..][peter..]]]
    [he[he][d!case[d..][peter..]]] 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],[T!phi],[ce!T],[think],[vunerg],[[john!D],[d!case!N]],[T!phi],[c]]
    Stack (⥥):inactive([d!case[d][peter]])
    SO:[d!case[d][he[he][d!case[d][peter]]]]

    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],[T!phi],[ce!T],[think],[vunerg],[[john!D],[d!case!N]],[T!phi],[c]]
    Stack (⥥):[d!case[d][he[he][d!case[d][peter]]]]
    inactive([d!case[d][peter]])
    SO:[like[like][d!case[d][he[he][d!case[d][peter]]]]]

    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],[T!phi],[ce!T],[think],[vunerg],[[john!D],[d!case!N]],[T!phi],[c]]
    Stack (⥥):[d[d][he[he][d!case[d][peter]]]]
    inactive([d!case[d][peter]])
    SO:[v*[v*][like[like][d[d][he[he][d!case[d][peter]]]]]]

    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],[T!phi],[ce!T],[think],[vunerg],[[john!D],[d!case!N]],[T!phi],[c]]
    Stack (⥥):[d[d][he[he][d!case[d][peter]]]]
    inactive([d!case[d][peter]])
    SO:[v*[v*][like[like][d[d][he[he][d!case[d][peter]]]]]]

    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],[T!phi],[ce!T],[think],[vunerg],[[john!D],[d!case!N]],[T!phi],[c]]
    Stack (⥥):[d!case[d][bill]]
    [d[d][he[he][d!case[d][peter]]]]
    inactive([d!case[d][peter]])
    SO:[v*[d!case[d][bill]][v*[v*][like[like][d[d][he[he][d!case[d][peter]]]]]]]

    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],[T!phi],[ce!T],[think],[vunerg],[[john!D],[d!case!N]],[T!phi],[c]]
    Stack (⥥):[d[d][bill]]
    [d[d][he[he][d!case[d][peter]]]]
    inactive([d!case[d][peter]])
    SO:[T[T][v*[d[d][bill]][v*[v*][like[like][d[d][he[he][d!case[d][peter]]]]]]]]

    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],[T!phi],[ce!T],[think],[vunerg],[[john!D],[d!case!N]],[T!phi],[c]]
    Stack (⥥):[d[d][bill]]
    [d[d][he[he][d!case[d][peter]]]]
    inactive([d!case[d][peter]])
    SO:[T[d[d][bill]][T[T][v*[d[d][bill]][v*[v*][like[like][d[d][he[he][d!case[d][peter]]]]]]]]]

    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],[T!phi],[ce!T],[think],[vunerg],[[john!D],[d!case!N]],[T!phi],[c]]
    Stack (⥥):[d[d][bill]]
    [d[d][he[he][d!case[d][peter]]]]
    inactive([d!case[d][peter]])
    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][peter]]]]]]]]]]]

    Step 15.

    Local Extent boundary at [ce[d[d..][bill..]][ce[ce..][T..]]]
    Inactive stack element inactive([d!case[d][peter]]) found
    New boundary (b) marker stacked
    Restack [d!case[d][peter]] onto stack
    Stream:[[think],[vunerg],[[mary!D],[d!case!N]],[T!phi],[ce!T],[think],[vunerg],[T!phi],[ce!T],[think],[vunerg],[[john!D],[d!case!N]],[T!phi],[c]]
    Stack (⥥):[d!case[d][peter]]
    b
    [d[d][bill]]
    [d[d][he[he][d!case[d][peter]]]]
    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][peter]]]]]]]]]]]

    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],[T!phi],[ce!T],[think],[vunerg],[[john!D],[d!case!N]],[T!phi],[c]]
    Stack (⥥):[d!case[d][peter]]
    b
    [d[d][bill]]
    [d[d][he[he][d!case[d][peter]]]]
    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][peter]]]]]]]]]]]]

    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],[T!phi],[ce!T],[think],[vunerg],[[john!D],[d!case!N]],[T!phi],[c]]
    Stack (⥥):[d!case[d][peter]]
    b
    [d[d][bill]]
    [d[d][he[he][d!case[d][peter]]]]
    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][peter]]]]]]]]]]]]]

    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],[T!phi],[ce!T],[think],[vunerg],[[john!D],[d!case!N]],[T!phi],[c]]
    Stack (⥥):[d!case[d][peter]]
    b
    [d[d][bill]]
    [d[d][he[he][d!case[d][peter]]]]
    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][peter]]]]]]]]]]]]]

    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],[T!phi],[ce!T],[think],[vunerg],[[john!D],[d!case!N]],[T!phi],[c]]
    Stack (⥥):[d!case[d][mary]]
    [d!case[d][peter]]
    b
    [d[d][bill]]
    [d[d][he[he][d!case[d][peter]]]]
    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][peter]]]]]]]]]]]]]]

    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],[T!phi],[ce!T],[think],[vunerg],[[john!D],[d!case!N]],[T!phi],[c]]
    Stack (⥥):[d[d][mary]]
    [d!case[d][peter]]
    b
    [d[d][bill]]
    [d[d][he[he][d!case[d][peter]]]]
    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][peter]]]]]]]]]]]]]]]

    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],[T!phi],[ce!T],[think],[vunerg],[[john!D],[d!case!N]],[T!phi],[c]]
    Stack (⥥):[d[d][mary]]
    [d!case[d][peter]]
    b
    [d[d][bill]]
    [d[d][he[he][d!case[d][peter]]]]
    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][peter]]]]]]]]]]]]]]]]

    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],[T!phi],[ce!T],[think],[vunerg],[[john!D],[d!case!N]],[T!phi],[c]]
    Stack (⥥):[d[d][mary]]
    [d!case[d][peter]]
    b
    [d[d][bill]]
    [d[d][he[he][d!case[d][peter]]]]
    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][peter]]]]]]]]]]]]]]]]]]

    Step 26.

    Local Extent boundary at [ce[d[d..][mary..]][ce[ce..][T..]]]
    Stack element [d!case[d][peter]] with unvalued uF found
    New boundary (b) marker stacked
    Restack [d!case[d][peter]] onto stack
    Stream:[[think],[vunerg],[T!phi],[ce!T],[think],[vunerg],[[john!D],[d!case!N]],[T!phi],[c]]
    Stack (⥥):[d!case[d][peter]]
    b
    [d[d][mary]]
    b
    [d[d][bill]]
    [d[d][he[he][d!case[d][peter]]]]
    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][peter]]]]]]]]]]]]]]]]]]

    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],[T!phi],[ce!T],[think],[vunerg],[[john!D],[d!case!N]],[T!phi],[c]]
    Stack (⥥):[d!case[d][peter]]
    b
    [d[d][mary]]
    b
    [d[d][bill]]
    [d[d][he[he][d!case[d][peter]]]]
    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][peter]]]]]]]]]]]]]]]]]]]

    Step 28.

    Merge [vunerg] and [think[think][ce[d..][ce..]]]
    Label from [vunerg] (head merging with a non-head)
    Stream:[[T!phi],[ce!T],[think],[vunerg],[[john!D],[d!case!N]],[T!phi],[c]]
    Stack (⥥):[d!case[d][peter]]
    b
    [d[d][mary]]
    b
    [d[d][bill]]
    [d[d][he[he][d!case[d][peter]]]]
    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][peter]]]]]]]]]]]]]]]]]]]]

    Step 29.

    Internal merge selected
    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]]
    Stream:[[T!phi],[ce!T],[think],[vunerg],[[john!D],[d!case!N]],[T!phi],[c]]
    Stack (⥥):[d!case[d][peter]]
    b
    [d[d][mary]]
    b
    [d[d][bill]]
    [d[d][he[he][d!case[d][peter]]]]
    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[d][peter]]]]]]]]]]]]]]]]]]]]]

    Step 30.

    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],[[john!D],[d!case!N]],[T!phi],[c]]
    Stack (⥥):[d[d][peter]]
    b
    [d[d][mary]]
    b
    [d[d][bill]]
    [d[d][he[he][d[d][peter]]]]
    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[d][peter]]]]]]]]]]]]]]]]]]]]]]

    Step 31.

    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],[[john!D],[d!case!N]],[T!phi],[c]]
    Stack (⥥):[d[d][peter]]
    b
    [d[d][mary]]
    b
    [d[d][bill]]
    [d[d][he[he][d[d][peter]]]]
    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[d][peter]]]]]]]]]]]]]]]]]]]]]]]

    Step 32.

    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],[[john!D],[d!case!N]],[T!phi],[c]]
    Stack (⥥):[d[d][peter]]
    b
    [d[d][mary]]
    b
    [d[d][bill]]
    [d[d][he[he][d[d][peter]]]]
    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[d][peter]]]]]]]]]]]]]]]]]]]]]]]]]

    Step 33.

    Local Extent boundary at [ce[d[d..][peter..]][ce[ce..][T..]]]
    New boundary (b) marker stacked
    Stream:[[think],[vunerg],[[john!D],[d!case!N]],[T!phi],[c]]
    Stack (⥥):b
    [d[d][peter]]
    b
    [d[d][mary]]
    b
    [d[d][bill]]
    [d[d][he[he][d[d][peter]]]]
    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[d][peter]]]]]]]]]]]]]]]]]]]]]]]]]

    Step 34.

    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],[[john!D],[d!case!N]],[T!phi],[c]]
    Stack (⥥):b
    [d[d][peter]]
    b
    [d[d][mary]]
    b
    [d[d][bill]]
    [d[d][he[he][d[d][peter]]]]
    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[d][peter]]]]]]]]]]]]]]]]]]]]]]]]]]

    Step 35.

    Merge [vunerg] and [think[think][ce[d..][ce..]]]
    Label from [vunerg] (head merging with a non-head)
    Stream:[[[john!D],[d!case!N]],[T!phi],[c]]
    Stack (⥥):b
    [d[d][peter]]
    b
    [d[d][mary]]
    b
    [d[d][bill]]
    [d[d][he[he][d[d][peter]]]]
    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[d][peter]]]]]]]]]]]]]]]]]]]]]]]]]]]

    Step 36.

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

    Step 37.

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

    Step 38.

    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:[]
    Stack (⥥):
    SO:[d!case[d][john]]
    End substream, SO [d!case[d][john]] re-inserted into main stream

    Step 39.

    Stream:[[d!case[d][john]],[T!phi],[c]]
    Stack (⥥):b
    [d[d][peter]]
    b
    [d[d][mary]]
    b
    [d[d][bill]]
    [d[d][he[he][d[d][peter]]]]
    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[d][peter]]]]]]]]]]]]]]]]]]]]]]]]]]]

    Step 40.

    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]]
    Push [d!case[d][john]] (unvalued uF) onto stack
    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[d][peter]]]]
    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][peter]]]]]]]]]]]]]]]]]]]]]]]]]]]]

    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][peter]]]]
    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][peter]]]]]]]]]]]]]]]]]]]]]]]]]]]]]

    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][peter]]]]
    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][peter]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]

    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][peter]]]]
    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][peter]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]

    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][peter]]]]
    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][peter]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]

    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],[[john!D],[d!case!N]],[T!phi],[c]]
    Stack (⥥):[d[d][peter]]
    b
    [d[d][mary]]
    b
    [d[d][bill]]
    [d[d][he[he][d[d][peter]]]]
    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[d][peter]]]]]]]]]]]]]]]]]]]]]]]
    re-doing step 32

    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],[[john!D],[d!case!N]],[T!phi],[c]]
    Stack (⥥):[d[d][peter]]
    b
    [d[d][mary]]
    b
    [d[d][bill]]
    [d[d][he[he][d[d][peter]]]]
    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[d][peter]]]]]]]]]]]]]]]]]]]]]]]]]

    Step 46.

    Local Extent boundary at [ce[T][ce[ce..][T..]]]
    New boundary (b) marker stacked
    Stream:[[think],[vunerg],[[john!D],[d!case!N]],[T!phi],[c]]
    Stack (⥥):b
    [d[d][peter]]
    b
    [d[d][mary]]
    b
    [d[d][bill]]
    [d[d][he[he][d[d][peter]]]]
    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[d][peter]]]]]]]]]]]]]]]]]]]]]]]]]

    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],[[john!D],[d!case!N]],[T!phi],[c]]
    Stack (⥥):b
    [d[d][peter]]
    b
    [d[d][mary]]
    b
    [d[d][bill]]
    [d[d][he[he][d[d][peter]]]]
    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[d][peter]]]]]]]]]]]]]]]]]]]]]]]]]]

    Step 48.

    Merge [vunerg] and [think[think][ce[T..][ce..]]]
    Label from [vunerg] (head merging with a non-head)
    Stream:[[[john!D],[d!case!N]],[T!phi],[c]]
    Stack (⥥):b
    [d[d][peter]]
    b
    [d[d][mary]]
    b
    [d[d][bill]]
    [d[d][he[he][d[d][peter]]]]
    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[d][peter]]]]]]]]]]]]]]]]]]]]]]]]]]]

    Step 49.

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

    Step 50.

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

    Step 51.

    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:[]
    Stack (⥥):
    SO:[d!case[d][john]]
    End substream, SO [d!case[d][john]] re-inserted into main stream

    Step 52.

    Stream:[[d!case[d][john]],[T!phi],[c]]
    Stack (⥥):b
    [d[d][peter]]
    b
    [d[d][mary]]
    b
    [d[d][bill]]
    [d[d][he[he][d[d][peter]]]]
    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[d][peter]]]]]]]]]]]]]]]]]]]]]]]]]]]

    Step 53.

    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]]
    Push [d!case[d][john]] (unvalued uF) onto stack
    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[d][peter]]]]
    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][peter]]]]]]]]]]]]]]]]]]]]]]]]]]]]

    Step 54.

    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][peter]]]]
    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][peter]]]]]]]]]]]]]]]]]]]]]]]]]]]]]

    Step 55.

    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][peter]]]]
    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][peter]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]

    Step 56.

    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][peter]]]]
    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][peter]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]

    Step 57.

    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][peter]]]]
    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][peter]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]

    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],[T!phi],[ce!T],[think],[vunerg],[[john!D],[d!case!N]],[T!phi],[c]]
    Stack (⥥):[d[d][mary]]
    [d!case[d][peter]]
    b
    [d[d][bill]]
    [d[d][he[he][d!case[d][peter]]]]
    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][peter]]]]]]]]]]]]]]]]
    re-doing step 25

    Step 58.

    [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],[T!phi],[ce!T],[think],[vunerg],[[john!D],[d!case!N]],[T!phi],[c]]
    Stack (⥥):[d[d][mary]]
    [d!case[d][peter]]
    b
    [d[d][bill]]
    [d[d][he[he][d!case[d][peter]]]]
    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][peter]]]]]]]]]]]]]]]]]]

    Step 59.

    Local Extent boundary at [ce[T][ce[ce..][T..]]]
    Stack element [d!case[d][peter]] with unvalued uF found
    New boundary (b) marker stacked
    Restack [d!case[d][peter]] onto stack
    Stream:[[think],[vunerg],[T!phi],[ce!T],[think],[vunerg],[[john!D],[d!case!N]],[T!phi],[c]]
    Stack (⥥):[d!case[d][peter]]
    b
    [d[d][mary]]
    b
    [d[d][bill]]
    [d[d][he[he][d!case[d][peter]]]]
    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][peter]]]]]]]]]]]]]]]]]]

    Step 60.

    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],[ce!T],[think],[vunerg],[[john!D],[d!case!N]],[T!phi],[c]]
    Stack (⥥):[d!case[d][peter]]
    b
    [d[d][mary]]
    b
    [d[d][bill]]
    [d[d][he[he][d!case[d][peter]]]]
    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][peter]]]]]]]]]]]]]]]]]]]

    Step 61.

    Merge [vunerg] and [think[think][ce[T..][ce..]]]
    Label from [vunerg] (head merging with a non-head)
    Stream:[[T!phi],[ce!T],[think],[vunerg],[[john!D],[d!case!N]],[T!phi],[c]]
    Stack (⥥):[d!case[d][peter]]
    b
    [d[d][mary]]
    b
    [d[d][bill]]
    [d[d][he[he][d!case[d][peter]]]]
    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][peter]]]]]]]]]]]]]]]]]]]]

    Step 62.

    Internal merge selected
    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]]
    Stream:[[T!phi],[ce!T],[think],[vunerg],[[john!D],[d!case!N]],[T!phi],[c]]
    Stack (⥥):[d!case[d][peter]]
    b
    [d[d][mary]]
    b
    [d[d][bill]]
    [d[d][he[he][d!case[d][peter]]]]
    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[d][peter]]]]]]]]]]]]]]]]]]]]]

    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],[[john!D],[d!case!N]],[T!phi],[c]]
    Stack (⥥):[d[d][peter]]
    b
    [d[d][mary]]
    b
    [d[d][bill]]
    [d[d][he[he][d[d][peter]]]]
    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[d][peter]]]]]]]]]]]]]]]]]]]]]]

    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],[[john!D],[d!case!N]],[T!phi],[c]]
    Stack (⥥):[d[d][peter]]
    b
    [d[d][mary]]
    b
    [d[d][bill]]
    [d[d][he[he][d[d][peter]]]]
    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[d][peter]]]]]]]]]]]]]]]]]]]]]]]

    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],[[john!D],[d!case!N]],[T!phi],[c]]
    Stack (⥥):[d[d][peter]]
    b
    [d[d][mary]]
    b
    [d[d][bill]]
    [d[d][he[he][d[d][peter]]]]
    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[d][peter]]]]]]]]]]]]]]]]]]]]]]]]]

    Step 66.

    Local Extent boundary at [ce[d[d..][peter..]][ce[ce..][T..]]]
    New boundary (b) marker stacked
    Stream:[[think],[vunerg],[[john!D],[d!case!N]],[T!phi],[c]]
    Stack (⥥):b
    [d[d][peter]]
    b
    [d[d][mary]]
    b
    [d[d][bill]]
    [d[d][he[he][d[d][peter]]]]
    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[d][peter]]]]]]]]]]]]]]]]]]]]]]]]]

    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],[[john!D],[d!case!N]],[T!phi],[c]]
    Stack (⥥):b
    [d[d][peter]]
    b
    [d[d][mary]]
    b
    [d[d][bill]]
    [d[d][he[he][d[d][peter]]]]
    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[d][peter]]]]]]]]]]]]]]]]]]]]]]]]]]

    Step 68.

    Merge [vunerg] and [think[think][ce[d..][ce..]]]
    Label from [vunerg] (head merging with a non-head)
    Stream:[[[john!D],[d!case!N]],[T!phi],[c]]
    Stack (⥥):b
    [d[d][peter]]
    b
    [d[d][mary]]
    b
    [d[d][bill]]
    [d[d][he[he][d[d][peter]]]]
    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[d][peter]]]]]]]]]]]]]]]]]]]]]]]]]]]

    Step 69.

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

    Step 70.

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

    Step 71.

    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:[]
    Stack (⥥):
    SO:[d!case[d][john]]
    End substream, SO [d!case[d][john]] re-inserted into main stream

    Step 72.

    Stream:[[d!case[d][john]],[T!phi],[c]]
    Stack (⥥):b
    [d[d][peter]]
    b
    [d[d][mary]]
    b
    [d[d][bill]]
    [d[d][he[he][d[d][peter]]]]
    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[d][peter]]]]]]]]]]]]]]]]]]]]]]]]]]]

    Step 73.

    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]]
    Push [d!case[d][john]] (unvalued uF) onto stack
    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[d][peter]]]]
    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][peter]]]]]]]]]]]]]]]]]]]]]]]]]]]]

    Step 74.

    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][peter]]]]
    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][peter]]]]]]]]]]]]]]]]]]]]]]]]]]]]]

    Step 75.

    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][peter]]]]
    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][peter]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]

    Step 76.

    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][peter]]]]
    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][peter]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]

    Step 77.

    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][peter]]]]
    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][peter]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]

    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],[[john!D],[d!case!N]],[T!phi],[c]]
    Stack (⥥):[d[d][peter]]
    b
    [d[d][mary]]
    b
    [d[d][bill]]
    [d[d][he[he][d[d][peter]]]]
    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[d][peter]]]]]]]]]]]]]]]]]]]]]]]
    re-doing step 65

    Step 78.

    [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],[[john!D],[d!case!N]],[T!phi],[c]]
    Stack (⥥):[d[d][peter]]
    b
    [d[d][mary]]
    b
    [d[d][bill]]
    [d[d][he[he][d[d][peter]]]]
    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[d][peter]]]]]]]]]]]]]]]]]]]]]]]]]

    Step 79.

    Local Extent boundary at [ce[T][ce[ce..][T..]]]
    New boundary (b) marker stacked
    Stream:[[think],[vunerg],[[john!D],[d!case!N]],[T!phi],[c]]
    Stack (⥥):b
    [d[d][peter]]
    b
    [d[d][mary]]
    b
    [d[d][bill]]
    [d[d][he[he][d[d][peter]]]]
    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[d][peter]]]]]]]]]]]]]]]]]]]]]]]]]

    Step 80.

    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],[[john!D],[d!case!N]],[T!phi],[c]]
    Stack (⥥):b
    [d[d][peter]]
    b
    [d[d][mary]]
    b
    [d[d][bill]]
    [d[d][he[he][d[d][peter]]]]
    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[d][peter]]]]]]]]]]]]]]]]]]]]]]]]]]

    Step 81.

    Merge [vunerg] and [think[think][ce[T..][ce..]]]
    Label from [vunerg] (head merging with a non-head)
    Stream:[[[john!D],[d!case!N]],[T!phi],[c]]
    Stack (⥥):b
    [d[d][peter]]
    b
    [d[d][mary]]
    b
    [d[d][bill]]
    [d[d][he[he][d[d][peter]]]]
    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[d][peter]]]]]]]]]]]]]]]]]]]]]]]]]]]

    Step 82.

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

    Step 83.

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

    Step 84.

    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:[]
    Stack (⥥):
    SO:[d!case[d][john]]
    End substream, SO [d!case[d][john]] re-inserted into main stream

    Step 85.

    Stream:[[d!case[d][john]],[T!phi],[c]]
    Stack (⥥):b
    [d[d][peter]]
    b
    [d[d][mary]]
    b
    [d[d][bill]]
    [d[d][he[he][d[d][peter]]]]
    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[d][peter]]]]]]]]]]]]]]]]]]]]]]]]]]]

    Step 86.

    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]]
    Push [d!case[d][john]] (unvalued uF) onto stack
    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[d][peter]]]]
    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][peter]]]]]]]]]]]]]]]]]]]]]]]]]]]]

    Step 87.

    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][peter]]]]
    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][peter]]]]]]]]]]]]]]]]]]]]]]]]]]]]]

    Step 88.

    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][peter]]]]
    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][peter]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]

    Step 89.

    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][peter]]]]
    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][peter]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]

    Step 90.

    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][peter]]]]
    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][peter]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]

    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],[T!phi],[ce!T],[think],[vunerg],[[john!D],[d!case!N]],[T!phi],[c]]
    Stack (⥥):[d[d][bill]]
    [d[d][he[he][d!case[d][peter]]]]
    inactive([d!case[d][peter]])
    SO:[T[d[d][bill]][T[T][v*[d[d][bill]][v*[v*][like[like][d[d][he[he][d!case[d][peter]]]]]]]]]
    re-doing step 14

    Step 91.

    [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],[T!phi],[ce!T],[think],[vunerg],[[john!D],[d!case!N]],[T!phi],[c]]
    Stack (⥥):[d[d][bill]]
    [d[d][he[he][d!case[d][peter]]]]
    inactive([d!case[d][peter]])
    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][peter]]]]]]]]]]]

    Step 92.

    Local Extent boundary at [ce[T][ce[ce..][T..]]]
    Inactive stack element inactive([d!case[d][peter]]) found
    New boundary (b) marker stacked
    Restack [d!case[d][peter]] onto stack
    Stream:[[think],[vunerg],[[mary!D],[d!case!N]],[T!phi],[ce!T],[think],[vunerg],[T!phi],[ce!T],[think],[vunerg],[[john!D],[d!case!N]],[T!phi],[c]]
    Stack (⥥):[d!case[d][peter]]
    b
    [d[d][bill]]
    [d[d][he[he][d!case[d][peter]]]]
    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][peter]]]]]]]]]]]

    Step 93.

    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],[T!phi],[ce!T],[think],[vunerg],[[john!D],[d!case!N]],[T!phi],[c]]
    Stack (⥥):[d!case[d][peter]]
    b
    [d[d][bill]]
    [d[d][he[he][d!case[d][peter]]]]
    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][peter]]]]]]]]]]]]

    Step 94.

    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],[T!phi],[ce!T],[think],[vunerg],[[john!D],[d!case!N]],[T!phi],[c]]
    Stack (⥥):[d!case[d][peter]]
    b
    [d[d][bill]]
    [d[d][he[he][d!case[d][peter]]]]
    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][peter]]]]]]]]]]]]]

    Step 95.

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

    Step 96.

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

    Step 97.

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

    Stream:[[d!case[d][mary]],[T!phi],[ce!T],[think],[vunerg],[T!phi],[ce!T],[think],[vunerg],[[john!D],[d!case!N]],[T!phi],[c]]
    Stack (⥥):[d!case[d][peter]]
    b
    [d[d][bill]]
    [d[d][he[he][d!case[d][peter]]]]
    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][peter]]]]]]]]]]]]]

    Step 99.

    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],[T!phi],[ce!T],[think],[vunerg],[[john!D],[d!case!N]],[T!phi],[c]]
    Stack (⥥):[d!case[d][mary]]
    [d!case[d][peter]]
    b
    [d[d][bill]]
    [d[d][he[he][d!case[d][peter]]]]
    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][peter]]]]]]]]]]]]]]

    Step 100.

    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],[T!phi],[ce!T],[think],[vunerg],[[john!D],[d!case!N]],[T!phi],[c]]
    Stack (⥥):[d[d][mary]]
    [d!case[d][peter]]
    b
    [d[d][bill]]
    [d[d][he[he][d!case[d][peter]]]]
    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][peter]]]]]]]]]]]]]]]

    Step 101.

    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],[T!phi],[ce!T],[think],[vunerg],[[john!D],[d!case!N]],[T!phi],[c]]
    Stack (⥥):[d[d][mary]]
    [d!case[d][peter]]
    b
    [d[d][bill]]
    [d[d][he[he][d!case[d][peter]]]]
    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][peter]]]]]]]]]]]]]]]]

    Step 102.

    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],[T!phi],[ce!T],[think],[vunerg],[[john!D],[d!case!N]],[T!phi],[c]]
    Stack (⥥):[d[d][mary]]
    [d!case[d][peter]]
    b
    [d[d][bill]]
    [d[d][he[he][d!case[d][peter]]]]
    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][peter]]]]]]]]]]]]]]]]]]

    Step 103.

    Local Extent boundary at [ce[d[d..][mary..]][ce[ce..][T..]]]
    Stack element [d!case[d][peter]] with unvalued uF found
    New boundary (b) marker stacked
    Restack [d!case[d][peter]] onto stack
    Stream:[[think],[vunerg],[T!phi],[ce!T],[think],[vunerg],[[john!D],[d!case!N]],[T!phi],[c]]
    Stack (⥥):[d!case[d][peter]]
    b
    [d[d][mary]]
    b
    [d[d][bill]]
    [d[d][he[he][d!case[d][peter]]]]
    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][peter]]]]]]]]]]]]]]]]]]

    Step 104.

    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],[T!phi],[ce!T],[think],[vunerg],[[john!D],[d!case!N]],[T!phi],[c]]
    Stack (⥥):[d!case[d][peter]]
    b
    [d[d][mary]]
    b
    [d[d][bill]]
    [d[d][he[he][d!case[d][peter]]]]
    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][peter]]]]]]]]]]]]]]]]]]]

    Step 105.

    Merge [vunerg] and [think[think][ce[d..][ce..]]]
    Label from [vunerg] (head merging with a non-head)
    Stream:[[T!phi],[ce!T],[think],[vunerg],[[john!D],[d!case!N]],[T!phi],[c]]
    Stack (⥥):[d!case[d][peter]]
    b
    [d[d][mary]]
    b
    [d[d][bill]]
    [d[d][he[he][d!case[d][peter]]]]
    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][peter]]]]]]]]]]]]]]]]]]]]

    Step 106.

    Internal merge selected
    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]]
    Stream:[[T!phi],[ce!T],[think],[vunerg],[[john!D],[d!case!N]],[T!phi],[c]]
    Stack (⥥):[d!case[d][peter]]
    b
    [d[d][mary]]
    b
    [d[d][bill]]
    [d[d][he[he][d!case[d][peter]]]]
    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[d][peter]]]]]]]]]]]]]]]]]]]]]

    Step 107.

    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],[[john!D],[d!case!N]],[T!phi],[c]]
    Stack (⥥):[d[d][peter]]
    b
    [d[d][mary]]
    b
    [d[d][bill]]
    [d[d][he[he][d[d][peter]]]]
    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[d][peter]]]]]]]]]]]]]]]]]]]]]]

    Step 108.

    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],[[john!D],[d!case!N]],[T!phi],[c]]
    Stack (⥥):[d[d][peter]]
    b
    [d[d][mary]]
    b
    [d[d][bill]]
    [d[d][he[he][d[d][peter]]]]
    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[d][peter]]]]]]]]]]]]]]]]]]]]]]]

    Step 109.

    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],[[john!D],[d!case!N]],[T!phi],[c]]
    Stack (⥥):[d[d][peter]]
    b
    [d[d][mary]]
    b
    [d[d][bill]]
    [d[d][he[he][d[d][peter]]]]
    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[d][peter]]]]]]]]]]]]]]]]]]]]]]]]]

    Step 110.

    Local Extent boundary at [ce[d[d..][peter..]][ce[ce..][T..]]]
    New boundary (b) marker stacked
    Stream:[[think],[vunerg],[[john!D],[d!case!N]],[T!phi],[c]]
    Stack (⥥):b
    [d[d][peter]]
    b
    [d[d][mary]]
    b
    [d[d][bill]]
    [d[d][he[he][d[d][peter]]]]
    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[d][peter]]]]]]]]]]]]]]]]]]]]]]]]]

    Step 111.

    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],[[john!D],[d!case!N]],[T!phi],[c]]
    Stack (⥥):b
    [d[d][peter]]
    b
    [d[d][mary]]
    b
    [d[d][bill]]
    [d[d][he[he][d[d][peter]]]]
    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[d][peter]]]]]]]]]]]]]]]]]]]]]]]]]]

    Step 112.

    Merge [vunerg] and [think[think][ce[d..][ce..]]]
    Label from [vunerg] (head merging with a non-head)
    Stream:[[[john!D],[d!case!N]],[T!phi],[c]]
    Stack (⥥):b
    [d[d][peter]]
    b
    [d[d][mary]]
    b
    [d[d][bill]]
    [d[d][he[he][d[d][peter]]]]
    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[d][peter]]]]]]]]]]]]]]]]]]]]]]]]]]]

    Step 113.

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

    Step 114.

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

    Step 115.

    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:[]
    Stack (⥥):
    SO:[d!case[d][john]]
    End substream, SO [d!case[d][john]] re-inserted into main stream

    Step 116.

    Stream:[[d!case[d][john]],[T!phi],[c]]
    Stack (⥥):b
    [d[d][peter]]
    b
    [d[d][mary]]
    b
    [d[d][bill]]
    [d[d][he[he][d[d][peter]]]]
    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[d][peter]]]]]]]]]]]]]]]]]]]]]]]]]]]

    Step 117.

    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]]
    Push [d!case[d][john]] (unvalued uF) onto stack
    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[d][peter]]]]
    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][peter]]]]]]]]]]]]]]]]]]]]]]]]]]]]

    Step 118.

    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][peter]]]]
    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][peter]]]]]]]]]]]]]]]]]]]]]]]]]]]]]

    Step 119.

    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][peter]]]]
    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][peter]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]

    Step 120.

    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][peter]]]]
    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][peter]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]

    Step 121.

    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][peter]]]]
    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][peter]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]

    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],[[john!D],[d!case!N]],[T!phi],[c]]
    Stack (⥥):[d[d][peter]]
    b
    [d[d][mary]]
    b
    [d[d][bill]]
    [d[d][he[he][d[d][peter]]]]
    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[d][peter]]]]]]]]]]]]]]]]]]]]]]]
    re-doing step 109

    Step 122.

    [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],[[john!D],[d!case!N]],[T!phi],[c]]
    Stack (⥥):[d[d][peter]]
    b
    [d[d][mary]]
    b
    [d[d][bill]]
    [d[d][he[he][d[d][peter]]]]
    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[d][peter]]]]]]]]]]]]]]]]]]]]]]]]]

    Step 123.

    Local Extent boundary at [ce[T][ce[ce..][T..]]]
    New boundary (b) marker stacked
    Stream:[[think],[vunerg],[[john!D],[d!case!N]],[T!phi],[c]]
    Stack (⥥):b
    [d[d][peter]]
    b
    [d[d][mary]]
    b
    [d[d][bill]]
    [d[d][he[he][d[d][peter]]]]
    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[d][peter]]]]]]]]]]]]]]]]]]]]]]]]]

    Step 124.

    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],[[john!D],[d!case!N]],[T!phi],[c]]
    Stack (⥥):b
    [d[d][peter]]
    b
    [d[d][mary]]
    b
    [d[d][bill]]
    [d[d][he[he][d[d][peter]]]]
    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[d][peter]]]]]]]]]]]]]]]]]]]]]]]]]]

    Step 125.

    Merge [vunerg] and [think[think][ce[T..][ce..]]]
    Label from [vunerg] (head merging with a non-head)
    Stream:[[[john!D],[d!case!N]],[T!phi],[c]]
    Stack (⥥):b
    [d[d][peter]]
    b
    [d[d][mary]]
    b
    [d[d][bill]]
    [d[d][he[he][d[d][peter]]]]
    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[d][peter]]]]]]]]]]]]]]]]]]]]]]]]]]]

    Step 126.

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

    Step 127.

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

    Step 128.

    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:[]
    Stack (⥥):
    SO:[d!case[d][john]]
    End substream, SO [d!case[d][john]] re-inserted into main stream

    Step 129.

    Stream:[[d!case[d][john]],[T!phi],[c]]
    Stack (⥥):b
    [d[d][peter]]
    b
    [d[d][mary]]
    b
    [d[d][bill]]
    [d[d][he[he][d[d][peter]]]]
    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[d][peter]]]]]]]]]]]]]]]]]]]]]]]]]]]

    Step 130.

    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]]
    Push [d!case[d][john]] (unvalued uF) onto stack
    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[d][peter]]]]
    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][peter]]]]]]]]]]]]]]]]]]]]]]]]]]]]

    Step 131.

    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][peter]]]]
    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][peter]]]]]]]]]]]]]]]]]]]]]]]]]]]]]

    Step 132.

    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][peter]]]]
    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][peter]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]

    Step 133.

    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][peter]]]]
    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][peter]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]

    Step 134.

    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][peter]]]]
    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][peter]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]

    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],[T!phi],[ce!T],[think],[vunerg],[[john!D],[d!case!N]],[T!phi],[c]]
    Stack (⥥):[d[d][mary]]
    [d!case[d][peter]]
    b
    [d[d][bill]]
    [d[d][he[he][d!case[d][peter]]]]
    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][peter]]]]]]]]]]]]]]]]
    re-doing step 102

    Step 135.

    [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],[T!phi],[ce!T],[think],[vunerg],[[john!D],[d!case!N]],[T!phi],[c]]
    Stack (⥥):[d[d][mary]]
    [d!case[d][peter]]
    b
    [d[d][bill]]
    [d[d][he[he][d!case[d][peter]]]]
    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][peter]]]]]]]]]]]]]]]]]]

    Step 136.

    Local Extent boundary at [ce[T][ce[ce..][T..]]]
    Stack element [d!case[d][peter]] with unvalued uF found
    New boundary (b) marker stacked
    Restack [d!case[d][peter]] onto stack
    Stream:[[think],[vunerg],[T!phi],[ce!T],[think],[vunerg],[[john!D],[d!case!N]],[T!phi],[c]]
    Stack (⥥):[d!case[d][peter]]
    b
    [d[d][mary]]
    b
    [d[d][bill]]
    [d[d][he[he][d!case[d][peter]]]]
    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][peter]]]]]]]]]]]]]]]]]]

    Step 137.

    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],[ce!T],[think],[vunerg],[[john!D],[d!case!N]],[T!phi],[c]]
    Stack (⥥):[d!case[d][peter]]
    b
    [d[d][mary]]
    b
    [d[d][bill]]
    [d[d][he[he][d!case[d][peter]]]]
    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][peter]]]]]]]]]]]]]]]]]]]

    Step 138.

    Merge [vunerg] and [think[think][ce[T..][ce..]]]
    Label from [vunerg] (head merging with a non-head)
    Stream:[[T!phi],[ce!T],[think],[vunerg],[[john!D],[d!case!N]],[T!phi],[c]]
    Stack (⥥):[d!case[d][peter]]
    b
    [d[d][mary]]
    b
    [d[d][bill]]
    [d[d][he[he][d!case[d][peter]]]]
    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][peter]]]]]]]]]]]]]]]]]]]]

    Step 139.

    Internal merge selected
    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]]
    Stream:[[T!phi],[ce!T],[think],[vunerg],[[john!D],[d!case!N]],[T!phi],[c]]
    Stack (⥥):[d!case[d][peter]]
    b
    [d[d][mary]]
    b
    [d[d][bill]]
    [d[d][he[he][d!case[d][peter]]]]
    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[d][peter]]]]]]]]]]]]]]]]]]]]]

    Step 140.

    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],[[john!D],[d!case!N]],[T!phi],[c]]
    Stack (⥥):[d[d][peter]]
    b
    [d[d][mary]]
    b
    [d[d][bill]]
    [d[d][he[he][d[d][peter]]]]
    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[d][peter]]]]]]]]]]]]]]]]]]]]]]

    Step 141.

    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],[[john!D],[d!case!N]],[T!phi],[c]]
    Stack (⥥):[d[d][peter]]
    b
    [d[d][mary]]
    b
    [d[d][bill]]
    [d[d][he[he][d[d][peter]]]]
    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[d][peter]]]]]]]]]]]]]]]]]]]]]]]

    Step 142.

    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],[[john!D],[d!case!N]],[T!phi],[c]]
    Stack (⥥):[d[d][peter]]
    b
    [d[d][mary]]
    b
    [d[d][bill]]
    [d[d][he[he][d[d][peter]]]]
    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[d][peter]]]]]]]]]]]]]]]]]]]]]]]]]

    Step 143.

    Local Extent boundary at [ce[d[d..][peter..]][ce[ce..][T..]]]
    New boundary (b) marker stacked
    Stream:[[think],[vunerg],[[john!D],[d!case!N]],[T!phi],[c]]
    Stack (⥥):b
    [d[d][peter]]
    b
    [d[d][mary]]
    b
    [d[d][bill]]
    [d[d][he[he][d[d][peter]]]]
    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[d][peter]]]]]]]]]]]]]]]]]]]]]]]]]

    Step 144.

    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],[[john!D],[d!case!N]],[T!phi],[c]]
    Stack (⥥):b
    [d[d][peter]]
    b
    [d[d][mary]]
    b
    [d[d][bill]]
    [d[d][he[he][d[d][peter]]]]
    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[d][peter]]]]]]]]]]]]]]]]]]]]]]]]]]

    Step 145.

    Merge [vunerg] and [think[think][ce[d..][ce..]]]
    Label from [vunerg] (head merging with a non-head)
    Stream:[[[john!D],[d!case!N]],[T!phi],[c]]
    Stack (⥥):b
    [d[d][peter]]
    b
    [d[d][mary]]
    b
    [d[d][bill]]
    [d[d][he[he][d[d][peter]]]]
    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[d][peter]]]]]]]]]]]]]]]]]]]]]]]]]]]

    Step 146.

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

    Step 147.

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

    Step 148.

    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:[]
    Stack (⥥):
    SO:[d!case[d][john]]
    End substream, SO [d!case[d][john]] re-inserted into main stream

    Step 149.

    Stream:[[d!case[d][john]],[T!phi],[c]]
    Stack (⥥):b
    [d[d][peter]]
    b
    [d[d][mary]]
    b
    [d[d][bill]]
    [d[d][he[he][d[d][peter]]]]
    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[d][peter]]]]]]]]]]]]]]]]]]]]]]]]]]]

    Step 150.

    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]]
    Push [d!case[d][john]] (unvalued uF) onto stack
    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[d][peter]]]]
    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][peter]]]]]]]]]]]]]]]]]]]]]]]]]]]]

    Step 151.

    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][peter]]]]
    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][peter]]]]]]]]]]]]]]]]]]]]]]]]]]]]]

    Step 152.

    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][peter]]]]
    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][peter]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]

    Step 153.

    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][peter]]]]
    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][peter]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]

    Step 154.

    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][peter]]]]
    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][peter]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]

    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],[[john!D],[d!case!N]],[T!phi],[c]]
    Stack (⥥):[d[d][peter]]
    b
    [d[d][mary]]
    b
    [d[d][bill]]
    [d[d][he[he][d[d][peter]]]]
    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[d][peter]]]]]]]]]]]]]]]]]]]]]]]
    re-doing step 142

    Step 155.

    [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],[[john!D],[d!case!N]],[T!phi],[c]]
    Stack (⥥):[d[d][peter]]
    b
    [d[d][mary]]
    b
    [d[d][bill]]
    [d[d][he[he][d[d][peter]]]]
    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[d][peter]]]]]]]]]]]]]]]]]]]]]]]]]

    Step 156.

    Local Extent boundary at [ce[T][ce[ce..][T..]]]
    New boundary (b) marker stacked
    Stream:[[think],[vunerg],[[john!D],[d!case!N]],[T!phi],[c]]
    Stack (⥥):b
    [d[d][peter]]
    b
    [d[d][mary]]
    b
    [d[d][bill]]
    [d[d][he[he][d[d][peter]]]]
    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[d][peter]]]]]]]]]]]]]]]]]]]]]]]]]

    Step 157.

    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],[[john!D],[d!case!N]],[T!phi],[c]]
    Stack (⥥):b
    [d[d][peter]]
    b
    [d[d][mary]]
    b
    [d[d][bill]]
    [d[d][he[he][d[d][peter]]]]
    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[d][peter]]]]]]]]]]]]]]]]]]]]]]]]]]

    Step 158.

    Merge [vunerg] and [think[think][ce[T..][ce..]]]
    Label from [vunerg] (head merging with a non-head)
    Stream:[[[john!D],[d!case!N]],[T!phi],[c]]
    Stack (⥥):b
    [d[d][peter]]
    b
    [d[d][mary]]
    b
    [d[d][bill]]
    [d[d][he[he][d[d][peter]]]]
    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[d][peter]]]]]]]]]]]]]]]]]]]]]]]]]]]

    Step 159.

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

    Step 160.

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

    Step 161.

    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:[]
    Stack (⥥):
    SO:[d!case[d][john]]
    End substream, SO [d!case[d][john]] re-inserted into main stream

    Step 162.

    Stream:[[d!case[d][john]],[T!phi],[c]]
    Stack (⥥):b
    [d[d][peter]]
    b
    [d[d][mary]]
    b
    [d[d][bill]]
    [d[d][he[he][d[d][peter]]]]
    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[d][peter]]]]]]]]]]]]]]]]]]]]]]]]]]]

    Step 163.

    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]]
    Push [d!case[d][john]] (unvalued uF) onto stack
    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[d][peter]]]]
    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][peter]]]]]]]]]]]]]]]]]]]]]]]]]]]]

    Step 164.

    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][peter]]]]
    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][peter]]]]]]]]]]]]]]]]]]]]]]]]]]]]]

    Step 165.

    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][peter]]]]
    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][peter]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]

    Step 166.

    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][peter]]]]
    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][peter]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]

    Step 167.

    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][peter]]]]
    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][peter]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]

    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: 118, Agree: 72, Unify: 0, Push: 13, Boundaries: 22, Inject: 6
    Non-TOS access: 0, Pop: 0, Depth cost: 717
    Step:0123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167
    Stack depth:000112200023333444000455556666666777000788889677700078888956666666777000788889677700078888934440004555566666667770007888896777000788889566666667770007888896777000788889

    Back to top