Backtrack (check for another possible derivation: Free Merge): Attempt: #197
Continued from Merge 632

Merge 643

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

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

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

Main Stream


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


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


Merge 647
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 from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label from
Head:

Operations: Unchecked Features: uPerson
Crash (Unchecked Feature):

Backtrack (check for another possible derivation: Free Merge): Attempt: #198
Continued from Merge 646

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


Merge 649
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 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 from
Head:

Operations: Unchecked Features: uPerson
Crash (Unchecked Feature):

Backtrack (check for another possible derivation: Free Merge): Attempt: #199
Continued from Merge 645

Merge 650
Merge: set-Merge
Stream: ['Tpres', 'C']
FormCopy:
Unlabeled:


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


Merge 652
Merge: set-Merge
Stream: []
Unlabeled:
Label from
Head:

Label from
Head:

Label via
shared features:

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 from
Head:

Operations: Unchecked Features: uPerson
Crash (Unchecked Feature):

Backtrack (check for another possible derivation: Free Merge): Attempt: #200
Continued from Merge 651

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


Merge 654
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 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 from
Head:

Operations: Unchecked Features: uPerson
Crash (Unchecked Feature):

Backtrack (check for another possible derivation: Free Merge): Attempt: #201
Continued from Merge 630

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

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

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

Main Stream


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


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


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


Merge 660
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 from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label from
Head:

Crash (Unlabeled):

Backtrack (check for another possible derivation: Free Merge): Attempt: #202
Continued from Merge 659

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


Merge 662
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 from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label from
Head:

Crash (Unlabeled):

Backtrack (check for another possible derivation: Free Merge): Attempt: #203
Continued from Merge 658

Merge 663
Merge: set-Merge
Stream: ['Tpres', 'C']
FormCopy:
Unlabeled:


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


Merge 665
Merge: set-Merge
Stream: []
Unlabeled:
Label from
Head:

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 from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label from
Head:

Crash (Unlabeled):

Backtrack (check for another possible derivation: Free Merge): Attempt: #204
Continued from Merge 664

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


Merge 667
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 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 from
Head:

Crash (Unlabeled):

Backtrack (check for another possible derivation: Free Merge): Attempt: #205
Continued from Merge 657

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

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

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

Main Stream


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


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


Merge 672
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 from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label from
Head:

Operations: Unchecked Features: uPerson
Crash (Unchecked Feature):

Backtrack (check for another possible derivation: Free Merge): Attempt: #206
Continued from Merge 671

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


Merge 674
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 from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label from
Head:

Operations: Unchecked Features: uPerson
Crash (Unchecked Feature):

Backtrack (check for another possible derivation: Free Merge): Attempt: #207
Continued from Merge 670

Merge 675
Merge: set-Merge
Stream: ['Tpres', 'C']
FormCopy:
Unlabeled:


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


Merge 677
Merge: set-Merge
Stream: []
Unlabeled:
Label from
Head:

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 from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label from
Head:

Operations: Unchecked Features: uPerson
Crash (Unchecked Feature):

Backtrack (check for another possible derivation: Free Merge): Attempt: #208
Continued from Merge 676

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


Merge 679
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 from
Head:

Label from
Head:

Label via
movement:

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 from
Head:

Operations: Unchecked Features: uPerson
Crash (Unchecked Feature):

Backtrack (check for another possible derivation: Free Merge): Attempt: #209
Continued from Merge 629

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


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

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

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

Main Stream


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


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


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


Merge 686
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 from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label from
Head:

Crash (Unlabeled):

Backtrack (check for another possible derivation: Free Merge): Attempt: #210
Continued from Merge 685

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


Merge 688
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 via
movement:

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 from
Head:

Crash (Unlabeled):

Backtrack (check for another possible derivation: Free Merge): Attempt: #211
Continued from Merge 684

Merge 689
Merge: set-Merge
Stream: ['Tpres', 'C']
FormCopy:
Unlabeled:


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


Merge 691
Merge: set-Merge
Stream: []
Unlabeled:
Label from
Head:

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 from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label from
Head:

Crash (Unlabeled):

Backtrack (check for another possible derivation: Free Merge): Attempt: #212
Continued from Merge 690

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


Merge 693
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 via
movement:

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 from
Head:

Crash (Unlabeled):

Backtrack (check for another possible derivation: Free Merge): Attempt: #213
Continued from Merge 683

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

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

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

Main Stream


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


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


Merge 698
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 from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label from
Head:

Operations: Unchecked Features: uPerson
Crash (Unchecked Feature):

Backtrack (check for another possible derivation: Free Merge): Attempt: #214
Continued from Merge 697

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


