[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 swimming fly

Initial WS 1: fly_θ v_fly:_θ:_pres INFL_v swim_ø:_presp v_swim:_θ INFL_v C_rel_that eagles v_pred INFL_v

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

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

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

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

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

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

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

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

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

WS fail: WS θS 0 < θR 1

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

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

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

WS fail: WS θS 0 < θR 1

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

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

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

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

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

WS fail: WS θS 0 < θR 1

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

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

WS fail: WS θS 0 < θR 1

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

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

WS fail: WS θS 0 < θR 1

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

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

WS fail: WS θS 1 < θR 2

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

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

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

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

WS fail: WS θS 1 < θR 2

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

WS fail: WS θS 0 < θR 1

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

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

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

WS fail: WS θS 0 < θR 1

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

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

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

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

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

WS fail: WS θS 0 < θR 1

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

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

WS fail: WS θS 0 < θR 1

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

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

WS fail: WS θS 0 < θR 1

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

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

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

WS fail: WS θS 0 < θR 1

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

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

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

WS fail: WS θS 0 < θR 1

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

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

WS fail: WS θS 0 < θR 1

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

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

WS fail: WS θS 0 < θR 1

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

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

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

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

WS fail: WS θS 0 < θR 1

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

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

WS fail: WS θS 0 < θR 1

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

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

WS fail: WS θS 0 < θR 1

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

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

WS fail: WS θS 0 < θR 1

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

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

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

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

WS fail: WS θS 0 < θR 1

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

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

WS fail: WS θS 0 < θR 1

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

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

WS fail: WS θS 0 < θR 1

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

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

WS fail: WS θS 0 < θR 1

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

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

WS fail: WS θS 1 < θR 2

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

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

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

WS fail: WS θS 0 < θR 2

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

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

WS fail: WS θS 1 < θR 2

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

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

WS fail: WS θS 1 < θR 2

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

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

WS fail: WS θS 1 < θR 2

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

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

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

WS fail: WS θS 1 < θR 2

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

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

WS fail: WS θS 0 < θR 2

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

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

WS fail: WS θS 0 < θR 2

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

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

WS fail: WS θS 1 < θR 2

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

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

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

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

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

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

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

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

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

WS fail: WS θS 0 < θR 1

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

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

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

WS fail: WS θS 0 < θR 1

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

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

WS fail: WS θS 0 < θR 1

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

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

WS fail: WS θS 0 < θR 1

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

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

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

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

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

WS fail: WS θS 0 < θR 1

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

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

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

WS fail: WS θS 0 < θR 1

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

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

WS fail: WS θS 0 < θR 1

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

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

WS fail: WS θS 0 < θR 1

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

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

WS fail: WS θS 1 < θR 2

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

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

WS fail: WS θS 1 < θR 2

Initial WS 2: fly_ø v_fly:_θ:_pres INFL_v swim_ø:_presp v_swim:_θ INFL_v C_rel_that eagles v_pred INFL_v

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Initial WS 3: fly_θ v_fly:_θ INFL_v swim_ø:_presp v_swim:_θ INFL_v C_rel_that eagles v_pred INFL_v

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

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

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

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

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

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

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

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

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

WS fail: WS θS 0 < θR 1

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

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

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

WS fail: WS θS 0 < θR 1

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

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

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

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

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

WS fail: WS θS 0 < θR 1

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

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

WS fail: WS θS 0 < θR 1

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

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

WS fail: WS θS 0 < θR 1

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

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

WS fail: WS θS 1 < θR 2

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

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

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

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

WS fail: WS θS 1 < θR 2

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

WS fail: WS θS 0 < θR 1

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

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

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

WS fail: WS θS 0 < θR 1

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

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

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

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

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

WS fail: WS θS 0 < θR 1

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

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

WS fail: WS θS 0 < θR 1

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

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

WS fail: WS θS 0 < θR 1

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

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

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

WS fail: WS θS 0 < θR 1

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

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

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

WS fail: WS θS 0 < θR 1

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

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

WS fail: WS θS 0 < θR 1

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

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

WS fail: WS θS 0 < θR 1

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

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

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

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

WS fail: WS θS 0 < θR 1

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

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

WS fail: WS θS 0 < θR 1

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

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

WS fail: WS θS 0 < θR 1

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

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

WS fail: WS θS 0 < θR 1

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

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

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

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

WS fail: WS θS 0 < θR 1

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

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

WS fail: WS θS 0 < θR 1

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

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

WS fail: WS θS 0 < θR 1

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

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

WS fail: WS θS 0 < θR 1

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

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

WS fail: WS θS 1 < θR 2

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

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

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

WS fail: WS θS 0 < θR 2

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

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

WS fail: WS θS 1 < θR 2

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

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

WS fail: WS θS 1 < θR 2

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

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

WS fail: WS θS 1 < θR 2

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

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

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

WS fail: WS θS 1 < θR 2

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

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

WS fail: WS θS 0 < θR 2

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

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

WS fail: WS θS 0 < θR 2

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

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

WS fail: WS θS 1 < θR 2

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

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

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

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

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

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

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

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

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

WS fail: WS θS 0 < θR 1

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

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

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

WS fail: WS θS 0 < θR 1

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

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

WS fail: WS θS 0 < θR 1

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

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

WS fail: WS θS 0 < θR 1

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

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

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

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

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

WS fail: WS θS 0 < θR 1

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

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

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

WS fail: WS θS 0 < θR 1

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

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

WS fail: WS θS 0 < θR 1

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

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

WS fail: WS θS 0 < θR 1

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

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

WS fail: WS θS 1 < θR 2

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

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

WS fail: WS θS 1 < θR 2

Initial WS 4: fly_ø v_fly:_θ INFL_v swim_ø:_presp v_swim:_θ INFL_v C_rel_that eagles v_pred INFL_v

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Initial WS 6: fly_ø v_fly:_θ:_pres INFL_v swim_ø:_presp v_swim:_θ INFL_v C_rel_that eagles be_θ v_be:_θ:_pres INFL_v

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

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

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

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

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

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

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

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

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

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

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

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

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

WS 9: {{eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}, {v_be:_θ:_pres, {be_θ, {eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}}}} eagles swim_ø:_presp v_swim:_θ INFL_v INFL_v

WS 10: {v_swim:_θ, swim_ø:_presp} {{eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}, {v_be:_θ:_pres, {be_θ, {eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}}}} eagles INFL_v INFL_v

WS 11: {eagles, {v_swim:_θ, swim_ø:_presp}} {{eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}, {v_be:_θ:_pres, {be_θ, {eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}}}} INFL_v INFL_v

WS 12: {eagles, {INFL_v, {eagles, {v_swim:_θ, swim_ø:_presp}}}} {{eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}, {v_be:_θ:_pres, {be_θ, {eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}}}} INFL_v

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

WS 12: {{eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}, {INFL_v, {{eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}, {v_be:_θ:_pres, {be_θ, {eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}}}}}} {eagles, {v_swim:_θ, swim_ø:_presp}} INFL_v

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

WS 12: {{eagles, {v_swim:_θ, swim_ø:_presp}},{{eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}, {v_be:_θ:_pres, {be_θ, {eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}}}}} INFL_v INFL_v

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

WS 10: {{eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}, {INFL_v, {{eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}, {v_be:_θ:_pres, {be_θ, {eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}}}}}} eagles swim_ø:_presp v_swim:_θ INFL_v

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

WS 9: {eagles, {v_be:_θ:_pres, {be_θ, {eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}}}} {eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}} swim_ø:_presp v_swim:_θ INFL_v INFL_v

