[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: birds that fly instinctively swim

Initial WS 1: swim_ø v_swim:_θ:_pres INFL_v instinctively_v fly_θ v_fly:_θ:_pres INFL_v C_rel_that birds

WS 1: {fly_θ, birds} swim_ø v_swim:_θ:_pres INFL_v instinctively_v v_fly:_θ:_pres INFL_v C_rel_that

WS 2: {v_fly:_θ:_pres, {fly_θ, birds}} swim_ø v_swim:_θ:_pres INFL_v instinctively_v INFL_v C_rel_that

WS 1: {v_swim:_θ:_pres, swim_ø} INFL_v instinctively_v fly_θ v_fly:_θ:_pres INFL_v C_rel_that birds

WS 2: {birds, {v_swim:_θ:_pres, swim_ø}} INFL_v instinctively_v fly_θ v_fly:_θ:_pres INFL_v C_rel_that

WS 3: birds {birds, {v_swim:_θ:_pres, swim_ø}} INFL_v instinctively_v fly_θ v_fly:_θ:_pres INFL_v C_rel_that

WS 4: {fly_θ, birds} {birds, {v_swim:_θ:_pres, swim_ø}} INFL_v instinctively_v v_fly:_θ:_pres INFL_v C_rel_that

WS 5: {v_fly:_θ:_pres, {fly_θ, birds}} {birds, {v_swim:_θ:_pres, swim_ø}} INFL_v instinctively_v INFL_v C_rel_that

WS 1: {v_swim:_θ:_pres, swim_ø} INFL_v instinctively_v fly_θ v_fly:_θ:_pres INFL_v C_rel_that birds

WS 5: {{fly_θ, birds},{birds, {v_swim:_θ:_pres, swim_ø}}} INFL_v instinctively_v v_fly:_θ:_pres INFL_v C_rel_that

WS 6: {{{fly_θ, birds},{birds, {v_swim:_θ:_pres, swim_ø}}},v_fly:_θ:_pres} INFL_v instinctively_v INFL_v C_rel_that

WS fail: WS θS 0 < θR 1

WS 1: {v_swim:_θ:_pres, swim_ø} INFL_v instinctively_v fly_θ v_fly:_θ:_pres INFL_v C_rel_that birds

WS 5: {{fly_θ, birds},v_fly:_θ:_pres} {birds, {v_swim:_θ:_pres, swim_ø}} INFL_v instinctively_v INFL_v C_rel_that

WS fail: WS θS 0 < θR 1

WS 1: {v_swim:_θ:_pres, swim_ø} INFL_v instinctively_v fly_θ v_fly:_θ:_pres INFL_v C_rel_that birds

WS 5: {{birds, {v_swim:_θ:_pres, swim_ø}},v_fly:_θ:_pres} {fly_θ, birds} INFL_v instinctively_v INFL_v C_rel_that

WS fail: WS θS 0 < θR 1

WS 1: {v_swim:_θ:_pres, swim_ø} INFL_v instinctively_v fly_θ v_fly:_θ:_pres INFL_v C_rel_that birds

WS 4: {birds, {INFL_v, {birds, {v_swim:_θ:_pres, swim_ø}}}} birds instinctively_v fly_θ v_fly:_θ:_pres INFL_v C_rel_that

WS 5: {fly_θ,v_fly:_θ:_pres} {birds, {INFL_v, {birds, {v_swim:_θ:_pres, swim_ø}}}} birds instinctively_v INFL_v C_rel_that

WS fail: WS θS 0 < θR 2

WS 1: {v_swim:_θ:_pres, swim_ø} INFL_v instinctively_v fly_θ v_fly:_θ:_pres INFL_v C_rel_that birds

WS 5: {birds, {C_rel_that, {birds, {INFL_v, {birds, {v_swim:_θ:_pres, swim_ø}}}}}} birds instinctively_v fly_θ v_fly:_θ:_pres INFL_v

WS 6: {fly_θ, {birds, {C_rel_that, {birds, {INFL_v, {birds, {v_swim:_θ:_pres, swim_ø}}}}}}} birds instinctively_v v_fly:_θ:_pres INFL_v

WS 7: {v_fly:_θ:_pres, {fly_θ, {birds, {C_rel_that, {birds, {INFL_v, {birds, {v_swim:_θ:_pres, swim_ø}}}}}}}} birds instinctively_v INFL_v

WS 8: {birds, {v_fly:_θ:_pres, {fly_θ, {birds, {C_rel_that, {birds, {INFL_v, {birds, {v_swim:_θ:_pres, swim_ø}}}}}}}}} instinctively_v INFL_v

WS 9: {instinctively_v, {birds, {v_fly:_θ:_pres, {fly_θ, {birds, {C_rel_that, {birds, {INFL_v, {birds, {v_swim:_θ:_pres, swim_ø}}}}}}}}}} INFL_v

WS 10: {birds, {INFL_v, {instinctively_v, {birds, {v_fly:_θ:_pres, {fly_θ, {birds, {C_rel_that, {birds, {INFL_v, {birds, {v_swim:_θ:_pres, swim_ø}}}}}}}}}}}}

Final WS: {C, {birds, {INFL_v, {instinctively_v, {birds, {v_fly:_θ:_pres, {fly_θ, {birds, {C_rel_that, {birds, {INFL_v, {birds, {v_swim:_θ:_pres, swim_ø}}}}}}}}}}}}}

INT/EXT: {C, {birds, {INFL_v, {instinctively_v, {birds, {v_fly:_θ:_pres, {fly_θ, {birds, {C_rel_that, {birds, {INFL_v, {birds, {v_swim:_θ:_pres, swim_ø}}}}}}}}}}}}}

Initial Spellout: birds instinctively 3pl pres fly birds that 3pl pres swim

Spellout: birds instinctively fly birds that swim

Error: inconsistent spellout

Initial Spellout: birds 3pl pres fly birds that 3pl pres swim instinctively

Spellout: birds fly birds that swim instinctively

Error: inconsistent spellout

WS 1: {v_swim:_θ:_pres, swim_ø} INFL_v instinctively_v fly_θ v_fly:_θ:_pres INFL_v C_rel_that birds

WS 9: {birds, {INFL_v, {birds, {v_fly:_θ:_pres, {fly_θ, {birds, {C_rel_that, {birds, {INFL_v, {birds, {v_swim:_θ:_pres, swim_ø}}}}}}}}}}} instinctively_v

WS 1: {v_swim:_θ:_pres, swim_ø} INFL_v instinctively_v fly_θ v_fly:_θ:_pres INFL_v C_rel_that birds

WS 7: {{fly_θ, {birds, {C_rel_that, {birds, {INFL_v, {birds, {v_swim:_θ:_pres, swim_ø}}}}}}},v_fly:_θ:_pres} birds instinctively_v INFL_v

WS fail: WS θS 0 < θR 1

WS 1: {v_swim:_θ:_pres, swim_ø} INFL_v instinctively_v fly_θ v_fly:_θ:_pres INFL_v C_rel_that birds

WS 6: {fly_θ, birds} {birds, {C_rel_that, {birds, {INFL_v, {birds, {v_swim:_θ:_pres, swim_ø}}}}}} instinctively_v v_fly:_θ:_pres INFL_v

WS 7: {v_fly:_θ:_pres, {fly_θ, birds}} {birds, {C_rel_that, {birds, {INFL_v, {birds, {v_swim:_θ:_pres, swim_ø}}}}}} instinctively_v INFL_v

WS 8: {{birds, {C_rel_that, {birds, {INFL_v, {birds, {v_swim:_θ:_pres, swim_ø}}}}}}, {v_fly:_θ:_pres, {fly_θ, birds}}} instinctively_v INFL_v

WS 9: {instinctively_v, {{birds, {C_rel_that, {birds, {INFL_v, {birds, {v_swim:_θ:_pres, swim_ø}}}}}}, {v_fly:_θ:_pres, {fly_θ, birds}}}} INFL_v

WS 10: {{birds, {C_rel_that, {birds, {INFL_v, {birds, {v_swim:_θ:_pres, swim_ø}}}}}}, {INFL_v, {instinctively_v, {{birds, {C_rel_that, {birds, {INFL_v, {birds, {v_swim:_θ:_pres, swim_ø}}}}}}, {v_fly:_θ:_pres, {fly_θ, birds}}}}}}

Final WS: {C, {{birds, {C_rel_that, {birds, {INFL_v, {birds, {v_swim:_θ:_pres, swim_ø}}}}}}, {INFL_v, {instinctively_v, {{birds, {C_rel_that, {birds, {INFL_v, {birds, {v_swim:_θ:_pres, swim_ø}}}}}}, {v_fly:_θ:_pres, {fly_θ, birds}}}}}}}

INT/EXT: {C, {{birds, {C_rel_that, {birds, {INFL_v, {birds, {v_swim:_θ:_pres, swim_ø}}}}}}, {INFL_v, {instinctively_v, {{birds,{C_rel_that:,{birds,{INFL_v:,{birds,{v_swim:_θ:_pres:,swim_ø:}}}}}}, {v_fly:_θ:_pres, {fly_θ, birds}}}}}}}

Initial Spellout: birds that 3pl pres swim instinctively 3pl pres fly birds

Spellout: birds that swim instinctively fly birds

Error: inconsistent spellout

Initial Spellout: birds that 3pl pres swim 3pl pres fly birds instinctively

Spellout: birds that swim fly birds instinctively

Error: inconsistent spellout

WS 1: {v_swim:_θ:_pres, swim_ø} INFL_v instinctively_v fly_θ v_fly:_θ:_pres INFL_v C_rel_that birds

WS 9: {{birds, {C_rel_that, {birds, {INFL_v, {birds, {v_swim:_θ:_pres, swim_ø}}}}}}, {INFL_v, {{birds, {C_rel_that, {birds, {INFL_v, {birds, {v_swim:_θ:_pres, swim_ø}}}}}}, {v_fly:_θ:_pres, {fly_θ, birds}}}}} instinctively_v

WS 1: {v_swim:_θ:_pres, swim_ø} INFL_v instinctively_v fly_θ v_fly:_θ:_pres INFL_v C_rel_that birds

WS 7: {{fly_θ, birds},v_fly:_θ:_pres} {birds, {C_rel_that, {birds, {INFL_v, {birds, {v_swim:_θ:_pres, swim_ø}}}}}} instinctively_v INFL_v

WS fail: WS θS 0 < θR 1

WS 1: {v_swim:_θ:_pres, swim_ø} INFL_v instinctively_v fly_θ v_fly:_θ:_pres INFL_v C_rel_that birds

WS 6: {v_fly:_θ:_pres, fly_θ} {birds, {C_rel_that, {birds, {INFL_v, {birds, {v_swim:_θ:_pres, swim_ø}}}}}} birds instinctively_v INFL_v

WS fail: WS θS 1 < θR 2

WS 1: {v_swim:_θ:_pres, swim_ø} INFL_v instinctively_v fly_θ v_fly:_θ:_pres INFL_v C_rel_that birds

WS 6: {fly_θ,v_fly:_θ:_pres} {birds, {C_rel_that, {birds, {INFL_v, {birds, {v_swim:_θ:_pres, swim_ø}}}}}} birds instinctively_v INFL_v

WS fail: WS θS 0 < θR 2

WS 1: {v_swim:_θ:_pres, swim_ø} INFL_v instinctively_v fly_θ v_fly:_θ:_pres INFL_v C_rel_that birds

WS 4: {instinctively_v, {birds, {v_swim:_θ:_pres, swim_ø}}} birds INFL_v fly_θ v_fly:_θ:_pres INFL_v C_rel_that

WS 5: {birds, {INFL_v, {instinctively_v, {birds, {v_swim:_θ:_pres, swim_ø}}}}} birds fly_θ v_fly:_θ:_pres INFL_v C_rel_that

WS 6: {fly_θ,v_fly:_θ:_pres} {birds, {INFL_v, {instinctively_v, {birds, {v_swim:_θ:_pres, swim_ø}}}}} birds INFL_v C_rel_that

WS fail: WS θS 0 < θR 2

WS 1: {v_swim:_θ:_pres, swim_ø} INFL_v instinctively_v fly_θ v_fly:_θ:_pres INFL_v C_rel_that birds

WS 6: {birds, {C_rel_that, {birds, {INFL_v, {instinctively_v, {birds, {v_swim:_θ:_pres, swim_ø}}}}}}} birds fly_θ v_fly:_θ:_pres INFL_v

WS 7: {fly_θ, {birds, {C_rel_that, {birds, {INFL_v, {instinctively_v, {birds, {v_swim:_θ:_pres, swim_ø}}}}}}}} birds v_fly:_θ:_pres INFL_v

WS 8: {v_fly:_θ:_pres, {fly_θ, {birds, {C_rel_that, {birds, {INFL_v, {instinctively_v, {birds, {v_swim:_θ:_pres, swim_ø}}}}}}}}} birds INFL_v

WS 9: {birds, {v_fly:_θ:_pres, {fly_θ, {birds, {C_rel_that, {birds, {INFL_v, {instinctively_v, {birds, {v_swim:_θ:_pres, swim_ø}}}}}}}}}} INFL_v

WS 10: {birds, {INFL_v, {birds, {v_fly:_θ:_pres, {fly_θ, {birds, {C_rel_that, {birds, {INFL_v, {instinctively_v, {birds, {v_swim:_θ:_pres, swim_ø}}}}}}}}}}}}

Final WS: {C, {birds, {INFL_v, {birds, {v_fly:_θ:_pres, {fly_θ, {birds, {C_rel_that, {birds, {INFL_v, {instinctively_v, {birds, {v_swim:_θ:_pres, swim_ø}}}}}}}}}}}}}

INT/EXT: {C, {birds, {INFL_v, {birds, {v_fly:_θ:_pres, {fly_θ, {birds, {C_rel_that, {birds, {INFL_v, {instinctively_v, {birds, {v_swim:_θ:_pres, swim_ø}}}}}}}}}}}}}

Initial Spellout: birds 3pl pres fly birds that instinctively 3pl pres swim

Spellout: birds fly birds that instinctively swim

Error: inconsistent spellout

Initial Spellout: birds 3pl pres fly birds that 3pl pres swim instinctively

Spellout: birds fly birds that swim instinctively

Error: inconsistent spellout

WS 1: {v_swim:_θ:_pres, swim_ø} INFL_v instinctively_v fly_θ v_fly:_θ:_pres INFL_v C_rel_that birds

WS 8: {{fly_θ, {birds, {C_rel_that, {birds, {INFL_v, {instinctively_v, {birds, {v_swim:_θ:_pres, swim_ø}}}}}}}},v_fly:_θ:_pres} birds INFL_v

WS fail: WS θS 0 < θR 1

WS 1: {v_swim:_θ:_pres, swim_ø} INFL_v instinctively_v fly_θ v_fly:_θ:_pres INFL_v C_rel_that birds

WS 7: {fly_θ, birds} {birds, {C_rel_that, {birds, {INFL_v, {instinctively_v, {birds, {v_swim:_θ:_pres, swim_ø}}}}}}} v_fly:_θ:_pres INFL_v

WS 8: {v_fly:_θ:_pres, {fly_θ, birds}} {birds, {C_rel_that, {birds, {INFL_v, {instinctively_v, {birds, {v_swim:_θ:_pres, swim_ø}}}}}}} INFL_v

WS 9: {{birds, {C_rel_that, {birds, {INFL_v, {instinctively_v, {birds, {v_swim:_θ:_pres, swim_ø}}}}}}}, {v_fly:_θ:_pres, {fly_θ, birds}}} INFL_v

WS 10: {{birds, {C_rel_that, {birds, {INFL_v, {instinctively_v, {birds, {v_swim:_θ:_pres, swim_ø}}}}}}}, {INFL_v, {{birds, {C_rel_that, {birds, {INFL_v, {instinctively_v, {birds, {v_swim:_θ:_pres, swim_ø}}}}}}}, {v_fly:_θ:_pres, {fly_θ, birds}}}}}

Final WS: {C, {{birds, {C_rel_that, {birds, {INFL_v, {instinctively_v, {birds, {v_swim:_θ:_pres, swim_ø}}}}}}}, {INFL_v, {{birds, {C_rel_that, {birds, {INFL_v, {instinctively_v, {birds, {v_swim:_θ:_pres, swim_ø}}}}}}}, {v_fly:_θ:_pres, {fly_θ, birds}}}}}}

INT/EXT: {C, {{birds, {C_rel_that, {birds, {INFL_v, {instinctively_v, {birds, {v_swim:_θ:_pres, swim_ø}}}}}}}, {INFL_v, {{birds,{C_rel_that:,{birds,{INFL_v:,{instinctively_v:,{birds,{v_swim:_θ:_pres:,swim_ø:}}}}}}}, {v_fly:_θ:_pres, {fly_θ, birds}}}}}}

Initial Spellout: birds that instinctively 3pl pres swim 3pl pres fly birds

Spellout: birds that instinctively swim fly birds

Error: inconsistent spellout

Initial Spellout: birds that 3pl pres swim instinctively 3pl pres fly birds

Spellout: birds that swim instinctively fly birds

Error: inconsistent spellout

WS 1: {v_swim:_θ:_pres, swim_ø} INFL_v instinctively_v fly_θ v_fly:_θ:_pres INFL_v C_rel_that birds

WS 8: {{fly_θ, birds},v_fly:_θ:_pres} {birds, {C_rel_that, {birds, {INFL_v, {instinctively_v, {birds, {v_swim:_θ:_pres, swim_ø}}}}}}} INFL_v

WS fail: WS θS 0 < θR 1

WS 1: {v_swim:_θ:_pres, swim_ø} INFL_v instinctively_v fly_θ v_fly:_θ:_pres INFL_v C_rel_that birds

WS 7: {v_fly:_θ:_pres, fly_θ} {birds, {C_rel_that, {birds, {INFL_v, {instinctively_v, {birds, {v_swim:_θ:_pres, swim_ø}}}}}}} birds INFL_v

WS fail: WS θS 1 < θR 2

WS 1: {v_swim:_θ:_pres, swim_ø} INFL_v instinctively_v fly_θ v_fly:_θ:_pres INFL_v C_rel_that birds

WS 7: {fly_θ,v_fly:_θ:_pres} {birds, {C_rel_that, {birds, {INFL_v, {instinctively_v, {birds, {v_swim:_θ:_pres, swim_ø}}}}}}} birds INFL_v

WS fail: WS θS 0 < θR 2

WS 1: {v_swim:_θ:_pres, swim_ø} INFL_v instinctively_v fly_θ v_fly:_θ:_pres INFL_v C_rel_that birds

WS 5: {{instinctively_v, {birds, {v_swim:_θ:_pres, swim_ø}}},fly_θ} birds INFL_v v_fly:_θ:_pres INFL_v C_rel_that

WS fail: WS θS 1 < θR 2

WS 1: {v_swim:_θ:_pres, swim_ø} INFL_v instinctively_v fly_θ v_fly:_θ:_pres INFL_v C_rel_that birds

WS 5: {fly_θ,v_fly:_θ:_pres} {instinctively_v, {birds, {v_swim:_θ:_pres, swim_ø}}} birds INFL_v INFL_v C_rel_that

WS fail: WS θS 0 < θR 2

WS 1: {v_swim:_θ:_pres, swim_ø} INFL_v instinctively_v fly_θ v_fly:_θ:_pres INFL_v C_rel_that birds

WS 4: {v_fly:_θ:_pres, fly_θ} birds {birds, {v_swim:_θ:_pres, swim_ø}} INFL_v instinctively_v INFL_v C_rel_that

WS fail: WS θS 1 < θR 2

WS 1: {v_swim:_θ:_pres, swim_ø} INFL_v instinctively_v fly_θ v_fly:_θ:_pres INFL_v C_rel_that birds

WS 4: {{birds, {v_swim:_θ:_pres, swim_ø}},fly_θ} birds INFL_v instinctively_v v_fly:_θ:_pres INFL_v C_rel_that

WS fail: WS θS 1 < θR 2

WS 1: {v_swim:_θ:_pres, swim_ø} INFL_v instinctively_v fly_θ v_fly:_θ:_pres INFL_v C_rel_that birds

WS 4: {fly_θ,v_fly:_θ:_pres} birds {birds, {v_swim:_θ:_pres, swim_ø}} INFL_v instinctively_v INFL_v C_rel_that

WS fail: WS θS 0 < θR 2

WS 1: {v_swim:_θ:_pres, swim_ø} INFL_v instinctively_v fly_θ v_fly:_θ:_pres INFL_v C_rel_that birds

WS 3: {birds, {INFL_v, {birds, {v_swim:_θ:_pres, swim_ø}}}} instinctively_v fly_θ v_fly:_θ:_pres INFL_v C_rel_that

WS 4: {birds, {C_rel_that, {birds, {INFL_v, {birds, {v_swim:_θ:_pres, swim_ø}}}}}} instinctively_v fly_θ v_fly:_θ:_pres INFL_v

WS 5: {birds, {C_rel_that, {birds, {INFL_v, {birds, {v_swim:_θ:_pres, swim_ø}}}}}} {birds, {C_rel_that, {birds, {INFL_v, {birds, {v_swim:_θ:_pres, swim_ø}}}}}} instinctively_v fly_θ v_fly:_θ:_pres INFL_v

WS 6: {fly_θ, {birds, {C_rel_that, {birds, {INFL_v, {birds, {v_swim:_θ:_pres, swim_ø}}}}}}} {birds, {C_rel_that, {birds, {INFL_v, {birds, {v_swim:_θ:_pres, swim_ø}}}}}} instinctively_v v_fly:_θ:_pres INFL_v

WS 7: {v_fly:_θ:_pres, {fly_θ, {birds, {C_rel_that, {birds, {INFL_v, {birds, {v_swim:_θ:_pres, swim_ø}}}}}}}} {birds, {C_rel_that, {birds, {INFL_v, {birds, {v_swim:_θ:_pres, swim_ø}}}}}} instinctively_v INFL_v

WS 8: {{birds, {C_rel_that, {birds, {INFL_v, {birds, {v_swim:_θ:_pres, swim_ø}}}}}}, {v_fly:_θ:_pres, {fly_θ, {birds, {C_rel_that, {birds, {INFL_v, {birds, {v_swim:_θ:_pres, swim_ø}}}}}}}}} instinctively_v INFL_v

WS 9: {instinctively_v, {{birds, {C_rel_that, {birds, {INFL_v, {birds, {v_swim:_θ:_pres, swim_ø}}}}}}, {v_fly:_θ:_pres, {fly_θ, {birds, {C_rel_that, {birds, {INFL_v, {birds, {v_swim:_θ:_pres, swim_ø}}}}}}}}}} INFL_v

Initial Spellout: birds that 3pl pres swim instinctively 3pl pres fly birds that 3pl pres swim

Spellout: birds that swim instinctively fly birds that swim

Error: inconsistent spellout

Initial Spellout: birds that 3pl pres swim 3pl pres fly birds that 3pl pres swim instinctively

Spellout: birds that swim fly birds that swim instinctively

Error: inconsistent spellout

WS 1: {v_swim:_θ:_pres, swim_ø} INFL_v instinctively_v fly_θ v_fly:_θ:_pres INFL_v C_rel_that birds

WS 7: {{fly_θ, {birds, {C_rel_that, {birds, {INFL_v, {birds, {v_swim:_θ:_pres, swim_ø}}}}}}},v_fly:_θ:_pres} {birds, {C_rel_that, {birds, {INFL_v, {birds, {v_swim:_θ:_pres, swim_ø}}}}}} instinctively_v INFL_v

WS fail: WS θS 0 < θR 1

WS 1: {v_swim:_θ:_pres, swim_ø} INFL_v instinctively_v fly_θ v_fly:_θ:_pres INFL_v C_rel_that birds

Initial Spellout: birds that 3pl pres swim instinctively 3pl pres fly birds that 3pl pres swim

Spellout: birds that swim instinctively fly birds that swim

Error: inconsistent spellout

Initial Spellout: birds that 3pl pres swim 3pl pres fly birds that 3pl pres swim instinctively

Spellout: birds that swim fly birds that swim instinctively

Error: inconsistent spellout

WS 1: {v_swim:_θ:_pres, swim_ø} INFL_v instinctively_v fly_θ v_fly:_θ:_pres INFL_v C_rel_that birds

WS fail: WS θS 0 < θR 1

WS 1: {v_swim:_θ:_pres, swim_ø} INFL_v instinctively_v fly_θ v_fly:_θ:_pres INFL_v C_rel_that birds

WS 6: {v_fly:_θ:_pres, fly_θ} {birds, {C_rel_that, {birds, {INFL_v, {birds, {v_swim:_θ:_pres, swim_ø}}}}}} {birds, {C_rel_that, {birds, {INFL_v, {birds, {v_swim:_θ:_pres, swim_ø}}}}}} instinctively_v INFL_v

WS fail: WS θS 1 < θR 2

WS 1: {v_swim:_θ:_pres, swim_ø} INFL_v instinctively_v fly_θ v_fly:_θ:_pres INFL_v C_rel_that birds

WS 6: {fly_θ,v_fly:_θ:_pres} {birds, {C_rel_that, {birds, {INFL_v, {birds, {v_swim:_θ:_pres, swim_ø}}}}}} {birds, {C_rel_that, {birds, {INFL_v, {birds, {v_swim:_θ:_pres, swim_ø}}}}}} instinctively_v INFL_v

WS fail: WS θS 0 < θR 2

WS 1: {v_swim:_θ:_pres, swim_ø} INFL_v instinctively_v fly_θ v_fly:_θ:_pres INFL_v C_rel_that birds

WS 5: birds {birds, {C_rel_that, {birds, {INFL_v, {birds, {v_swim:_θ:_pres, swim_ø}}}}}} instinctively_v fly_θ v_fly:_θ:_pres INFL_v