[Right triangle ⏵ may be expanded, down triangle ⏷ to close. Button = tree pop-up. × = close pop-up.]

Help: blue = parse found inside. Abbreviations: WS: Workspace; SO: Syntactic Object; IA/EA: Internal/External Argument; INT/EXT:

interface SO post-Merge/FormCopy; Initial WS: heads that may project after LEX word lookup. ...

WS n, n = 1,2,... for intermediate stages after Initial WS. Final WS: when WS items converge on a single SO.
Bracketing: {...} (Merge). {...} (FormSet). At Spellout, {...} indicates free word order. [word] indicates word is optionally present.
Head Hd_{selection/features}, e.g. p_θ = predicate head p that seeks a θ-relevant (θR) IA from the WS. p_θ is a θ-seeker (θS).
v_see:θ:pst = head v has complement see, a θR EA from the WS and TNS. v is also a θS.
INFL seeks θR from its complement (not the WS).
Complementizer C comes in different flavors wrt. Force, .e.g. declarative C, interrogative C_Q and relative clause head C_rel.
Features, e.g. TNS pres/pst or DET the/a (shorthand for a bundle of semantic features).
Note: φ-features, e.g. 1sg, appear only at Spellout. Some words do not project, turn into features, e.g. determiners.

Words: are eagles that fly swimming

Initial WS 1: swimming fly C_rel_that eagles are

WS fail: WS θS 0 < θR 5

Initial WS 2: swim_ø:_presp v_swim:_θ INFL_v fly C_rel_that eagles are

WS fail: WS θS 1 < θR 4

Initial WS 3: swimming_θ fly C_rel_that eagles are

WS fail: WS θS 1 < θR 4

Initial WS 4: swimming fly_θ v_fly:_θ:_pres INFL_v C_rel_that eagles are

WS fail: WS θS 2 < θR 4

Initial WS 5: swim_ø:_presp v_swim:_θ INFL_v fly_θ v_fly:_θ:_pres INFL_v C_rel_that eagles are

WS 1: {fly_θ, eagles} swim_ø:_presp v_swim:_θ INFL_v v_fly:_θ:_pres INFL_v C_rel_that are

WS 2: {v_fly:_θ:_pres, {fly_θ, eagles}} swim_ø:_presp v_swim:_θ INFL_v INFL_v C_rel_that are

WS 3: {are, {v_fly:_θ:_pres, {fly_θ, eagles}}} swim_ø:_presp v_swim:_θ INFL_v INFL_v C_rel_that

WS 4: {v_swim:_θ, swim_ø:_presp} {are, {v_fly:_θ:_pres, {fly_θ, eagles}}} INFL_v INFL_v C_rel_that

WS 1: {fly_θ, eagles} swim_ø:_presp v_swim:_θ INFL_v v_fly:_θ:_pres INFL_v C_rel_that are

WS 4: {are, {INFL_v, {are, {v_fly:_θ:_pres, {fly_θ, eagles}}}}} swim_ø:_presp v_swim:_θ INFL_v C_rel_that

WS 5: {are, {C_rel_that, {are, {INFL_v, {are, {v_fly:_θ:_pres, {fly_θ, eagles}}}}}}} swim_ø:_presp v_swim:_θ INFL_v

WS 6: {v_swim:_θ, swim_ø:_presp} {are, {C_rel_that, {are, {INFL_v, {are, {v_fly:_θ:_pres, {fly_θ, eagles}}}}}}} INFL_v

WS 7: {{are, {C_rel_that, {are, {INFL_v, {are, {v_fly:_θ:_pres, {fly_θ, eagles}}}}}}}, {v_swim:_θ, swim_ø:_presp}} INFL_v

WS 8: {{are, {C_rel_that, {are, {INFL_v, {are, {v_fly:_θ:_pres, {fly_θ, eagles}}}}}}}, {INFL_v, {{are, {C_rel_that, {are, {INFL_v, {are, {v_fly:_θ:_pres, {fly_θ, eagles}}}}}}}, {v_swim:_θ, swim_ø:_presp}}}}

WS 1: {fly_θ, eagles} swim_ø:_presp v_swim:_θ INFL_v v_fly:_θ:_pres INFL_v C_rel_that are

WS 2: {{fly_θ, eagles},v_fly:_θ:_pres} swim_ø:_presp v_swim:_θ INFL_v INFL_v C_rel_that are

WS fail: WS θS 1 < θR 2

WS 1: {fly_θ, are} swim_ø:_presp v_swim:_θ INFL_v v_fly:_θ:_pres INFL_v C_rel_that eagles

WS 2: {v_fly:_θ:_pres, {fly_θ, are}} swim_ø:_presp v_swim:_θ INFL_v INFL_v C_rel_that eagles

WS 3: {eagles, {v_fly:_θ:_pres, {fly_θ, are}}} swim_ø:_presp v_swim:_θ INFL_v INFL_v C_rel_that

WS 4: {v_swim:_θ, swim_ø:_presp} {eagles, {v_fly:_θ:_pres, {fly_θ, are}}} INFL_v INFL_v C_rel_that

WS 1: {fly_θ, are} swim_ø:_presp v_swim:_θ INFL_v v_fly:_θ:_pres INFL_v C_rel_that eagles

WS 4: {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, {fly_θ, are}}}}} swim_ø:_presp v_swim:_θ INFL_v C_rel_that

WS 5: {eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, {fly_θ, are}}}}}}} swim_ø:_presp v_swim:_θ INFL_v

WS 6: {v_swim:_θ, swim_ø:_presp} {eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, {fly_θ, are}}}}}}} INFL_v

WS 7: {{eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, {fly_θ, are}}}}}}}, {v_swim:_θ, swim_ø:_presp}} INFL_v

WS 8: {{eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, {fly_θ, are}}}}}}}, {INFL_v, {{eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, {fly_θ, are}}}}}}}, {v_swim:_θ, swim_ø:_presp}}}}

WS 1: {fly_θ, are} swim_ø:_presp v_swim:_θ INFL_v v_fly:_θ:_pres INFL_v C_rel_that eagles

WS 2: {{fly_θ, are},v_fly:_θ:_pres} swim_ø:_presp v_swim:_θ INFL_v INFL_v C_rel_that eagles

WS fail: WS θS 1 < θR 2

WS 1: {v_swim:_θ, swim_ø:_presp} INFL_v fly_θ v_fly:_θ:_pres INFL_v C_rel_that eagles are

WS 2: {eagles, {v_swim:_θ, swim_ø:_presp}} INFL_v fly_θ v_fly:_θ:_pres INFL_v C_rel_that are

WS 3: {fly_θ, are} {eagles, {v_swim:_θ, swim_ø:_presp}} INFL_v v_fly:_θ:_pres INFL_v C_rel_that

WS 4: {v_fly:_θ:_pres, {fly_θ, are}} {eagles, {v_swim:_θ, swim_ø:_presp}} INFL_v INFL_v C_rel_that

WS 1: {v_swim:_θ, swim_ø:_presp} INFL_v fly_θ v_fly:_θ:_pres INFL_v C_rel_that eagles are

WS 4: {{fly_θ, are},{eagles, {v_swim:_θ, swim_ø:_presp}}} INFL_v v_fly:_θ:_pres INFL_v C_rel_that

WS 5: {{{fly_θ, are},{eagles, {v_swim:_θ, swim_ø:_presp}}},v_fly:_θ:_pres} INFL_v INFL_v C_rel_that

WS fail: WS θS 0 < θR 1

WS 1: {v_swim:_θ, swim_ø:_presp} INFL_v fly_θ v_fly:_θ:_pres INFL_v C_rel_that eagles are

WS 4: {{fly_θ, are},v_fly:_θ:_pres} {eagles, {v_swim:_θ, swim_ø:_presp}} INFL_v INFL_v C_rel_that

WS fail: WS θS 0 < θR 1

WS 1: {v_swim:_θ, swim_ø:_presp} INFL_v fly_θ v_fly:_θ:_pres INFL_v C_rel_that eagles are

WS 4: {{eagles, {v_swim:_θ, swim_ø:_presp}},v_fly:_θ:_pres} {fly_θ, are} INFL_v INFL_v C_rel_that

WS fail: WS θS 0 < θR 1

WS 1: {v_swim:_θ, swim_ø:_presp} INFL_v fly_θ v_fly:_θ:_pres INFL_v C_rel_that eagles are

WS 3: {eagles, {INFL_v, {eagles, {v_swim:_θ, swim_ø:_presp}}}} fly_θ v_fly:_θ:_pres INFL_v C_rel_that are

WS 4: {fly_θ,v_fly:_θ:_pres} {eagles, {INFL_v, {eagles, {v_swim:_θ, swim_ø:_presp}}}} INFL_v C_rel_that are

WS fail: WS θS 0 < θR 2

WS 1: {v_swim:_θ, swim_ø:_presp} INFL_v fly_θ v_fly:_θ:_pres INFL_v C_rel_that eagles are

WS 3: {v_fly:_θ:_pres, fly_θ} {eagles, {v_swim:_θ, swim_ø:_presp}} INFL_v INFL_v C_rel_that are

WS fail: WS θS 1 < θR 2

WS 1: {v_swim:_θ, swim_ø:_presp} INFL_v fly_θ v_fly:_θ:_pres INFL_v C_rel_that eagles are

WS 3: {{eagles, {v_swim:_θ, swim_ø:_presp}},fly_θ} INFL_v v_fly:_θ:_pres INFL_v C_rel_that are

WS fail: WS θS 1 < θR 2

WS 1: {v_swim:_θ, swim_ø:_presp} INFL_v fly_θ v_fly:_θ:_pres INFL_v C_rel_that eagles are

WS 3: {fly_θ,v_fly:_θ:_pres} {eagles, {v_swim:_θ, swim_ø:_presp}} INFL_v INFL_v C_rel_that are

WS fail: WS θS 0 < θR 2

WS 1: {v_swim:_θ, swim_ø:_presp} INFL_v fly_θ v_fly:_θ:_pres INFL_v C_rel_that eagles are

WS 2: {are, {v_swim:_θ, swim_ø:_presp}} INFL_v fly_θ v_fly:_θ:_pres INFL_v C_rel_that eagles

WS 3: {fly_θ, eagles} {are, {v_swim:_θ, swim_ø:_presp}} INFL_v v_fly:_θ:_pres INFL_v C_rel_that

WS 4: {v_fly:_θ:_pres, {fly_θ, eagles}} {are, {v_swim:_θ, swim_ø:_presp}} INFL_v INFL_v C_rel_that