WS 10: {v_swim:_θ, swim_ø:_presp} {eagles, {v_be:_θ:_pres, {be_θ, {eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}}}} {eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}} INFL_v INFL_v

WS 11: {{eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}, {v_swim:_θ, swim_ø:_presp}} {eagles, {v_be:_θ:_pres, {be_θ, {eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}}}} INFL_v INFL_v

WS 12: {{eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}, {INFL_v, {{eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}, {v_swim:_θ, swim_ø:_presp}}}} {eagles, {v_be:_θ:_pres, {be_θ, {eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}}}} INFL_v

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

WS 12: {eagles, {INFL_v, {eagles, {v_be:_θ:_pres, {be_θ, {eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}}}}}} {{eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}, {v_swim:_θ, swim_ø:_presp}} INFL_v

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

WS 12: {{{eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}, {v_swim:_θ, swim_ø:_presp}},{eagles, {v_be:_θ:_pres, {be_θ, {eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}}}}} INFL_v INFL_v

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

WS 10: {eagles, {INFL_v, {eagles, {v_be:_θ:_pres, {be_θ, {eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}}}}}} {eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}} swim_ø:_presp v_swim:_θ INFL_v

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

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

WS fail: WS θS 1 < θR 2

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

WS 12: {{eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}, {INFL_v, {{eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}, {v_swim:_θ, swim_ø:_presp}}}} {eagles, {v_be:_θ:_pres, {be_θ, {eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}}}} INFL_v

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

WS fail: WS θS 1 < θR 2

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

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

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

WS 9: {{eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}, {v_be:_θ:_pres, {be_θ, eagles}}} {eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}} swim_ø:_presp v_swim:_θ INFL_v INFL_v

WS 10: {v_swim:_θ, swim_ø:_presp} {{eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}, {v_be:_θ:_pres, {be_θ, eagles}}} {eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}} INFL_v INFL_v

WS 11: {{eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}, {v_swim:_θ, swim_ø:_presp}} {{eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}, {v_be:_θ:_pres, {be_θ, eagles}}} INFL_v INFL_v

WS 12: {{eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}, {INFL_v, {{eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}, {v_swim:_θ, swim_ø:_presp}}}} {{eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}, {v_be:_θ:_pres, {be_θ, eagles}}} INFL_v

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

WS 12: {{eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}, {INFL_v, {{eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}, {v_be:_θ:_pres, {be_θ, eagles}}}}} {{eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}, {v_swim:_θ, swim_ø:_presp}} INFL_v

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

WS 12: {{{eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}, {v_swim:_θ, swim_ø:_presp}},{{eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}, {v_be:_θ:_pres, {be_θ, eagles}}}} INFL_v INFL_v

WS 13: {{eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}, {INFL_v, {{{eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}, {v_swim:_θ, swim_ø:_presp}},{{eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}, {v_be:_θ:_pres, {be_θ, eagles}}}}}}

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

WS 10: {{eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}, {INFL_v, {{eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}, {v_be:_θ:_pres, {be_θ, eagles}}}}} {eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}} swim_ø:_presp v_swim:_θ INFL_v

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

WS 12: {{eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}, {INFL_v, {{eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}, {v_swim:_θ, swim_ø:_presp}}}} {{eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}, {v_be:_θ:_pres, {be_θ, eagles}}} INFL_v

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

WS 12: {{eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}, {INFL_v, {{eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}, {v_be:_θ:_pres, {be_θ, eagles}}}}} {{eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}, {v_swim:_θ, swim_ø:_presp}} INFL_v

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

