Home

Example 14 Several fish were believed to have been caught.
Initial Stream: ['fish', 'n_pl_3rd', 'several', 'catch', 'v', 'Psv', 'Perf', 'toT', 'believe', 'v', 'Psv', 'Tpast', 'C']

Successful Derivation 1
Successful Derivation 2
Successful Derivation 3
Successful Derivation 4
Successful Derivation 5
Successful Derivation 6
Successful Derivation 7
Successful Derivation 8
Successful Derivation 9
Successful Derivation 10
Successful Derivation 11
Successful Derivation 12
Successful Derivation 13
Successful Derivation 14
Successful Derivation 15
Successful Derivation 16
Successful Derivation 17
Successful Derivation 18
Successful Derivation 19
Successful Derivation 20
Successful Derivation 21
Successful Derivation 22
Successful Derivation 23
Successful Derivation 24
Successful Derivation 25
Successful Derivation 26
Successful Derivation 27
Successful Derivation 28
Successful Derivation 29
Successful Derivation 30
Successful Derivation 31
Successful Derivation 32
Successful Derivation 33
Successful Derivation 34
Successful Derivation 35
Successful Derivation 36
Successful Derivation 37
Successful Derivation 38
Successful Derivation 39
Successful Derivation 40
Successful Derivation 41
Successful Derivation 42
Successful Derivation 43
Successful Derivation 44
Successful Derivation 45
Successful Derivation 46
Successful Derivation 47
Successful Derivation 48
Successful Derivation 49
Successful Derivation 50
Successful Derivation 51
Successful Derivation 52
Successful Derivation 53
Successful Derivation 54
Successful Derivation 55
Successful Derivation 56
Successful Derivation 57
Successful Derivation 58
Successful Derivation 59
Successful Derivation 60
Successful Derivation 61
Successful Derivation 62
Successful Derivation 63
Successful Derivation 64
Successful Derivation 65
Successful Derivation 66
Successful Derivation 67
Successful Derivation 68
Successful Derivation 69
Successful Derivation 70
Successful Derivation 71
Successful Derivation 72
Successful Derivation 73
Successful Derivation 74
Successful Derivation 75
Successful Derivation 76
Successful Derivation 77
Successful Derivation 78
Successful Derivation 79
Successful Derivation 80
Successful Derivation 81
Successful Derivation 82
Successful Derivation 83
Successful Derivation 84
Successful Derivation 85
Successful Derivation 86
Successful Derivation 87
Successful Derivation 88
Successful Derivation 89
Successful Derivation 90
Successful Derivation 91
Successful Derivation 92
Successful Derivation 93
Successful Derivation 94
Successful Derivation 95
Successful Derivation 96
Successful Derivation 97
Successful Derivation 98
Successful Derivation 99
Successful Derivation 100
Successful Derivation 101
Successful Derivation 102
Successful Derivation 103
Successful Derivation 104
Successful Derivation 105
Successful Derivation 106
Successful Derivation 107
Successful Derivation 108
Successful Derivation 109
Successful Derivation 110
Successful Derivation 111
Successful Derivation 112
Successful Derivation 113
Successful Derivation 114
Successful Derivation 115
Successful Derivation 116
Successful Derivation 117
Successful Derivation 118
Successful Derivation 119
Successful Derivation 120
Successful Derivation 121
Successful Derivation 122
Successful Derivation 123
Successful Derivation 124
Successful Derivation 125
Successful Derivation 126
Successful Derivation 127
Successful Derivation 128
Successful Derivation 129
Successful Derivation 130
Successful Derivation 131
Successful Derivation 132
Successful Derivation 133
Successful Derivation 134
Successful Derivation 135
Successful Derivation 136
Successful Derivation 137
Successful Derivation 138
Successful Derivation 139
Successful Derivation 140
Successful Derivation 141
Successful Derivation 142
Successful Derivation 143
Successful Derivation 144
Successful Derivation 145
Successful Derivation 146
Successful Derivation 147
Successful Derivation 148
Successful Derivation 149
Successful Derivation 150
Successful Derivation 151
Successful Derivation 152
Successful Derivation 153
Successful Derivation 154
Successful Derivation 155
Successful Derivation 156
Successful Derivation 157
Successful Derivation 158
Successful Derivation 159
Successful Derivation 160
Successful Derivation 161
Successful Derivation 162
Successful Derivation 163
Successful Derivation 164
Successful Derivation 165
Successful Derivation 166
Successful Derivation 167
Successful Derivation 168
Successful Derivation 169
Successful Derivation 170
Successful Derivation 171
Successful Derivation 172
Successful Derivation 173
Successful Derivation 174
Successful Derivation 175
Successful Derivation 176
Successful Derivation 177
Successful Derivation 178
Successful Derivation 179
Successful Derivation 180
Successful Derivation 181
Successful Derivation 182
Successful Derivation 183
Successful Derivation 184
Successful Derivation 185
Successful Derivation 186
Successful Derivation 187
Successful Derivation 188
Successful Derivation 189
Successful Derivation 190
Successful Derivation 191
Successful Derivation 192


