| Merge: | set-Merge |
| Stream: | ['arrive', 'v', 'toT', 'expect', 'v*', ['n_3rd_sg', 'John'], 'Tpres', 'C'] |
| Unlabeled: |
| Merge: | set-Merge |
| Stream: | ['v', 'toT', 'expect', 'v*', ['n_3rd_sg', 'John'], 'Tpres', 'C'] |
| Unlabeled: |
| Merge: | set-Merge |
| Stream: | ['toT', 'expect', 'v*', ['n_3rd_sg', 'John'], 'Tpres', 'C'] |
| Unlabeled: |
| Merge: | set-Merge |
| Stream: | ['expect', 'v*', ['n_3rd_sg', 'John'], 'Tpres', 'C'] |
| Operations: | Checked Features: 'uPerson' |
| Unlabeled: |
| Merge: | set-Merge |
| Stream: | ['v*', ['n_3rd_sg', 'John'], 'Tpres', 'C'] |
| Unlabeled: |
| Merge: | set-Merge |
| Stream: | [['n_3rd_sg', 'John'], 'Tpres', 'C'] |
| Operations: | Checked Features: 'uPerson' 'uNumber' 'uGender' |
| Unlabeled: | |
| Label from Head: | |
| Label from Head: | |
| Label from Head: | |
| Label from Head: | |
| Label from Head: | |
| Label from Head: |
| Merge: | set-Merge |
| Stream: | [] |
| Unlabeled: |
| Merge: | set-Merge |
| Stream: | [['John', 'n_3rd_sg'], 'Tpres', 'C'] |
| Unlabeled: |
| Merge: | set-Merge |
| Stream: | ['C'] |
| Operations: | Checked Features: 'uPerson' 'uNumber' 'uGender' |
| Unlabeled: |
| Merge: | set-Merge |
| Stream: | [] |
| Unlabeled: | |
| Label from Head: | |
| Label from Head: | |
| Crash (Unlabeled): |
| Merge: | set-Merge |
| Stream: | ['C'] |
| Unlabeled: |
| Merge: | set-Merge |
| Stream: | [] |
| Unlabeled: | |
| Label from Head: | |
| Label from Head: | |
| Label via shared features: | |
| Label from Head: | |
| Label from Head: | |
| FormCopy: | |
| Label via movement: | |
| Transfer: | |
| Frontier: |
| Spell Out: | C n John T(Pres,3rd,sg) v* expect toT v arrive n Mary |
| PF Rules: | John T(Pres,3rd,sg)+expect John expects to arrive Mary |
| Merge: | set-Merge |
| Stream: | ['v*', ['n_3rd_sg', 'John'], 'Tpres', 'C'] |
| Unlabeled: |
| Merge: | set-Merge |
| Stream: | [['n_3rd_sg', 'John'], 'Tpres', 'C'] |
| Operations: | Checked Features: 'uPerson' 'uNumber' 'uGender' |
| Unlabeled: | |
| Label from Head: | |
| Label from Head: | |
| Label from Head: | |
| Label from Head: | |
| Label from Head: | |
| Label from Head: | |
| Label from Head: | |
| FormCopy: | |
| Crash (Unlabeled): |
| Merge: | set-Merge |
| Stream: | ['expect', 'v*', ['n_3rd_sg', 'John'], 'Tpres', 'C'] |
| Unlabeled: |
| Merge: | set-Merge |
| Stream: | ['v*', ['n_3rd_sg', 'John'], 'Tpres', 'C'] |
| Unlabeled: |
| Merge: | set-Merge |
| Stream: | [['n_3rd_sg', 'John'], 'Tpres', 'C'] |
| Operations: | Checked Features: 'uPerson' 'uNumber' 'uGender' |
| Unlabeled: | |
| Label from Head: | |
| Label from Head: | |
| Label from Head: | |
| Label via shared features: | |
| Label from Head: | |
| Label from Head: | |
| Label from Head: | |
| Label from Head: | |
| FormCopy: |
| Merge: | set-Merge |
| Stream: | [] |
| Unlabeled: |
| Merge: | set-Merge |
| Stream: | [['John', 'n_3rd_sg'], 'Tpres', 'C'] |
| Unlabeled: |
| Merge: | set-Merge |
| Stream: | ['C'] |
| Operations: | Checked Features: 'uPerson' 'uNumber' 'uGender' |
| Unlabeled: |
| Merge: | set-Merge |
| Stream: | [] |
| Unlabeled: | |
| Label from Head: | |
| Label from Head: | |
| Crash (Unlabeled): |
| Merge: | set-Merge |
| Stream: | ['C'] |
| Unlabeled: |
| Merge: | set-Merge |
| Stream: | [] |
| Unlabeled: | |
| Label from Head: | |
| Label from Head: | |
| Label via shared features: | |
| Label from Head: | |
| Label from Head: | |
| FormCopy: | |
| Label via movement: | |
| Transfer: | |
| Frontier: |
| Spell Out: | C n John T(Pres,3rd,sg) v* expect n Mary toT v arrive |
| PF Rules: | John T(Pres,3rd,sg)+expect John expects Mary to arrive |
| Merge: | set-Merge |
| Stream: | ['v*', ['n_3rd_sg', 'John'], 'Tpres', 'C'] |
| Unlabeled: |
| Merge: | set-Merge |
| Stream: | [['n_3rd_sg', 'John'], 'Tpres', 'C'] |
| Operations: | Checked Features: 'uPerson' 'uNumber' 'uGender' |
| Unlabeled: | |
| Label from Head: | |
| Label from Head: | |
| Label from Head: | |
| Label from Head: | |
| FormCopy: | |
| Label from Head: | |
| Label via movement: | |
| Label from Head: | |
| Label from Head: | |
| Label from Head: | |
| FormCopy: | |
| Crash (Unlabeled): |
| Merge: | set-Merge |
| Stream: | ['toT', 'expect', 'v*', ['n_3rd_sg', 'John'], 'Tpres', 'C'] |
| Unlabeled: |
| Merge: | set-Merge |
| Stream: | ['expect', 'v*', ['n_3rd_sg', 'John'], 'Tpres', 'C'] |
| Operations: | Checked Features: 'uPerson' |
| Unlabeled: |
| Merge: | set-Merge |
| Stream: | ['v*', ['n_3rd_sg', 'John'], 'Tpres', 'C'] |
| Unlabeled: |
| Merge: | set-Merge |
| Stream: | [['n_3rd_sg', 'John'], 'Tpres', 'C'] |
| Operations: | Checked Features: 'uPerson' 'uNumber' 'uGender' |
| Unlabeled: | |
| Label from Head: | |
| Label from Head: | |
| Label from Head: | |
| Label from Head: | |
| Label from Head: | |
| Label from Head: | |
| Label from Head: | |
| FormCopy: |
| Merge: | set-Merge |
| Stream: | [] |
| Unlabeled: |
| Merge: | set-Merge |
| Stream: | [['John', 'n_3rd_sg'], 'Tpres', 'C'] |
| Unlabeled: |
| Merge: | set-Merge |
| Stream: | ['C'] |
| Operations: | Checked Features: 'uPerson' 'uNumber' 'uGender' |
| Unlabeled: |
| Merge: | set-Merge |
| Stream: | [] |
| Unlabeled: | |
| Label from Head: | |
| Label from Head: | |
| Crash (Unlabeled): |
| Merge: | set-Merge |
| Stream: | ['C'] |
| Unlabeled: |
| Merge: | set-Merge |
| Stream: | [] |
| Unlabeled: | |
| Label from Head: | |
| Label from Head: | |
| Label via shared features: | |
| Label from Head: | |
| Label from Head: | |
| FormCopy: | |
| Label via movement: | |
| Crash (Unlabeled): |
| Merge: | set-Merge |
| Stream: | ['v*', ['n_3rd_sg', 'John'], 'Tpres', 'C'] |
| Unlabeled: |
| Merge: | set-Merge |
| Stream: | [['n_3rd_sg', 'John'], 'Tpres', 'C'] |
| Operations: | Checked Features: 'uPerson' 'uNumber' 'uGender' |
| Unlabeled: | |
| Label from Head: | |
| Label from Head: | |
| Label from Head: | |
| Label from Head: | |
| Label from Head: | |
| FormCopy: | |
| Label from Head: | |
| Label via movement: | |
| Label from Head: | |
| Label from Head: | |
| FormCopy: | |
| Crash (Unlabeled): |
| Merge: | set-Merge |
| Stream: | ['expect', 'v*', ['n_3rd_sg', 'John'], 'Tpres', 'C'] |
| Unlabeled: |
| Merge: | set-Merge |
| Stream: | ['v*', ['n_3rd_sg', 'John'], 'Tpres', 'C'] |
| Unlabeled: |
| Merge: | set-Merge |
| Stream: | [['n_3rd_sg', 'John'], 'Tpres', 'C'] |
| Operations: | Checked Features: 'uPerson' 'uNumber' 'uGender' |
| Unlabeled: | |
| Label from Head: | |
| Label from Head: | |
| Label from Head: | |
| Label via shared features: | |
| Label from Head: | |
| Label from Head: | |
| FormCopy: | |
| Label from Head: | |
| Label via movement: | |
| Label from Head: | |
| Label from Head: | |
| FormCopy: |
| Merge: | set-Merge |
| Stream: | [] |
| Unlabeled: |
| Merge: | set-Merge |
| Stream: | [['John', 'n_3rd_sg'], 'Tpres', 'C'] |
| Unlabeled: |
| Merge: | set-Merge |
| Stream: | ['C'] |
| Operations: | Checked Features: 'uPerson' 'uNumber' 'uGender' |
| Unlabeled: |
| Merge: | set-Merge |
| Stream: | [] |
| Unlabeled: | |
| Label from Head: | |
| Label from Head: | |
| Crash (Unlabeled): |
| Merge: | set-Merge |
| Stream: | ['C'] |
| Unlabeled: |
| Merge: | set-Merge |
| Stream: | [] |
| Unlabeled: | |
| Label from Head: | |
| Label from Head: | |
| Label via shared features: | |
| Label from Head: | |
| Label from Head: | |
| FormCopy: | |
| Label via movement: | |
| Transfer: | |
| Frontier: |
| Spell Out: | C n John T(Pres,3rd,sg) v* expect n Mary toT v arrive |
| PF Rules: | John T(Pres,3rd,sg)+expect John expects Mary to arrive |
| Merge: | set-Merge |
| Stream: | ['v*', ['n_3rd_sg', 'John'], 'Tpres', 'C'] |
| Unlabeled: |
| Merge: | set-Merge |
| Stream: | [['n_3rd_sg', 'John'], 'Tpres', 'C'] |
| Operations: | Checked Features: 'uPerson' 'uNumber' 'uGender' |
| Unlabeled: | |
| Label from Head: | |
| Label from Head: | |
| Label from Head: | |
| Label from Head: | |
| FormCopy: | |
| Label from Head: | |
| Label via movement: | |
| Label from Head: | |
| FormCopy: | |
| Label from Head: | |
| Label via movement: | |
| Label from Head: | |
| Label from Head: | |
| FormCopy: | |
| Crash (Unlabeled): |
| Merge: | set-Merge |
| Stream: | ['v', 'toT', 'expect', 'v*', ['n_3rd_sg', 'John'], 'Tpres', 'C'] |
| Unlabeled: |
| Merge: | set-Merge |
| Stream: | ['toT', 'expect', 'v*', ['n_3rd_sg', 'John'], 'Tpres', 'C'] |
| Unlabeled: |
| Merge: | set-Merge |
| Stream: | ['expect', 'v*', ['n_3rd_sg', 'John'], 'Tpres', 'C'] |
| Operations: | Checked Features: 'uPerson' |
| Unlabeled: |
| Merge: | set-Merge |
| Stream: | ['v*', ['n_3rd_sg', 'John'], 'Tpres', 'C'] |
| Unlabeled: |
| Merge: | set-Merge |
| Stream: | [['n_3rd_sg', 'John'], 'Tpres', 'C'] |
| Operations: | Checked Features: 'uPerson' 'uNumber' 'uGender' |
| Unlabeled: | |
| Label from Head: | |
| Label from Head: | |
| Label from Head: | |
| Label from Head: | |
| Label from Head: | |
| Label from Head: | |
| Label from Head: | |
| FormCopy: |
| Merge: | set-Merge |
| Stream: | [] |
| Unlabeled: |
| Merge: | set-Merge |
| Stream: | [['John', 'n_3rd_sg'], 'Tpres', 'C'] |
| Unlabeled: |
| Merge: | set-Merge |
| Stream: | ['C'] |
| Operations: | Checked Features: 'uPerson' 'uNumber' 'uGender' |
| Unlabeled: |
| Merge: | set-Merge |
| Stream: | [] |
| Unlabeled: | |
| Label from Head: | |
| Label from Head: | |
| Crash (Unlabeled): |
| Merge: | set-Merge |
| Stream: | ['C'] |
| Unlabeled: |
| Merge: | set-Merge |
| Stream: | [] |
| Unlabeled: | |
| Label from Head: | |
| Label from Head: | |
| Label via shared features: | |
| Label from Head: | |
| Label from Head: | |
| FormCopy: | |
| Label via movement: | |
| Crash (Unlabeled): |
| Merge: | set-Merge |
| Stream: | ['v*', ['n_3rd_sg', 'John'], 'Tpres', 'C'] |
| Unlabeled: |
| Merge: | set-Merge |
| Stream: | [['n_3rd_sg', 'John'], 'Tpres', 'C'] |
| Operations: | Checked Features: 'uPerson' 'uNumber' 'uGender' |
| Unlabeled: | |
| Label from Head: | |
| Label from Head: | |
| Label from Head: | |
| Label from Head: | |
| Label from Head: | |
| Label from Head: | |
| FormCopy: | |
| Label from Head: | |
| Label via movement: | |
| Label from Head: | |
| FormCopy: | |
| Crash (Unlabeled): |
| Merge: | set-Merge |
| Stream: | ['expect', 'v*', ['n_3rd_sg', 'John'], 'Tpres', 'C'] |
| Unlabeled: |
| Merge: | set-Merge |
| Stream: | ['v*', ['n_3rd_sg', 'John'], 'Tpres', 'C'] |
| Unlabeled: |
| Merge: | set-Merge |
| Stream: | [['n_3rd_sg', 'John'], 'Tpres', 'C'] |
| Operations: | Checked Features: 'uPerson' 'uNumber' 'uGender' |
| Unlabeled: | |
| Label from Head: | |
| Label from Head: | |
| Label from Head: | |
| Label via shared features: | |
| Label from Head: | |
| Label from Head: | |
| Label from Head: | |
| FormCopy: | |
| Label from Head: | |
| Label via movement: | |
| Label from Head: | |
| FormCopy: |
| Merge: | set-Merge |
| Stream: | [] |
| Unlabeled: |
| Merge: | set-Merge |
| Stream: | [['John', 'n_3rd_sg'], 'Tpres', 'C'] |
| Unlabeled: |
| Merge: | set-Merge |
| Stream: | ['C'] |
| Operations: | Checked Features: 'uPerson' 'uNumber' 'uGender' |
| Unlabeled: |
| Merge: | set-Merge |
| Stream: | [] |
| Unlabeled: | |
| Label from Head: | |
| Label from Head: | |
| Crash (Unlabeled): |
| Merge: | set-Merge |
| Stream: | ['C'] |
| Unlabeled: |
| Merge: | set-Merge |
| Stream: | [] |
| Unlabeled: | |
| Label from Head: | |
| Label from Head: | |
| Label via shared features: | |
| Label from Head: | |
| Label from Head: | |
| FormCopy: | |
| Label via movement: | |
| Transfer: | |
| Frontier: |
| Spell Out: | C n John T(Pres,3rd,sg) v* expect n Mary toT v arrive |
| PF Rules: | John T(Pres,3rd,sg)+expect John expects Mary to arrive |
| Merge: | set-Merge |
| Stream: | ['v*', ['n_3rd_sg', 'John'], 'Tpres', 'C'] |
| Unlabeled: |
| Merge: | set-Merge |
| Stream: | [['n_3rd_sg', 'John'], 'Tpres', 'C'] |
| Operations: | Checked Features: 'uPerson' 'uNumber' 'uGender' |
| Unlabeled: | |
| Label from Head: | |
| Label from Head: | |
| Label from Head: | |
| Label from Head: | |
| FormCopy: | |
| Label from Head: | |
| Label via movement: | |
| Label from Head: | |
| Label from Head: | |
| FormCopy: | |
| Label from Head: | |
| Label via movement: | |
| Label from Head: | |
| FormCopy: | |
| Crash (Unlabeled): |
| Merge: | set-Merge |
| Stream: | ['toT', 'expect', 'v*', ['n_3rd_sg', 'John'], 'Tpres', 'C'] |
| Unlabeled: |
| Merge: | set-Merge |
| Stream: | ['expect', 'v*', ['n_3rd_sg', 'John'], 'Tpres', 'C'] |
| Operations: | Checked Features: 'uPerson' |
| Unlabeled: |
| Merge: | set-Merge |
| Stream: | ['v*', ['n_3rd_sg', 'John'], 'Tpres', 'C'] |
| Unlabeled: |
| Merge: | set-Merge |
| Stream: | [['n_3rd_sg', 'John'], 'Tpres', 'C'] |
| Operations: | Checked Features: 'uPerson' 'uNumber' 'uGender' |
| Unlabeled: | |
| Label from Head: | |
| Label from Head: | |
| Label from Head: | |
| Label from Head: | |
| Label from Head: | |
| Label from Head: | |
| FormCopy: | |
| Label from Head: | |
| Label via movement: | |
| Label from Head: | |
| FormCopy: |
| Merge: | set-Merge |
| Stream: | [] |
| Unlabeled: |
| Merge: | set-Merge |
| Stream: | [['John', 'n_3rd_sg'], 'Tpres', 'C'] |
| Unlabeled: |
| Merge: | set-Merge |
| Stream: | ['C'] |
| Operations: | Checked Features: 'uPerson' 'uNumber' 'uGender' |
| Unlabeled: |
| Merge: | set-Merge |
| Stream: | [] |
| Unlabeled: | |
| Label from Head: | |
| Label from Head: | |
| Crash (Unlabeled): |
| Merge: | set-Merge |
| Stream: | ['C'] |
| Unlabeled: |
| Merge: | set-Merge |
| Stream: | [] |
| Unlabeled: | |
| Label from Head: | |
| Label from Head: | |
| Label via shared features: | |
| Label from Head: | |
| Label from Head: | |
| FormCopy: | |
| Label via movement: | |
| Crash (Unlabeled): |
| Merge: | set-Merge |
| Stream: | ['v*', ['n_3rd_sg', 'John'], 'Tpres', 'C'] |
| Unlabeled: |
| Merge: | set-Merge |
| Stream: | [['n_3rd_sg', 'John'], 'Tpres', 'C'] |
| Operations: | Checked Features: 'uPerson' 'uNumber' 'uGender' |
| Unlabeled: | |
| Label from Head: | |
| Label from Head: | |
| Label from Head: | |
| Label from Head: | |
| Label from Head: | |
| FormCopy: | |
| Label from Head: | |
| Label via movement: | |
| Label from Head: | |
| FormCopy: | |
| Label from Head: | |
| Label via movement: | |
| Label from Head: | |
| FormCopy: | |
| Crash (Unlabeled): |
| Merge: | set-Merge |
| Stream: | ['expect', 'v*', ['n_3rd_sg', 'John'], 'Tpres', 'C'] |
| Unlabeled: |
| Merge: | set-Merge |
| Stream: | ['v*', ['n_3rd_sg', 'John'], 'Tpres', 'C'] |
| Unlabeled: |
| Merge: | set-Merge |
| Stream: | [['n_3rd_sg', 'John'], 'Tpres', 'C'] |
| Operations: | Checked Features: 'uPerson' 'uNumber' 'uGender' |
| Unlabeled: | |
| Label from Head: | |
| Label from Head: | |
| Label from Head: | |
| Label via shared features: | |
| Label from Head: | |
| Label from Head: | |
| FormCopy: | |
| Label from Head: | |
| Label via movement: | |
| Label from Head: | |
| FormCopy: | |
| Label from Head: | |
| Label via movement: | |
| Label from Head: | |
| FormCopy: |
| Merge: | set-Merge |
| Stream: | [] |
| Unlabeled: |
| Merge: | set-Merge |
| Stream: | [['John', 'n_3rd_sg'], 'Tpres', 'C'] |
| Unlabeled: |
| Merge: | set-Merge |
| Stream: | ['C'] |
| Operations: | Checked Features: 'uPerson' 'uNumber' 'uGender' |
| Unlabeled: |
| Merge: | set-Merge |
| Stream: | [] |
| Unlabeled: | |
| Label from Head: | |
| Label from Head: | |
| Crash (Unlabeled): |
| Merge: | set-Merge |
| Stream: | ['C'] |
| Unlabeled: |
| Merge: | set-Merge |
| Stream: | [] |
| Unlabeled: | |
| Label from Head: | |
| Label from Head: | |
| Label via shared features: | |
| Label from Head: | |
| Label from Head: | |
| FormCopy: | |
| Label via movement: | |
| Transfer: | |
| Frontier: |
| Spell Out: | C n John T(Pres,3rd,sg) v* expect n Mary toT v arrive |
| PF Rules: | John T(Pres,3rd,sg)+expect John expects Mary to arrive |
| Merge: | set-Merge |
| Stream: | ['v*', ['n_3rd_sg', 'John'], 'Tpres', 'C'] |
| Unlabeled: |
| Merge: | set-Merge |
| Stream: | [['n_3rd_sg', 'John'], 'Tpres', 'C'] |
| Operations: | Checked Features: 'uPerson' 'uNumber' 'uGender' |
| Unlabeled: | |
| Label from Head: | |
| Label from Head: | |
| Label from Head: | |
| Label from Head: | |
| FormCopy: | |
| Label from Head: | |
| Label via movement: | |
| Label from Head: | |
| FormCopy: | |
| Label from Head: | |
| Label via movement: | |
| Label from Head: | |
| FormCopy: | |
| Label from Head: | |
| Label via movement: | |
| Label from Head: | |
| FormCopy: | |
| Crash (Unlabeled): |
| # of Merges: | 95 |
| # of Backtracks: | 23 |
| # of Crashes: | 39 |
| # of Successful Derivations: | 5 |