WS 10: {{eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}, {INFL_v, {{eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}, {v_be:_θ:_pres, {be_θ, eagles}}}}} {eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}} swim_ø:_presp v_swim:_θ INFL_v

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

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

WS fail: WS θS 1 < θR 2

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

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

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

WS 9: {be_θ, {eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}} {{eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}, {v_swim:_θ, swim_ø:_presp}} eagles INFL_v v_be:_θ:_pres INFL_v

WS 10: {v_be:_θ:_pres, {be_θ, {eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}}} {{eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}, {v_swim:_θ, swim_ø:_presp}} eagles INFL_v INFL_v

WS 11: {eagles, {v_be:_θ:_pres, {be_θ, {eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}}}} {{eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}, {v_swim:_θ, swim_ø:_presp}} INFL_v INFL_v

WS 12: {{eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}, {INFL_v, {{eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}, {v_swim:_θ, swim_ø:_presp}}}} {eagles, {v_be:_θ:_pres, {be_θ, {eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}}}} INFL_v

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

WS 12: {{eagles, {v_be:_θ:_pres, {be_θ, {eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}}}},{{eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}, {v_swim:_θ, swim_ø:_presp}}} INFL_v INFL_v

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

WS 10: {{be_θ, {eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}},{{eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}, {v_swim:_θ, swim_ø:_presp}}} eagles INFL_v v_be:_θ:_pres INFL_v

WS 11: {{{be_θ, {eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}},{{eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}, {v_swim:_θ, swim_ø:_presp}}},v_be:_θ:_pres} eagles INFL_v INFL_v

WS fail: WS θS 0 < θR 1

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

WS 10: {{be_θ, {eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}},v_be:_θ:_pres} {{eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}, {v_swim:_θ, swim_ø:_presp}} eagles INFL_v INFL_v

WS fail: WS θS 0 < θR 1

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

WS 10: {{{eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}, {v_swim:_θ, swim_ø:_presp}},v_be:_θ:_pres} {be_θ, {eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}} eagles INFL_v INFL_v

WS fail: WS θS 0 < θR 1

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

WS 9: {be_θ, eagles} {{eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}, {v_swim:_θ, swim_ø:_presp}} {eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}} INFL_v v_be:_θ:_pres INFL_v

WS 10: {v_be:_θ:_pres, {be_θ, eagles}} {{eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}, {v_swim:_θ, swim_ø:_presp}} {eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}} INFL_v INFL_v

WS 11: {{eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}, {v_be:_θ:_pres, {be_θ, eagles}}} {{eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}, {v_swim:_θ, swim_ø:_presp}} INFL_v INFL_v

WS 12: {{eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}, {INFL_v, {{eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}, {v_swim:_θ, swim_ø:_presp}}}} {{eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}, {v_be:_θ:_pres, {be_θ, eagles}}} INFL_v

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

WS 12: {{eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}, {INFL_v, {{eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}, {v_be:_θ:_pres, {be_θ, eagles}}}}} {{eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}, {v_swim:_θ, swim_ø:_presp}} INFL_v

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

WS 12: {{{eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}, {v_be:_θ:_pres, {be_θ, eagles}}},{{eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}, {v_swim:_θ, swim_ø:_presp}}} INFL_v INFL_v

WS 13: {{eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}, {INFL_v, {{{eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}, {v_be:_θ:_pres, {be_θ, eagles}}},{{eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}, {v_swim:_θ, swim_ø:_presp}}}}}

Final WS: {C, {{eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}, {INFL_v, {{{eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}, {v_be:_θ:_pres, {be_θ, eagles}}},{{eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}, {v_swim:_θ, swim_ø:_presp}}}}}}

INT/EXT: {C, {{eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}, {INFL_v, {{{eagles,{C_rel_that:,{eagles,{INFL_v:,{eagles,{v_fly:_θ:_pres:,fly_ø:}}}}}}, {v_be:_θ:_pres, {be_θ, eagles}}}, {{eagles,{C_rel_that:,{eagles,{INFL_v:,{eagles,{v_fly:_θ:_pres:,fly_ø:}}}}}}, {v_swim:_θ, swim_ø:_presp}}}}}}

Initial Spellout: eagles that 3pl pres fly 3pl pres be eagles 3pl swim

Spellout: eagles that fly are eagles swim

Error: inconsistent spellout

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

WS 10: {{be_θ, eagles},{{eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}, {v_swim:_θ, swim_ø:_presp}}} {eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}} INFL_v v_be:_θ:_pres INFL_v

WS 11: {{{be_θ, eagles},{{eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}, {v_swim:_θ, swim_ø:_presp}}},v_be:_θ:_pres} {eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}} INFL_v INFL_v

WS fail: WS θS 0 < θR 1

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

WS 10: {{be_θ, eagles},v_be:_θ:_pres} {{eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}, {v_swim:_θ, swim_ø:_presp}} {eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}} INFL_v INFL_v

WS fail: WS θS 0 < θR 1

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

WS 10: {{{eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}, {v_swim:_θ, swim_ø:_presp}},v_be:_θ:_pres} {be_θ, eagles} {eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}} INFL_v INFL_v

WS fail: WS θS 0 < θR 1

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

WS 9: {{eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}, {INFL_v, {{eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}, {v_swim:_θ, swim_ø:_presp}}}} {eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}} eagles be_θ v_be:_θ:_pres INFL_v

WS 10: {be_θ,v_be:_θ:_pres} {{eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}, {INFL_v, {{eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}, {v_swim:_θ, swim_ø:_presp}}}} {eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}} eagles INFL_v

