| Merge: | set-Merge |
| Stream: | ['the', 'buy', 'v*', ['n_sg_3rd', 'Sue'], 'will', 'Tpres', 'that', 'think', 'v', ['n_sg_3rd', 'Mary'], 'Tpres', 'C'] |
| Unlabeled: |
| Merge: | pair-Merge |
| Stream: | ['buy', 'v*', ['n_sg_3rd', 'Sue'], 'will', 'Tpres', 'that', 'think', 'v', ['n_sg_3rd', 'Mary'], 'Tpres', 'C'] |
| Label stays the same: |
| Merge: | set-Merge |
| Stream: | ['v*', ['n_sg_3rd', 'Sue'], 'will', 'Tpres', 'that', 'think', 'v', ['n_sg_3rd', 'Mary'], 'Tpres', 'C'] |
| Unlabeled: |
| Merge: | set-Merge |
| Stream: | [['n_sg_3rd', 'Sue'], 'will', 'Tpres', 'that', 'think', 'v', ['n_sg_3rd', 'Mary'], 'Tpres', 'C'] |
| Operations: | Checked Features: 'uPerson' 'uNumber' 'uGender' |
| Unlabeled: | |
| Label from Head: | |
| Label from Head: | |
| Label from Head: |
| Merge: | set-Merge |
| Stream: | [] |
| Unlabeled: |
| Merge: | set-Merge |
| Stream: | [['Sue', 'n_sg_3rd'], 'will', 'Tpres', 'that', 'think', 'v', ['n_sg_3rd', 'Mary'], 'Tpres', 'C'] |
| Unlabeled: |
| Merge: | set-Merge |
| Stream: | ['Tpres', 'that', 'think', 'v', ['n_sg_3rd', 'Mary'], 'Tpres', 'C'] |
| Unlabeled: |
| Merge: | set-Merge |
| Stream: | ['that', 'think', 'v', ['n_sg_3rd', 'Mary'], 'Tpres', 'C'] |
| Operations: | Checked Features: 'uPerson' 'uNumber' 'uGender' |
| Unlabeled: |
| Merge: | set-Merge |
| Stream: | ['think', 'v', ['n_sg_3rd', 'Mary'], 'Tpres', 'C'] |
| Unlabeled: | |
| Label from Head: | |
| Label from Head: | |
| Label from Head: | |
| Crash (Unlabeled): |
| Merge: | set-Merge |
| Stream: | ['that', 'think', 'v', ['n_sg_3rd', 'Mary'], 'Tpres', 'C'] |
| Unlabeled: |
| Merge: | set-Merge |
| Stream: | ['think', 'v', ['n_sg_3rd', 'Mary'], 'Tpres', 'C'] |
| Unlabeled: | |
| Label from Head: | |
| Label from Head: | |
| Label via shared features: | |
| Label from Head: | |
| Label from Head: | |
| Label from Head: | |
| FormCopy: | |
| Label via movement: |
| Merge: | set-Merge |
| Stream: | ['v', ['n_sg_3rd', 'Mary'], 'Tpres', 'C'] |
| Unlabeled: |
| Merge: | set-Merge |
| Stream: | [['n_sg_3rd', 'Mary'], 'Tpres', 'C'] |
| Unlabeled: |
| Merge: | set-Merge |
| Stream: | [] |
| Unlabeled: |
| Merge: | set-Merge |
| Stream: | [['Mary', 'n_sg_3rd'], '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: | |
| 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 from Head: | |
| Label via movement: | |
| Label from Head: | |
| Transfer: | |
| Frontier: |
| Spell Out: | C n Mary T(Pres,3rd,sg) v think that n Sue T(Pres,3rd,sg) will v* buy the n book |
| PF Rules: | Mary T(Pres,3rd,sg)+think Mary thinks that Sue T(Pres,3rd,sg)+will Mary thinks that Sue will buy the book |
| Merge: | set-Merge |
| Stream: | ['Tpres', 'that', 'think', 'v', ['n_sg_3rd', 'Mary'], 'Tpres', 'C'] |
| Unlabeled: |
| Merge: | set-Merge |
| Stream: | ['that', 'think', 'v', ['n_sg_3rd', 'Mary'], 'Tpres', 'C'] |
| Operations: | Checked Features: 'uPerson' 'uNumber' 'uGender' |
| Unlabeled: |
| Merge: | set-Merge |
| Stream: | ['think', 'v', ['n_sg_3rd', 'Mary'], 'Tpres', 'C'] |
| Unlabeled: | |
| Label from Head: | |
| Label from Head: | |
| Label from Head: | |
| Label from Head: | |
| FormCopy: | |
| Label via movement: | |
| Crash (Unlabeled): |
| Merge: | set-Merge |
| Stream: | ['that', 'think', 'v', ['n_sg_3rd', 'Mary'], 'Tpres', 'C'] |
| Unlabeled: |
| Merge: | set-Merge |
| Stream: | ['think', 'v', ['n_sg_3rd', 'Mary'], 'Tpres', 'C'] |
| Unlabeled: | |
| 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 via movement: |
| Merge: | set-Merge |
| Stream: | ['v', ['n_sg_3rd', 'Mary'], 'Tpres', 'C'] |
| Unlabeled: |
| Merge: | set-Merge |
| Stream: | [['n_sg_3rd', 'Mary'], 'Tpres', 'C'] |
| Unlabeled: |
| Merge: | set-Merge |
| Stream: | [] |
| Unlabeled: |
| Merge: | set-Merge |
| Stream: | [['Mary', 'n_sg_3rd'], '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: | |
| 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 from Head: | |
| Label via movement: | |
| Label from Head: | |
| Transfer: | |
| Frontier: |
| Spell Out: | C n Mary T(Pres,3rd,sg) v think that n Sue T(Pres,3rd,sg) will v* buy the n book |
| PF Rules: | Mary T(Pres,3rd,sg)+think Mary thinks that Sue T(Pres,3rd,sg)+will Mary thinks that Sue will buy the book |
| Merge: | set-Merge |
| Stream: | ['v*', ['n_sg_3rd', 'Sue'], 'will', 'Tpres', 'that', 'think', 'v', ['n_sg_3rd', 'Mary'], 'Tpres', 'C'] |
| Unlabeled: |
| Merge: | set-Merge |
| Stream: | [['n_sg_3rd', 'Sue'], 'will', 'Tpres', 'that', 'think', 'v', ['n_sg_3rd', 'Mary'], 'Tpres', 'C'] |
| Operations: | Checked Features: 'uPerson' 'uNumber' 'uGender' |
| Unlabeled: | |
| Label from Head: | |
| Label from Head: | |
| Label from Head: | |
| Label from Head: | |
| FormCopy: | |
| Crash (Unlabeled): |
| # of Merges: | 34 |
| # of Backtracks: | 6 |
| # of Crashes: | 44 |
| # of Successful Derivations: | 2 |