Backtrack (check for another possible derivation: Free Merge): Attempt: #151
Continued from Merge 526

Merge 531

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

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

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

Main Stream


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


Merge 534
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 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: #152
Continued from Merge 533

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


Merge 536
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 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: #153
Continued from Merge 510

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


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

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

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

Main Stream


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


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


Merge 542
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 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: #154
Continued from Merge 541

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


Merge 544
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 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: #155
Continued from Merge 540

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

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

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

Main Stream


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


Merge 548
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 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: #156
Continued from Merge 547

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


Merge 550
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 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: #157
Continued from Merge 538

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

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

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

Main Stream


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


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


Merge 555
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 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: #158
Continued from Merge 554

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


Merge 557
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 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: #159
Continued from Merge 553

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

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

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

Main Stream


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


Merge 561
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 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: #160
Continued from Merge 560

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


Merge 563
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 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: #161
Continued from Merge 453

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


Merge 565
Merge: set-Merge
Stream: ['seem', 'v', ['n_Expl', 'there'], 'Tpres', 'C']
Operations: Agree: (toT,n)
Checked Features: 'uPerson'
Unlabeled:


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


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

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

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

Main Stream


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


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


Merge 571
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 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: #162
Continued from Merge 570

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


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

Crash (Unlabeled):

Backtrack (check for another possible derivation: Free Merge): Attempt: #163
Continued from Merge 569

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

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

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

Main Stream


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


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

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

Backtrack (check for another possible derivation: Free Merge): Attempt: #164
Continued from Merge 576

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


Merge 579
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 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: #165
Continued from Merge 567

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

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

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

Main Stream


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


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


Merge 584
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 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: #166
Continued from Merge 583

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


Merge 586
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 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: #167
Continued from Merge 582

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

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

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

Main Stream


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


Merge 590
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 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:

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

Backtrack (check for another possible derivation: Free Merge): Attempt: #168
Continued from Merge 589

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


Merge 592
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 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:

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

Backtrack (check for another possible derivation: Free Merge): Attempt: #169
Continued from Merge 566

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


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

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

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

Main Stream


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


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


Merge 598
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 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: #170
Continued from Merge 597

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


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

Crash (Unlabeled):

Backtrack (check for another possible derivation: Free Merge): Attempt: #171
Continued from Merge 596

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

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

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

Main Stream


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


Merge 604
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 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: #172
Continued from Merge 603

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


Merge 606
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 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: #173
Continued from Merge 594

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

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

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

Main Stream


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


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


Merge 611
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 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: #174
Continued from Merge 610

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


Merge 613
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 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:

Crash (Unlabeled):

Backtrack (check for another possible derivation: Free Merge): Attempt: #175
Continued from Merge 609

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

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

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

Main Stream


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


Merge 617
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 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:

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

Backtrack (check for another possible derivation: Free Merge): Attempt: #176
Continued from Merge 616

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


Merge 619
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 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:

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

Backtrack (check for another possible derivation: Free Merge): Attempt: #177
Continued from Merge 565

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


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


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

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

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

Main Stream


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


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


Merge 626
Merge: set-Merge
Stream: []
Unlabeled:
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 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: #178
Continued from Merge 625

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


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

Transfer:
Frontier:

Terminals: C n there T(Pres,3rd,pl) v seem several n fish toT have -en be -en v catch
Externalization
Rules:
there T(Pres,3rd,pl)+seem
there seem several fish to have -en+be
there seem several fish to have been -en+catch
there seem several fish to have been caught

Successful Derivation 8
Top

Backtrack (check for another possible derivation: Free Merge): Attempt: #179
Continued from Merge 624

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

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

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

Main Stream


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


Merge 632
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 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: #180
Continued from Merge 631

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


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

Label from
Head:

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: #181
Continued from Merge 622

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

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

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

Main Stream


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


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


Merge 639
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 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: #182
Continued from Merge 638

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


Merge 641
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 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: #183
Continued from Merge 637

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

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

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

Main Stream


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


Merge 645
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 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: #184
Continued from Merge 644

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


Merge 647
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 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: #185
Continued from Merge 621

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


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

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

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

Main Stream


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


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


Merge 653
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 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: #186
Continued from Merge 652

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


Merge 655
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 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: #187
Continued from Merge 651

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

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

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

Main Stream


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


Merge 659
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 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: #188
Continued from Merge 658

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


Merge 661
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 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: #189
Continued from Merge 649

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

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

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

Main Stream


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


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


Merge 666
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 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: #190
Continued from Merge 665

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


Merge 668
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 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: #191
Continued from Merge 664

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

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

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

Main Stream


Merge 671
Merge: set-Merge
Stream: ['C']
Operations: Agree: (Tpres,n)
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 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:

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: #192
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 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:

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: #193
Continued from Merge 452

Merge 675
Merge: set-Merge
Stream: ['Perf', 'toT', 'seem', 'v', ['n_Expl', 'there'], 'Tpres', 'C']
FormCopy:
Unlabeled:


Merge 676
Merge: set-Merge
Stream: ['toT', 'seem', 'v', ['n_Expl', 'there'], 'Tpres', 'C']
Unlabeled:


Merge 677
Merge: set-Merge
Stream: ['seem', 'v', ['n_Expl', 'there'], 'Tpres', 'C']
Operations: Agree: (toT,n)
Checked Features: 'uPerson'
Unlabeled:


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


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

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

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

Main Stream


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


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


Merge 683
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
shared features:

Label from
Head:

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: #194
Continued from Merge 682

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


Merge 685
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
shared features:

Label from
Head:

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) v seem toT have -en several n fish be -en v catch
Externalization
Rules:
there T(Pres,3rd,pl)+seem
there seem to have been several fish
there seem to have been several fish -en+catch
there seem to have been several fish caught

Successful Derivation 9
Top

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

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

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

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

Main Stream


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


Merge 689
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: #196
Continued from Merge 688

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


Merge 691
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: #197
Continued from Merge 679

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

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

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

Main Stream


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


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


Merge 696
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: #198
Continued from Merge 695

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


Merge 698
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: #199
Continued from Merge 694

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

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

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

Main Stream


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


Merge 702
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 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 701

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


Merge 704
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 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