Backtrack (check for another possible derivation: Free Merge): Attempt: #298
Continued from Merge 896

Merge 898

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


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

Label from
Head:

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

Backtrack (check for another possible derivation: Free Merge): Attempt: #299
Continued from Merge 895

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


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


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

Label from
Head:

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: #300
Continued from Merge 901

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


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

Label from
Head:

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

Backtrack (check for another possible derivation: Free Merge): Attempt: #301
Continued from Merge 894

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


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


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


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

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: #302
Continued from Merge 907

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


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

Label from
Head:

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

Backtrack (check for another possible derivation: Free Merge): Attempt: #303
Continued from Merge 906

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


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


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

Label from
Head:

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: #304
Continued from Merge 912

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


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

Label from
Head:

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

Backtrack (check for another possible derivation: Free Merge): Attempt: #305
Continued from Merge 869

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


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


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


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


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


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

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label via
shared Person:

Label from
Head:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Crash (No Case):

   ➔

Backtrack (check for another possible derivation: Free Merge): Attempt: #306
Continued from Merge 920

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


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

Label via
shared features:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Crash (No Case):

   ➔

Backtrack (check for another possible derivation: Free Merge): Attempt: #307
Continued from Merge 919

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


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


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

Label from
Head:

Label via
shared features:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Crash (No Case):

   ➔

Backtrack (check for another possible derivation: Free Merge): Attempt: #308
Continued from Merge 925

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


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

Label via
shared features:

Label from
Head:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Crash (No Case):

   ➔

Backtrack (check for another possible derivation: Free Merge): Attempt: #309
Continued from Merge 918

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


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


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


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

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Crash (Unlabeled):

Backtrack (check for another possible derivation: Free Merge): Attempt: #310
Continued from Merge 931

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


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

Label via
shared features:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Crash (No Case):

   ➔

Backtrack (check for another possible derivation: Free Merge): Attempt: #311
Continued from Merge 930

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


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


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

Label from
Head:

Label via
shared features:

Label from
Head:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Crash (No Case):

   ➔

Backtrack (check for another possible derivation: Free Merge): Attempt: #312
Continued from Merge 936

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


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

Label via
shared features:

Label from
Head:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Crash (No Case):

   ➔

Backtrack (check for another possible derivation: Free Merge): Attempt: #313
Continued from Merge 917

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


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


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


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


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

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Crash (Unlabeled):

Backtrack (check for another possible derivation: Free Merge): Attempt: #314
Continued from Merge 943

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


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

Label via
shared features:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label from
Head:

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

Backtrack (check for another possible derivation: Free Merge): Attempt: #315
Continued from Merge 942

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


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


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

Label from
Head:

Label via
shared features:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Crash (No Case):

   ➔

Backtrack (check for another possible derivation: Free Merge): Attempt: #316
Continued from Merge 948

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


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

Label via
shared features:

Label from
Head:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label from
Head:

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

Backtrack (check for another possible derivation: Free Merge): Attempt: #317
Continued from Merge 941

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


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


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


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

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Crash (Unlabeled):

Backtrack (check for another possible derivation: Free Merge): Attempt: #318
Continued from Merge 954

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


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

Label via
shared features:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label from
Head:

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

Backtrack (check for another possible derivation: Free Merge): Attempt: #319
Continued from Merge 953

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


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


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

Label from
Head:

Label via
shared features:

Label from
Head:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Crash (No Case):

   ➔

Backtrack (check for another possible derivation: Free Merge): Attempt: #320
Continued from Merge 959

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


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

Label via
shared features:

Label from
Head:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label from
Head:

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

Backtrack (check for another possible derivation: Free Merge): Attempt: #321
Continued from Merge 772

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


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


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


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


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


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


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


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

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label via
shared features:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Crash (No Case):

   ➔

Backtrack (check for another possible derivation: Free Merge): Attempt: #322
Continued from Merge 969

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


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

Label via
shared features:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

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

Backtrack (check for another possible derivation: Free Merge): Attempt: #323
Continued from Merge 968

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


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


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

Label from
Head:

Label via
shared features:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Crash (No Case):

   ➔

Backtrack (check for another possible derivation: Free Merge): Attempt: #324
Continued from Merge 974

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


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

Label via
shared features:

Label from
Head:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label from
Head:

Label via
movement:

Label from
Head:

Label from
Head:

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

Next

Top