Backtrack (check for another possible derivation: Free Merge): Attempt: #501
Continued from Merge 1740
Merge 1753
| Merge: | set-Merge |
| Stream: | [['n_Expl', 'there'], 'Tpres', 'C'] |
| FormCopy: | |
| Unlabeled: |
| Merge: | set-Merge |
| Stream: | [] |
| Unlabeled: |
| Merge: | set-Merge |
| Stream: | [['there', 'n_Expl'], 'Tpres', 'C'] |
| Unlabeled: |
| Merge: | set-Merge |
| Stream: | ['C'] |
| Operations: | Unified Features: uPerson Agree: (Tpres,n) Checked Features: 'uPerson' 'uNumber' 'uGender' |
| Unlabeled: |
| Merge: | set-Merge |
| Stream: | [] |
| Unlabeled: | |
| Label from Head: | |
| Label from Head: | |
| Label from Head: | |
| Label from Head: | |
| Label from Head: | |
| Label from Head: | |
| Label from Head: | |
| Label via movement: | |
| Label from Head: | |
| Label from Head: | |
| Label via movement: | |
| Label from Head: | |
| Label from Head: | |
| Label via movement: | |
| Label from Head: | |
| Label from Head: | |
| Label via movement: | |
| Label from Head: | |
| Label from Head: | |
| Label via movement: | |
| 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 Person: | |
| Label from Head: | |
| Label from Head: | |
| Label from Head: | |
| Label from Head: | |
| Label from Head: | |
| Label from Head: | |
| Label via movement: | |
| Label from Head: | |
| Label from Head: | |
| Label via movement: | |
| Label from Head: | |
| Label from Head: | |
| Label via movement: | |
| Label from Head: | |
| Label from Head: | |
| Label via movement: | |
| Label from Head: | |
| Label from Head: | |
| Label via movement: | |
| Label from Head: | |
| Label from Head: | |
| Crash (Unlabeled): |
| Merge: | set-Merge |
| Stream: | [['there', 'n_Expl'], 'Tpres', 'C'] |
| FormCopy: | |
| Unlabeled: |
| Merge: | set-Merge |
| Stream: | [] |
| Unlabeled: |
| Merge: | set-Merge |
| Stream: | ['C'] |
| Operations: | Agree: (Tpres,n) Checked Features: 'uPerson' 'uNumber' 'uGender' |
| Unlabeled: |
| Merge: | set-Merge |
| Stream: | [] |
| Unlabeled: | |
| Label from Head: | |
| Label from Head: | |
| Label from Head: | |
| Label from Head: | |
| Label via movement: | |
| Label from Head: | |
| Label from Head: | |
| Label from Head: | |
| Label via movement: | |
| Label from Head: | |
| Label from Head: | |
| Label via movement: | |
| Label from Head: | |
| Label from Head: | |
| Label via movement: | |
| Label from Head: | |
| Label from Head: | |
| Label via movement: | |
| Label from Head: | |
| Label from Head: | |
| Label via movement: | |
| Label from Head: | |
| Label from Head: | |
| Operations: | Unchecked Features: uPerson |
| Crash (Unchecked Feature): |
| Merge: | set-Merge |
| Stream: | ['C'] |
| FormCopy: | |
| Unlabeled: |
| Merge: | set-Merge |
| Stream: | [] |
| Unlabeled: | |
| Label from Head: | |
| Label via shared features: | |
| Label from Head: | |
| Label from Head: | |
| Label from Head: | |
| Label from Head: | |
| Label via movement: | |
| Label from Head: | |
| Label from Head: | |
| Label from Head: | |
| Label via movement: | |
| Label from Head: | |
| Label from Head: | |
| Label via movement: | |
| Label from Head: | |
| Label from Head: | |
| Label via movement: | |
| Label from Head: | |
| Label from Head: | |
| Label via movement: | |
| Label from Head: | |
| Label from Head: | |
| Label via movement: | |
| Label from Head: | |
| Label from Head: | |
| Operations: | Unchecked Features: uPerson |
| Crash (Unchecked Feature): |
| Merge: | set-Merge |
| Stream: | ['v', ['n_Expl', 'there'], 'Tpres', 'C'] |
| FormCopy: | |
| Unlabeled: |
| Merge: | set-Merge |
| Stream: | [['n_Expl', 'there'], 'Tpres', 'C'] |
| Unlabeled: |
| Merge: | set-Merge |
| Stream: | [] |
| Unlabeled: |
| Merge: | set-Merge |
| Stream: | [['there', 'n_Expl'], 'Tpres', 'C'] |
| Unlabeled: |
| Merge: | set-Merge |
| Stream: | ['C'] |
| Operations: | Unified Features: uPerson Agree: (Tpres,n) Checked Features: 'uPerson' 'uNumber' 'uGender' |
| Unlabeled: |
| Merge: | set-Merge |
| Stream: | [] |
| Unlabeled: | |
| Label from Head: | |
| Label from Head: | |
| Label from Head: | |
| Label from Head: | |
| Label from Head: | |
| Label from Head: | |
| Label from Head: | |
| Label via movement: | |
| Label from Head: | |
| Label from Head: | |
| Label via movement: | |
| Label from Head: | |
| Label from Head: | |
| Label via movement: | |
| Label from Head: | |
| Label from Head: | |
| Label via movement: | |
| Label from Head: | |
| Label from Head: | |
| Label via movement: | |
| 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 Person: | |
| Label from Head: | |
| Label from Head: | |
| Label from Head: | |
| Label via movement: | |
| Label from Head: | |
| Label from Head: | |
| Label from Head: | |
| Label via movement: | |
| Label from Head: | |
| Label from Head: | |
| Label via movement: | |
| Label from Head: | |
| Label from Head: | |
| Label via movement: | |
| Label from Head: | |
| Label from Head: | |
| Label via movement: | |
| Label from Head: | |
| Label from Head: | |
| Label via movement: | |
| Label from Head: | |
| Label from Head: | |
| Crash (Unlabeled): |
| Merge: | set-Merge |
| Stream: | [['there', 'n_Expl'], 'Tpres', 'C'] |
| FormCopy: | |
| Unlabeled: |
| Merge: | set-Merge |
| Stream: | [] |
| Unlabeled: |
| Merge: | set-Merge |
| Stream: | ['C'] |
| Operations: | Agree: (Tpres,n) Checked Features: 'uPerson' 'uNumber' 'uGender' |
| Unlabeled: |
| Merge: | set-Merge |
| Stream: | [] |
| Unlabeled: | |
| Label from Head: | |
| Label from Head: | |
| Label from Head: | |
| Label from Head: | |
| Label from Head: | |
| Label via movement: | |
| Label from Head: | |
| Label from Head: | |
| Label via movement: | |
| Label from Head: | |
| Label from Head: | |
| Label via movement: | |
| Label from Head: | |
| Label from Head: | |
| Label via movement: | |
| Label from Head: | |
| Label from Head: | |
| Label via movement: | |
| Label from Head: | |
| Label from Head: | |
| Label via movement: | |
| Label from Head: | |
| Label from Head: | |
| Operations: | Unchecked Features: uPerson |
| Crash (Unchecked Feature): |
| Merge: | set-Merge |
| Stream: | ['C'] |
| FormCopy: | |
| Unlabeled: |
| Merge: | set-Merge |
| Stream: | [] |
| Unlabeled: | |
| Label from Head: | |
| Label via shared features: | |
| Label from Head: | |
| Label from Head: | |
| Label from Head: | |
| Label from Head: | |
| Label from Head: | |
| Label via movement: | |
| Label from Head: | |
| Label from Head: | |
| Label via movement: | |
| Label from Head: | |
| Label from Head: | |
| Label via movement: | |
| Label from Head: | |
| Label from Head: | |
| Label via movement: | |
| Label from Head: | |
| Label from Head: | |
| Label via movement: | |
| Label from Head: | |
| Label from Head: | |
| Label via movement: | |
| Label from Head: | |
| Label from Head: | |
| Operations: | Unchecked Features: uPerson |
| Crash (Unchecked Feature): |
| Merge: | set-Merge |
| Stream: | [['n_Expl', 'there'], 'Tpres', 'C'] |
| FormCopy: | |
| Unlabeled: |
| Merge: | set-Merge |
| Stream: | [] |
| Unlabeled: |
| Merge: | set-Merge |
| Stream: | [['there', 'n_Expl'], 'Tpres', 'C'] |
| Unlabeled: |
| Merge: | set-Merge |
| Stream: | ['C'] |
| Operations: | Unified Features: uPerson Agree: (Tpres,n) Checked Features: 'uPerson' 'uNumber' 'uGender' |
| Unlabeled: |
| Merge: | set-Merge |
| Stream: | [] |
| Unlabeled: | |
| Label from Head: | |
| Label from Head: | |
| Label from Head: | |
| Label from Head: | |
| Label from Head: | |
| Label from Head: | |
| Label via movement: | |
| Label from Head: | |
| Label from Head: | |
| Label via movement: | |
| Label from Head: | |
| Label from Head: | |
| Label via movement: | |
| Label from Head: | |
| Label from Head: | |
| Label via movement: | |
| Label from Head: | |
| Label from Head: | |
| Label via movement: | |
| Label from Head: | |
| Label from Head: | |
| Label via movement: | |
| 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 Person: | |
| Label from Head: | |
| Label from Head: | |
| Label from Head: | |
| Label from Head: | |
| Label from Head: | |
| Label via movement: | |
| Label from Head: | |
| Label from Head: | |
| Label via movement: | |
| Label from Head: | |
| Label from Head: | |
| Label via movement: | |
| Label from Head: | |
| Label from Head: | |
| Label via movement: | |
| Label from Head: | |
| Label from Head: | |
| Label via movement: | |
| Label from Head: | |
| Label from Head: | |
| Label via movement: | |
| Label from Head: | |
| Label from Head: | |
| Crash (Unlabeled): |
| Merge: | set-Merge |
| Stream: | [['there', 'n_Expl'], 'Tpres', 'C'] |
| FormCopy: | |
| Unlabeled: |
| Merge: | set-Merge |
| Stream: | [] |
| Unlabeled: |
| Merge: | set-Merge |
| Stream: | ['C'] |
| Operations: | Agree: (Tpres,n) Checked Features: 'uPerson' 'uNumber' 'uGender' |
| Unlabeled: |
| Merge: | set-Merge |
| Stream: | [] |
| Unlabeled: | |
| Label from Head: | |
| Label from Head: | |
| Label from Head: | |
| Label from Head: | |
| Label via movement: | |
| Label from Head: | |
| Label from Head: | |
| Label via movement: | |
| Label from Head: | |
| Label from Head: | |
| Label via movement: | |
| Label from Head: | |
| Label from Head: | |
| Label via movement: | |
| Label from Head: | |
| Label from Head: | |
| Label via movement: | |
| Label from Head: | |
| Label from Head: | |
| Label via movement: | |
| Label from Head: | |
| Label from Head: | |
| Label via movement: | |
| Label from Head: | |
| Label from Head: | |
| Operations: | Unchecked Features: uPerson |
| Crash (Unchecked Feature): |
| Merge: | set-Merge |
| Stream: | ['C'] |
| FormCopy: | |
| Unlabeled: |
| Merge: | set-Merge |
| Stream: | [] |
| Unlabeled: | |
| Label from Head: | |
| Label via shared features: | |
| Label from Head: | |
| Label from Head: | |
| Label from Head: | |
| Label from Head: | |
| Label via movement: | |
| Label from Head: | |
| Label from Head: | |
| Label via movement: | |
| Label from Head: | |
| Label from Head: | |
| Label via movement: | |
| Label from Head: | |
| Label from Head: | |
| Label via movement: | |
| Label from Head: | |
| Label from Head: | |
| Label via movement: | |
| Label from Head: | |
| Label from Head: | |
| Label via movement: | |
| Label from Head: | |
| Label from Head: | |
| Label via movement: | |
| Label from Head: | |
| Label from Head: | |
| Operations: | Unchecked Features: uPerson |
| Crash (Unchecked Feature): |
| # of Backtracks: | 511 |
| # of Crashes: | 491 |
| # of Successful Derivations: | 21 |