Merge 700
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 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 from
Head:

Operations: Unchecked Features: uPerson
Crash (Unchecked Feature):

Backtrack (check for another possible derivation: Free Merge): Attempt: #215
Continued from Merge 696

Merge 701
Merge: set-Merge
Stream: ['Tpres', 'C']
FormCopy:
Unlabeled:


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


Merge 703
Merge: set-Merge
Stream: []
Unlabeled:
Label from
Head:

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 from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label from
Head:

Operations: Unchecked Features: uPerson
Crash (Unchecked Feature):

Backtrack (check for another possible derivation: Free Merge): Attempt: #216
Continued from Merge 702

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


Merge 705
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 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 from
Head:

Operations: Unchecked Features: uPerson
Crash (Unchecked Feature):

Backtrack (check for another possible derivation: Free Merge): Attempt: #217
Continued from Merge 681

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

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

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

Main Stream


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


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


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


Merge 711
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 from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label from
Head:

Crash (Unlabeled):

Backtrack (check for another possible derivation: Free Merge): Attempt: #218
Continued from Merge 710

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


Merge 713
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 from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label from
Head:

Crash (Unlabeled):

Backtrack (check for another possible derivation: Free Merge): Attempt: #219
Continued from Merge 709

Merge 714
Merge: set-Merge
Stream: ['Tpres', 'C']
FormCopy:
Unlabeled:


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


Merge 716
Merge: set-Merge
Stream: []
Unlabeled:
Label from
Head:

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 from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label from
Head:

Crash (Unlabeled):

Backtrack (check for another possible derivation: Free Merge): Attempt: #220
Continued from Merge 715

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


Merge 718
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 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 from
Head:

Crash (Unlabeled):

Backtrack (check for another possible derivation: Free Merge): Attempt: #221
Continued from Merge 708

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

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

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

Main Stream


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


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


Merge 723
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 from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label from
Head:

Operations: Unchecked Features: uPerson
Crash (Unchecked Feature):

Backtrack (check for another possible derivation: Free Merge): Attempt: #222
Continued from Merge 722

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


Merge 725
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 from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label from
Head:

Operations: Unchecked Features: uPerson
Crash (Unchecked Feature):

Backtrack (check for another possible derivation: Free Merge): Attempt: #223
Continued from Merge 721

Merge 726
Merge: set-Merge
Stream: ['Tpres', 'C']
FormCopy:
Unlabeled:


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


Merge 728
Merge: set-Merge
Stream: []
Unlabeled:
Label from
Head:

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 from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label from
Head:

Operations: Unchecked Features: uPerson
Crash (Unchecked Feature):

Backtrack (check for another possible derivation: Free Merge): Attempt: #224
Continued from Merge 727

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


Merge 730
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 from
Head:

Label from
Head:

Label via
movement:

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 from
Head:

Operations: Unchecked Features: uPerson
Crash (Unchecked Feature):

Backtrack (check for another possible derivation: Free Merge): Attempt: #225
Continued from Merge 628

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


Merge 732
Merge: set-Merge
Stream: ['v', ['n_Expl', 'there'], 'Psv', 'Tpres', 'C']
Unlabeled:


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

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

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

Main Stream


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


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


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


Merge 738
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
shared Person:

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 from
Head:

Crash (Unlabeled):

Backtrack (check for another possible derivation: Free Merge): Attempt: #226
Continued from Merge 737

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


Merge 740
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 via
movement:

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 via
movement:

Label from
Head:

Label from
Head:

Label from
Head:

Transfer:
Frontier:

Terminals: C n there T(Pres,3rd,pl) be -en v expect many n fish toT be -en v catch
Externalization
Rules:
there T(Pres,3rd,pl)+be
there are -en+expect
there are expected many fish to be -en+catch
there are expected many fish to be caught

Successful Derivation 13
Top

Backtrack (check for another possible derivation: Free Merge): Attempt: #227
Continued from Merge 736

Merge 741
Merge: set-Merge
Stream: ['Tpres', 'C']
FormCopy:
Unlabeled:


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


Merge 743
Merge: set-Merge
Stream: []
Unlabeled:
Label from
Head:

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 via
shared Person:

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 from
Head:

Crash (No Case):

   ➔

Backtrack (check for another possible derivation: Free Merge): Attempt: #228
Continued from Merge 742

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


Merge 745
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 via
movement:

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 via
movement:

Label from
Head:

Label from
Head:

Label from
Head:

Transfer:
Frontier:

