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:

Substream
Stream: ['there', 'n_Expl']

Merge 1754
Merge: set-Merge
Stream: []
Unlabeled:

Main Stream


Merge 1755
Merge: set-Merge
Stream: [['there', 'n_Expl'], 'Tpres', 'C']
Unlabeled:


Merge 1756
Merge: set-Merge
Stream: ['C']
Operations: Unified Features: uPerson
Agree: (Tpres,n)
Checked Features: 'uPerson' 'uNumber' 'uGender'
Unlabeled:


Merge 1757
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):

Backtrack (check for another possible derivation: Free Merge): Attempt: #502
Continued from Merge 1756

Merge 1758
Merge: set-Merge
Stream: ['C']
FormCopy:
Unlabeled:


Merge 1759
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):

Backtrack (check for another possible derivation: Free Merge): Attempt: #503
Continued from Merge 1755

Merge 1760
Merge: set-Merge
Stream: [['there', 'n_Expl'], 'Tpres', 'C']
FormCopy:
Unlabeled:

Substream
Stream: ['n_Expl', 'there']

Merge 1761
Merge: set-Merge
Stream: []
Unlabeled:

Main Stream


Merge 1762
Merge: set-Merge
Stream: ['C']
Operations: Agree: (Tpres,n)
Checked Features: 'uPerson' 'uNumber' 'uGender'
Unlabeled:


Merge 1763
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):

Backtrack (check for another possible derivation: Free Merge): Attempt: #504
Continued from Merge 1762

Merge 1764
Merge: set-Merge
Stream: ['C']
FormCopy:
Unlabeled:


Merge 1765
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):

Backtrack (check for another possible derivation: Free Merge): Attempt: #505
Continued from Merge 1739

Merge 1766
Merge: set-Merge
Stream: ['v', ['n_Expl', 'there'], 'Tpres', 'C']
FormCopy:
Unlabeled:


Merge 1767
Merge: set-Merge
Stream: [['n_Expl', 'there'], 'Tpres', 'C']
Unlabeled:

Substream
Stream: ['there', 'n_Expl']

Merge 1768
Merge: set-Merge
Stream: []
Unlabeled:

Main Stream


Merge 1769
Merge: set-Merge
Stream: [['there', 'n_Expl'], 'Tpres', 'C']
Unlabeled:


Merge 1770
Merge: set-Merge
Stream: ['C']
Operations: Unified Features: uPerson
Agree: (Tpres,n)
Checked Features: 'uPerson' 'uNumber' 'uGender'
Unlabeled:


Merge 1771
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):

Backtrack (check for another possible derivation: Free Merge): Attempt: #506
Continued from Merge 1770

Merge 1772
Merge: set-Merge
Stream: ['C']
FormCopy:
Unlabeled:


Merge 1773
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):

Backtrack (check for another possible derivation: Free Merge): Attempt: #507
Continued from Merge 1769

Merge 1774
Merge: set-Merge
Stream: [['there', 'n_Expl'], 'Tpres', 'C']
FormCopy:
Unlabeled:

Substream
Stream: ['n_Expl', 'there']

Merge 1775
Merge: set-Merge
Stream: []
Unlabeled:

Main Stream


Merge 1776
Merge: set-Merge
Stream: ['C']
Operations: Agree: (Tpres,n)
Checked Features: 'uPerson' 'uNumber' 'uGender'
Unlabeled:


Merge 1777
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):

Backtrack (check for another possible derivation: Free Merge): Attempt: #508
Continued from Merge 1776

Merge 1778
Merge: set-Merge
Stream: ['C']
FormCopy:
Unlabeled:


Merge 1779
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):

Backtrack (check for another possible derivation: Free Merge): Attempt: #509
Continued from Merge 1767

Merge 1780
Merge: set-Merge
Stream: [['n_Expl', 'there'], 'Tpres', 'C']
FormCopy:
Unlabeled:

Substream
Stream: ['there', 'n_Expl']

Merge 1781
Merge: set-Merge
Stream: []
Unlabeled:

Main Stream


Merge 1782
Merge: set-Merge
Stream: [['there', 'n_Expl'], 'Tpres', 'C']
Unlabeled:


Merge 1783
Merge: set-Merge
Stream: ['C']
Operations: Unified Features: uPerson
Agree: (Tpres,n)
Checked Features: 'uPerson' 'uNumber' 'uGender'
Unlabeled:


Merge 1784
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):

Backtrack (check for another possible derivation: Free Merge): Attempt: #510
Continued from Merge 1783

Merge 1785
Merge: set-Merge
Stream: ['C']
FormCopy:
Unlabeled:


Merge 1786
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):

Backtrack (check for another possible derivation: Free Merge): Attempt: #511
Continued from Merge 1782

Merge 1787
Merge: set-Merge
Stream: [['there', 'n_Expl'], 'Tpres', 'C']
FormCopy:
Unlabeled:

Substream
Stream: ['n_Expl', 'there']

Merge 1788
Merge: set-Merge
Stream: []
Unlabeled:

Main Stream


Merge 1789
Merge: set-Merge
Stream: ['C']
Operations: Agree: (Tpres,n)
Checked Features: 'uPerson' 'uNumber' 'uGender'
Unlabeled:


Merge 1790
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):

Backtrack (check for another possible derivation: Free Merge): Attempt: #512
Continued from Merge 1789

Merge 1791
Merge: set-Merge
Stream: ['C']
FormCopy:
Unlabeled:


Merge 1792

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

Top