WS 1: {v_swim:_θ, swim_ø:_presp} INFL_v fly_θ v_fly:_θ:_pres INFL_v C_rel_that eagles are

WS 4: {{fly_θ, eagles},{are, {v_swim:_θ, swim_ø:_presp}}} INFL_v v_fly:_θ:_pres INFL_v C_rel_that

WS 5: {{{fly_θ, eagles},{are, {v_swim:_θ, swim_ø:_presp}}},v_fly:_θ:_pres} INFL_v INFL_v C_rel_that

WS fail: WS θS 0 < θR 1

WS 1: {v_swim:_θ, swim_ø:_presp} INFL_v fly_θ v_fly:_θ:_pres INFL_v C_rel_that eagles are

WS 4: {{fly_θ, eagles},v_fly:_θ:_pres} {are, {v_swim:_θ, swim_ø:_presp}} INFL_v INFL_v C_rel_that

WS fail: WS θS 0 < θR 1

WS 1: {v_swim:_θ, swim_ø:_presp} INFL_v fly_θ v_fly:_θ:_pres INFL_v C_rel_that eagles are

WS 4: {{are, {v_swim:_θ, swim_ø:_presp}},v_fly:_θ:_pres} {fly_θ, eagles} INFL_v INFL_v C_rel_that

WS fail: WS θS 0 < θR 1

WS 1: {v_swim:_θ, swim_ø:_presp} INFL_v fly_θ v_fly:_θ:_pres INFL_v C_rel_that eagles are

WS 3: {are, {INFL_v, {are, {v_swim:_θ, swim_ø:_presp}}}} fly_θ v_fly:_θ:_pres INFL_v C_rel_that eagles

WS 4: {fly_θ,v_fly:_θ:_pres} {are, {INFL_v, {are, {v_swim:_θ, swim_ø:_presp}}}} INFL_v C_rel_that eagles

WS fail: WS θS 0 < θR 2

WS 1: {v_swim:_θ, swim_ø:_presp} INFL_v fly_θ v_fly:_θ:_pres INFL_v C_rel_that eagles are

WS 3: {v_fly:_θ:_pres, fly_θ} {are, {v_swim:_θ, swim_ø:_presp}} INFL_v INFL_v C_rel_that eagles

WS fail: WS θS 1 < θR 2

WS 1: {v_swim:_θ, swim_ø:_presp} INFL_v fly_θ v_fly:_θ:_pres INFL_v C_rel_that eagles are

WS 3: {{are, {v_swim:_θ, swim_ø:_presp}},fly_θ} INFL_v v_fly:_θ:_pres INFL_v C_rel_that eagles

WS fail: WS θS 1 < θR 2

WS 1: {v_swim:_θ, swim_ø:_presp} INFL_v fly_θ v_fly:_θ:_pres INFL_v C_rel_that eagles are

WS 3: {fly_θ,v_fly:_θ:_pres} {are, {v_swim:_θ, swim_ø:_presp}} INFL_v INFL_v C_rel_that eagles

WS fail: WS θS 0 < θR 2

WS 1: {v_swim:_θ, swim_ø:_presp} INFL_v fly_θ v_fly:_θ:_pres INFL_v C_rel_that eagles are

WS 2: {fly_θ,v_fly:_θ:_pres} {v_swim:_θ, swim_ø:_presp} INFL_v INFL_v C_rel_that eagles are

WS fail: WS θS 1 < θR 3

WS 1: {v_fly:_θ:_pres, fly_θ} swim_ø:_presp v_swim:_θ INFL_v INFL_v C_rel_that eagles are

WS fail: WS θS 2 < θR 3

WS 1: {fly_θ,v_fly:_θ:_pres} swim_ø:_presp v_swim:_θ INFL_v INFL_v C_rel_that eagles are

WS fail: WS θS 1 < θR 3

Initial WS 6: swimming_θ fly_θ v_fly:_θ:_pres INFL_v C_rel_that eagles are

WS 1: {swimming_θ, eagles} fly_θ v_fly:_θ:_pres INFL_v C_rel_that are

WS 2: {{swimming_θ, eagles},fly_θ} v_fly:_θ:_pres INFL_v C_rel_that are

WS fail: WS θS 1 < θR 2

WS 1: {swimming_θ, eagles} fly_θ v_fly:_θ:_pres INFL_v C_rel_that are

WS 2: {fly_θ,v_fly:_θ:_pres} {swimming_θ, eagles} INFL_v C_rel_that are

WS fail: WS θS 0 < θR 2

WS 1: {swimming_θ, are} fly_θ v_fly:_θ:_pres INFL_v C_rel_that eagles

WS 2: {{swimming_θ, are},fly_θ} v_fly:_θ:_pres INFL_v C_rel_that eagles

WS fail: WS θS 1 < θR 2

WS 1: {swimming_θ, are} fly_θ v_fly:_θ:_pres INFL_v C_rel_that eagles

WS 2: {fly_θ,v_fly:_θ:_pres} {swimming_θ, are} INFL_v C_rel_that eagles

WS fail: WS θS 0 < θR 2

WS 1: {fly_θ, eagles} swimming_θ v_fly:_θ:_pres INFL_v C_rel_that are

WS 2: {v_fly:_θ:_pres, {fly_θ, eagles}} swimming_θ INFL_v C_rel_that are

WS 3: {are, {v_fly:_θ:_pres, {fly_θ, eagles}}} swimming_θ INFL_v C_rel_that

WS 4: {are, {INFL_v, {are, {v_fly:_θ:_pres, {fly_θ, eagles}}}}} swimming_θ C_rel_that

WS 5: {are, {C_rel_that, {are, {INFL_v, {are, {v_fly:_θ:_pres, {fly_θ, eagles}}}}}}} swimming_θ

WS 6: {swimming_θ, {are, {C_rel_that, {are, {INFL_v, {are, {v_fly:_θ:_pres, {fly_θ, eagles}}}}}}}}

WS 1: {fly_θ, eagles} swimming_θ v_fly:_θ:_pres INFL_v C_rel_that are

WS 4: {{are, {v_fly:_θ:_pres, {fly_θ, eagles}}},swimming_θ} INFL_v C_rel_that

WS fail: WS θS 0 < θR 1

WS 1: {fly_θ, eagles} swimming_θ v_fly:_θ:_pres INFL_v C_rel_that are

WS 2: {{fly_θ, eagles},swimming_θ} v_fly:_θ:_pres INFL_v C_rel_that are

WS fail: WS θS 1 < θR 2

WS 1: {fly_θ, eagles} swimming_θ v_fly:_θ:_pres INFL_v C_rel_that are

WS 2: {{fly_θ, eagles},v_fly:_θ:_pres} swimming_θ INFL_v C_rel_that are

WS fail: WS θS 1 < θR 2

WS 1: {fly_θ, eagles} swimming_θ v_fly:_θ:_pres INFL_v C_rel_that are

WS 2: {swimming_θ,v_fly:_θ:_pres} {fly_θ, eagles} INFL_v C_rel_that are

WS fail: WS θS 0 < θR 2

WS 1: {fly_θ, are} swimming_θ v_fly:_θ:_pres INFL_v C_rel_that eagles

WS 2: {v_fly:_θ:_pres, {fly_θ, are}} swimming_θ INFL_v C_rel_that eagles

WS 3: {eagles, {v_fly:_θ:_pres, {fly_θ, are}}} swimming_θ INFL_v C_rel_that

WS 4: {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, {fly_θ, are}}}}} swimming_θ C_rel_that

WS 5: {eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, {fly_θ, are}}}}}}} swimming_θ

WS 6: {swimming_θ, {eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, {fly_θ, are}}}}}}}}

WS 1: {fly_θ, are} swimming_θ v_fly:_θ:_pres INFL_v C_rel_that eagles

WS 4: {{eagles, {v_fly:_θ:_pres, {fly_θ, are}}},swimming_θ} INFL_v C_rel_that

WS fail: WS θS 0 < θR 1

WS 1: {fly_θ, are} swimming_θ v_fly:_θ:_pres INFL_v C_rel_that eagles

WS 2: {{fly_θ, are},swimming_θ} v_fly:_θ:_pres INFL_v C_rel_that eagles

WS fail: WS θS 1 < θR 2

WS 1: {fly_θ, are} swimming_θ v_fly:_θ:_pres INFL_v C_rel_that eagles

WS 2: {{fly_θ, are},v_fly:_θ:_pres} swimming_θ INFL_v C_rel_that eagles

WS fail: WS θS 1 < θR 2

WS 1: {fly_θ, are} swimming_θ v_fly:_θ:_pres INFL_v C_rel_that eagles

WS 2: {swimming_θ,v_fly:_θ:_pres} {fly_θ, are} INFL_v C_rel_that eagles

WS fail: WS θS 0 < θR 2

WS 1: {v_fly:_θ:_pres, fly_θ} swimming_θ INFL_v C_rel_that eagles are

WS fail: WS θS 2 < θR 3

WS 1: {swimming_θ,fly_θ} v_fly:_θ:_pres INFL_v C_rel_that eagles are

WS fail: WS θS 1 < θR 3

WS 1: {fly_θ,v_fly:_θ:_pres} swimming_θ INFL_v C_rel_that eagles are

WS fail: WS θS 1 < θR 3

Initial WS 7: swimming fly_ø v_fly:_θ:_pres INFL_v C_rel_that eagles are

WS fail: WS θS 1 < θR 4

Initial WS 8: swim_ø:_presp v_swim:_θ INFL_v fly_ø v_fly:_θ:_pres INFL_v C_rel_that eagles are

WS fail: WS θS 2 < θR 3

Initial WS 9: swimming_θ fly_ø v_fly:_θ:_pres INFL_v C_rel_that eagles are

WS fail: WS θS 2 < θR 3

Initial WS 10: swimming fly_θ v_fly:_θ INFL_v C_rel_that eagles are

WS fail: WS θS 2 < θR 4

Initial WS 11: swim_ø:_presp v_swim:_θ INFL_v fly_θ v_fly:_θ INFL_v C_rel_that eagles are

WS 1: {fly_θ, eagles} swim_ø:_presp v_swim:_θ INFL_v v_fly:_θ INFL_v C_rel_that are

WS 2: {v_fly:_θ, {fly_θ, eagles}} swim_ø:_presp v_swim:_θ INFL_v INFL_v C_rel_that are

