Backtrack (check for another possible derivation: Free Merge): Attempt: #99
Continued from Merge 321

Merge 326

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


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


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

Label from
Head:

Label from
Head:

Label via
shared Person:

Label from
Head:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label via
shared Person:

Label from
Head:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Crash (No Case):

   ➔

Backtrack (check for another possible derivation: Free Merge): Attempt: #100
Continued from Merge 327

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


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

Label from
Head:

Label via
shared Person:

Label from
Head:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label via
shared Person:

Label from
Head:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Transfer:
Frontier:

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

Successful Derivation 8
Top

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

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

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

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

Main Stream


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


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


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

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

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

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


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

Label via
shared features:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

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

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

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


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


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

Label from
Head:

Label via
shared features:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label 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 339

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


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

Label via
shared features:

Label from
Head:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label 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 318

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

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

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

Main Stream


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


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


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


Merge 348
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 347

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


Merge 350
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: #107
Continued from Merge 346

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


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


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

Label from
Head:

Label from
Head:

Label via
shared Person:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Crash (Unlabeled):

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

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


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

Label from
Head:

Label via
shared Person:

Label from
Head:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Crash (Unlabeled):

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

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

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

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

Main Stream


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


Merge 359
Merge: set-Merge
Stream: ['C']
Operations: Agree: (Tpres,Psv)
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 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: #110
Continued from Merge 359

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


Merge 362
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: #111
Continued from Merge 358

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


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


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

Label from
Head:

Label via
shared features:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label 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 364

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


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

Label via
shared features:

Label from
Head:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label 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 317

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


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

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

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

Main Stream


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


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


Merge 373
Merge: set-Merge
Stream: ['C']
Operations: Agree: (Tpres,Psv)
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: #114
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 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: #115
Continued from Merge 372

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


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


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

Label from
Head:

Label from
Head:

Label via
shared Person:

Label from
Head:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Crash (Unlabeled):

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

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


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

Label from
Head:

Label via
shared Person:

Label from
Head:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Crash (Unlabeled):

Backtrack (check for another possible derivation: Free Merge): Attempt: #117
Continued from Merge 371

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

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

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

Main Stream


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


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


Merge 386
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: #118
Continued from Merge 385

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


Merge 388
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: #119
Continued from Merge 384

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


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


Merge 391
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 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 390

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


Merge 393
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 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 369

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

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

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

Main Stream


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


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


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


Merge 399
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 398

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


Merge 401
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: #123
Continued from Merge 397

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


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


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

Label from
Head:

Label from
Head:

Label via
shared Person:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label 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: #124
Continued from Merge 403

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


Merge 406
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 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: #125
Continued from Merge 396

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

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

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

Main Stream


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


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


Merge 411
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: #126
Continued from Merge 410

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


Merge 413
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: #127
Continued from Merge 409

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


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


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

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


Merge 418
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 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 419
Merge: set-Merge
Stream: ['Psv', 'toT', 'expect', 'v', ['n_Expl', 'there'], 'Psv', 'Tpres', 'C']
FormCopy:
Unlabeled:


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


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


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


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

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

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

Main Stream


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


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


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


Merge 428
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 427

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


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

Label from
Head:

Label via
shared Person:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Crash (Unlabeled):

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

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


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


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

Label from
Head:

Label from
Head:

Label via
shared Person:

Label from
Head:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Crash (Unlabeled):

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

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


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

Label from
Head:

Label via
shared Person:

Label from
Head:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Crash (Unlabeled):

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

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

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

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

Main Stream


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


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


Merge 440
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: #134
Continued from Merge 439

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


Merge 442
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: #135
Continued from Merge 438

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


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


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

Label from
Head:

Label via
shared features:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label 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 444

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


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

Label via
shared features:

Label from
Head:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label 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 423

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

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

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

Main Stream


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


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


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


Merge 453
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 452

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


Merge 455
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: #139
Continued from Merge 451

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


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


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

Label from
Head:

Label from
Head:

Label via
shared Person:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label 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: #140
Continued from Merge 457

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


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

Label from
Head:

Label from
Head:

Label from
Head:

Crash (Unlabeled):

Backtrack (check for another possible derivation: Free Merge): Attempt: #141
Continued from Merge 450

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

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

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

Main Stream


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


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


Merge 465
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: #142
Continued from Merge 464

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


Merge 467
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: #143
Continued from Merge 463

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


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


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

Label from
Head:

Label via
shared features:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label 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 469

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


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

Label via
shared features:

Label from
Head:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label 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 422

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


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

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

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

Main Stream


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


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


Merge 478
Merge: set-Merge
Stream: ['C']
Operations: Agree: (Tpres,Psv)
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 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: #146
Continued from Merge 478

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


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

Label from
Head:

Label via
shared Person:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label 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: #147
Continued from Merge 477

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


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


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

Label from
Head:

Label from
Head:

Label via
shared Person:

Label from
Head:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label from
Head:

Crash (Unlabeled):

Next

Top