WS fail: WS θS 0 < θR 2

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

WS 9: {v_be:_θ:_pres, be_θ} {{eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}, {v_swim:_θ, swim_ø:_presp}} {eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}} eagles INFL_v INFL_v

WS fail: WS θS 1 < θR 2

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

WS 9: {{{eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}, {v_swim:_θ, swim_ø:_presp}},be_θ} {eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}} eagles INFL_v v_be:_θ:_pres INFL_v

WS fail: WS θS 1 < θR 2

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

WS 9: {be_θ,v_be:_θ:_pres} {{eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}, {v_swim:_θ, swim_ø:_presp}} {eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}} eagles INFL_v INFL_v

WS fail: WS θS 0 < θR 2

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

WS 12: {{eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}, {INFL_v, {{eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}, {v_swim:_θ, swim_ø:_presp}}}} {eagles, {v_be:_θ:_pres, {be_θ, {eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}}}} INFL_v

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

WS fail: WS θS 0 < θR 1

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

WS fail: WS θS 0 < θR 1

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

WS fail: WS θS 0 < θR 1

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

WS 12: {{eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}, {INFL_v, {{eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}, {v_swim:_θ, swim_ø:_presp}}}} {{eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}, {v_be:_θ:_pres, {be_θ, eagles}}} INFL_v

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

WS 12: {{eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}, {INFL_v, {{eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}, {v_be:_θ:_pres, {be_θ, eagles}}}}} {{eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}, {v_swim:_θ, swim_ø:_presp}} INFL_v

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

WS 13: {{eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}, {INFL_v, {{{eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}, {v_be:_θ:_pres, {be_θ, eagles}}},{{eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}, {v_swim:_θ, swim_ø:_presp}}}}}

Initial Spellout: eagles that 3pl pres fly 3pl pres be eagles 3pl swim

Spellout: eagles that fly are eagles swim

Error: inconsistent spellout

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

WS fail: WS θS 0 < θR 1

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

WS fail: WS θS 0 < θR 1

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

WS fail: WS θS 0 < θR 1

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

WS fail: WS θS 0 < θR 2

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

WS fail: WS θS 1 < θR 2

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

WS fail: WS θS 1 < θR 2

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

WS fail: WS θS 0 < θR 2

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

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

WS 9: {be_θ, {eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}} {eagles, {v_swim:_θ, swim_ø:_presp}} {eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}} INFL_v v_be:_θ:_pres INFL_v

WS 10: {v_be:_θ:_pres, {be_θ, {eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}}} {eagles, {v_swim:_θ, swim_ø:_presp}} {eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}} INFL_v INFL_v

WS 11: {{eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}, {v_be:_θ:_pres, {be_θ, {eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}}}} {eagles, {v_swim:_θ, swim_ø:_presp}} INFL_v INFL_v

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

WS 12: {{{eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}, {v_be:_θ:_pres, {be_θ, {eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}}}},{eagles, {v_swim:_θ, swim_ø:_presp}}} INFL_v INFL_v

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

WS 10: {{be_θ, {eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}},{eagles, {v_swim:_θ, swim_ø:_presp}}} {eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}} INFL_v v_be:_θ:_pres INFL_v

WS 11: {{{be_θ, {eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}},{eagles, {v_swim:_θ, swim_ø:_presp}}},v_be:_θ:_pres} {eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}} INFL_v INFL_v

WS fail: WS θS 0 < θR 1

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

WS 10: {{be_θ, {eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}},v_be:_θ:_pres} {eagles, {v_swim:_θ, swim_ø:_presp}} {eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}} INFL_v INFL_v

WS fail: WS θS 0 < θR 1

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

WS 10: {{eagles, {v_swim:_θ, swim_ø:_presp}},v_be:_θ:_pres} {be_θ, {eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}} {eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}} INFL_v INFL_v

WS fail: WS θS 0 < θR 1

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

WS fail: WS θS 0 < θR 1

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

WS fail: WS θS 0 < θR 1

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

WS fail: WS θS 0 < θR 1

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

WS 9: {eagles, {INFL_v, {eagles, {v_swim:_θ, swim_ø:_presp}}}} {eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}} {eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}} be_θ v_be:_θ:_pres INFL_v

WS 10: {be_θ,v_be:_θ:_pres} {eagles, {INFL_v, {eagles, {v_swim:_θ, swim_ø:_presp}}}} {eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}} {eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}} INFL_v

WS fail: WS θS 0 < θR 2

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

WS 9: {v_be:_θ:_pres, be_θ} {eagles, {v_swim:_θ, swim_ø:_presp}} {eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}} {eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}} INFL_v INFL_v

WS fail: WS θS 1 < θR 2

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

WS 9: {{eagles, {v_swim:_θ, swim_ø:_presp}},be_θ} {eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}} {eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}} INFL_v v_be:_θ:_pres INFL_v

WS fail: WS θS 1 < θR 2

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

WS 9: {be_θ,v_be:_θ:_pres} {eagles, {v_swim:_θ, swim_ø:_presp}} {eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}} {eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}} INFL_v INFL_v

WS fail: WS θS 0 < θR 2

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

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

WS fail: WS θS 1 < θR 3

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

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

WS fail: WS θS 2 < θR 3

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

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

WS fail: WS θS 1 < θR 3

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

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

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

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

WS 9: eagles {eagles, {v_be:_θ:_pres, {be_θ, {eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}}}} swim_ø:_presp v_swim:_θ INFL_v INFL_v