WS 3: {are, {v_fly:_θ, {fly_θ, eagles}}} swim_ø:_presp v_swim:_θ INFL_v INFL_v C_rel_that

WS 4: {v_swim:_θ, swim_ø:_presp} {are, {v_fly:_θ, {fly_θ, eagles}}} INFL_v INFL_v C_rel_that

WS 1: {fly_θ, eagles} swim_ø:_presp v_swim:_θ INFL_v v_fly:_θ INFL_v C_rel_that are

WS 4: {are, {INFL_v, {are, {v_fly:_θ, {fly_θ, eagles}}}}} swim_ø:_presp v_swim:_θ INFL_v C_rel_that

WS 1: {fly_θ, eagles} swim_ø:_presp v_swim:_θ INFL_v v_fly:_θ INFL_v C_rel_that are

WS 2: {{fly_θ, eagles},v_fly:_θ} swim_ø:_presp v_swim:_θ INFL_v INFL_v C_rel_that are

WS fail: WS θS 1 < θR 2

WS 1: {fly_θ, are} swim_ø:_presp v_swim:_θ INFL_v v_fly:_θ INFL_v C_rel_that eagles

WS 2: {v_fly:_θ, {fly_θ, are}} swim_ø:_presp v_swim:_θ INFL_v INFL_v C_rel_that eagles

WS 3: {eagles, {v_fly:_θ, {fly_θ, are}}} swim_ø:_presp v_swim:_θ INFL_v INFL_v C_rel_that

WS 4: {v_swim:_θ, swim_ø:_presp} {eagles, {v_fly:_θ, {fly_θ, are}}} INFL_v INFL_v C_rel_that

WS 1: {fly_θ, are} swim_ø:_presp v_swim:_θ INFL_v v_fly:_θ INFL_v C_rel_that eagles

WS 4: {eagles, {INFL_v, {eagles, {v_fly:_θ, {fly_θ, are}}}}} swim_ø:_presp v_swim:_θ INFL_v C_rel_that

WS 1: {fly_θ, are} swim_ø:_presp v_swim:_θ INFL_v v_fly:_θ INFL_v C_rel_that eagles

WS 2: {{fly_θ, are},v_fly:_θ} swim_ø:_presp v_swim:_θ INFL_v INFL_v C_rel_that eagles

WS fail: WS θS 1 < θR 2

WS 1: {v_swim:_θ, swim_ø:_presp} INFL_v fly_θ v_fly:_θ INFL_v C_rel_that eagles are

WS 2: {eagles, {v_swim:_θ, swim_ø:_presp}} INFL_v fly_θ v_fly:_θ INFL_v C_rel_that are

WS 3: {fly_θ, are} {eagles, {v_swim:_θ, swim_ø:_presp}} INFL_v v_fly:_θ INFL_v C_rel_that

WS 4: {v_fly:_θ, {fly_θ, are}} {eagles, {v_swim:_θ, swim_ø:_presp}} INFL_v INFL_v C_rel_that

WS 1: {v_swim:_θ, swim_ø:_presp} INFL_v fly_θ v_fly:_θ INFL_v C_rel_that eagles are

WS 4: {{fly_θ, are},{eagles, {v_swim:_θ, swim_ø:_presp}}} INFL_v v_fly:_θ INFL_v C_rel_that

WS 5: {{{fly_θ, are},{eagles, {v_swim:_θ, swim_ø:_presp}}},v_fly:_θ} INFL_v INFL_v C_rel_that

WS fail: WS θS 0 < θR 1

WS 1: {v_swim:_θ, swim_ø:_presp} INFL_v fly_θ v_fly:_θ INFL_v C_rel_that eagles are

WS 4: {{fly_θ, are},v_fly:_θ} {eagles, {v_swim:_θ, swim_ø:_presp}} INFL_v INFL_v C_rel_that

WS fail: WS θS 0 < θR 1

WS 1: {v_swim:_θ, swim_ø:_presp} INFL_v fly_θ v_fly:_θ INFL_v C_rel_that eagles are

WS 4: {{eagles, {v_swim:_θ, swim_ø:_presp}},v_fly:_θ} {fly_θ, are} INFL_v INFL_v C_rel_that

WS fail: WS θS 0 < θR 1

WS 1: {v_swim:_θ, swim_ø:_presp} INFL_v fly_θ v_fly:_θ INFL_v C_rel_that eagles are

WS 3: {eagles, {INFL_v, {eagles, {v_swim:_θ, swim_ø:_presp}}}} fly_θ v_fly:_θ INFL_v C_rel_that are

WS 4: {fly_θ,v_fly:_θ} {eagles, {INFL_v, {eagles, {v_swim:_θ, swim_ø:_presp}}}} INFL_v C_rel_that are

WS fail: WS θS 0 < θR 2

WS 1: {v_swim:_θ, swim_ø:_presp} INFL_v fly_θ v_fly:_θ INFL_v C_rel_that eagles are

WS 3: {v_fly:_θ, fly_θ} {eagles, {v_swim:_θ, swim_ø:_presp}} INFL_v INFL_v C_rel_that are

WS fail: WS θS 1 < θR 2

WS 1: {v_swim:_θ, swim_ø:_presp} INFL_v fly_θ v_fly:_θ INFL_v C_rel_that eagles are

WS 3: {{eagles, {v_swim:_θ, swim_ø:_presp}},fly_θ} INFL_v v_fly:_θ INFL_v C_rel_that are

WS fail: WS θS 1 < θR 2

WS 1: {v_swim:_θ, swim_ø:_presp} INFL_v fly_θ v_fly:_θ INFL_v C_rel_that eagles are

WS 3: {fly_θ,v_fly:_θ} {eagles, {v_swim:_θ, swim_ø:_presp}} INFL_v INFL_v C_rel_that are

WS fail: WS θS 0 < θR 2

WS 1: {v_swim:_θ, swim_ø:_presp} INFL_v fly_θ v_fly:_θ INFL_v C_rel_that eagles are

WS 2: {are, {v_swim:_θ, swim_ø:_presp}} INFL_v fly_θ v_fly:_θ INFL_v C_rel_that eagles

WS 3: {fly_θ, eagles} {are, {v_swim:_θ, swim_ø:_presp}} INFL_v v_fly:_θ INFL_v C_rel_that

WS 4: {v_fly:_θ, {fly_θ, eagles}} {are, {v_swim:_θ, swim_ø:_presp}} INFL_v INFL_v C_rel_that

WS 1: {v_swim:_θ, swim_ø:_presp} INFL_v fly_θ v_fly:_θ INFL_v C_rel_that eagles are

WS 4: {{fly_θ, eagles},{are, {v_swim:_θ, swim_ø:_presp}}} INFL_v v_fly:_θ INFL_v C_rel_that

WS 5: {{{fly_θ, eagles},{are, {v_swim:_θ, swim_ø:_presp}}},v_fly:_θ} INFL_v INFL_v C_rel_that

WS fail: WS θS 0 < θR 1

WS 1: {v_swim:_θ, swim_ø:_presp} INFL_v fly_θ v_fly:_θ INFL_v C_rel_that eagles are

WS 4: {{fly_θ, eagles},v_fly:_θ} {are, {v_swim:_θ, swim_ø:_presp}} INFL_v INFL_v C_rel_that

WS fail: WS θS 0 < θR 1

WS 1: {v_swim:_θ, swim_ø:_presp} INFL_v fly_θ v_fly:_θ INFL_v C_rel_that eagles are

WS 4: {{are, {v_swim:_θ, swim_ø:_presp}},v_fly:_θ} {fly_θ, eagles} INFL_v INFL_v C_rel_that

WS fail: WS θS 0 < θR 1

WS 1: {v_swim:_θ, swim_ø:_presp} INFL_v fly_θ v_fly:_θ INFL_v C_rel_that eagles are

WS 3: {are, {INFL_v, {are, {v_swim:_θ, swim_ø:_presp}}}} fly_θ v_fly:_θ INFL_v C_rel_that eagles

WS 4: {fly_θ,v_fly:_θ} {are, {INFL_v, {are, {v_swim:_θ, swim_ø:_presp}}}} INFL_v C_rel_that eagles

WS fail: WS θS 0 < θR 2

WS 1: {v_swim:_θ, swim_ø:_presp} INFL_v fly_θ v_fly:_θ INFL_v C_rel_that eagles are

WS 3: {v_fly:_θ, fly_θ} {are, {v_swim:_θ, swim_ø:_presp}} INFL_v INFL_v C_rel_that eagles

WS fail: WS θS 1 < θR 2

WS 1: {v_swim:_θ, swim_ø:_presp} INFL_v fly_θ v_fly:_θ INFL_v C_rel_that eagles are

WS 3: {{are, {v_swim:_θ, swim_ø:_presp}},fly_θ} INFL_v v_fly:_θ INFL_v C_rel_that eagles

WS fail: WS θS 1 < θR 2

WS 1: {v_swim:_θ, swim_ø:_presp} INFL_v fly_θ v_fly:_θ INFL_v C_rel_that eagles are

WS 3: {fly_θ,v_fly:_θ} {are, {v_swim:_θ, swim_ø:_presp}} INFL_v INFL_v C_rel_that eagles

WS fail: WS θS 0 < θR 2

WS 1: {v_swim:_θ, swim_ø:_presp} INFL_v fly_θ v_fly:_θ INFL_v C_rel_that eagles are

WS 2: {fly_θ,v_fly:_θ} {v_swim:_θ, swim_ø:_presp} INFL_v INFL_v C_rel_that eagles are

WS fail: WS θS 1 < θR 3

WS 1: {v_fly:_θ, fly_θ} swim_ø:_presp v_swim:_θ INFL_v INFL_v C_rel_that eagles are

WS fail: WS θS 2 < θR 3

WS 1: {fly_θ,v_fly:_θ} swim_ø:_presp v_swim:_θ INFL_v INFL_v C_rel_that eagles are

WS fail: WS θS 1 < θR 3

Initial WS 12: swimming_θ fly_θ v_fly:_θ INFL_v C_rel_that eagles are

WS 1: {swimming_θ, eagles} fly_θ v_fly:_θ INFL_v C_rel_that are

WS 2: {{swimming_θ, eagles},fly_θ} v_fly:_θ INFL_v C_rel_that are

WS fail: WS θS 1 < θR 2

WS 1: {swimming_θ, eagles} fly_θ v_fly:_θ INFL_v C_rel_that are

WS 2: {fly_θ,v_fly:_θ} {swimming_θ, eagles} INFL_v C_rel_that are

WS fail: WS θS 0 < θR 2

