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

Merge 493

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


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


Merge 495
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 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: #164
Continued from Merge 494

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


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

Label via
movement:

Label from
Head:

Label from
Head:

Label from
Head:

Transfer:
Frontier:

Terminals: C several n fish T(Past,3rd,pl) be -en v believe toT have -en be -en v catch
Externalization
Rules:
several fish T(Past,3rd,pl)+be
several fish were -en+believe
several fish were believed to have -en+be
several fish were believed to have been -en+catch
several fish were believed to have been caught

Successful Derivation 62
Top

Backtrack (check for another possible derivation: Free Merge): Attempt: #165
Continued from Merge 487

Merge 498
Merge: set-Merge
Stream: ['Psv', 'Tpast', 'C']
FormCopy:
Unlabeled:


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


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


Merge 501
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 500

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


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

Transfer:
Frontier:

Terminals: C several n fish T(Past,3rd,pl) be -en v believe toT have -en be -en v catch
Externalization
Rules:
several fish T(Past,3rd,pl)+be
several fish were -en+believe
several fish were believed to have -en+be
several fish were believed to have been -en+catch
several fish were believed to have been caught

Successful Derivation 63
Top

Backtrack (check for another possible derivation: Free Merge): Attempt: #167
Continued from Merge 499

Merge 504
Merge: set-Merge
Stream: ['Tpast', 'C']
FormCopy:
Unlabeled:


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


Merge 506
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 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 (No Case):

   ➔

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

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


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

Transfer:
Frontier:

Terminals: C several n fish T(Past,3rd,pl) be -en v believe toT have -en be -en v catch
Externalization
Rules:
several fish T(Past,3rd,pl)+be
several fish were -en+believe
several fish were believed to have -en+be
several fish were believed to have been -en+catch
several fish were believed to have been caught

Successful Derivation 64
Top

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

Merge 509
Merge: set-Merge
Stream: ['v', 'Psv', 'Tpast', 'C']
FormCopy:
Unlabeled:


Merge 510
Merge: set-Merge
Stream: ['Psv', 'Tpast', 'C']
Unlabeled:


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


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


Merge 513
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 512

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


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

Transfer:
Frontier:

Terminals: C several n fish T(Past,3rd,pl) be -en v believe toT have -en be -en v catch
Externalization
Rules:
several fish T(Past,3rd,pl)+be
several fish were -en+believe
several fish were believed to have -en+be
several fish were believed to have been -en+catch
several fish were believed to have been caught

Successful Derivation 65
Top

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

Merge 516
Merge: set-Merge
Stream: ['Tpast', 'C']
FormCopy:
Unlabeled:


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


Merge 518
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 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: #172
Continued from Merge 517

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


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

Label via
movement:

Label from
Head:

Label from
Head:

Label from
Head:

Transfer:
Frontier:

Terminals: C several n fish T(Past,3rd,pl) be -en v believe toT have -en be -en v catch
Externalization
Rules:
several fish T(Past,3rd,pl)+be
several fish were -en+believe
several fish were believed to have -en+be
several fish were believed to have been -en+catch
several fish were believed to have been caught

Successful Derivation 66
Top

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

Merge 521
Merge: set-Merge
Stream: ['Psv', 'Tpast', 'C']
FormCopy:
Unlabeled:


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


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


Merge 524
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 523

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


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

Transfer:
Frontier:

Terminals: C several n fish T(Past,3rd,pl) be -en v believe toT have -en be -en v catch
Externalization
Rules:
several fish T(Past,3rd,pl)+be
several fish were -en+believe
several fish were believed to have -en+be
several fish were believed to have been -en+catch
several fish were believed to have been caught

Successful Derivation 67
Top

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

Merge 527
Merge: set-Merge
Stream: ['Tpast', 'C']
FormCopy:
Unlabeled:


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


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

Crash (No Case):

   ➔

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

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


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

Transfer:
Frontier:

Terminals: C several n fish T(Past,3rd,pl) be -en v believe toT have -en be -en v catch
Externalization
Rules:
several fish T(Past,3rd,pl)+be
several fish were -en+believe
several fish were believed to have -en+be
several fish were believed to have been -en+catch
several fish were believed to have been caught

Successful Derivation 68
Top

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

Merge 532
Merge: set-Merge
Stream: ['believe', 'v', 'Psv', 'Tpast', 'C']
FormCopy:
Unlabeled:


Merge 533
Merge: set-Merge
Stream: ['v', 'Psv', 'Tpast', 'C']
Unlabeled:


Merge 534
Merge: set-Merge
Stream: ['Psv', 'Tpast', 'C']
Unlabeled:


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


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


Merge 537
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 (No Case):

   ➔

Backtrack (check for another possible derivation: Free Merge): Attempt: #178
Continued from Merge 536

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


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

Crash (No Case):

   ➔

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

Merge 540
Merge: set-Merge
Stream: ['Tpast', 'C']
FormCopy:
Unlabeled:


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


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

Label from
Head:

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

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


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

Label from
Head:

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

Merge 545
Merge: set-Merge
Stream: ['Psv', 'Tpast', 'C']
FormCopy:
Unlabeled:


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


Merge 547
Merge: set-Merge
Stream: ['C']
Operations: Agree: (Tpast,Psv)
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 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 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 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 (No Case):

   ➔

Backtrack (check for another possible derivation: Free Merge): Attempt: #183
Continued from Merge 546

Merge 551
Merge: set-Merge
Stream: ['Tpast', 'C']
FormCopy:
Unlabeled:


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


Merge 553
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 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 (No Case):

   ➔

Backtrack (check for another possible derivation: Free Merge): Attempt: #184
Continued from Merge 552

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


Merge 555
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 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 (No Case):

   ➔

Backtrack (check for another possible derivation: Free Merge): Attempt: #185
Continued from Merge 533

Merge 556
Merge: set-Merge
Stream: ['v', 'Psv', 'Tpast', 'C']
FormCopy:
Unlabeled:


Merge 557
Merge: set-Merge
Stream: ['Psv', 'Tpast', 'C']
Unlabeled:


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


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


Merge 560
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 559

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


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

Transfer:
Frontier:

Terminals: C several n fish T(Past,3rd,pl) be -en v believe toT have -en be -en v catch
Externalization
Rules:
several fish T(Past,3rd,pl)+be
several fish were -en+believe
several fish were believed to have -en+be
several fish were believed to have been -en+catch
several fish were believed to have been caught

Successful Derivation 69
Top

Backtrack (check for another possible derivation: Free Merge): Attempt: #187
Continued from Merge 558

Merge 563
Merge: set-Merge
Stream: ['Tpast', 'C']
FormCopy:
Unlabeled:


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


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

Label from
Head:

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

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


Merge 567
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 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 several n fish T(Past,3rd,pl) be -en v believe toT have -en be -en v catch
Externalization
Rules:
several fish T(Past,3rd,pl)+be
several fish were -en+believe
several fish were believed to have -en+be
several fish were believed to have been -en+catch
several fish were believed to have been caught

Successful Derivation 70
Top

Backtrack (check for another possible derivation: Free Merge): Attempt: #189
Continued from Merge 557

Merge 568
Merge: set-Merge
Stream: ['Psv', 'Tpast', 'C']
FormCopy:
Unlabeled:


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


Merge 570
Merge: set-Merge
Stream: ['C']
Operations: Agree: (Tpast,Psv)
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 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):

Next

Top