Backtrack (check for another possible derivation: Free Merge): Attempt: #393
Continued from Merge 1254

Merge 1279

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

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

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

Main Stream


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


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


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


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

Label from
Head:

Label from
Head:

Crash (Unlabeled):

Backtrack (check for another possible derivation: Free Merge): Attempt: #394
Continued from Merge 1283

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


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

Label from
Head:

Label from
Head:

Crash (Unlabeled):

Backtrack (check for another possible derivation: Free Merge): Attempt: #395
Continued from Merge 1282

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


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


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

Label from
Head:

Label from
Head:

Crash (Unlabeled):

Backtrack (check for another possible derivation: Free Merge): Attempt: #396
Continued from Merge 1288

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


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

Label from
Head:

Label from
Head:

Crash (Unlabeled):

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

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

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

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

Main Stream


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


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


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

Label from
Head:

Label from
Head:

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

Backtrack (check for another possible derivation: Free Merge): Attempt: #398
Continued from Merge 1295

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


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

Label from
Head:

Label from
Head:

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

Backtrack (check for another possible derivation: Free Merge): Attempt: #399
Continued from Merge 1294

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


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


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

Label from
Head:

Label from
Head:

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

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

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


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

Label from
Head:

Label from
Head:

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

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

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


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

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

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

Main Stream


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


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


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


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

Label from
Head:

Label from
Head:

Crash (Unlabeled):

Backtrack (check for another possible derivation: Free Merge): Attempt: #402
Continued from Merge 1309

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


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

Label from
Head:

Label from
Head:

Crash (Unlabeled):

Backtrack (check for another possible derivation: Free Merge): Attempt: #403
Continued from Merge 1308

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


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


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

Label from
Head:

Label from
Head:

Crash (Unlabeled):

Backtrack (check for another possible derivation: Free Merge): Attempt: #404
Continued from Merge 1314

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


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

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Crash (Unlabeled):

Backtrack (check for another possible derivation: Free Merge): Attempt: #405
Continued from Merge 1307

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

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

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

Main Stream


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


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


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

Label from
Head:

Label from
Head:

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

Backtrack (check for another possible derivation: Free Merge): Attempt: #406
Continued from Merge 1321

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


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

Label from
Head:

Label from
Head:

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

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

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


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


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

Label from
Head:

Label via
shared features:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

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

Backtrack (check for another possible derivation: Free Merge): Attempt: #408
Continued from Merge 1326

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


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

Label via
shared features:

Label from
Head:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

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

Backtrack (check for another possible derivation: Free Merge): Attempt: #409
Continued from Merge 1305

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

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

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

Main Stream


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


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


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


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

Label from
Head:

Label from
Head:

Crash (Unlabeled):

Backtrack (check for another possible derivation: Free Merge): Attempt: #410
Continued from Merge 1334

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


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

Label from
Head:

Label from
Head:

Crash (Unlabeled):

Backtrack (check for another possible derivation: Free Merge): Attempt: #411
Continued from Merge 1333

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


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


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

Label from
Head:

Label from
Head:

Label via
shared Person:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Crash (Unlabeled):

Backtrack (check for another possible derivation: Free Merge): Attempt: #412
Continued from Merge 1339

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


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

Label from
Head:

Label via
shared Person:

Label from
Head:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Crash (Unlabeled):

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

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

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

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

Main Stream


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


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


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

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

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

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

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


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

Label via
shared features:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

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

Backtrack (check for another possible derivation: Free Merge): Attempt: #415
Continued from Merge 1345

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


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


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

Label from
Head:

Label via
shared features:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

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

Backtrack (check for another possible derivation: Free Merge): Attempt: #416
Continued from Merge 1351

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


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

Label via
shared features:

Label from
Head:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

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

Backtrack (check for another possible derivation: Free Merge): Attempt: #417
Continued from Merge 1252

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


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


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

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

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

Main Stream


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


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


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


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

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label via
shared Person:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Crash (Unlabeled):

Backtrack (check for another possible derivation: Free Merge): Attempt: #418
Continued from Merge 1361

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


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

Label from
Head:

Label via
shared Person:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label via
shared Person:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label via
movement:

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

Backtrack (check for another possible derivation: Free Merge): Attempt: #419
Continued from Merge 1360

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


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


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

Label via
movement:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Crash (No Case):

   ➔

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

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


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

Label via
movement:

Label from
Head:

Label from
Head:

Label via
movement:

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

Backtrack (check for another possible derivation: Free Merge): Attempt: #421
Continued from Merge 1359

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

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

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

Main Stream


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


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


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

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

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

Backtrack (check for another possible derivation: Free Merge): Attempt: #422
Continued from Merge 1373

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


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

Label via
shared features:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

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

Backtrack (check for another possible derivation: Free Merge): Attempt: #423
Continued from Merge 1372

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


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


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

Label from
Head:

Label from
Head:

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

Backtrack (check for another possible derivation: Free Merge): Attempt: #424
Continued from Merge 1378

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


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

Label from
Head:

Label from
Head:

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

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

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

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

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

Main Stream


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


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


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


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

Label from
Head:

Label from
Head:

Crash (Unlabeled):

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

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


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

Label from
Head:

Label via
shared Person:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Crash (Unlabeled):

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

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


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


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

Label via
movement:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Crash (Unlabeled):

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

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


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

Label via
movement:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Crash (Unlabeled):

Backtrack (check for another possible derivation: Free Merge): Attempt: #429
Continued from Merge 1384

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

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

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

Main Stream


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


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


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

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

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

Backtrack (check for another possible derivation: Free Merge): Attempt: #430
Continued from Merge 1398

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


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

Label from
Head:

Label from
Head:

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

Backtrack (check for another possible derivation: Free Merge): Attempt: #431
Continued from Merge 1397

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


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


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

Label from
Head:

Label from
Head:

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

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

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


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

Label from
Head:

Label from
Head:

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

Backtrack (check for another possible derivation: Free Merge): Attempt: #433
Continued from Merge 1356

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


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

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

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

Main Stream


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


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


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


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

Label from
Head:

Label from
Head:

Crash (Unlabeled):

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

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


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

Label via
movement:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Crash (Unlabeled):

Backtrack (check for another possible derivation: Free Merge): Attempt: #435
Continued from Merge 1411

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


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


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

Label via
movement:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Crash (Unlabeled):

Backtrack (check for another possible derivation: Free Merge): Attempt: #436
Continued from Merge 1417

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


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

Label via
movement:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Crash (Unlabeled):

Backtrack (check for another possible derivation: Free Merge): Attempt: #437
Continued from Merge 1410

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

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

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

Main Stream


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


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


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

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

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

Backtrack (check for another possible derivation: Free Merge): Attempt: #438
Continued from Merge 1424

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


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

Label from
Head:

Label from
Head:

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

Backtrack (check for another possible derivation: Free Merge): Attempt: #439
Continued from Merge 1423

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


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


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

Label from
Head:

Label from
Head:

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

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

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


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

Label from
Head:

Label from
Head:

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

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

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

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

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

Main Stream


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


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


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


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

Label from
Head:

Label from
Head:

Crash (Unlabeled):

Next

Top