WS 1: {swimming_θ, are} fly_θ v_fly:_θ INFL_v C_rel_that eagles

WS 2: {{swimming_θ, are},fly_θ} v_fly:_θ INFL_v C_rel_that eagles

WS fail: WS θS 1 < θR 2

WS 1: {swimming_θ, are} fly_θ v_fly:_θ INFL_v C_rel_that eagles

WS 2: {fly_θ,v_fly:_θ} {swimming_θ, are} INFL_v C_rel_that eagles

WS fail: WS θS 0 < θR 2

WS 1: {fly_θ, eagles} swimming_θ v_fly:_θ INFL_v C_rel_that are

WS 2: {v_fly:_θ, {fly_θ, eagles}} swimming_θ INFL_v C_rel_that are

WS 3: {are, {v_fly:_θ, {fly_θ, eagles}}} swimming_θ INFL_v C_rel_that

WS 4: {are, {INFL_v, {are, {v_fly:_θ, {fly_θ, eagles}}}}} swimming_θ C_rel_that

WS 1: {fly_θ, eagles} swimming_θ v_fly:_θ INFL_v C_rel_that are

WS 4: {{are, {v_fly:_θ, {fly_θ, eagles}}},swimming_θ} INFL_v C_rel_that

WS fail: WS θS 0 < θR 1

WS 1: {fly_θ, eagles} swimming_θ v_fly:_θ INFL_v C_rel_that are

WS 2: {{fly_θ, eagles},swimming_θ} v_fly:_θ INFL_v C_rel_that are

WS fail: WS θS 1 < θR 2

WS 1: {fly_θ, eagles} swimming_θ v_fly:_θ INFL_v C_rel_that are

WS 2: {{fly_θ, eagles},v_fly:_θ} swimming_θ INFL_v C_rel_that are

WS fail: WS θS 1 < θR 2

WS 1: {fly_θ, eagles} swimming_θ v_fly:_θ INFL_v C_rel_that are

WS 2: {swimming_θ,v_fly:_θ} {fly_θ, eagles} INFL_v C_rel_that are

WS fail: WS θS 0 < θR 2

WS 1: {fly_θ, are} swimming_θ v_fly:_θ INFL_v C_rel_that eagles

WS 2: {v_fly:_θ, {fly_θ, are}} swimming_θ INFL_v C_rel_that eagles

WS 3: {eagles, {v_fly:_θ, {fly_θ, are}}} swimming_θ INFL_v C_rel_that

WS 4: {eagles, {INFL_v, {eagles, {v_fly:_θ, {fly_θ, are}}}}} swimming_θ C_rel_that

WS 1: {fly_θ, are} swimming_θ v_fly:_θ INFL_v C_rel_that eagles

WS 4: {{eagles, {v_fly:_θ, {fly_θ, are}}},swimming_θ} INFL_v C_rel_that

WS fail: WS θS 0 < θR 1

WS 1: {fly_θ, are} swimming_θ v_fly:_θ INFL_v C_rel_that eagles

WS 2: {{fly_θ, are},swimming_θ} v_fly:_θ INFL_v C_rel_that eagles

WS fail: WS θS 1 < θR 2

WS 1: {fly_θ, are} swimming_θ v_fly:_θ INFL_v C_rel_that eagles

WS 2: {{fly_θ, are},v_fly:_θ} swimming_θ INFL_v C_rel_that eagles

WS fail: WS θS 1 < θR 2

WS 1: {fly_θ, are} swimming_θ v_fly:_θ INFL_v C_rel_that eagles

WS 2: {swimming_θ,v_fly:_θ} {fly_θ, are} INFL_v C_rel_that eagles

WS fail: WS θS 0 < θR 2

WS 1: {v_fly:_θ, fly_θ} swimming_θ INFL_v C_rel_that eagles are

WS fail: WS θS 2 < θR 3

WS 1: {swimming_θ,fly_θ} v_fly:_θ INFL_v C_rel_that eagles are

WS fail: WS θS 1 < θR 3

WS 1: {fly_θ,v_fly:_θ} swimming_θ INFL_v C_rel_that eagles are

WS fail: WS θS 1 < θR 3

Initial WS 13: swimming fly_ø v_fly:_θ INFL_v C_rel_that eagles are

WS fail: WS θS 1 < θR 4

Initial WS 14: swim_ø:_presp v_swim:_θ INFL_v fly_ø v_fly:_θ INFL_v C_rel_that eagles are

WS fail: WS θS 2 < θR 3

Initial WS 15: swimming_θ fly_ø v_fly:_θ INFL_v C_rel_that eagles are

WS fail: WS θS 2 < θR 3

Initial WS 16: swimming fly_θ C_rel_that eagles are

WS fail: WS θS 1 < θR 4

Initial WS 17: swim_ø:_presp v_swim:_θ INFL_v fly_θ C_rel_that eagles are

WS fail: WS θS 2 < θR 3

Initial WS 18: swimming_θ fly_θ C_rel_that eagles are

WS fail: WS θS 2 < θR 3

Initial WS 19: swimming fly C_rel_that eagle_θ v_eagle:_θ:_pres INFL_v:_3sg are

WS fail: WS θS 2 < θR 4

Initial WS 20: swim_ø:_presp v_swim:_θ INFL_v fly C_rel_that eagle_θ v_eagle:_θ:_pres INFL_v:_3sg are

WS 1: {eagle_θ, fly} swim_ø:_presp v_swim:_θ INFL_v C_rel_that v_eagle:_θ:_pres INFL_v:_3sg are

WS 2: {v_eagle:_θ:_pres, {eagle_θ, fly}} swim_ø:_presp v_swim:_θ INFL_v C_rel_that INFL_v:_3sg are

WS 3: {are, {v_eagle:_θ:_pres, {eagle_θ, fly}}} swim_ø:_presp v_swim:_θ INFL_v C_rel_that INFL_v:_3sg

WS 4: {v_swim:_θ, swim_ø:_presp} {are, {v_eagle:_θ:_pres, {eagle_θ, fly}}} INFL_v C_rel_that INFL_v:_3sg

WS 1: {eagle_θ, fly} swim_ø:_presp v_swim:_θ INFL_v C_rel_that v_eagle:_θ:_pres INFL_v:_3sg are

WS 4: {are, {INFL_v:_3sg, {are, {v_eagle:_θ:_pres, {eagle_θ, fly}}}}} swim_ø:_presp v_swim:_θ INFL_v C_rel_that

WS 5: {are, {C_rel_that, {are, {INFL_v:_3sg, {are, {v_eagle:_θ:_pres, {eagle_θ, fly}}}}}}} swim_ø:_presp v_swim:_θ INFL_v

WS 6: {v_swim:_θ, swim_ø:_presp} {are, {C_rel_that, {are, {INFL_v:_3sg, {are, {v_eagle:_θ:_pres, {eagle_θ, fly}}}}}}} INFL_v

WS 7: {{are, {C_rel_that, {are, {INFL_v:_3sg, {are, {v_eagle:_θ:_pres, {eagle_θ, fly}}}}}}}, {v_swim:_θ, swim_ø:_presp}} INFL_v

WS 8: {{are, {C_rel_that, {are, {INFL_v:_3sg, {are, {v_eagle:_θ:_pres, {eagle_θ, fly}}}}}}}, {INFL_v, {{are, {C_rel_that, {are, {INFL_v:_3sg, {are, {v_eagle:_θ:_pres, {eagle_θ, fly}}}}}}}, {v_swim:_θ, swim_ø:_presp}}}}

WS 1: {eagle_θ, fly} swim_ø:_presp v_swim:_θ INFL_v C_rel_that v_eagle:_θ:_pres INFL_v:_3sg are

WS 2: {{eagle_θ, fly},v_eagle:_θ:_pres} swim_ø:_presp v_swim:_θ INFL_v C_rel_that INFL_v:_3sg are

WS fail: WS θS 1 < θR 2

WS 1: {eagle_θ, are} swim_ø:_presp v_swim:_θ INFL_v fly C_rel_that v_eagle:_θ:_pres INFL_v:_3sg

WS 2: {v_eagle:_θ:_pres, {eagle_θ, are}} swim_ø:_presp v_swim:_θ INFL_v fly C_rel_that INFL_v:_3sg

WS 3: {fly, {v_eagle:_θ:_pres, {eagle_θ, are}}} swim_ø:_presp v_swim:_θ INFL_v C_rel_that INFL_v:_3sg

WS 4: {v_swim:_θ, swim_ø:_presp} {fly, {v_eagle:_θ:_pres, {eagle_θ, are}}} INFL_v C_rel_that INFL_v:_3sg

WS 1: {eagle_θ, are} swim_ø:_presp v_swim:_θ INFL_v fly C_rel_that v_eagle:_θ:_pres INFL_v:_3sg

WS 4: {fly, {INFL_v:_3sg, {fly, {v_eagle:_θ:_pres, {eagle_θ, are}}}}} swim_ø:_presp v_swim:_θ INFL_v C_rel_that

WS 5: {fly, {C_rel_that, {fly, {INFL_v:_3sg, {fly, {v_eagle:_θ:_pres, {eagle_θ, are}}}}}}} swim_ø:_presp v_swim:_θ INFL_v

WS 6: {v_swim:_θ, swim_ø:_presp} {fly, {C_rel_that, {fly, {INFL_v:_3sg, {fly, {v_eagle:_θ:_pres, {eagle_θ, are}}}}}}} INFL_v

WS 7: {{fly, {C_rel_that, {fly, {INFL_v:_3sg, {fly, {v_eagle:_θ:_pres, {eagle_θ, are}}}}}}}, {v_swim:_θ, swim_ø:_presp}} INFL_v

WS 8: {{fly, {C_rel_that, {fly, {INFL_v:_3sg, {fly, {v_eagle:_θ:_pres, {eagle_θ, are}}}}}}}, {INFL_v, {{fly, {C_rel_that, {fly, {INFL_v:_3sg, {fly, {v_eagle:_θ:_pres, {eagle_θ, are}}}}}}}, {v_swim:_θ, swim_ø:_presp}}}}

WS 1: {eagle_θ, are} swim_ø:_presp v_swim:_θ INFL_v fly C_rel_that v_eagle:_θ:_pres INFL_v:_3sg

WS 2: {{eagle_θ, are},v_eagle:_θ:_pres} swim_ø:_presp v_swim:_θ INFL_v fly C_rel_that INFL_v:_3sg

WS fail: WS θS 1 < θR 2