WS 10: {v_swim:_θ, swim_ø:_presp} eagles {eagles, {v_be:_θ:_pres, {be_θ, {eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}}}} INFL_v INFL_v

WS 11: {eagles, {v_swim:_θ, swim_ø:_presp}} {eagles, {v_be:_θ:_pres, {be_θ, {eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}}}} INFL_v INFL_v

WS 12: {eagles, {INFL_v, {eagles, {v_swim:_θ, swim_ø:_presp}}}} {eagles, {v_be:_θ:_pres, {be_θ, {eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}}}} INFL_v

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

WS 12: {eagles, {INFL_v, {eagles, {v_be:_θ:_pres, {be_θ, {eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}}}}}} {eagles, {v_swim:_θ, swim_ø:_presp}} INFL_v

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

WS 12: {{eagles, {v_swim:_θ, swim_ø:_presp}},{eagles, {v_be:_θ:_pres, {be_θ, {eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}}}}} INFL_v INFL_v

WS 13: {eagles, {INFL_v, {{eagles, {v_swim:_θ, swim_ø:_presp}},{eagles, {v_be:_θ:_pres, {be_θ, {eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}}}}}}}

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

WS 10: {eagles, {INFL_v, {eagles, {v_be:_θ:_pres, {be_θ, {eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}}}}}} eagles swim_ø:_presp v_swim:_θ INFL_v

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

WS 9: {eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}} {eagles, {v_be:_θ:_pres, {be_θ, {eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}}}} swim_ø:_presp v_swim:_θ INFL_v INFL_v

WS 10: {v_swim:_θ, swim_ø:_presp} {eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}} {eagles, {v_be:_θ:_pres, {be_θ, {eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}}}} INFL_v INFL_v

WS 12: {{eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}, {INFL_v, {{eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}, {v_swim:_θ, swim_ø:_presp}}}} {eagles, {v_be:_θ:_pres, {be_θ, {eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}}}} INFL_v

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

WS 12: {{eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}, {INFL_v, {{eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}, {v_swim:_θ, swim_ø:_presp}}}} {eagles, {v_be:_θ:_pres, {be_θ, {eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}}}} INFL_v

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

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

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

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

WS 9: {eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}} {{eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}, {v_be:_θ:_pres, {be_θ, eagles}}} swim_ø:_presp v_swim:_θ INFL_v INFL_v

WS 10: {v_swim:_θ, swim_ø:_presp} {eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}} {{eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}, {v_be:_θ:_pres, {be_θ, eagles}}} INFL_v INFL_v

WS 12: {{eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}, {INFL_v, {{eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}, {v_swim:_θ, swim_ø:_presp}}}} {{eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}, {v_be:_θ:_pres, {be_θ, eagles}}} INFL_v

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

WS 12: {{eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}, {INFL_v, {{eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}, {v_be:_θ:_pres, {be_θ, eagles}}}}} {{eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}, {v_swim:_θ, swim_ø:_presp}} INFL_v

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

WS 10: {{eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}, {INFL_v, {{eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}, {v_be:_θ:_pres, {be_θ, eagles}}}}} {eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}} swim_ø:_presp v_swim:_θ INFL_v

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

WS 9: eagles {{eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}, {v_be:_θ:_pres, {be_θ, eagles}}} swim_ø:_presp v_swim:_θ INFL_v INFL_v

WS 10: {v_swim:_θ, swim_ø:_presp} eagles {{eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}, {v_be:_θ:_pres, {be_θ, eagles}}} INFL_v INFL_v

WS 11: {eagles, {v_swim:_θ, swim_ø:_presp}} {{eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}, {v_be:_θ:_pres, {be_θ, eagles}}} INFL_v INFL_v

WS 12: {eagles, {INFL_v, {eagles, {v_swim:_θ, swim_ø:_presp}}}} {{eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}, {v_be:_θ:_pres, {be_θ, eagles}}} INFL_v

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

WS 12: {{eagles, {v_swim:_θ, swim_ø:_presp}},{{eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}, {v_be:_θ:_pres, {be_θ, eagles}}}} INFL_v INFL_v

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

WS 12: {{eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}, {INFL_v, {{eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}, {v_swim:_θ, swim_ø:_presp}}}} {{eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}, {v_be:_θ:_pres, {be_θ, eagles}}} INFL_v

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

WS 12: {{eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}, {INFL_v, {{eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}, {v_be:_θ:_pres, {be_θ, eagles}}}}} {{eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}, {v_swim:_θ, swim_ø:_presp}} INFL_v

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

WS 10: {{eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}, {INFL_v, {{eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}, {v_be:_θ:_pres, {be_θ, eagles}}}}} {eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}} swim_ø:_presp v_swim:_θ INFL_v

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

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

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

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

WS 12: {{eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}, {INFL_v, {{eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}, {v_swim:_θ, swim_ø:_presp}}}} {eagles, {v_be:_θ:_pres, {be_θ, {eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}}}} INFL_v

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

WS fail: WS θS 0 < θR 1

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

WS fail: WS θS 0 < θR 1

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

WS fail: WS θS 0 < θR 1

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

WS 9: {be_θ, eagles} {eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}} {{eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}, {v_swim:_θ, swim_ø:_presp}} INFL_v v_be:_θ:_pres INFL_v

WS 10: {v_be:_θ:_pres, {be_θ, eagles}} {eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}} {{eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}, {v_swim:_θ, swim_ø:_presp}} INFL_v INFL_v

