Backtrack (check for another possible derivation: Free Merge): Attempt: #101
Continued from Merge 343

Merge 356

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

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

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

Main Stream


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


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


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

Label from
Head:

Crash (Unlabeled):

Backtrack (check for another possible derivation: Free Merge): Attempt: #102
Continued from Merge 359

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


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

Label from
Head:

Crash (Unlabeled):

Backtrack (check for another possible derivation: Free Merge): Attempt: #103
Continued from Merge 358

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

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

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

Main Stream


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


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

Label from
Head:

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: #104
Continued from Merge 365

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


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

Label from
Head:

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: #105
Continued from Merge 342

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


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

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

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

Main Stream


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


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


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

Label from
Head:

Crash (Unlabeled):

Backtrack (check for another possible derivation: Free Merge): Attempt: #106
Continued from Merge 373

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


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

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Crash (Unlabeled):

Backtrack (check for another possible derivation: Free Merge): Attempt: #107
Continued from Merge 372

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

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

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

Main Stream


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


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

Label from
Head:

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

Backtrack (check for another possible derivation: Free Merge): Attempt: #108
Continued from Merge 379

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


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

Label from
Head:

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

Backtrack (check for another possible derivation: Free Merge): Attempt: #109
Continued from Merge 370

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

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

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

Main Stream


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


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


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

Label from
Head:

Crash (Unlabeled):

Backtrack (check for another possible derivation: Free Merge): Attempt: #110
Continued from Merge 386

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


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

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Crash (Unlabeled):

Backtrack (check for another possible derivation: Free Merge): Attempt: #111
Continued from Merge 385

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

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

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

Main Stream


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


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

Label from
Head:

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: #112
Continued from Merge 392

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


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

Label from
Head:

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: #113
Continued from Merge 341

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


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


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

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

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

Main Stream


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


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


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

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Crash (Unlabeled):

Backtrack (check for another possible derivation: Free Merge): Attempt: #114
Continued from Merge 401

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


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

Label from
Head:

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 6
Top

Backtrack (check for another possible derivation: Free Merge): Attempt: #115
Continued from Merge 400

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

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

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

Main Stream


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


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

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

Backtrack (check for another possible derivation: Free Merge): Attempt: #116
Continued from Merge 407

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


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

Label from
Head:

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: #117
Continued from Merge 398

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

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

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

Main Stream


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


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


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

Label from
Head:

Crash (Unlabeled):

Backtrack (check for another possible derivation: Free Merge): Attempt: #118
Continued from Merge 414

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


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

Label from
Head:

Label via
shared Person:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Crash (Unlabeled):

Backtrack (check for another possible derivation: Free Merge): Attempt: #119
Continued from Merge 413

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

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

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

Main Stream


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


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

Label from
Head:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

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

Backtrack (check for another possible derivation: Free Merge): Attempt: #120
Continued from Merge 420

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


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

Label via
shared features:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

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

Backtrack (check for another possible derivation: Free Merge): Attempt: #121
Continued from Merge 397

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


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

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

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

Main Stream


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


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


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

Label from
Head:

Crash (Unlabeled):

Backtrack (check for another possible derivation: Free Merge): Attempt: #122
Continued from Merge 428

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


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

Label from
Head:

Label via
shared Person:

Label from
Head:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Crash (Unlabeled):

Backtrack (check for another possible derivation: Free Merge): Attempt: #123
Continued from Merge 427

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

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

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

Main Stream


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


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

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

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

Backtrack (check for another possible derivation: Free Merge): Attempt: #124
Continued from Merge 434

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


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

Label via
shared features:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

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

Backtrack (check for another possible derivation: Free Merge): Attempt: #125
Continued from Merge 425

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

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

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

Main Stream


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


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


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

Label from
Head:

Crash (Unlabeled):

Backtrack (check for another possible derivation: Free Merge): Attempt: #126
Continued from Merge 441

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


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

Label from
Head:

Label via
shared Person:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Crash (Unlabeled):

Backtrack (check for another possible derivation: Free Merge): Attempt: #127
Continued from Merge 440

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

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

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

Main Stream


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


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

Label from
Head:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

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

Backtrack (check for another possible derivation: Free Merge): Attempt: #128
Continued from Merge 447

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


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

Label via
shared features:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

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

Backtrack (check for another possible derivation: Free Merge): Attempt: #129
Continued from Merge 4

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


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


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


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


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


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

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

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

Main Stream


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


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


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

Label from
Head:

Crash (Unlabeled):

Backtrack (check for another possible derivation: Free Merge): Attempt: #130
Continued from Merge 459

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


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

Label from
Head:

Crash (Unlabeled):

Backtrack (check for another possible derivation: Free Merge): Attempt: #131
Continued from Merge 458

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

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

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

Main Stream


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


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

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

Backtrack (check for another possible derivation: Free Merge): Attempt: #132
Continued from Merge 465

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


Merge 468
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 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: #133
Continued from Merge 456

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

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

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

Main Stream


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


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


Merge 473
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: #134
Continued from Merge 472

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


Merge 475
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 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: #135
Continued from Merge 471

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

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

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

Main Stream


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


Merge 479
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 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: #136
Continued from Merge 478

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


Merge 481
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 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: #137
Continued from Merge 455

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


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

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

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

Main Stream


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


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


Merge 487
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: #138
Continued from Merge 486

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


Merge 489
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: #139
Continued from Merge 485

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

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

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

Main Stream


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


Merge 493
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 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: #140
Continued from Merge 492

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


Merge 495
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 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: #141
Continued from Merge 483

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

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

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

Main Stream


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


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


Merge 500
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 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: #142
Continued from Merge 499

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


Merge 502
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 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: #143
Continued from Merge 498

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

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

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

Main Stream


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


Merge 506
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 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: #144
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 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 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: #145
Continued from Merge 454

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


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


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

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

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

Main Stream


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


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


Merge 515
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 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: #146
Continued from Merge 514

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


Merge 517
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 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 7
Top

Backtrack (check for another possible derivation: Free Merge): Attempt: #147
Continued from Merge 513

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

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

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

Main Stream


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


Merge 521
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 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: #148
Continued from Merge 520

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


Merge 523
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 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: #149
Continued from Merge 511

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

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

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

Main Stream


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


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


Merge 528
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: #150
Continued from Merge 527

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


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

Label via
movement:

Label from
Head:

Label from
Head:

Label from
Head:

Crash (Unlabeled):

Next

Top