WS 1: {v_swim:_θ, swim_ø:_presp} INFL_v fly C_rel_that eagle_θ v_eagle:_θ:_pres INFL_v:_3sg are

WS 2: {fly, {v_swim:_θ, swim_ø:_presp}} INFL_v C_rel_that eagle_θ v_eagle:_θ:_pres INFL_v:_3sg are

WS 3: {eagle_θ, are} {fly, {v_swim:_θ, swim_ø:_presp}} INFL_v C_rel_that v_eagle:_θ:_pres INFL_v:_3sg

WS 4: {v_eagle:_θ:_pres, {eagle_θ, are}} {fly, {v_swim:_θ, swim_ø:_presp}} INFL_v C_rel_that INFL_v:_3sg

WS 1: {v_swim:_θ, swim_ø:_presp} INFL_v fly C_rel_that eagle_θ v_eagle:_θ:_pres INFL_v:_3sg are

WS 4: {{eagle_θ, are},{fly, {v_swim:_θ, swim_ø:_presp}}} INFL_v C_rel_that v_eagle:_θ:_pres INFL_v:_3sg

WS 5: {{{eagle_θ, are},{fly, {v_swim:_θ, swim_ø:_presp}}},v_eagle:_θ:_pres} INFL_v C_rel_that INFL_v:_3sg

WS fail: WS θS 0 < θR 1

WS 1: {v_swim:_θ, swim_ø:_presp} INFL_v fly C_rel_that eagle_θ v_eagle:_θ:_pres INFL_v:_3sg are

WS 4: {{eagle_θ, are},v_eagle:_θ:_pres} {fly, {v_swim:_θ, swim_ø:_presp}} INFL_v C_rel_that INFL_v:_3sg

WS fail: WS θS 0 < θR 1

WS 1: {v_swim:_θ, swim_ø:_presp} INFL_v fly C_rel_that eagle_θ v_eagle:_θ:_pres INFL_v:_3sg are

WS 4: {{fly, {v_swim:_θ, swim_ø:_presp}},v_eagle:_θ:_pres} {eagle_θ, are} INFL_v C_rel_that INFL_v:_3sg

WS fail: WS θS 0 < θR 1

WS 1: {v_swim:_θ, swim_ø:_presp} INFL_v fly C_rel_that eagle_θ v_eagle:_θ:_pres INFL_v:_3sg are

WS 3: {fly, {INFL_v, {fly, {v_swim:_θ, swim_ø:_presp}}}} C_rel_that eagle_θ v_eagle:_θ:_pres INFL_v:_3sg are

WS 4: {eagle_θ,v_eagle:_θ:_pres} {fly, {INFL_v, {fly, {v_swim:_θ, swim_ø:_presp}}}} C_rel_that INFL_v:_3sg are

WS fail: WS θS 0 < θR 2

WS 1: {v_swim:_θ, swim_ø:_presp} INFL_v fly C_rel_that eagle_θ v_eagle:_θ:_pres INFL_v:_3sg are

WS 3: {v_eagle:_θ:_pres, eagle_θ} {fly, {v_swim:_θ, swim_ø:_presp}} INFL_v C_rel_that INFL_v:_3sg are

WS fail: WS θS 1 < θR 2

WS 1: {v_swim:_θ, swim_ø:_presp} INFL_v fly C_rel_that eagle_θ v_eagle:_θ:_pres INFL_v:_3sg are

WS 3: {{fly, {v_swim:_θ, swim_ø:_presp}},eagle_θ} INFL_v C_rel_that v_eagle:_θ:_pres INFL_v:_3sg are

WS fail: WS θS 1 < θR 2

WS 1: {v_swim:_θ, swim_ø:_presp} INFL_v fly C_rel_that eagle_θ v_eagle:_θ:_pres INFL_v:_3sg are

WS 3: {eagle_θ,v_eagle:_θ:_pres} {fly, {v_swim:_θ, swim_ø:_presp}} INFL_v C_rel_that INFL_v:_3sg are

WS fail: WS θS 0 < θR 2

WS 1: {v_swim:_θ, swim_ø:_presp} INFL_v fly C_rel_that eagle_θ v_eagle:_θ:_pres INFL_v:_3sg are

WS 2: {are, {v_swim:_θ, swim_ø:_presp}} INFL_v fly C_rel_that eagle_θ v_eagle:_θ:_pres INFL_v:_3sg

WS 3: {eagle_θ, fly} {are, {v_swim:_θ, swim_ø:_presp}} INFL_v C_rel_that v_eagle:_θ:_pres INFL_v:_3sg

WS 4: {v_eagle:_θ:_pres, {eagle_θ, fly}} {are, {v_swim:_θ, swim_ø:_presp}} INFL_v C_rel_that INFL_v:_3sg

WS 1: {v_swim:_θ, swim_ø:_presp} INFL_v fly C_rel_that eagle_θ v_eagle:_θ:_pres INFL_v:_3sg are

WS 4: {{eagle_θ, fly},{are, {v_swim:_θ, swim_ø:_presp}}} INFL_v C_rel_that v_eagle:_θ:_pres INFL_v:_3sg

WS 5: {{{eagle_θ, fly},{are, {v_swim:_θ, swim_ø:_presp}}},v_eagle:_θ:_pres} INFL_v C_rel_that INFL_v:_3sg

WS fail: WS θS 0 < θR 1

WS 1: {v_swim:_θ, swim_ø:_presp} INFL_v fly C_rel_that eagle_θ v_eagle:_θ:_pres INFL_v:_3sg are

WS 4: {{eagle_θ, fly},v_eagle:_θ:_pres} {are, {v_swim:_θ, swim_ø:_presp}} INFL_v C_rel_that INFL_v:_3sg

WS fail: WS θS 0 < θR 1

WS 1: {v_swim:_θ, swim_ø:_presp} INFL_v fly C_rel_that eagle_θ v_eagle:_θ:_pres INFL_v:_3sg are

WS 4: {{are, {v_swim:_θ, swim_ø:_presp}},v_eagle:_θ:_pres} {eagle_θ, fly} INFL_v C_rel_that INFL_v:_3sg

WS fail: WS θS 0 < θR 1

WS 1: {v_swim:_θ, swim_ø:_presp} INFL_v fly C_rel_that eagle_θ v_eagle:_θ:_pres INFL_v:_3sg are

WS 3: {are, {INFL_v, {are, {v_swim:_θ, swim_ø:_presp}}}} fly C_rel_that eagle_θ v_eagle:_θ:_pres INFL_v:_3sg

WS 4: {eagle_θ,v_eagle:_θ:_pres} {are, {INFL_v, {are, {v_swim:_θ, swim_ø:_presp}}}} fly C_rel_that INFL_v:_3sg

WS fail: WS θS 0 < θR 2

WS 1: {v_swim:_θ, swim_ø:_presp} INFL_v fly C_rel_that eagle_θ v_eagle:_θ:_pres INFL_v:_3sg are

WS 3: {v_eagle:_θ:_pres, eagle_θ} {are, {v_swim:_θ, swim_ø:_presp}} INFL_v fly C_rel_that INFL_v:_3sg

WS fail: WS θS 1 < θR 2

WS 1: {v_swim:_θ, swim_ø:_presp} INFL_v fly C_rel_that eagle_θ v_eagle:_θ:_pres INFL_v:_3sg are

WS 3: {{are, {v_swim:_θ, swim_ø:_presp}},eagle_θ} INFL_v fly C_rel_that v_eagle:_θ:_pres INFL_v:_3sg

WS fail: WS θS 1 < θR 2

WS 1: {v_swim:_θ, swim_ø:_presp} INFL_v fly C_rel_that eagle_θ v_eagle:_θ:_pres INFL_v:_3sg are

WS 3: {eagle_θ,v_eagle:_θ:_pres} {are, {v_swim:_θ, swim_ø:_presp}} INFL_v fly C_rel_that INFL_v:_3sg

WS fail: WS θS 0 < θR 2

WS 1: {v_swim:_θ, swim_ø:_presp} INFL_v fly C_rel_that eagle_θ v_eagle:_θ:_pres INFL_v:_3sg are

WS 2: {eagle_θ,v_eagle:_θ:_pres} {v_swim:_θ, swim_ø:_presp} INFL_v fly C_rel_that INFL_v:_3sg are

WS fail: WS θS 1 < θR 3

WS 1: {v_eagle:_θ:_pres, eagle_θ} swim_ø:_presp v_swim:_θ INFL_v fly C_rel_that INFL_v:_3sg are

WS fail: WS θS 2 < θR 3

WS 1: {eagle_θ,v_eagle:_θ:_pres} swim_ø:_presp v_swim:_θ INFL_v fly C_rel_that INFL_v:_3sg are

WS fail: WS θS 1 < θR 3

Initial WS 21: swimming_θ fly C_rel_that eagle_θ v_eagle:_θ:_pres INFL_v:_3sg are

WS 1: {swimming_θ, fly} C_rel_that eagle_θ v_eagle:_θ:_pres INFL_v:_3sg are

WS 2: {{swimming_θ, fly},eagle_θ} C_rel_that v_eagle:_θ:_pres INFL_v:_3sg are

WS fail: WS θS 1 < θR 2

WS 1: {swimming_θ, fly} C_rel_that eagle_θ v_eagle:_θ:_pres INFL_v:_3sg are

WS 2: {eagle_θ,v_eagle:_θ:_pres} {swimming_θ, fly} C_rel_that INFL_v:_3sg are

WS fail: WS θS 0 < θR 2

WS 1: {swimming_θ, are} fly C_rel_that eagle_θ v_eagle:_θ:_pres INFL_v:_3sg

WS 2: {{swimming_θ, are},eagle_θ} fly C_rel_that v_eagle:_θ:_pres INFL_v:_3sg

WS fail: WS θS 1 < θR 2

WS 1: {swimming_θ, are} fly C_rel_that eagle_θ v_eagle:_θ:_pres INFL_v:_3sg

WS 2: {eagle_θ,v_eagle:_θ:_pres} {swimming_θ, are} fly C_rel_that INFL_v:_3sg

WS fail: WS θS 0 < θR 2

WS 1: {eagle_θ, fly} swimming_θ C_rel_that v_eagle:_θ:_pres INFL_v:_3sg are

WS 2: {v_eagle:_θ:_pres, {eagle_θ, fly}} swimming_θ C_rel_that INFL_v:_3sg are

WS 3: {are, {v_eagle:_θ:_pres, {eagle_θ, fly}}} swimming_θ C_rel_that INFL_v:_3sg