WS 12: {{eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}, {INFL_v, {{eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}, {v_swim:_θ, swim_ø:_presp}}}} {{eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}, {v_be:_θ:_pres, {be_θ, eagles}}} INFL_v

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

WS 12: {{eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}, {INFL_v, {{eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}, {v_be:_θ:_pres, {be_θ, eagles}}}}} {{eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}, {v_swim:_θ, swim_ø:_presp}} INFL_v

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

WS 13: {{eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}, {INFL_v, {{{eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}, {v_be:_θ:_pres, {be_θ, eagles}}},{{eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}, {v_swim:_θ, swim_ø:_presp}}}}}

Initial Spellout: eagles that 3pl pres fly 3pl pres be eagles 3pl swim

Spellout: eagles that fly are eagles swim

Error: inconsistent spellout

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

WS fail: WS θS 0 < θR 1

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

WS 10: {{be_θ, eagles},v_be:_θ:_pres} {eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}} {{eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}, {v_swim:_θ, swim_ø:_presp}} INFL_v INFL_v

WS fail: WS θS 0 < θR 1

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

WS fail: WS θS 0 < θR 1

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

WS fail: WS θS 0 < θR 2

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

WS 9: {v_be:_θ:_pres, be_θ} {eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}} {{eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}, {v_swim:_θ, swim_ø:_presp}} eagles INFL_v INFL_v

WS fail: WS θS 1 < θR 2

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

WS fail: WS θS 1 < θR 2

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

WS 9: {be_θ,v_be:_θ:_pres} {eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}} {{eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}, {v_swim:_θ, swim_ø:_presp}} eagles INFL_v INFL_v

WS fail: WS θS 0 < θR 2

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

WS 12: {{eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}, {INFL_v, {{eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}, {v_swim:_θ, swim_ø:_presp}}}} {eagles, {v_be:_θ:_pres, {be_θ, {eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}}}} INFL_v

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

WS fail: WS θS 0 < θR 1

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

WS fail: WS θS 0 < θR 1

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

WS fail: WS θS 0 < θR 1

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

WS 12: {{eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}, {INFL_v, {{eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}, {v_swim:_θ, swim_ø:_presp}}}} {{eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}, {v_be:_θ:_pres, {be_θ, eagles}}} INFL_v

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

WS 12: {{eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}, {INFL_v, {{eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}, {v_be:_θ:_pres, {be_θ, eagles}}}}} {{eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}, {v_swim:_θ, swim_ø:_presp}} INFL_v

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

WS 13: {{eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}, {INFL_v, {{{eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}, {v_be:_θ:_pres, {be_θ, eagles}}},{{eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}, {v_swim:_θ, swim_ø:_presp}}}}}

Initial Spellout: eagles that 3pl pres fly 3pl pres be eagles 3pl swim

Spellout: eagles that fly are eagles swim

Error: inconsistent spellout

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

WS fail: WS θS 0 < θR 1

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

WS fail: WS θS 0 < θR 1

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

WS fail: WS θS 0 < θR 1

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

WS fail: WS θS 0 < θR 2

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

WS fail: WS θS 1 < θR 2

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

WS fail: WS θS 1 < θR 2

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

WS fail: WS θS 0 < θR 2

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

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

WS 9: eagles {be_θ, eagles} {{eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}, {v_swim:_θ, swim_ø:_presp}} INFL_v v_be:_θ:_pres INFL_v

WS 11: {{be_θ, eagles},v_be:_θ:_pres} {{eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}, {INFL_v, {{eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}, {v_swim:_θ, swim_ø:_presp}}}} eagles INFL_v

WS fail: WS θS 0 < θR 1

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

WS 10: {v_be:_θ:_pres, {be_θ, eagles}} eagles {{eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}, {v_swim:_θ, swim_ø:_presp}} INFL_v INFL_v

WS 11: {eagles, {v_be:_θ:_pres, {be_θ, eagles}}} {{eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}, {v_swim:_θ, swim_ø:_presp}} INFL_v INFL_v

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

WS 12: {eagles, {INFL_v, {eagles, {v_be:_θ:_pres, {be_θ, eagles}}}}} {{eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}, {v_swim:_θ, swim_ø:_presp}} INFL_v

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

WS 12: {{eagles, {v_be:_θ:_pres, {be_θ, eagles}}},{{eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}, {v_swim:_θ, swim_ø:_presp}}} INFL_v INFL_v

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

WS 10: {{be_θ, eagles},{{eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}, {v_swim:_θ, swim_ø:_presp}}} eagles INFL_v v_be:_θ:_pres INFL_v

WS 11: {{{be_θ, eagles},{{eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}, {v_swim:_θ, swim_ø:_presp}}},v_be:_θ:_pres} eagles INFL_v INFL_v

WS fail: WS θS 0 < θR 1

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

WS 10: {{be_θ, eagles},v_be:_θ:_pres} eagles {{eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}, {v_swim:_θ, swim_ø:_presp}} INFL_v INFL_v

WS fail: WS θS 0 < θR 1

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

WS 10: {{{eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}, {v_swim:_θ, swim_ø:_presp}},v_be:_θ:_pres} eagles {be_θ, eagles} INFL_v INFL_v

WS fail: WS θS 0 < θR 1

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

WS 9: {eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}} {be_θ, eagles} {{eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}, {v_swim:_θ, swim_ø:_presp}} INFL_v v_be:_θ:_pres INFL_v

WS 10: {{eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}, {INFL_v, {{eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}, {v_swim:_θ, swim_ø:_presp}}}} {eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}} {be_θ, eagles} v_be:_θ:_pres INFL_v

WS fail: WS θS 0 < θR 1

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

