| Merge: | set-Merge |
| Stream: | [['n_3rd_msc_sg', 'John'], 'T_ing', 'C', 'prefer', 'v', 'Psv', 'Tpres', 'C'] |
| Unlabeled: |
| Merge: | set-Merge |
| Stream: | [] |
| Unlabeled: |
| Merge: | set-Merge |
| Stream: | [['John', 'n_3rd_msc_sg'], 'T_ing', 'C', 'prefer', 'v', 'Psv', 'Tpres', 'C'] |
| Unlabeled: |
| Merge: | set-Merge |
| Stream: | ['C', 'prefer', 'v', 'Psv', 'Tpres', 'C'] |
| Operations: | Agree: (Ting,n) Checked Features: 'uPerson' 'uNumber' 'uGender' |
| Unlabeled: |
| Merge: | set-Merge |
| Stream: | ['prefer', 'v', 'Psv', 'Tpres', 'C'] |
| Unlabeled: | |
| Label from Head: | |
| Label from Head: | |
| Label from Head: | |
| Label from Head: | |
| Crash (Unlabeled): |
| Merge: | set-Merge |
| Stream: | ['C', 'prefer', 'v', 'Psv', 'Tpres', 'C'] |
| FormCopy: | |
| Unlabeled: |
| Merge: | set-Merge |
| Stream: | ['prefer', 'v', 'Psv', 'Tpres', 'C'] |
| Unlabeled: | |
| Label from Head: | |
| Label from Head: | |
| Label via shared features: | |
| Label from Head: | |
| Label from Head: | |
| Label from Head: | |
| Label via movement: |
| Merge: | set-Merge |
| Stream: | ['v', 'Psv', 'Tpres', 'C'] |
| Unlabeled: |
| Merge: | set-Merge |
| Stream: | ['Psv', 'Tpres', 'C'] |
| Unlabeled: |
| Merge: | set-Merge |
| Stream: | ['Tpres', 'C'] |
| Operations: | Agree: (Psv,C) Checked Features: 'uPerson' |
| Unlabeled: |
| Merge: | set-Merge |
| Stream: | ['C'] |
| Operations: | Agree: (Tpres,C) 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: | |
| Crash (No Case): | ➔ |
| Merge: | set-Merge |
| Stream: | [] |
| 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: | |
| Transfer: | |
| Frontier: |
| Spell Out: | C C n John -ing v swim T(Pres,3rd,sg) be -en v prefer |
| PF Rules: | John/John's Ting+swim John/John's swimming T(Pres,3rd,sg)+be John/John's swimming is -en+prefer John/John's swimming is preferred |
| Merge: | set-Merge |
| Stream: | ['Tpres', 'C'] |
| FormCopy: | |
| Unlabeled: |
| Merge: | set-Merge |
| Stream: | ['C'] |
| Operations: | Agree: (Tpres,C) Checked Features: 'uPerson' 'uNumber' 'uGender' |
| 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: | |
| Crash (No Case): | ➔ |
| Merge: | set-Merge |
| Stream: | [] |
| FormCopy: | |
| Unlabeled: |
| Merge: | set-Merge |
| Stream: | [] |
| Unlabeled: | |
| Label from Head: | |
| Label via shared features: | |
| Label from Head: | |
| Label from Head: | |
| Label via movement: | |
| Label from Head: | |
| Label from Head: | |
| Transfer: | |
| Frontier: |
| Spell Out: | C C n John -ing v swim T(Pres,3rd,sg) be -en v prefer |
| PF Rules: | John/John's Ting+swim John/John's swimming T(Pres,3rd,sg)+be John/John's swimming is -en+prefer John/John's swimming is preferred |
| Merge: | set-Merge |
| Stream: | ['Psv', 'Tpres', 'C'] |
| FormCopy: | |
| Unlabeled: |
| Merge: | set-Merge |
| Stream: | ['Tpres', 'C'] |
| Operations: | Agree: (Psv,C) Checked Features: 'uPerson' |
| Unlabeled: |
| Merge: | set-Merge |
| Stream: | ['C'] |
| Operations: | Agree: (Tpres,C) 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: | |
| Crash (Unlabeled): |
| Merge: | set-Merge |
| Stream: | [] |
| FormCopy: | |
| Unlabeled: |
| Merge: | set-Merge |
| Stream: | [] |
| Unlabeled: | |
| Label from Head: | |
| Label via shared features: | |
| Label from Head: | |
| Label from Head: | |
| Label from Head: | |
| Label via movement: | |
| Label from Head: | |
| Transfer: | |
| Frontier: |
| Spell Out: | C C n John -ing v swim T(Pres,3rd,sg) be -en v prefer |
| PF Rules: | John/John's Ting+swim John/John's swimming T(Pres,3rd,sg)+be John/John's swimming is -en+prefer John/John's swimming is preferred |
| Merge: | set-Merge |
| Stream: | ['Tpres', 'C'] |
| FormCopy: | |
| Unlabeled: |
| Merge: | set-Merge |
| Stream: | ['C'] |
| Operations: | Agree: (Tpres,C) Checked Features: 'uPerson' 'uNumber' 'uGender' |
| Unlabeled: |
| Merge: | set-Merge |
| Stream: | [] |
| Unlabeled: | |
| Label from Head: | |
| Label from Head: | |
| Label via shared Person: | |
| Label from Head: | |
| Label from Head: | |
| Label via movement: | |
| Label from Head: | |
| Crash (No Case): | ➔ |
| Merge: | set-Merge |
| Stream: | [] |
| FormCopy: | |
| Unlabeled: |
| Merge: | set-Merge |
| Stream: | [] |
| Unlabeled: | |
| Label from Head: | |
| Label via shared features: | |
| Label from Head: | |
| Label from Head: | |
| Label via movement: | |
| Label from Head: | |
| Label via movement: | |
| Label from Head: | |
| Transfer: | |
| Frontier: |
| Spell Out: | C C n John -ing v swim T(Pres,3rd,sg) be -en v prefer |
| PF Rules: | John/John's Ting+swim John/John's swimming T(Pres,3rd,sg)+be John/John's swimming is -en+prefer John/John's swimming is preferred |
| Merge: | set-Merge |
| Stream: | ['v', 'Psv', 'Tpres', 'C'] |
| FormCopy: | |
| Unlabeled: |
| Merge: | set-Merge |
| Stream: | ['Psv', 'Tpres', 'C'] |
| Unlabeled: |
| Merge: | set-Merge |
| Stream: | ['Tpres', 'C'] |
| Operations: | Agree: (Psv,C) Checked Features: 'uPerson' |
| Unlabeled: |
| Merge: | set-Merge |
| Stream: | ['C'] |
| Operations: | Agree: (Tpres,C) 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: | |
| Crash (Unlabeled): |
| Merge: | set-Merge |
| Stream: | [] |
| 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: | |
| Transfer: | |
| Frontier: |
| Spell Out: | C C n John -ing v swim T(Pres,3rd,sg) be -en v prefer |
| PF Rules: | John/John's Ting+swim John/John's swimming T(Pres,3rd,sg)+be John/John's swimming is -en+prefer John/John's swimming is preferred |
| Merge: | set-Merge |
| Stream: | ['Tpres', 'C'] |
| FormCopy: | |
| Unlabeled: |
| Merge: | set-Merge |
| Stream: | ['C'] |
| Operations: | Agree: (Tpres,C) Checked Features: 'uPerson' 'uNumber' 'uGender' |
| 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: | |
| Crash (No Case): | ➔ |
| Merge: | set-Merge |
| Stream: | [] |
| FormCopy: | |
| Unlabeled: |
| Merge: | set-Merge |
| Stream: | [] |
| Unlabeled: | |
| Label from Head: | |
| Label via shared features: | |
| Label from Head: | |
| Label from Head: | |
| Label via movement: | |
| Label from Head: | |
| Label from Head: | |
| Label via movement: | |
| Transfer: | |
| Frontier: |
| Spell Out: | C C n John -ing v swim T(Pres,3rd,sg) be -en v prefer |
| PF Rules: | John/John's Ting+swim John/John's swimming T(Pres,3rd,sg)+be John/John's swimming is -en+prefer John/John's swimming is preferred |
| Merge: | set-Merge |
| Stream: | ['Psv', 'Tpres', 'C'] |
| FormCopy: | |
| Unlabeled: |
| Merge: | set-Merge |
| Stream: | ['Tpres', 'C'] |
| Operations: | Agree: (Psv,C) Checked Features: 'uPerson' |
| Unlabeled: |
| Merge: | set-Merge |
| Stream: | ['C'] |
| Operations: | Agree: (Tpres,C) 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: | |
| Crash (Unlabeled): |
| Merge: | set-Merge |
| Stream: | [] |
| FormCopy: | |
| Unlabeled: |
| Merge: | set-Merge |
| Stream: | [] |
| Unlabeled: | |
| Label from Head: | |
| Label via shared features: | |
| Label from Head: | |
| Label from Head: | |
| Label from Head: | |
| Label via movement: | |
| Label from Head: | |
| Label via movement: | |
| Transfer: | |
| Frontier: |
| Spell Out: | C C n John -ing v swim T(Pres,3rd,sg) be -en v prefer |
| PF Rules: | John/John's Ting+swim John/John's swimming T(Pres,3rd,sg)+be John/John's swimming is -en+prefer John/John's swimming is preferred |
| Merge: | set-Merge |
| Stream: | ['Tpres', 'C'] |
| FormCopy: | |
| Unlabeled: |
| Merge: | set-Merge |
| Stream: | ['C'] |
| Operations: | Agree: (Tpres,C) Checked Features: 'uPerson' 'uNumber' 'uGender' |
| Unlabeled: |
| Merge: | set-Merge |
| Stream: | [] |
| Unlabeled: | |
| Label from Head: | |
| Label from Head: | |
| Label via shared Person: | |
| Label from Head: | |
| Label from Head: | |
| Label via movement: | |
| Label from Head: | |
| Label via movement: | |
| Crash (No Case): | ➔ |
| Merge: | set-Merge |
| Stream: | [] |
| FormCopy: | |
| Unlabeled: |
| Merge: | set-Merge |
| Stream: | [] |
| Unlabeled: | |
| Label from Head: | |
| Label via shared features: | |
| Label from Head: | |
| Label from Head: | |
| Label via movement: | |
| Label from Head: | |
| Label via movement: | |
| Label from Head: | |
| Label via movement: | |
| Transfer: | |
| Frontier: |
| Spell Out: | C C n John -ing v swim T(Pres,3rd,sg) be -en v prefer |
| PF Rules: | John/John's Ting+swim John/John's swimming T(Pres,3rd,sg)+be John/John's swimming is -en+prefer John/John's swimming is preferred |
| # of Backtracks: | 16 |
| # of Crashes: | 9 |
| # of Successful Derivations: | 8 |