WS 4: {are, {INFL_v:_3sg, {are, {v_eagle:_θ:_pres, {eagle_θ, fly}}}}} swimming_θ C_rel_that

WS 5: {are, {C_rel_that, {are, {INFL_v:_3sg, {are, {v_eagle:_θ:_pres, {eagle_θ, fly}}}}}}} swimming_θ

WS 6: {swimming_θ, {are, {C_rel_that, {are, {INFL_v:_3sg, {are, {v_eagle:_θ:_pres, {eagle_θ, fly}}}}}}}}

WS 1: {eagle_θ, fly} swimming_θ C_rel_that v_eagle:_θ:_pres INFL_v:_3sg are

WS 4: {{are, {v_eagle:_θ:_pres, {eagle_θ, fly}}},swimming_θ} C_rel_that INFL_v:_3sg

WS fail: WS θS 0 < θR 1

WS 1: {eagle_θ, fly} swimming_θ C_rel_that v_eagle:_θ:_pres INFL_v:_3sg are

WS 2: {{eagle_θ, fly},swimming_θ} C_rel_that v_eagle:_θ:_pres INFL_v:_3sg are

WS fail: WS θS 1 < θR 2

WS 1: {eagle_θ, fly} swimming_θ C_rel_that v_eagle:_θ:_pres INFL_v:_3sg are

WS 2: {{eagle_θ, fly},v_eagle:_θ:_pres} swimming_θ C_rel_that INFL_v:_3sg are

WS fail: WS θS 1 < θR 2

WS 1: {eagle_θ, fly} swimming_θ C_rel_that v_eagle:_θ:_pres INFL_v:_3sg are

WS 2: {swimming_θ,v_eagle:_θ:_pres} {eagle_θ, fly} C_rel_that INFL_v:_3sg are

WS fail: WS θS 0 < θR 2

WS 1: {eagle_θ, are} swimming_θ fly C_rel_that v_eagle:_θ:_pres INFL_v:_3sg

WS 2: {v_eagle:_θ:_pres, {eagle_θ, are}} swimming_θ fly C_rel_that INFL_v:_3sg

WS 3: {fly, {v_eagle:_θ:_pres, {eagle_θ, are}}} swimming_θ C_rel_that INFL_v:_3sg

WS 4: {fly, {INFL_v:_3sg, {fly, {v_eagle:_θ:_pres, {eagle_θ, are}}}}} swimming_θ C_rel_that

WS 5: {fly, {C_rel_that, {fly, {INFL_v:_3sg, {fly, {v_eagle:_θ:_pres, {eagle_θ, are}}}}}}} swimming_θ

WS 6: {swimming_θ, {fly, {C_rel_that, {fly, {INFL_v:_3sg, {fly, {v_eagle:_θ:_pres, {eagle_θ, are}}}}}}}}

WS 1: {eagle_θ, are} swimming_θ fly C_rel_that v_eagle:_θ:_pres INFL_v:_3sg

WS 4: {{fly, {v_eagle:_θ:_pres, {eagle_θ, are}}},swimming_θ} C_rel_that INFL_v:_3sg

WS fail: WS θS 0 < θR 1

WS 1: {eagle_θ, are} swimming_θ fly C_rel_that v_eagle:_θ:_pres INFL_v:_3sg

WS 2: {{eagle_θ, are},swimming_θ} fly C_rel_that v_eagle:_θ:_pres INFL_v:_3sg

WS fail: WS θS 1 < θR 2

WS 1: {eagle_θ, are} swimming_θ fly C_rel_that v_eagle:_θ:_pres INFL_v:_3sg

WS 2: {{eagle_θ, are},v_eagle:_θ:_pres} swimming_θ fly C_rel_that INFL_v:_3sg

WS fail: WS θS 1 < θR 2

WS 1: {eagle_θ, are} swimming_θ fly C_rel_that v_eagle:_θ:_pres INFL_v:_3sg

WS 2: {swimming_θ,v_eagle:_θ:_pres} {eagle_θ, are} fly C_rel_that INFL_v:_3sg

WS fail: WS θS 0 < θR 2

WS 1: {v_eagle:_θ:_pres, eagle_θ} swimming_θ fly C_rel_that INFL_v:_3sg are

WS fail: WS θS 2 < θR 3

WS 1: {swimming_θ,eagle_θ} fly C_rel_that v_eagle:_θ:_pres INFL_v:_3sg are

WS fail: WS θS 1 < θR 3

WS 1: {eagle_θ,v_eagle:_θ:_pres} swimming_θ fly C_rel_that INFL_v:_3sg are

WS fail: WS θS 1 < θR 3

Initial WS 22: swimming fly_θ v_fly:_θ:_pres INFL_v C_rel_that eagle_θ v_eagle:_θ:_pres INFL_v:_3sg are

WS 1: {are, {swimming, are}} fly_θ v_fly:_θ:_pres INFL_v C_rel_that eagle_θ v_eagle:_θ:_pres INFL_v:_3sg

WS 2: {fly_θ, {are, {swimming, are}}} v_fly:_θ:_pres INFL_v C_rel_that eagle_θ v_eagle:_θ:_pres INFL_v:_3sg

WS 3: {v_fly:_θ:_pres, {fly_θ, {are, {swimming, are}}}} INFL_v C_rel_that eagle_θ v_eagle:_θ:_pres INFL_v:_3sg

WS 1: {are, {swimming, are}} fly_θ v_fly:_θ:_pres INFL_v C_rel_that eagle_θ v_eagle:_θ:_pres INFL_v:_3sg

WS 2: {eagle_θ, {are, {swimming, are}}} fly_θ v_fly:_θ:_pres INFL_v C_rel_that v_eagle:_θ:_pres INFL_v:_3sg

WS 3: {v_eagle:_θ:_pres, {eagle_θ, {are, {swimming, are}}}} fly_θ v_fly:_θ:_pres INFL_v C_rel_that INFL_v:_3sg

WS 1: {are, {swimming, are}} fly_θ v_fly:_θ:_pres INFL_v C_rel_that eagle_θ v_eagle:_θ:_pres INFL_v:_3sg

WS 2: {v_fly:_θ:_pres, fly_θ} {are, {swimming, are}} INFL_v C_rel_that eagle_θ v_eagle:_θ:_pres INFL_v:_3sg

WS 1: {are, {swimming, are}} fly_θ v_fly:_θ:_pres INFL_v C_rel_that eagle_θ v_eagle:_θ:_pres INFL_v:_3sg

WS 2: {v_eagle:_θ:_pres, eagle_θ} {are, {swimming, are}} fly_θ v_fly:_θ:_pres INFL_v C_rel_that INFL_v:_3sg

WS 1: {fly_θ, swimming} v_fly:_θ:_pres INFL_v C_rel_that eagle_θ v_eagle:_θ:_pres INFL_v:_3sg are

WS 2: {v_fly:_θ:_pres, {fly_θ, swimming}} INFL_v C_rel_that eagle_θ v_eagle:_θ:_pres INFL_v:_3sg are

WS 3: {are, {v_fly:_θ:_pres, {fly_θ, swimming}}} INFL_v C_rel_that eagle_θ v_eagle:_θ:_pres INFL_v:_3sg

WS 4: are {are, {v_fly:_θ:_pres, {fly_θ, swimming}}} INFL_v C_rel_that eagle_θ v_eagle:_θ:_pres INFL_v:_3sg

WS 5: {eagle_θ, are} {are, {v_fly:_θ:_pres, {fly_θ, swimming}}} INFL_v C_rel_that v_eagle:_θ:_pres INFL_v:_3sg

WS 6: {v_eagle:_θ:_pres, {eagle_θ, are}} {are, {v_fly:_θ:_pres, {fly_θ, swimming}}} INFL_v C_rel_that INFL_v:_3sg

WS 1: {fly_θ, swimming} v_fly:_θ:_pres INFL_v C_rel_that eagle_θ v_eagle:_θ:_pres INFL_v:_3sg are

WS 6: {{eagle_θ, are},{are, {v_fly:_θ:_pres, {fly_θ, swimming}}}} INFL_v C_rel_that v_eagle:_θ:_pres INFL_v:_3sg

WS 7: {{{eagle_θ, are},{are, {v_fly:_θ:_pres, {fly_θ, swimming}}}},v_eagle:_θ:_pres} INFL_v C_rel_that INFL_v:_3sg

WS fail: WS θS 0 < θR 1

WS 1: {fly_θ, swimming} v_fly:_θ:_pres INFL_v C_rel_that eagle_θ v_eagle:_θ:_pres INFL_v:_3sg are

WS 6: {{eagle_θ, are},v_eagle:_θ:_pres} {are, {v_fly:_θ:_pres, {fly_θ, swimming}}} INFL_v C_rel_that INFL_v:_3sg

WS fail: WS θS 0 < θR 1

WS 1: {fly_θ, swimming} v_fly:_θ:_pres INFL_v C_rel_that eagle_θ v_eagle:_θ:_pres INFL_v:_3sg are

WS 6: {{are, {v_fly:_θ:_pres, {fly_θ, swimming}}},v_eagle:_θ:_pres} {eagle_θ, are} INFL_v C_rel_that INFL_v:_3sg

WS fail: WS θS 0 < θR 1

WS 1: {fly_θ, swimming} v_fly:_θ:_pres INFL_v C_rel_that eagle_θ v_eagle:_θ:_pres INFL_v:_3sg are

WS 5: {are, {INFL_v, {are, {v_fly:_θ:_pres, {fly_θ, swimming}}}}} are C_rel_that eagle_θ v_eagle:_θ:_pres INFL_v:_3sg

WS 6: {eagle_θ,v_eagle:_θ:_pres} {are, {INFL_v, {are, {v_fly:_θ:_pres, {fly_θ, swimming}}}}} are C_rel_that INFL_v:_3sg

WS fail: WS θS 0 < θR 2

WS 1: {fly_θ, swimming} v_fly:_θ:_pres INFL_v C_rel_that eagle_θ v_eagle:_θ:_pres INFL_v:_3sg are

WS 6: {are, {C_rel_that, {are, {INFL_v, {are, {v_fly:_θ:_pres, {fly_θ, swimming}}}}}}} are eagle_θ v_eagle:_θ:_pres INFL_v:_3sg

WS 7: {eagle_θ, {are, {C_rel_that, {are, {INFL_v, {are, {v_fly:_θ:_pres, {fly_θ, swimming}}}}}}}} are v_eagle:_θ:_pres INFL_v:_3sg

