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

Merge 1138

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


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


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

Label from
Head:

Label from
Head:

Crash (No Case):

   ➔

Backtrack (check for another possible derivation: Free Merge): Attempt: #380
Continued from Merge 1139

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


Merge 1142
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 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 142
Top

Backtrack (check for another possible derivation: Free Merge): Attempt: #381
Continued from Merge 1132

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


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


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


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

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Crash (Unlabeled):

Backtrack (check for another possible derivation: Free Merge): Attempt: #382
Continued from Merge 1145

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


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

Label via
shared features:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label from
Head:

Label 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 143
Top

Backtrack (check for another possible derivation: Free Merge): Attempt: #383
Continued from Merge 1144

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


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


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

Label from
Head:

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

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


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

Label from
Head:

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

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

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


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


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


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


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


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


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


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


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

Label from
Head:

Label from
Head:

Crash (Unlabeled):

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

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


Merge 1164
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 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 145
Top

Backtrack (check for another possible derivation: Free Merge): Attempt: #387
Continued from Merge 1160

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


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


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

Label from
Head:

Label from
Head:

Crash (No Case):

   ➔

Backtrack (check for another possible derivation: Free Merge): Attempt: #388
Continued from Merge 1166

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


Merge 1169
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 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 146
Top

Backtrack (check for another possible derivation: Free Merge): Attempt: #389
Continued from Merge 1159

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


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


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


Merge 1173
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: #390
Continued from Merge 1172

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


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

Label via
shared features:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label 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 147
Top

Backtrack (check for another possible derivation: Free Merge): Attempt: #391
Continued from Merge 1171

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


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


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

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


Merge 1180
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 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 148
Top

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

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


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


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


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


Merge 1185
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 1184

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


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

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

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

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


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


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

Crash (No Case):

   ➔

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

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


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

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

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

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


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


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


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

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Crash (Unlabeled):

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

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


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

Label via
shared features:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label 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 151
Top

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

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


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


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

Label from
Head:

Label via
shared features:

Label from
Head:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label from
Head:

Label 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: #400
Continued from Merge 1200

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


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

Label via
shared features:

Label from
Head:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label from
Head:

Label 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 152
Top

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

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


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


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


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


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


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

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label via
shared Person:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Crash (No Case):

   ➔

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

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


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

Crash (No Case):

   ➔

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

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


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


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

Crash (No Case):

   ➔

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

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


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

Crash (No Case):

   ➔

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

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


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


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


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

Next

Top