Merge 1
Merge: set-Merge
Stream: ['several', 'catch', 'v', 'Psv', 'Perf', 'toT', 'believe', 'v', 'Psv', 'Tpast', 'C']
Unlabeled:


Merge 2
Merge: pair-Merge
Stream: ['catch', 'v', 'Psv', 'Perf', 'toT', 'believe', 'v', 'Psv', 'Tpast', 'C']
Label stays
the same:



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


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


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


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


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


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


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


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


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


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

Crash (No Case):

   ➔

Backtrack (check for another possible derivation: Free Merge): Attempt: #2
Continued from Merge 11

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


Merge 14
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 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 1
Top

Backtrack (check for another possible derivation: Free Merge): Attempt: #3
Continued from Merge 10

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


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


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

Label from
Head:

Crash (No Case):

   ➔

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

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


Merge 19
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 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 2
Top

Backtrack (check for another possible derivation: Free Merge): Attempt: #5
Continued from Merge 9

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


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


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


Merge 23
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: #6
Continued from Merge 22

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


Merge 25
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 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 3
Top

Backtrack (check for another possible derivation: Free Merge): Attempt: #7
Continued from Merge 21

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


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


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

Label from
Head:

Crash (No Case):

   ➔

Backtrack (check for another possible derivation: Free Merge): Attempt: #8
Continued from Merge 27

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


Merge 30
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 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 4
Top

Backtrack (check for another possible derivation: Free Merge): Attempt: #9
Continued from Merge 8

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


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


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


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


Merge 35
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: #10
Continued from Merge 34

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


Merge 37
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 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 5
Top

Backtrack (check for another possible derivation: Free Merge): Attempt: #11
Continued from Merge 33

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


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


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

Label from
Head:

Crash (No Case):

   ➔

Backtrack (check for another possible derivation: Free Merge): Attempt: #12
Continued from Merge 39

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


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

Backtrack (check for another possible derivation: Free Merge): Attempt: #13
Continued from Merge 32

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


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


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


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

Label from
Head:

Crash (Unlabeled):

Backtrack (check for another possible derivation: Free Merge): Attempt: #14
Continued from Merge 45

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


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

Backtrack (check for another possible derivation: Free Merge): Attempt: #15
Continued from Merge 44

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


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


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

Label from
Head:

Crash (No Case):

   ➔

Backtrack (check for another possible derivation: Free Merge): Attempt: #16
Continued from Merge 50

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


Merge 53
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 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 8
Top

Backtrack (check for another possible derivation: Free Merge): Attempt: #17
Continued from Merge 7

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


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


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


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


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


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

Label from
Head:

Crash (No Case):

   ➔

Backtrack (check for another possible derivation: Free Merge): Attempt: #18
Continued from Merge 58

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


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

Label from
Head:

Crash (No Case):

   ➔

Backtrack (check for another possible derivation: Free Merge): Attempt: #19
Continued from Merge 57

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


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


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

Label from
Head:

Crash (No Case):

   ➔

Backtrack (check for another possible derivation: Free Merge): Attempt: #20
Continued from Merge 63

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


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

Label from
Head:

Crash (No Case):

   ➔

Backtrack (check for another possible derivation: Free Merge): Attempt: #21
Continued from Merge 56

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


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


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


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

Label from
Head:

Crash (Unlabeled):

Backtrack (check for another possible derivation: Free Merge): Attempt: #22
Continued from Merge 69

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


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

Label from
Head:

Label from
Head:

Label from
Head:

Crash (No Case):

   ➔

Backtrack (check for another possible derivation: Free Merge): Attempt: #23
Continued from Merge 68

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


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


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

Label from
Head:

Label from
Head:

Label from
Head:

Crash (No Case):

   ➔

Backtrack (check for another possible derivation: Free Merge): Attempt: #24
Continued from Merge 74

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


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

Label from
Head:

Label from
Head:

Label from
Head:

Crash (No Case):

   ➔

Backtrack (check for another possible derivation: Free Merge): Attempt: #25
Continued from Merge 55

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


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


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


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


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

Label from
Head:

Crash (Unlabeled):

Backtrack (check for another possible derivation: Free Merge): Attempt: #26
Continued from Merge 81

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


Merge 84
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 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 9
Top

Backtrack (check for another possible derivation: Free Merge): Attempt: #27
Continued from Merge 80

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


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


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

Label from
Head:

Crash (No Case):

   ➔

Next

Top