WS 8: {v_eagle:_θ:_pres, {eagle_θ, {are, {C_rel_that, {are, {INFL_v, {are, {v_fly:_θ:_pres, {fly_θ, swimming}}}}}}}}} are INFL_v:_3sg

WS 9: {are, {v_eagle:_θ:_pres, {eagle_θ, {are, {C_rel_that, {are, {INFL_v, {are, {v_fly:_θ:_pres, {fly_θ, swimming}}}}}}}}}} INFL_v:_3sg

WS 10: {are, {INFL_v:_3sg, {are, {v_eagle:_θ:_pres, {eagle_θ, {are, {C_rel_that, {are, {INFL_v, {are, {v_fly:_θ:_pres, {fly_θ, swimming}}}}}}}}}}}}

Final WS: {C, {are, {INFL_v:_3sg, {are, {v_eagle:_θ:_pres, {eagle_θ, {are, {C_rel_that, {are, {INFL_v, {are, {v_fly:_θ:_pres, {fly_θ, swimming}}}}}}}}}}}}}

INT/EXT: {C, {are, {INFL_v:_3sg, {are, {v_eagle:_θ:_pres, {eagle_θ, {are, {C_rel_that, {are, {INFL_v, {are, {v_fly:_θ:_pres, {fly_θ, swimming}}}}}}}}}}}}}

Initial Spellout: are 3sg pres eagle are that 3sg pres fly swimming

Spellout: are eagles are that flys swimming

Error: inconsistent spellout

WS 1: {fly_θ, swimming} v_fly:_θ:_pres INFL_v C_rel_that eagle_θ v_eagle:_θ:_pres INFL_v:_3sg are

WS 8: {{eagle_θ, {are, {C_rel_that, {are, {INFL_v, {are, {v_fly:_θ:_pres, {fly_θ, swimming}}}}}}}},v_eagle:_θ:_pres} are INFL_v:_3sg

WS fail: WS θS 0 < θR 1

WS 1: {fly_θ, swimming} v_fly:_θ:_pres INFL_v C_rel_that eagle_θ v_eagle:_θ:_pres INFL_v:_3sg are

WS 7: {eagle_θ, are} {are, {C_rel_that, {are, {INFL_v, {are, {v_fly:_θ:_pres, {fly_θ, swimming}}}}}}} v_eagle:_θ:_pres INFL_v:_3sg

WS 8: {v_eagle:_θ:_pres, {eagle_θ, are}} {are, {C_rel_that, {are, {INFL_v, {are, {v_fly:_θ:_pres, {fly_θ, swimming}}}}}}} INFL_v:_3sg

WS 9: {{are, {C_rel_that, {are, {INFL_v, {are, {v_fly:_θ:_pres, {fly_θ, swimming}}}}}}}, {v_eagle:_θ:_pres, {eagle_θ, are}}} INFL_v:_3sg

WS 10: {{are, {C_rel_that, {are, {INFL_v, {are, {v_fly:_θ:_pres, {fly_θ, swimming}}}}}}}, {INFL_v:_3sg, {{are, {C_rel_that, {are, {INFL_v, {are, {v_fly:_θ:_pres, {fly_θ, swimming}}}}}}}, {v_eagle:_θ:_pres, {eagle_θ, are}}}}}

Final WS: {C, {{are, {C_rel_that, {are, {INFL_v, {are, {v_fly:_θ:_pres, {fly_θ, swimming}}}}}}}, {INFL_v:_3sg, {{are, {C_rel_that, {are, {INFL_v, {are, {v_fly:_θ:_pres, {fly_θ, swimming}}}}}}}, {v_eagle:_θ:_pres, {eagle_θ, are}}}}}}

INT/EXT: {C, {{are, {C_rel_that, {are, {INFL_v, {are, {v_fly:_θ:_pres, {fly_θ, swimming}}}}}}}, {INFL_v:_3sg, {{are,{C_rel_that:,{are,{INFL_v:,{are,{v_fly:_θ:_pres:,{fly_θ:,swimming}}}}}}}, {v_eagle:_θ:_pres, {eagle_θ, are}}}}}}

Initial Spellout: are that 3sg pres fly swimming 3sg pres eagle are

Spellout: are that flys swimming eagles are

Error: inconsistent spellout

WS 1: {fly_θ, swimming} v_fly:_θ:_pres INFL_v C_rel_that eagle_θ v_eagle:_θ:_pres INFL_v:_3sg are

WS 8: {{eagle_θ, are},v_eagle:_θ:_pres} {are, {C_rel_that, {are, {INFL_v, {are, {v_fly:_θ:_pres, {fly_θ, swimming}}}}}}} INFL_v:_3sg

WS fail: WS θS 0 < θR 1

WS 1: {fly_θ, swimming} v_fly:_θ:_pres INFL_v C_rel_that eagle_θ v_eagle:_θ:_pres INFL_v:_3sg are

WS 7: {v_eagle:_θ:_pres, eagle_θ} {are, {C_rel_that, {are, {INFL_v, {are, {v_fly:_θ:_pres, {fly_θ, swimming}}}}}}} are INFL_v:_3sg

WS fail: WS θS 1 < θR 2

WS 1: {fly_θ, swimming} v_fly:_θ:_pres INFL_v C_rel_that eagle_θ v_eagle:_θ:_pres INFL_v:_3sg are

WS 7: {eagle_θ,v_eagle:_θ:_pres} {are, {C_rel_that, {are, {INFL_v, {are, {v_fly:_θ:_pres, {fly_θ, swimming}}}}}}} are INFL_v:_3sg

WS fail: WS θS 0 < θR 2

WS 1: {fly_θ, swimming} v_fly:_θ:_pres INFL_v C_rel_that eagle_θ v_eagle:_θ:_pres INFL_v:_3sg are

WS 5: {v_eagle:_θ:_pres, eagle_θ} are {are, {v_fly:_θ:_pres, {fly_θ, swimming}}} INFL_v C_rel_that INFL_v:_3sg

WS fail: WS θS 1 < θR 2

WS 1: {fly_θ, swimming} v_fly:_θ:_pres INFL_v C_rel_that eagle_θ v_eagle:_θ:_pres INFL_v:_3sg are

WS 5: {{are, {v_fly:_θ:_pres, {fly_θ, swimming}}},eagle_θ} are INFL_v C_rel_that v_eagle:_θ:_pres INFL_v:_3sg

WS fail: WS θS 1 < θR 2

WS 1: {fly_θ, swimming} v_fly:_θ:_pres INFL_v C_rel_that eagle_θ v_eagle:_θ:_pres INFL_v:_3sg are

WS 5: {eagle_θ,v_eagle:_θ:_pres} are {are, {v_fly:_θ:_pres, {fly_θ, swimming}}} INFL_v C_rel_that INFL_v:_3sg

WS fail: WS θS 0 < θR 2

WS 1: {fly_θ, swimming} v_fly:_θ:_pres INFL_v C_rel_that eagle_θ v_eagle:_θ:_pres INFL_v:_3sg are

WS 4: swimming {are, {v_fly:_θ:_pres, {fly_θ, swimming}}} INFL_v C_rel_that eagle_θ v_eagle:_θ:_pres INFL_v:_3sg

WS 5: {eagle_θ, swimming} {are, {v_fly:_θ:_pres, {fly_θ, swimming}}} INFL_v C_rel_that v_eagle:_θ:_pres INFL_v:_3sg

WS 6: {v_eagle:_θ:_pres, {eagle_θ, swimming}} {are, {v_fly:_θ:_pres, {fly_θ, swimming}}} INFL_v C_rel_that INFL_v:_3sg

WS 1: {fly_θ, swimming} v_fly:_θ:_pres INFL_v C_rel_that eagle_θ v_eagle:_θ:_pres INFL_v:_3sg are

WS 6: {{eagle_θ, swimming},{are, {v_fly:_θ:_pres, {fly_θ, swimming}}}} INFL_v C_rel_that v_eagle:_θ:_pres INFL_v:_3sg

WS 7: {{{eagle_θ, swimming},{are, {v_fly:_θ:_pres, {fly_θ, swimming}}}},v_eagle:_θ:_pres} INFL_v C_rel_that INFL_v:_3sg

WS fail: WS θS 0 < θR 1

WS 1: {fly_θ, swimming} v_fly:_θ:_pres INFL_v C_rel_that eagle_θ v_eagle:_θ:_pres INFL_v:_3sg are

WS 6: {{eagle_θ, swimming},v_eagle:_θ:_pres} {are, {v_fly:_θ:_pres, {fly_θ, swimming}}} INFL_v C_rel_that INFL_v:_3sg

WS fail: WS θS 0 < θR 1

WS 1: {fly_θ, swimming} v_fly:_θ:_pres INFL_v C_rel_that eagle_θ v_eagle:_θ:_pres INFL_v:_3sg are

WS 6: {{are, {v_fly:_θ:_pres, {fly_θ, swimming}}},v_eagle:_θ:_pres} {eagle_θ, swimming} INFL_v C_rel_that INFL_v:_3sg

WS fail: WS θS 0 < θR 1

WS 1: {fly_θ, swimming} v_fly:_θ:_pres INFL_v C_rel_that eagle_θ v_eagle:_θ:_pres INFL_v:_3sg are

WS 5: {are, {INFL_v, {are, {v_fly:_θ:_pres, {fly_θ, swimming}}}}} swimming C_rel_that eagle_θ v_eagle:_θ:_pres INFL_v:_3sg

WS 6: {eagle_θ,v_eagle:_θ:_pres} {are, {INFL_v, {are, {v_fly:_θ:_pres, {fly_θ, swimming}}}}} swimming C_rel_that INFL_v:_3sg

WS fail: WS θS 0 < θR 2

WS 1: {fly_θ, swimming} v_fly:_θ:_pres INFL_v C_rel_that eagle_θ v_eagle:_θ:_pres INFL_v:_3sg are

WS 6: {are, {C_rel_that, {are, {INFL_v, {are, {v_fly:_θ:_pres, {fly_θ, swimming}}}}}}} swimming eagle_θ v_eagle:_θ:_pres INFL_v:_3sg

WS 7: {eagle_θ, {are, {C_rel_that, {are, {INFL_v, {are, {v_fly:_θ:_pres, {fly_θ, swimming}}}}}}}} swimming v_eagle:_θ:_pres INFL_v:_3sg