WS 12: {{eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}, {INFL_v, {{eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}, {v_swim:_θ, swim_ø:_presp}}}} {{eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}, {v_be:_θ:_pres, {be_θ, eagles}}} INFL_v

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

WS 12: {{eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}, {INFL_v, {{eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}, {v_be:_θ:_pres, {be_θ, eagles}}}}} {{eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}, {v_swim:_θ, swim_ø:_presp}} INFL_v

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

WS 13: {{eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}, {INFL_v, {{{eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}, {v_be:_θ:_pres, {be_θ, eagles}}},{{eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}, {v_swim:_θ, swim_ø:_presp}}}}}

Initial Spellout: eagles that 3pl pres fly 3pl pres be eagles 3pl swim

Spellout: eagles that fly are eagles swim

Error: inconsistent spellout

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

WS fail: WS θS 0 < θR 1

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

WS fail: WS θS 0 < θR 1

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

WS 10: {{{eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}, {v_swim:_θ, swim_ø:_presp}},v_be:_θ:_pres} {eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}} {be_θ, eagles} INFL_v INFL_v

WS fail: WS θS 0 < θR 1

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

WS 10: {{eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}, {INFL_v, {{eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}, {v_swim:_θ, swim_ø:_presp}}}} {eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}} {be_θ, eagles} v_be:_θ:_pres INFL_v

WS fail: WS θS 0 < θR 1

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

WS 12: {{eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}, {INFL_v, {{eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}, {v_swim:_θ, swim_ø:_presp}}}} {{eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}, {v_be:_θ:_pres, {be_θ, eagles}}} INFL_v

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

WS 12: {{eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}, {INFL_v, {{eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}, {v_be:_θ:_pres, {be_θ, eagles}}}}} {{eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}, {v_swim:_θ, swim_ø:_presp}} INFL_v

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

WS 13: {{eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}, {INFL_v, {{{eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}, {v_be:_θ:_pres, {be_θ, eagles}}},{{eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}, {v_swim:_θ, swim_ø:_presp}}}}}

Initial Spellout: eagles that 3pl pres fly 3pl pres be eagles 3pl swim

Spellout: eagles that fly are eagles swim

Error: inconsistent spellout

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

WS fail: WS θS 0 < θR 1

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

WS fail: WS θS 0 < θR 1

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

WS fail: WS θS 0 < θR 1

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

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

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

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

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

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

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

WS 9: {be_θ, eagles} {eagles, {v_swim:_θ, swim_ø:_presp}} {eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}} INFL_v v_be:_θ:_pres INFL_v

WS 10: {v_be:_θ:_pres, {be_θ, eagles}} {eagles, {v_swim:_θ, swim_ø:_presp}} {eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}} INFL_v INFL_v

WS 11: {{eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}, {v_be:_θ:_pres, {be_θ, eagles}}} {eagles, {v_swim:_θ, swim_ø:_presp}} INFL_v INFL_v

WS 12: {eagles, {INFL_v, {eagles, {v_swim:_θ, swim_ø:_presp}}}} {{eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}, {v_be:_θ:_pres, {be_θ, eagles}}} INFL_v

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

WS 12: {{{eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}, {v_be:_θ:_pres, {be_θ, eagles}}},{eagles, {v_swim:_θ, swim_ø:_presp}}} INFL_v INFL_v

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

WS 10: {{be_θ, eagles},{eagles, {v_swim:_θ, swim_ø:_presp}}} {eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}} INFL_v v_be:_θ:_pres INFL_v

WS 11: {{{be_θ, eagles},{eagles, {v_swim:_θ, swim_ø:_presp}}},v_be:_θ:_pres} {eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}} INFL_v INFL_v

WS fail: WS θS 0 < θR 1

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

WS 10: {{be_θ, eagles},v_be:_θ:_pres} {eagles, {v_swim:_θ, swim_ø:_presp}} {eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}} INFL_v INFL_v

WS fail: WS θS 0 < θR 1

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

WS 10: {{eagles, {v_swim:_θ, swim_ø:_presp}},v_be:_θ:_pres} {be_θ, eagles} {eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}} INFL_v INFL_v

WS fail: WS θS 0 < θR 1

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

WS 9: {be_θ, {eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}} eagles {eagles, {v_swim:_θ, swim_ø:_presp}} INFL_v v_be:_θ:_pres INFL_v

WS 10: {v_be:_θ:_pres, {be_θ, {eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}}} eagles {eagles, {v_swim:_θ, swim_ø:_presp}} INFL_v INFL_v

WS 11: {eagles, {v_be:_θ:_pres, {be_θ, {eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}}}} {eagles, {v_swim:_θ, swim_ø:_presp}} INFL_v INFL_v

WS 12: {eagles, {INFL_v, {eagles, {v_swim:_θ, swim_ø:_presp}}}} {eagles, {v_be:_θ:_pres, {be_θ, {eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}}}} INFL_v

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

WS 12: {eagles, {INFL_v, {eagles, {v_be:_θ:_pres, {be_θ, {eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}}}}}} {eagles, {v_swim:_θ, swim_ø:_presp}} INFL_v

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

WS 12: {{eagles, {v_be:_θ:_pres, {be_θ, {eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}}}},{eagles, {v_swim:_θ, swim_ø:_presp}}} INFL_v INFL_v

WS 13: {eagles, {INFL_v, {{eagles, {v_be:_θ:_pres, {be_θ, {eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}}}},{eagles, {v_swim:_θ, swim_ø:_presp}}}}}

