| Merge: | set-Merge |
| Stream: | ['the', 'use', 'v*', ['n_3rd_msc_sg', 'John_1'], 'T_ing', 'C', 'prefer', 'v*', ['n_3rd_msc_sg', 'John_2'], 'Tpast', 'C'] |
| Unlabeled: |
| Merge: | pair-Merge |
| Stream: | ['use', 'v*', ['n_3rd_msc_sg', 'John_1'], 'T_ing', 'C', 'prefer', 'v*', ['n_3rd_msc_sg', 'John_2'], 'Tpast', 'C'] |
| Label stays the same: |
| Merge: | set-Merge |
| Stream: | ['v*', ['n_3rd_msc_sg', 'John_1'], 'T_ing', 'C', 'prefer', 'v*', ['n_3rd_msc_sg', 'John_2'], 'Tpast', 'C'] |
| Unlabeled: |
| Merge: | set-Merge |
| Stream: | [['n_3rd_msc_sg', 'John_1'], 'T_ing', 'C', 'prefer', 'v*', ['n_3rd_msc_sg', 'John_2'], 'Tpast', 'C'] |
| Operations: | Agree: (v*,n) Checked Features: 'uPerson' 'uNumber' 'uGender' |
| Unlabeled: | |
| Label from Head: | |
| Label from Head: | |
| Label from Head: |
| Merge: | set-Merge |
| Stream: | [] |
| Unlabeled: |
| Merge: | set-Merge |
| Stream: | [['John_1', 'n_3rd_msc_sg'], 'T_ing', 'C', 'prefer', 'v*', ['n_3rd_msc_sg', 'John_2'], 'Tpast', 'C'] |
| Unlabeled: |
| Merge: | set-Merge |
| Stream: | ['C', 'prefer', 'v*', ['n_3rd_msc_sg', 'John_2'], 'Tpast', 'C'] |
| Operations: | Agree: (Ting,n) Checked Features: 'uPerson' 'uNumber' 'uGender' |
| Unlabeled: |
| Merge: | set-Merge |
| Stream: | ['prefer', 'v*', ['n_3rd_msc_sg', 'John_2'], 'Tpast', 'C'] |
| Unlabeled: | |
| Label from Head: | |
| Label from Head: | |
| Label from Head: | |
| Crash (Unlabeled): |
| Merge: | set-Merge |
| Stream: | ['C', 'prefer', 'v*', ['n_3rd_msc_sg', 'John_2'], 'Tpast', 'C'] |
| FormCopy: | |
| Unlabeled: |
| Merge: | set-Merge |
| Stream: | ['prefer', 'v*', ['n_3rd_msc_sg', 'John_2'], 'Tpast', 'C'] |
| Unlabeled: | |
| Label from Head: | |
| Label from Head: | |
| Label via shared features: | |
| Label from Head: | |
| Label from Head: | |
| Label via movement: |
| Merge: | set-Merge |
| Stream: | ['v*', ['n_3rd_msc_sg', 'John_2'], 'Tpast', 'C'] |
| Unlabeled: |
| Merge: | set-Merge |
| Stream: | [['n_3rd_msc_sg', 'John_2'], 'Tpast', 'C'] |
| Operations: | Agree: (v*,C) Checked Features: 'uPerson' 'uNumber' 'uGender' |
| Unlabeled: | |
| Label from Head: | |
| Label from Head: |
| Merge: | set-Merge |
| Stream: | [] |
| Unlabeled: |
| Merge: | set-Merge |
| Stream: | [['John_2', 'n_3rd_msc_sg'], 'Tpast', 'C'] |
| FormCopy: | |
| Unlabeled: |
| Merge: | set-Merge |
| Stream: | ['C'] |
| Operations: | Agree: (Tpast,n) Checked Features: 'uPerson' 'uNumber' 'uGender' |
| Unlabeled: |
| Merge: | set-Merge |
| Stream: | [] |
| Unlabeled: | |
| Label from Head: | |
| Label from Head: | |
| Label from Head: | |
| Crash (Unlabeled): |
| Merge: | set-Merge |
| Stream: | ['C'] |
| FormCopy: | |
| Unlabeled: |
| Merge: | set-Merge |
| Stream: | [] |
| Unlabeled: | |
| Label from Head: | |
| Label from Head: | |
| Label via shared features: | |
| Label from Head: | |
| Label from Head: | |
| Label via movement: | |
| Transfer: | |
| Frontier: |
| Spell Out: | C n John2 T(Past,3rd,sg) v* prefer C $n -ing v* use the n supercomputer |
| PF Rules: | John2 T(Past,3rd,sg)+prefer John2 preferred ∅/himself Ting+use John preferred ∅/himself using the supercomputer |
| Merge: | set-Merge |
| Stream: | ['v*', ['n_3rd_msc_sg', 'John_2'], 'Tpast', 'C'] |
| FormCopy: | |
| Unlabeled: |
| Merge: | set-Merge |
| Stream: | [['n_3rd_msc_sg', 'John_2'], 'Tpast', 'C'] |
| Operations: | Agree: (v*,C) Checked Features: 'uPerson' 'uNumber' 'uGender' |
| Unlabeled: | |
| Label from Head: | |
| Label from Head: | |
| Crash (Unlabeled): |
| Merge: | set-Merge |
| Stream: | ['v*', ['n_3rd_msc_sg', 'John_1'], 'T_ing', 'C', 'prefer', 'v*', ['n_3rd_msc_sg', 'John_2'], 'Tpast', 'C'] |
| FormCopy: | |
| Unlabeled: |
| Merge: | set-Merge |
| Stream: | [['n_3rd_msc_sg', 'John_1'], 'T_ing', 'C', 'prefer', 'v*', ['n_3rd_msc_sg', 'John_2'], 'Tpast', 'C'] |
| Operations: | Agree: (v*,n) Checked Features: 'uPerson' 'uNumber' 'uGender' |
| Unlabeled: | |
| Label from Head: | |
| Label from Head: | |
| Label from Head: | |
| Label from Head: | |
| Crash (Unlabeled): |
| Merge: | set-Merge |
| Stream: | ['v*', ['n_3rd_msc_sg', 'John_1'], 'T_ing', 'C', 'prefer', 'v*', ['n_3rd_msc_sg', 'John_2'], 'Tpast', 'C'] |
| Unlabeled: |
| Merge: | set-Merge |
| Stream: | [['n_3rd_msc_sg', 'John_1'], 'T_ing', 'C', 'prefer', 'v*', ['n_3rd_msc_sg', 'John_2'], 'Tpast', 'C'] |
| Unlabeled: | |
| Label from Head: | |
| Label from Head: | |
| Label from Head: |
| # of Backtracks: | 5 |
| # of Crashes: | 4 |
| # of Successful Derivations: | 1 |