Terminals: C n there T(Pres,3rd,pl) be -en v expect many n fish toT be -en v catch
Externalization
Rules:
there T(Pres,3rd,pl)+be
there are -en+expect
there are expected many fish to be -en+catch
there are expected many fish to be caught

Successful Derivation 14
Top

Backtrack (check for another possible derivation: Free Merge): Attempt: #229
Continued from Merge 735

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

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

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

Main Stream


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


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


Merge 750
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 from
Head:

Operations: Unchecked Features: uPerson
Crash (Unchecked Feature):

Backtrack (check for another possible derivation: Free Merge): Attempt: #230
Continued from Merge 749

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


Merge 752
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 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 from
Head:

Operations: Unchecked Features: uPerson
Crash (Unchecked Feature):

Backtrack (check for another possible derivation: Free Merge): Attempt: #231
Continued from Merge 748

Merge 753
Merge: set-Merge
Stream: ['Tpres', 'C']
FormCopy:
Unlabeled:


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


Merge 755
Merge: set-Merge
Stream: []
Unlabeled:
Label from
Head:

Label from
Head:

Label via
shared features:

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 from
Head:

Operations: Unchecked Features: uPerson
Crash (Unchecked Feature):

Backtrack (check for another possible derivation: Free Merge): Attempt: #232
Continued from Merge 754

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


Merge 757
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 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 from
Head:

Operations: Unchecked Features: uPerson
Crash (Unchecked Feature):

Backtrack (check for another possible derivation: Free Merge): Attempt: #233
Continued from Merge 733

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

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

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

Main Stream


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


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


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


Merge 763
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 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 from
Head:

Crash (Unlabeled):

Backtrack (check for another possible derivation: Free Merge): Attempt: #234
Continued from Merge 762

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


Merge 765
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 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 from
Head:

Crash (Unlabeled):

Backtrack (check for another possible derivation: Free Merge): Attempt: #235
Continued from Merge 761

Merge 766
Merge: set-Merge
Stream: ['Tpres', 'C']
FormCopy:
Unlabeled:


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


Merge 768
Merge: set-Merge
Stream: []
Unlabeled:
Label from
Head:

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 from
Head:

Crash (Unlabeled):

Backtrack (check for another possible derivation: Free Merge): Attempt: #236
Continued from Merge 767

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


Merge 770
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 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 from
Head:

Crash (Unlabeled):

Backtrack (check for another possible derivation: Free Merge): Attempt: #237
Continued from Merge 760

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

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

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

Main Stream


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


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


Merge 775
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 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 from
Head:

Operations: Unchecked Features: uPerson
Crash (Unchecked Feature):

Backtrack (check for another possible derivation: Free Merge): Attempt: #238
Continued from Merge 774

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


Merge 777
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 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 from
Head:

Operations: Unchecked Features: uPerson
Crash (Unchecked Feature):

Backtrack (check for another possible derivation: Free Merge): Attempt: #239
Continued from Merge 773

Merge 778
Merge: set-Merge
Stream: ['Tpres', 'C']
FormCopy:
Unlabeled:


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


Merge 780
Merge: set-Merge
Stream: []
Unlabeled:
Label from
Head:

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 from
Head:

Operations: Unchecked Features: uPerson
Crash (Unchecked Feature):

Backtrack (check for another possible derivation: Free Merge): Attempt: #240
Continued from Merge 779

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


Merge 782
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 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 from
Head:

Operations: Unchecked Features: uPerson
Crash (Unchecked Feature):

Backtrack (check for another possible derivation: Free Merge): Attempt: #241
Continued from Merge 732

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


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

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

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

Main Stream


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


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


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


Merge 789
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 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 from
Head:

Crash (Unlabeled):

Backtrack (check for another possible derivation: Free Merge): Attempt: #242
Continued from Merge 788

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


Merge 791
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 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 from
Head:

Crash (Unlabeled):

Backtrack (check for another possible derivation: Free Merge): Attempt: #243
Continued from Merge 787

Merge 792
Merge: set-Merge
Stream: ['Tpres', 'C']
FormCopy:
Unlabeled:


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


Merge 794
Merge: set-Merge
Stream: []
Unlabeled:
Label from
Head:

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 from
Head:

Crash (Unlabeled):

Backtrack (check for another possible derivation: Free Merge): Attempt: #244
Continued from Merge 793

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


Merge 796
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 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 from
Head:

Crash (Unlabeled):

Backtrack (check for another possible derivation: Free Merge): Attempt: #245
Continued from Merge 786

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

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

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

Main Stream


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


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


Merge 801
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 from
Head:

Operations: Unchecked Features: uPerson
Crash (Unchecked Feature):

Next

Top