Home

Example 1 Tom saw Fred.
Initial Stream: ['Fred', 'n_3rd_sg', 'see', 'v*', ['n_3rd_sg', 'Tom'], 'Tpast', 'C']

Successful Derivation 1


Merge 1
Merge: set-Merge
Stream: ['see', 'v*', ['n_3rd_sg', 'Tom'], 'Tpast', 'C']
Unlabeled:


Merge 2
Merge: set-Merge
Stream: ['v*', ['n_3rd_sg', 'Tom'], 'Tpast', 'C']
Unlabeled:


Merge 3
Merge: set-Merge
Stream: [['n_3rd_sg', 'Tom'], 'Tpast', 'C']
Operations: Checked Features: 'uPerson' 'uNumber' 'uGender'
Unlabeled:
Label from
Head:

Label from
Head:

Label from
Head:


Substream
Stream: ['Tom', 'n_3rd_sg']

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

Main Stream


Merge 5
Merge: set-Merge
Stream: [['Tom', 'n_3rd_sg'], 'Tpast', 'C']
Unlabeled:


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


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

Label from
Head:

Label from
Head:

Crash (Unlabeled):

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

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


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

Label from
Head:

Label via
shared features:

Label from
Head:

Label from
Head:

FormCopy:
Label via
movement:

Transfer:
Frontier:

Spell Out: C n Tom T(Past,3rd,sg) v* see n Fred
PF Rules: Tom T(Past,3rd,sg)+see
Tom saw Fred

Successful Derivation 1
Top

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

Merge 10
Merge: set-Merge
Stream: ['v*', ['n_3rd_sg', 'Tom'], 'Tpast', 'C']
Unlabeled:


Merge 11
Merge: set-Merge
Stream: [['n_3rd_sg', 'Tom'], 'Tpast', 'C']
Operations: Checked Features: 'uPerson' 'uNumber' 'uGender'
Unlabeled:
Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

FormCopy:
Crash (Unlabeled):

# of Backtracks: 2
# of Crashes: 2
# of Successful Derivations: 1

Top