Final WS: {C, {eagles, {INFL_v, {{eagles, {v_be:_θ:_pres, {be_θ, {eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}}}},{eagles, {v_swim:_θ, swim_ø:_presp}}}}}}

INT/EXT: {C, {eagles, {INFL_v, {{eagles, {v_be:_θ:_pres, {be_θ, {eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}}}}, {eagles, {v_swim:_θ, swim_ø:_presp}}}}}}

Initial Spellout: eagles 3pl pres be eagles that eagles eagles 3pl pres fly 3pl swim

Spellout: eagles are eagles that eagles eagles fly swim

Error: inconsistent spellout

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

WS 10: {{be_θ, {eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}},{eagles, {v_swim:_θ, swim_ø:_presp}}} eagles INFL_v v_be:_θ:_pres INFL_v

WS 11: {{{be_θ, {eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}},{eagles, {v_swim:_θ, swim_ø:_presp}}},v_be:_θ:_pres} eagles INFL_v INFL_v

WS fail: WS θS 0 < θR 1

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

WS 10: {{be_θ, {eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}},v_be:_θ:_pres} eagles {eagles, {v_swim:_θ, swim_ø:_presp}} INFL_v INFL_v

WS fail: WS θS 0 < θR 1

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

WS 10: {{eagles, {v_swim:_θ, swim_ø:_presp}},v_be:_θ:_pres} {be_θ, {eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}} eagles INFL_v INFL_v

WS fail: WS θS 0 < θR 1

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

WS 9: {eagles, {INFL_v, {eagles, {v_swim:_θ, swim_ø:_presp}}}} eagles {eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}} be_θ v_be:_θ:_pres INFL_v

WS 10: {be_θ,v_be:_θ:_pres} {eagles, {INFL_v, {eagles, {v_swim:_θ, swim_ø:_presp}}}} eagles {eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}} INFL_v

WS fail: WS θS 0 < θR 2

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

WS 9: {v_be:_θ:_pres, be_θ} eagles {eagles, {v_swim:_θ, swim_ø:_presp}} {eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}} INFL_v INFL_v

WS fail: WS θS 1 < θR 2

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

WS 9: {{eagles, {v_swim:_θ, swim_ø:_presp}},be_θ} eagles {eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}} INFL_v v_be:_θ:_pres INFL_v

WS fail: WS θS 1 < θR 2

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

WS 9: {be_θ,v_be:_θ:_pres} eagles {eagles, {v_swim:_θ, swim_ø:_presp}} {eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}} INFL_v INFL_v

WS fail: WS θS 0 < θR 2

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

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

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

WS fail: WS θS 0 < θR 1

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

WS fail: WS θS 0 < θR 1

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

WS fail: WS θS 0 < θR 1

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

WS 9: {be_θ, {eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}} {eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}} {eagles, {v_swim:_θ, swim_ø:_presp}} INFL_v v_be:_θ:_pres INFL_v

WS 10: {v_be:_θ:_pres, {be_θ, {eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}}} {eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}} {eagles, {v_swim:_θ, swim_ø:_presp}} INFL_v INFL_v

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

WS fail: WS θS 0 < θR 1

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

WS 10: {{be_θ, {eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}},v_be:_θ:_pres} {eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}} {eagles, {v_swim:_θ, swim_ø:_presp}} INFL_v INFL_v

WS fail: WS θS 0 < θR 1

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

WS fail: WS θS 0 < θR 1

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

WS fail: WS θS 0 < θR 2

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

WS 9: {v_be:_θ:_pres, be_θ} {eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}} {eagles, {v_swim:_θ, swim_ø:_presp}} {eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}} INFL_v INFL_v

WS fail: WS θS 1 < θR 2

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

WS fail: WS θS 1 < θR 2

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

WS 9: {be_θ,v_be:_θ:_pres} {eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}} {eagles, {v_swim:_θ, swim_ø:_presp}} {eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}} INFL_v INFL_v

WS fail: WS θS 0 < θR 2

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

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

WS 9: {eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}} {be_θ, {eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}} {eagles, {v_swim:_θ, swim_ø:_presp}} INFL_v v_be:_θ:_pres INFL_v

WS 10: {eagles, {INFL_v, {eagles, {v_swim:_θ, swim_ø:_presp}}}} {eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}} {be_θ, {eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}} v_be:_θ:_pres INFL_v

WS 11: {{be_θ, {eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}},v_be:_θ:_pres} {eagles, {INFL_v, {eagles, {v_swim:_θ, swim_ø:_presp}}}} {eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}} INFL_v

WS fail: WS θS 0 < θR 1

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

WS fail: WS θS 0 < θR 1

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

WS fail: WS θS 0 < θR 1

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

WS 10: {{eagles, {v_swim:_θ, swim_ø:_presp}},v_be:_θ:_pres} {eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}} {be_θ, {eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}} INFL_v INFL_v

WS fail: WS θS 0 < θR 1

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

WS 9: eagles {be_θ, {eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}} {eagles, {v_swim:_θ, swim_ø:_presp}} INFL_v v_be:_θ:_pres INFL_v

WS 10: {eagles, {INFL_v, {eagles, {v_swim:_θ, swim_ø:_presp}}}} eagles {be_θ, {eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}} v_be:_θ:_pres INFL_v

WS 11: {{be_θ, {eagles, {C_rel_that, {eagles, {INFL_v, {eagles, {v_fly:_θ:_pres, fly_ø}}}}}}},v_be:_θ:_pres} {eagles, {INFL_v, {eagles, {v_swim:_θ, swim_ø:_presp}}}} eagles INFL_v