WS 8: {v_eagle:_θ:_pres, {eagle_θ, {are, {C_rel_that, {are, {INFL_v, {are, {v_fly:_θ:_pres, {fly_θ, swimming}}}}}}}}} swimming INFL_v:_3sg

WS 9: {swimming, {v_eagle:_θ:_pres, {eagle_θ, {are, {C_rel_that, {are, {INFL_v, {are, {v_fly:_θ:_pres, {fly_θ, swimming}}}}}}}}}} INFL_v:_3sg

WS 10: {swimming, {INFL_v:_3sg, {swimming, {v_eagle:_θ:_pres, {eagle_θ, {are, {C_rel_that, {are, {INFL_v, {are, {v_fly:_θ:_pres, {fly_θ, swimming}}}}}}}}}}}}

Final WS: {C, {swimming, {INFL_v:_3sg, {swimming, {v_eagle:_θ:_pres, {eagle_θ, {are, {C_rel_that, {are, {INFL_v, {are, {v_fly:_θ:_pres, {fly_θ, swimming}}}}}}}}}}}}}

INT/EXT: {C, {swimming, {INFL_v:_3sg, {swimming, {v_eagle:_θ:_pres, {eagle_θ, {are, {C_rel_that, {are, {INFL_v, {are, {v_fly:_θ:_pres, {fly_θ, swimming}}}}}}}}}}}}}

Error: Subject swimming mismatch INFL φ-features 3sg

WS 1: {fly_θ, swimming} v_fly:_θ:_pres INFL_v C_rel_that eagle_θ v_eagle:_θ:_pres INFL_v:_3sg are

WS 8: {{eagle_θ, {are, {C_rel_that, {are, {INFL_v, {are, {v_fly:_θ:_pres, {fly_θ, swimming}}}}}}}},v_eagle:_θ:_pres} swimming INFL_v:_3sg

WS fail: WS θS 0 < θR 1

WS 1: {fly_θ, swimming} v_fly:_θ:_pres INFL_v C_rel_that eagle_θ v_eagle:_θ:_pres INFL_v:_3sg are

WS 7: {eagle_θ, swimming} {are, {C_rel_that, {are, {INFL_v, {are, {v_fly:_θ:_pres, {fly_θ, swimming}}}}}}} v_eagle:_θ:_pres INFL_v:_3sg

WS 8: {v_eagle:_θ:_pres, {eagle_θ, swimming}} {are, {C_rel_that, {are, {INFL_v, {are, {v_fly:_θ:_pres, {fly_θ, swimming}}}}}}} INFL_v:_3sg

WS 9: {{are, {C_rel_that, {are, {INFL_v, {are, {v_fly:_θ:_pres, {fly_θ, swimming}}}}}}}, {v_eagle:_θ:_pres, {eagle_θ, swimming}}} INFL_v:_3sg

Initial Spellout: are that 3sg pres fly swimming 3sg pres eagle swimming

Spellout: are that flys swimming eagles swimming

Error: inconsistent spellout

WS 1: {fly_θ, swimming} v_fly:_θ:_pres INFL_v C_rel_that eagle_θ v_eagle:_θ:_pres INFL_v:_3sg are

WS 8: {{eagle_θ, swimming},v_eagle:_θ:_pres} {are, {C_rel_that, {are, {INFL_v, {are, {v_fly:_θ:_pres, {fly_θ, swimming}}}}}}} INFL_v:_3sg

WS fail: WS θS 0 < θR 1

WS 1: {fly_θ, swimming} v_fly:_θ:_pres INFL_v C_rel_that eagle_θ v_eagle:_θ:_pres INFL_v:_3sg are

WS 7: {v_eagle:_θ:_pres, eagle_θ} {are, {C_rel_that, {are, {INFL_v, {are, {v_fly:_θ:_pres, {fly_θ, swimming}}}}}}} swimming INFL_v:_3sg

WS fail: WS θS 1 < θR 2

WS 1: {fly_θ, swimming} v_fly:_θ:_pres INFL_v C_rel_that eagle_θ v_eagle:_θ:_pres INFL_v:_3sg are

WS 7: {eagle_θ,v_eagle:_θ:_pres} {are, {C_rel_that, {are, {INFL_v, {are, {v_fly:_θ:_pres, {fly_θ, swimming}}}}}}} swimming INFL_v:_3sg

WS fail: WS θS 0 < θR 2

WS 1: {fly_θ, swimming} v_fly:_θ:_pres INFL_v C_rel_that eagle_θ v_eagle:_θ:_pres INFL_v:_3sg are

WS 5: {v_eagle:_θ:_pres, eagle_θ} swimming {are, {v_fly:_θ:_pres, {fly_θ, swimming}}} INFL_v C_rel_that INFL_v:_3sg

WS fail: WS θS 1 < θR 2

WS 1: {fly_θ, swimming} v_fly:_θ:_pres INFL_v C_rel_that eagle_θ v_eagle:_θ:_pres INFL_v:_3sg are

WS 5: {{are, {v_fly:_θ:_pres, {fly_θ, swimming}}},eagle_θ} swimming INFL_v C_rel_that v_eagle:_θ:_pres INFL_v:_3sg

WS fail: WS θS 1 < θR 2

WS 1: {fly_θ, swimming} v_fly:_θ:_pres INFL_v C_rel_that eagle_θ v_eagle:_θ:_pres INFL_v:_3sg are

WS 5: {eagle_θ,v_eagle:_θ:_pres} swimming {are, {v_fly:_θ:_pres, {fly_θ, swimming}}} INFL_v C_rel_that INFL_v:_3sg

WS fail: WS θS 0 < θR 2

WS 1: {fly_θ, swimming} v_fly:_θ:_pres INFL_v C_rel_that eagle_θ v_eagle:_θ:_pres INFL_v:_3sg are

WS 4: {are, {INFL_v, {are, {v_fly:_θ:_pres, {fly_θ, swimming}}}}} C_rel_that eagle_θ v_eagle:_θ:_pres INFL_v:_3sg

WS 5: {are, {C_rel_that, {are, {INFL_v, {are, {v_fly:_θ:_pres, {fly_θ, swimming}}}}}}} eagle_θ v_eagle:_θ:_pres INFL_v:_3sg

WS 6: {are, {C_rel_that, {are, {INFL_v, {are, {v_fly:_θ:_pres, {fly_θ, swimming}}}}}}} {are, {C_rel_that, {are, {INFL_v, {are, {v_fly:_θ:_pres, {fly_θ, swimming}}}}}}} eagle_θ v_eagle:_θ:_pres INFL_v:_3sg

WS 7: {eagle_θ, {are, {C_rel_that, {are, {INFL_v, {are, {v_fly:_θ:_pres, {fly_θ, swimming}}}}}}}} {are, {C_rel_that, {are, {INFL_v, {are, {v_fly:_θ:_pres, {fly_θ, swimming}}}}}}} v_eagle:_θ:_pres INFL_v:_3sg

WS 8: {v_eagle:_θ:_pres, {eagle_θ, {are, {C_rel_that, {are, {INFL_v, {are, {v_fly:_θ:_pres, {fly_θ, swimming}}}}}}}}} {are, {C_rel_that, {are, {INFL_v, {are, {v_fly:_θ:_pres, {fly_θ, swimming}}}}}}} INFL_v:_3sg

WS 9: {{are, {C_rel_that, {are, {INFL_v, {are, {v_fly:_θ:_pres, {fly_θ, swimming}}}}}}}, {v_eagle:_θ:_pres, {eagle_θ, {are, {C_rel_that, {are, {INFL_v, {are, {v_fly:_θ:_pres, {fly_θ, swimming}}}}}}}}}} INFL_v:_3sg

Initial Spellout: are that 3sg pres fly swimming 3sg pres eagle are that 3sg pres fly swimming

Spellout: are that flys swimming eagles are that flys swimming

Error: inconsistent spellout

WS 1: {fly_θ, swimming} v_fly:_θ:_pres INFL_v C_rel_that eagle_θ v_eagle:_θ:_pres INFL_v:_3sg are

WS 8: {{eagle_θ, {are, {C_rel_that, {are, {INFL_v, {are, {v_fly:_θ:_pres, {fly_θ, swimming}}}}}}}},v_eagle:_θ:_pres} {are, {C_rel_that, {are, {INFL_v, {are, {v_fly:_θ:_pres, {fly_θ, swimming}}}}}}} INFL_v:_3sg

WS fail: WS θS 0 < θR 1

WS 1: {fly_θ, swimming} v_fly:_θ:_pres INFL_v C_rel_that eagle_θ v_eagle:_θ:_pres INFL_v:_3sg are

Initial Spellout: are that 3sg pres fly swimming 3sg pres eagle are that 3sg pres fly swimming

Spellout: are that flys swimming eagles are that flys swimming

Error: inconsistent spellout

WS 1: {fly_θ, swimming} v_fly:_θ:_pres INFL_v C_rel_that eagle_θ v_eagle:_θ:_pres INFL_v:_3sg are

WS fail: WS θS 0 < θR 1

WS 1: {fly_θ, swimming} v_fly:_θ:_pres INFL_v C_rel_that eagle_θ v_eagle:_θ:_pres INFL_v:_3sg are

WS 7: {v_eagle:_θ:_pres, eagle_θ} {are, {C_rel_that, {are, {INFL_v, {are, {v_fly:_θ:_pres, {fly_θ, swimming}}}}}}} {are, {C_rel_that, {are, {INFL_v, {are, {v_fly:_θ:_pres, {fly_θ, swimming}}}}}}} INFL_v:_3sg

WS fail: WS θS 1 < θR 2

WS 1: {fly_θ, swimming} v_fly:_θ:_pres INFL_v C_rel_that eagle_θ v_eagle:_θ:_pres INFL_v:_3sg are

WS 7: {eagle_θ,v_eagle:_θ:_pres} {are, {C_rel_that, {are, {INFL_v, {are, {v_fly:_θ:_pres, {fly_θ, swimming}}}}}}} {are, {C_rel_that, {are, {INFL_v, {are, {v_fly:_θ:_pres, {fly_θ, swimming}}}}}}} INFL_v:_3sg

WS fail: WS θS 0 < θR 2

WS 1: {fly_θ, swimming} v_fly:_θ:_pres INFL_v C_rel_that eagle_θ v_eagle:_θ:_pres INFL_v:_3sg are

WS 6: are {are, {C_rel_that, {are, {INFL_v, {are, {v_fly:_θ:_pres, {fly_θ, swimming}}}}}}} eagle_θ v_eagle:_θ:_pres INFL_v:_3sg