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

Merge 1299

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


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


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


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


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


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

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label via
shared Person:

Label from
Head:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Crash (No Case):

   ➔

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

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


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

Crash (No Case):

   ➔

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

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


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


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

Crash (No Case):

   ➔

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

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


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

Crash (No Case):

   ➔

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

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


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


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


Merge 1315
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):

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

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


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

Label via
shared features:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Crash (No Case):

   ➔

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

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


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


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

Label from
Head:

Label via
shared features:

Label from
Head:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Crash (No Case):

   ➔

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

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


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

Label via
shared features:

Label from
Head:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Crash (No Case):

   ➔

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

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


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


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


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


Merge 1327
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):

Backtrack (check for another possible derivation: Free Merge): Attempt: #442
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 from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Transfer:
Frontier:

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

Successful Derivation 165
Top

Backtrack (check for another possible derivation: Free Merge): Attempt: #443
Continued from Merge 1325

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


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


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

Label from
Head:

Label via
shared features:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Crash (No Case):

   ➔

Backtrack (check for another possible derivation: Free Merge): Attempt: #444
Continued from Merge 1331

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


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

Label via
shared features:

Label from
Head:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Transfer:
Frontier:

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

Successful Derivation 166
Top

Backtrack (check for another possible derivation: Free Merge): Attempt: #445
Continued from Merge 1324

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


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


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


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

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Crash (Unlabeled):

Backtrack (check for another possible derivation: Free Merge): Attempt: #446
Continued from Merge 1337

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


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

Label via
shared features:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Transfer:
Frontier:

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

Successful Derivation 167
Top

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

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


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


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

Label from
Head:

Label via
shared features:

Label from
Head:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

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

   ➔

Backtrack (check for another possible derivation: Free Merge): Attempt: #448
Continued from Merge 1342

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


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

Label via
shared features:

Label from
Head:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

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

Transfer:
Frontier:

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

Successful Derivation 168
Top

Backtrack (check for another possible derivation: Free Merge): Attempt: #449
Continued from Merge 1155

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


Merge 1347
Merge: set-Merge
Stream: ['toT', 'believe', 'v', 'Psv', 'Tpast', 'C']
Unlabeled:


Merge 1348
Merge: set-Merge
Stream: ['believe', 'v', 'Psv', 'Tpast', 'C']
Operations: Agree: (toT,n)
Checked Features: 'uPerson'
Unlabeled:


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


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


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


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


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

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label via
shared features:

Label from
Head:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Crash (No Case):

   ➔

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

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


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

Label via
shared features:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Transfer:
Frontier:

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

Successful Derivation 169
Top

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

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


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


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

Crash (No Case):

   ➔

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

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


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

Transfer:
Frontier:

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

Successful Derivation 170
Top

Backtrack (check for another possible derivation: Free Merge): Attempt: #453
Continued from Merge 1350

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


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


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


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

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Crash (Unlabeled):

Backtrack (check for another possible derivation: Free Merge): Attempt: #454
Continued from Merge 1363

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


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

Label via
shared features:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Transfer:
Frontier:

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

Successful Derivation 171
Top

Backtrack (check for another possible derivation: Free Merge): Attempt: #455
Continued from Merge 1362

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


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


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

Label from
Head:

Label via
shared features:

Label from
Head:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

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

Crash (No Case):

   ➔

Backtrack (check for another possible derivation: Free Merge): Attempt: #456
Continued from Merge 1368

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


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

Label via
shared features:

Label from
Head:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

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

Transfer:
Frontier:

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

Successful Derivation 172
Top

Backtrack (check for another possible derivation: Free Merge): Attempt: #457
Continued from Merge 1349

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


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


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


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


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

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Crash (Unlabeled):

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

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


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

Transfer:
Frontier:

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

Successful Derivation 173
Top

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

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


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


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

Crash (No Case):

   ➔

Next

Top