Home

Example 14 The book had been being read.
Initial Stream: ['book', 'n_3rd_sg', 'the', 'read', 'v', 'Psv', 'Prog', 'Perf', '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


Merge 1
Merge: set-Merge
Stream: ['the', 'read', 'v', 'Psv', 'Prog', 'Perf', 'Tpast', 'C']
Unlabeled:


Merge 2
Merge: pair-Merge
Stream: ['read', 'v', 'Psv', 'Prog', 'Perf', 'Tpast', 'C']
Label stays
the same:



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


Merge 4
Merge: set-Merge
Stream: ['Psv', 'Prog', 'Perf', 'Tpast', 'C']
Unlabeled:


Merge 5
Merge: set-Merge
Stream: ['Prog', 'Perf', 'Tpast', 'C']
Unlabeled:


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


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


Merge 8
Merge: set-Merge
Stream: ['C']
Operations: Checked Features: 'uPerson' 'uNumber' 'uGender'
Unlabeled:


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

Transfer:
Frontier:

Spell Out: T(Past,3rd,sg) have -en be -ing be -en v read the n book
PF Rules: T(Past,3rd,sg)+have
had -en+be
had been -ing+be
had been being -en+read
had been being read the book

Successful Derivation 1
Top

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

Merge 10
Merge: set-Merge
Stream: ['C']
Unlabeled:


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

FormCopy:
Transfer:
Frontier:

Spell Out: C the n book T(Past,3rd,sg) have -en be -ing be -en v read
PF Rules: the book T(Past,3rd,sg)+have
the book had -en+be
the book had been -ing+be
the book had been being -en+read
the book had been being read

Successful Derivation 2
Top

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

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


Merge 13
Merge: set-Merge
Stream: ['C']
Operations: Checked Features: 'uPerson' 'uNumber' 'uGender'
Unlabeled:


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

FormCopy:
Crash (Unlabeled):

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

Merge 15
Merge: set-Merge
Stream: ['C']
Unlabeled:


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

Label from
Head:

Label via
shared features:

Label from
Head:

Label from
Head:

FormCopy:
Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

FormCopy:
Transfer:
Frontier:

Spell Out: C the n book T(Past,3rd,sg) have -en be -ing be -en v read
PF Rules: the book T(Past,3rd,sg)+have
the book had -en+be
the book had been -ing+be
the book had been being -en+read
the book had been being read

Successful Derivation 3
Top

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

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


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


Merge 19
Merge: set-Merge
Stream: ['C']
Operations: Checked Features: 'uPerson' 'uNumber' 'uGender'
Unlabeled:


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

FormCopy:
Crash (Unlabeled):

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

Merge 21
Merge: set-Merge
Stream: ['C']
Unlabeled:


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

Label from
Head:

Label via
shared features:

Label from
Head:

Label from
Head:

Label from
Head:

FormCopy:
Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

FormCopy:
Transfer:
Frontier:

Spell Out: C the n book T(Past,3rd,sg) have -en be -ing be -en v read
PF Rules: the book T(Past,3rd,sg)+have
the book had -en+be
the book had been -ing+be
the book had been being -en+read
the book had been being read

Successful Derivation 4
Top

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

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


Merge 24
Merge: set-Merge
Stream: ['C']
Operations: Checked Features: 'uPerson' 'uNumber' 'uGender'
Unlabeled:


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

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

FormCopy:
Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

FormCopy:
Crash (Unlabeled):

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

Merge 26
Merge: set-Merge
Stream: ['C']
Unlabeled:


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

Label from
Head:

Label via
shared features:

Label from
Head:

Label from
Head:

FormCopy:
Label from
Head:

Label via
movement:

Label from
Head:

FormCopy:
Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

FormCopy:
Transfer:
Frontier:

Spell Out: C the n book T(Past,3rd,sg) have -en be -ing be -en v read
PF Rules: the book T(Past,3rd,sg)+have
the book had -en+be
the book had been -ing+be
the book had been being -en+read
the book had been being read

Successful Derivation 5
Top

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

Merge 28
Merge: set-Merge
Stream: ['Prog', 'Perf', 'Tpast', 'C']
Unlabeled:


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


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


Merge 31
Merge: set-Merge
Stream: ['C']
Operations: Checked Features: 'uPerson' 'uNumber' 'uGender'
Unlabeled:


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

FormCopy:
Crash (Unlabeled):

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

Merge 33
Merge: set-Merge
Stream: ['C']
Unlabeled:


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

FormCopy:
Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label from
Head:

FormCopy:
Transfer:
Frontier:

Spell Out: C the n book T(Past,3rd,sg) have -en be -ing be -en v read
PF Rules: the book T(Past,3rd,sg)+have
the book had -en+be
the book had been -ing+be
the book had been being -en+read
the book had been being read

Successful Derivation 6
Top

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

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


Merge 36
Merge: set-Merge
Stream: ['C']
Operations: Checked Features: 'uPerson' 'uNumber' 'uGender'
Unlabeled:


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

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

FormCopy:
Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label from
Head:

FormCopy:
Crash (Unlabeled):

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

Merge 38
Merge: set-Merge
Stream: ['C']
Unlabeled:


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

Label from
Head:

Label via
shared features:

Label from
Head:

Label from
Head:

FormCopy:
Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

FormCopy:
Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label from
Head:

FormCopy:
Transfer:
Frontier:

Spell Out: C the n book T(Past,3rd,sg) have -en be -ing be -en v read
PF Rules: the book T(Past,3rd,sg)+have
the book had -en+be
the book had been -ing+be
the book had been being -en+read
the book had been being read

Successful Derivation 7
Top

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

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


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


Merge 42
Merge: set-Merge
Stream: ['C']
Operations: Checked Features: 'uPerson' 'uNumber' 'uGender'
Unlabeled:


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

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

FormCopy:
Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label from
Head:

FormCopy:
Crash (Unlabeled):

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

Merge 44
Merge: set-Merge
Stream: ['C']
Unlabeled:


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

Label from
Head:

Label via
shared features:

Label from
Head:

Label from
Head:

Label from
Head:

FormCopy:
Label from
Head:

Label via
movement:

Label from
Head:

FormCopy:
Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label from
Head:

FormCopy:
Transfer:
Frontier:

Spell Out: C the n book T(Past,3rd,sg) have -en be -ing be -en v read
PF Rules: the book T(Past,3rd,sg)+have
the book had -en+be
the book had been -ing+be
the book had been being -en+read
the book had been being read

Successful Derivation 8
Top

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

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


Merge 47
Merge: set-Merge
Stream: ['C']
Operations: Checked Features: 'uPerson' 'uNumber' 'uGender'
Unlabeled:


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

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

FormCopy:
Label from
Head:

Label via
movement:

Label from
Head:

FormCopy:
Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label from
Head:

FormCopy:
Crash (Unlabeled):

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

Merge 49
Merge: set-Merge
Stream: ['C']
Unlabeled:


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

Label from
Head:

Label via
shared features:

Label from
Head:

Label from
Head:

FormCopy:
Label from
Head:

Label via
movement:

Label from
Head:

FormCopy:
Label from
Head:

Label via
movement:

Label from
Head:

FormCopy:
Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label from
Head:

FormCopy:
Transfer:
Frontier:

Spell Out: C the n book T(Past,3rd,sg) have -en be -ing be -en v read
PF Rules: the book T(Past,3rd,sg)+have
the book had -en+be
the book had been -ing+be
the book had been being -en+read
the book had been being read

Successful Derivation 9
Top

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

Merge 51
Merge: set-Merge
Stream: ['Psv', 'Prog', 'Perf', 'Tpast', 'C']
Unlabeled:


Merge 52
Merge: set-Merge
Stream: ['Prog', 'Perf', 'Tpast', 'C']
Unlabeled:


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


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


Merge 55
Merge: set-Merge
Stream: ['C']
Operations: Checked Features: 'uPerson' 'uNumber' 'uGender'
Unlabeled:


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

FormCopy:
Crash (Unlabeled):

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

Merge 57
Merge: set-Merge
Stream: ['C']
Unlabeled:


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

FormCopy:
Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

FormCopy:
Transfer:
Frontier:

Spell Out: C the n book T(Past,3rd,sg) have -en be -ing be -en v read
PF Rules: the book T(Past,3rd,sg)+have
the book had -en+be
the book had been -ing+be
the book had been being -en+read
the book had been being read

Successful Derivation 10
Top

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

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


Merge 60
Merge: set-Merge
Stream: ['C']
Operations: Checked Features: 'uPerson' 'uNumber' 'uGender'
Unlabeled:


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

FormCopy:
Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

FormCopy:
Crash (Unlabeled):

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

Merge 62
Merge: set-Merge
Stream: ['C']
Unlabeled:


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

Label from
Head:

Label via
shared features:

Label from
Head:

Label from
Head:

FormCopy:
Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label from
Head:

FormCopy:
Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

FormCopy:
Transfer:
Frontier:

Spell Out: C the n book T(Past,3rd,sg) have -en be -ing be -en v read
PF Rules: the book T(Past,3rd,sg)+have
the book had -en+be
the book had been -ing+be
the book had been being -en+read
the book had been being read

Successful Derivation 11
Top

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

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


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


Merge 66
Merge: set-Merge
Stream: ['C']
Operations: Checked Features: 'uPerson' 'uNumber' 'uGender'
Unlabeled:


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

FormCopy:
Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

FormCopy:
Crash (Unlabeled):

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

Merge 68
Merge: set-Merge
Stream: ['C']
Unlabeled:


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

Label from
Head:

Label via
shared features:

Label from
Head:

Label from
Head:

Label from
Head:

FormCopy:
Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

FormCopy:
Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

FormCopy:
Transfer:
Frontier:

Spell Out: C the n book T(Past,3rd,sg) have -en be -ing be -en v read
PF Rules: the book T(Past,3rd,sg)+have
the book had -en+be
the book had been -ing+be
the book had been being -en+read
the book had been being read

Successful Derivation 12
Top

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

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


Merge 71
Merge: set-Merge
Stream: ['C']
Operations: Checked Features: 'uPerson' 'uNumber' 'uGender'
Unlabeled:


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

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

FormCopy:
Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

FormCopy:
Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

FormCopy:
Crash (Unlabeled):

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

Merge 73
Merge: set-Merge
Stream: ['C']
Unlabeled:


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

Label from
Head:

Label via
shared features:

Label from
Head:

Label from
Head:

FormCopy:
Label from
Head:

Label via
movement:

Label from
Head:

FormCopy:
Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

FormCopy:
Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

FormCopy:
Transfer:
Frontier:

Spell Out: C the n book T(Past,3rd,sg) have -en be -ing be -en v read
PF Rules: the book T(Past,3rd,sg)+have
the book had -en+be
the book had been -ing+be
the book had been being -en+read
the book had been being read

Successful Derivation 13
Top

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

Merge 75
Merge: set-Merge
Stream: ['Prog', 'Perf', 'Tpast', 'C']
Unlabeled:


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


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


Merge 78
Merge: set-Merge
Stream: ['C']
Operations: Checked Features: 'uPerson' 'uNumber' 'uGender'
Unlabeled:


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

FormCopy:
Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

FormCopy:
Crash (Unlabeled):

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

Merge 80
Merge: set-Merge
Stream: ['C']
Unlabeled:


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

FormCopy:
Label from
Head:

Label via
movement:

Label from
Head:

FormCopy:
Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

FormCopy:
Transfer:
Frontier:

Spell Out: C the n book T(Past,3rd,sg) have -en be -ing be -en v read
PF Rules: the book T(Past,3rd,sg)+have
the book had -en+be
the book had been -ing+be
the book had been being -en+read
the book had been being read

Successful Derivation 14
Top

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

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


Merge 83
Merge: set-Merge
Stream: ['C']
Operations: Checked Features: 'uPerson' 'uNumber' 'uGender'
Unlabeled:


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

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

FormCopy:
Label from
Head:

Label via
movement:

Label from
Head:

FormCopy:
Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

FormCopy:
Crash (Unlabeled):

Backtrack (check for another possible derivation: Free Merge): Attempt: #28
Continued from Merge 83

Merge 85
Merge: set-Merge
Stream: ['C']
Unlabeled:


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

Label from
Head:

Label via
shared features:

Label from
Head:

Label from
Head:

FormCopy:
Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

FormCopy:
Label from
Head:

Label via
movement:

Label from
Head:

FormCopy:
Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

FormCopy:
Transfer:
Frontier:

Spell Out: C the n book T(Past,3rd,sg) have -en be -ing be -en v read
PF Rules: the book T(Past,3rd,sg)+have
the book had -en+be
the book had been -ing+be
the book had been being -en+read
the book had been being read

Successful Derivation 15
Top

Backtrack (check for another possible derivation: Free Merge): Attempt: #29
Continued from Merge 76

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


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


Merge 89
Merge: set-Merge
Stream: ['C']
Operations: Checked Features: 'uPerson' 'uNumber' 'uGender'
Unlabeled:


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

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

FormCopy:
Label from
Head:

Label via
movement:

Label from
Head:

FormCopy:
Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

FormCopy:
Crash (Unlabeled):

Backtrack (check for another possible derivation: Free Merge): Attempt: #30
Continued from Merge 89

Merge 91
Merge: set-Merge
Stream: ['C']
Unlabeled:


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

Label from
Head:

Label via
shared features:

Label from
Head:

Label from
Head:

Label from
Head:

FormCopy:
Label from
Head:

Label via
movement:

Label from
Head:

FormCopy:
Label from
Head:

Label via
movement:

Label from
Head:

FormCopy:
Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

FormCopy:
Transfer:
Frontier:

Spell Out: C the n book T(Past,3rd,sg) have -en be -ing be -en v read
PF Rules: the book T(Past,3rd,sg)+have
the book had -en+be
the book had been -ing+be
the book had been being -en+read
the book had been being read

Successful Derivation 16
Top

Backtrack (check for another possible derivation: Free Merge): Attempt: #31
Continued from Merge 88

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


Merge 94
Merge: set-Merge
Stream: ['C']
Operations: Checked Features: 'uPerson' 'uNumber' 'uGender'
Unlabeled:


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

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

FormCopy:
Label from
Head:

Label via
movement:

Label from
Head:

FormCopy:
Label from
Head:

Label via
movement:

Label from
Head:

FormCopy:
Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

FormCopy:
Crash (Unlabeled):

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

Merge 96
Merge: set-Merge
Stream: ['C']
Unlabeled:


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

Label from
Head:

Label via
shared features:

Label from
Head:

Label from
Head:

FormCopy:
Label from
Head:

Label via
movement:

Label from
Head:

FormCopy:
Label from
Head:

Label via
movement:

Label from
Head:

FormCopy:
Label from
Head:

Label via
movement:

Label from
Head:

FormCopy:
Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

FormCopy:
Transfer:
Frontier:

Spell Out: C the n book T(Past,3rd,sg) have -en be -ing be -en v read
PF Rules: the book T(Past,3rd,sg)+have
the book had -en+be
the book had been -ing+be
the book had been being -en+read
the book had been being read

Successful Derivation 17
Top

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

Merge 98
Merge: set-Merge
Stream: ['v', 'Psv', 'Prog', 'Perf', 'Tpast', 'C']
Unlabeled:


Merge 99
Merge: set-Merge
Stream: ['Psv', 'Prog', 'Perf', 'Tpast', 'C']
Unlabeled:


Merge 100
Merge: set-Merge
Stream: ['Prog', 'Perf', 'Tpast', 'C']
Unlabeled:


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


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


Merge 103
Merge: set-Merge
Stream: ['C']
Operations: Checked Features: 'uPerson' 'uNumber' 'uGender'
Unlabeled:


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

FormCopy:
Crash (Unlabeled):

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

Merge 105
Merge: set-Merge
Stream: ['C']
Unlabeled:


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

FormCopy:
Label from
Head:

Label via
movement:

Label from
Head:

FormCopy:
Transfer:
Frontier:

Spell Out: C the n book T(Past,3rd,sg) have -en be -ing be -en v read
PF Rules: the book T(Past,3rd,sg)+have
the book had -en+be
the book had been -ing+be
the book had been being -en+read
the book had been being read

Successful Derivation 18
Top

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

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


Merge 108
Merge: set-Merge
Stream: ['C']
Operations: Checked Features: 'uPerson' 'uNumber' 'uGender'
Unlabeled:


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

FormCopy:
Label from
Head:

Label via
movement:

Label from
Head:

FormCopy:
Crash (Unlabeled):

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

Merge 110
Merge: set-Merge
Stream: ['C']
Unlabeled:


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

Label from
Head:

Label via
shared features:

Label from
Head:

Label from
Head:

FormCopy:
Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

FormCopy:
Label from
Head:

Label via
movement:

Label from
Head:

FormCopy:
Transfer:
Frontier:

Spell Out: C the n book T(Past,3rd,sg) have -en be -ing be -en v read
PF Rules: the book T(Past,3rd,sg)+have
the book had -en+be
the book had been -ing+be
the book had been being -en+read
the book had been being read

Successful Derivation 19
Top

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

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


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


Merge 114
Merge: set-Merge
Stream: ['C']
Operations: Checked Features: 'uPerson' 'uNumber' 'uGender'
Unlabeled:


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

FormCopy:
Label from
Head:

Label via
movement:

Label from
Head:

FormCopy:
Crash (Unlabeled):

Backtrack (check for another possible derivation: Free Merge): Attempt: #38
Continued from Merge 114

Merge 116
Merge: set-Merge
Stream: ['C']
Unlabeled:


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

Label from
Head:

Label via
shared features:

Label from
Head:

Label from
Head:

Label from
Head:

FormCopy:
Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label from
Head:

FormCopy:
Label from
Head:

Label via
movement:

Label from
Head:

FormCopy:
Transfer:
Frontier:

Spell Out: C the n book T(Past,3rd,sg) have -en be -ing be -en v read
PF Rules: the book T(Past,3rd,sg)+have
the book had -en+be
the book had been -ing+be
the book had been being -en+read
the book had been being read

Successful Derivation 20
Top

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

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


Merge 119
Merge: set-Merge
Stream: ['C']
Operations: Checked Features: 'uPerson' 'uNumber' 'uGender'
Unlabeled:


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

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

FormCopy:
Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label from
Head:

FormCopy:
Label from
Head:

Label via
movement:

Label from
Head:

FormCopy:
Crash (Unlabeled):

Backtrack (check for another possible derivation: Free Merge): Attempt: #40
Continued from Merge 119

Merge 121
Merge: set-Merge
Stream: ['C']
Unlabeled:


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

Label from
Head:

Label via
shared features:

Label from
Head:

Label from
Head:

FormCopy:
Label from
Head:

Label via
movement:

Label from
Head:

FormCopy:
Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label from
Head:

FormCopy:
Label from
Head:

Label via
movement:

Label from
Head:

FormCopy:
Transfer:
Frontier:

Spell Out: C the n book T(Past,3rd,sg) have -en be -ing be -en v read
PF Rules: the book T(Past,3rd,sg)+have
the book had -en+be
the book had been -ing+be
the book had been being -en+read
the book had been being read

Successful Derivation 21
Top

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

Merge 123
Merge: set-Merge
Stream: ['Prog', 'Perf', 'Tpast', 'C']
Unlabeled:


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


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


Merge 126
Merge: set-Merge
Stream: ['C']
Operations: Checked Features: 'uPerson' 'uNumber' 'uGender'
Unlabeled:


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

FormCopy:
Label from
Head:

Label via
movement:

Label from
Head:

FormCopy:
Crash (Unlabeled):

Backtrack (check for another possible derivation: Free Merge): Attempt: #42
Continued from Merge 126

Merge 128
Merge: set-Merge
Stream: ['C']
Unlabeled:


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

FormCopy:
Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

FormCopy:
Label from
Head:

Label via
movement:

Label from
Head:

FormCopy:
Transfer:
Frontier:

Spell Out: C the n book T(Past,3rd,sg) have -en be -ing be -en v read
PF Rules: the book T(Past,3rd,sg)+have
the book had -en+be
the book had been -ing+be
the book had been being -en+read
the book had been being read

Successful Derivation 22
Top

Backtrack (check for another possible derivation: Free Merge): Attempt: #43
Continued from Merge 125

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


Merge 131
Merge: set-Merge
Stream: ['C']
Operations: Checked Features: 'uPerson' 'uNumber' 'uGender'
Unlabeled:


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

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

FormCopy:
Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

FormCopy:
Label from
Head:

Label via
movement:

Label from
Head:

FormCopy:
Crash (Unlabeled):

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

Merge 133
Merge: set-Merge
Stream: ['C']
Unlabeled:


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

Label from
Head:

Label via
shared features:

Label from
Head:

Label from
Head:

FormCopy:
Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

FormCopy:
Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

FormCopy:
Label from
Head:

Label via
movement:

Label from
Head:

FormCopy:
Transfer:
Frontier:

Spell Out: C the n book T(Past,3rd,sg) have -en be -ing be -en v read
PF Rules: the book T(Past,3rd,sg)+have
the book had -en+be
the book had been -ing+be
the book had been being -en+read
the book had been being read

Successful Derivation 23
Top

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

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


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


Merge 137
Merge: set-Merge
Stream: ['C']
Operations: Checked Features: 'uPerson' 'uNumber' 'uGender'
Unlabeled:


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

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

FormCopy:
Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

FormCopy:
Label from
Head:

Label via
movement:

Label from
Head:

FormCopy:
Crash (Unlabeled):

Backtrack (check for another possible derivation: Free Merge): Attempt: #46
Continued from Merge 137

Merge 139
Merge: set-Merge
Stream: ['C']
Unlabeled:


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

Label from
Head:

Label via
shared features:

Label from
Head:

Label from
Head:

Label from
Head:

FormCopy:
Label from
Head:

Label via
movement:

Label from
Head:

FormCopy:
Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

FormCopy:
Label from
Head:

Label via
movement:

Label from
Head:

FormCopy:
Transfer:
Frontier:

Spell Out: C the n book T(Past,3rd,sg) have -en be -ing be -en v read
PF Rules: the book T(Past,3rd,sg)+have
the book had -en+be
the book had been -ing+be
the book had been being -en+read
the book had been being read

Successful Derivation 24
Top

Backtrack (check for another possible derivation: Free Merge): Attempt: #47
Continued from Merge 136

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


Merge 142
Merge: set-Merge
Stream: ['C']
Operations: Checked Features: 'uPerson' 'uNumber' 'uGender'
Unlabeled:


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

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

FormCopy:
Label from
Head:

Label via
movement:

Label from
Head:

FormCopy:
Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

FormCopy:
Label from
Head:

Label via
movement:

Label from
Head:

FormCopy:
Crash (Unlabeled):

Backtrack (check for another possible derivation: Free Merge): Attempt: #48
Continued from Merge 142

Merge 144
Merge: set-Merge
Stream: ['C']
Unlabeled:


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

Label from
Head:

Label via
shared features:

Label from
Head:

Label from
Head:

FormCopy:
Label from
Head:

Label via
movement:

Label from
Head:

FormCopy:
Label from
Head:

Label via
movement:

Label from
Head:

FormCopy:
Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

FormCopy:
Label from
Head:

Label via
movement:

Label from
Head:

FormCopy:
Transfer:
Frontier:

Spell Out: C the n book T(Past,3rd,sg) have -en be -ing be -en v read
PF Rules: the book T(Past,3rd,sg)+have
the book had -en+be
the book had been -ing+be
the book had been being -en+read
the book had been being read

Successful Derivation 25
Top

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

Merge 146
Merge: set-Merge
Stream: ['Psv', 'Prog', 'Perf', 'Tpast', 'C']
Unlabeled:


Merge 147
Merge: set-Merge
Stream: ['Prog', 'Perf', 'Tpast', 'C']
Unlabeled:


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


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


Merge 150
Merge: set-Merge
Stream: ['C']
Operations: Checked Features: 'uPerson' 'uNumber' 'uGender'
Unlabeled:


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

FormCopy:
Label from
Head:

Label via
movement:

Label from
Head:

FormCopy:
Crash (Unlabeled):

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

Merge 152
Merge: set-Merge
Stream: ['C']
Unlabeled:


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

FormCopy:
Label from
Head:

Label via
movement:

Label from
Head:

FormCopy:
Label from
Head:

Label via
movement:

Label from
Head:

FormCopy:
Transfer:
Frontier:

Spell Out: C the n book T(Past,3rd,sg) have -en be -ing be -en v read
PF Rules: the book T(Past,3rd,sg)+have
the book had -en+be
the book had been -ing+be
the book had been being -en+read
the book had been being read

Successful Derivation 26
Top

Backtrack (check for another possible derivation: Free Merge): Attempt: #51
Continued from Merge 149

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


Merge 155
Merge: set-Merge
Stream: ['C']
Operations: Checked Features: 'uPerson' 'uNumber' 'uGender'
Unlabeled:


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

FormCopy:
Label from
Head:

Label via
movement:

Label from
Head:

FormCopy:
Label from
Head:

Label via
movement:

Label from
Head:

FormCopy:
Crash (Unlabeled):

Backtrack (check for another possible derivation: Free Merge): Attempt: #52
Continued from Merge 155

Merge 157
Merge: set-Merge
Stream: ['C']
Unlabeled:


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

Label from
Head:

Label via
shared features:

Label from
Head:

Label from
Head:

FormCopy:
Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label from
Head:

FormCopy:
Label from
Head:

Label via
movement:

Label from
Head:

FormCopy:
Label from
Head:

Label via
movement:

Label from
Head:

FormCopy:
Transfer:
Frontier:

Spell Out: C the n book T(Past,3rd,sg) have -en be -ing be -en v read
PF Rules: the book T(Past,3rd,sg)+have
the book had -en+be
the book had been -ing+be
the book had been being -en+read
the book had been being read

Successful Derivation 27
Top

Backtrack (check for another possible derivation: Free Merge): Attempt: #53
Continued from Merge 148

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


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


Merge 161
Merge: set-Merge
Stream: ['C']
Operations: Checked Features: 'uPerson' 'uNumber' 'uGender'
Unlabeled:


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

FormCopy:
Label from
Head:

Label via
movement:

Label from
Head:

FormCopy:
Label from
Head:

Label via
movement:

Label from
Head:

FormCopy:
Crash (Unlabeled):

Backtrack (check for another possible derivation: Free Merge): Attempt: #54
Continued from Merge 161

Merge 163
Merge: set-Merge
Stream: ['C']
Unlabeled:


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

Label from
Head:

Label via
shared features:

Label from
Head:

Label from
Head:

Label from
Head:

FormCopy:
Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

FormCopy:
Label from
Head:

Label via
movement:

Label from
Head:

FormCopy:
Label from
Head:

Label via
movement:

Label from
Head:

FormCopy:
Transfer:
Frontier:

Spell Out: C the n book T(Past,3rd,sg) have -en be -ing be -en v read
PF Rules: the book T(Past,3rd,sg)+have
the book had -en+be
the book had been -ing+be
the book had been being -en+read
the book had been being read

Successful Derivation 28
Top

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

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


Merge 166
Merge: set-Merge
Stream: ['C']
Operations: Checked Features: 'uPerson' 'uNumber' 'uGender'
Unlabeled:


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

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

FormCopy:
Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

FormCopy:
Label from
Head:

Label via
movement:

Label from
Head:

FormCopy:
Label from
Head:

Label via
movement:

Label from
Head:

FormCopy:
Crash (Unlabeled):

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

Merge 168
Merge: set-Merge
Stream: ['C']
Unlabeled:


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

Label from
Head:

Label via
shared features:

Label from
Head:

Label from
Head:

FormCopy:
Label from
Head:

Label via
movement:

Label from
Head:

FormCopy:
Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

FormCopy:
Label from
Head:

Label via
movement:

Label from
Head:

FormCopy:
Label from
Head:

Label via
movement:

Label from
Head:

FormCopy:
Transfer:
Frontier:

Spell Out: C the n book T(Past,3rd,sg) have -en be -ing be -en v read
PF Rules: the book T(Past,3rd,sg)+have
the book had -en+be
the book had been -ing+be
the book had been being -en+read
the book had been being read

Successful Derivation 29
Top

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

Merge 170
Merge: set-Merge
Stream: ['Prog', 'Perf', 'Tpast', 'C']
Unlabeled:


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


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


Merge 173
Merge: set-Merge
Stream: ['C']
Operations: Checked Features: 'uPerson' 'uNumber' 'uGender'
Unlabeled:


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

FormCopy:
Label from
Head:

Label via
movement:

Label from
Head:

FormCopy:
Label from
Head:

Label via
movement:

Label from
Head:

FormCopy:
Crash (Unlabeled):

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

Merge 175
Merge: set-Merge
Stream: ['C']
Unlabeled:


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

FormCopy:
Label from
Head:

Label via
movement:

Label from
Head:

FormCopy:
Label from
Head:

Label via
movement:

Label from
Head:

FormCopy:
Label from
Head:

Label via
movement:

Label from
Head:

FormCopy:
Transfer:
Frontier:

Spell Out: C the n book T(Past,3rd,sg) have -en be -ing be -en v read
PF Rules: the book T(Past,3rd,sg)+have
the book had -en+be
the book had been -ing+be
the book had been being -en+read
the book had been being read

Successful Derivation 30
Top

Backtrack (check for another possible derivation: Free Merge): Attempt: #59
Continued from Merge 172

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


Merge 178
Merge: set-Merge
Stream: ['C']
Operations: Checked Features: 'uPerson' 'uNumber' 'uGender'
Unlabeled:


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

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

FormCopy:
Label from
Head:

Label via
movement:

Label from
Head:

FormCopy:
Label from
Head:

Label via
movement:

Label from
Head:

FormCopy:
Label from
Head:

Label via
movement:

Label from
Head:

FormCopy:
Crash (Unlabeled):

Backtrack (check for another possible derivation: Free Merge): Attempt: #60
Continued from Merge 178

Merge 180
Merge: set-Merge
Stream: ['C']
Unlabeled:


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

Label from
Head:

Label via
shared features:

Label from
Head:

Label from
Head:

FormCopy:
Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

FormCopy:
Label from
Head:

Label via
movement:

Label from
Head:

FormCopy:
Label from
Head:

Label via
movement:

Label from
Head:

FormCopy:
Label from
Head:

Label via
movement:

Label from
Head:

FormCopy:
Transfer:
Frontier:

Spell Out: C the n book T(Past,3rd,sg) have -en be -ing be -en v read
PF Rules: the book T(Past,3rd,sg)+have
the book had -en+be
the book had been -ing+be
the book had been being -en+read
the book had been being read

Successful Derivation 31
Top

Backtrack (check for another possible derivation: Free Merge): Attempt: #61
Continued from Merge 171

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


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


Merge 184
Merge: set-Merge
Stream: ['C']
Operations: Checked Features: 'uPerson' 'uNumber' 'uGender'
Unlabeled:


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

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

FormCopy:
Label from
Head:

Label via
movement:

Label from
Head:

FormCopy:
Label from
Head:

Label via
movement:

Label from
Head:

FormCopy:
Label from
Head:

Label via
movement:

Label from
Head:

FormCopy:
Crash (Unlabeled):

Backtrack (check for another possible derivation: Free Merge): Attempt: #62
Continued from Merge 184

Merge 186
Merge: set-Merge
Stream: ['C']
Unlabeled:


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

Label from
Head:

Label via
shared features:

Label from
Head:

Label from
Head:

Label from
Head:

FormCopy:
Label from
Head:

Label via
movement:

Label from
Head:

FormCopy:
Label from
Head:

Label via
movement:

Label from
Head:

FormCopy:
Label from
Head:

Label via
movement:

Label from
Head:

FormCopy:
Label from
Head:

Label via
movement:

Label from
Head:

FormCopy:
Transfer:
Frontier:

Spell Out: C the n book T(Past,3rd,sg) have -en be -ing be -en v read
PF Rules: the book T(Past,3rd,sg)+have
the book had -en+be
the book had been -ing+be
the book had been being -en+read
the book had been being read

Successful Derivation 32
Top

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

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


Merge 189
Merge: set-Merge
Stream: ['C']
Operations: Checked Features: 'uPerson' 'uNumber' 'uGender'
Unlabeled:


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

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

FormCopy:
Label from
Head:

Label via
movement:

Label from
Head:

FormCopy:
Label from
Head:

Label via
movement:

Label from
Head:

FormCopy:
Label from
Head:

Label via
movement:

Label from
Head:

FormCopy:
Label from
Head:

Label via
movement:

Label from
Head:

FormCopy:
Crash (Unlabeled):

Backtrack (check for another possible derivation: Free Merge): Attempt: #64
Continued from Merge 189

Merge 191
Merge: set-Merge
Stream: ['C']
Unlabeled:


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

Label from
Head:

Label via
shared features:

Label from
Head:

Label from
Head:

FormCopy:
Label from
Head:

Label via
movement:

Label from
Head:

FormCopy:
Label from
Head:

Label via
movement:

Label from
Head:

FormCopy:
Label from
Head:

Label via
movement:

Label from
Head:

FormCopy:
Label from
Head:

Label via
movement:

Label from
Head:

FormCopy:
Label from
Head:

Label via
movement:

Label from
Head:

FormCopy:
Transfer:
Frontier:

Spell Out: C the n book T(Past,3rd,sg) have -en be -ing be -en v read
PF Rules: the book T(Past,3rd,sg)+have
the book had -en+be
the book had been -ing+be
the book had been being -en+read
the book had been being read

Successful Derivation 33
Top

# of Backtracks: 63
# of Crashes: 31
# of Successful Derivations: 33

Top