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

Terminal: run. Derivation Graphs: (left-to-right) compact / full; (top-down) full / compact.

Spanish progressives (with estar):

María está comiendo

Mary be.3SG.PRES eat.PRESP

Mary is eating

Help: blue = parse inside. Abbr.: WS: Workspace; Initial WS: initial heads for Merge after LEX 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: María está comiendo

Initial WS 1: comer_ø:_presp v_comer:_θ v_v:_prog:_pres INFL_v:_3sg María

WS 1: {v_comer:_θ, comer_ø:_presp} v_v:_prog:_pres INFL_v:_3sg María

WS 2: {pro_, {v_comer:_θ, comer_ø:_presp}} v_v:_prog:_pres INFL_v:_3sg María

WS 3: {v_v:_prog:_pres, {pro_, {v_comer:_θ, comer_ø:_presp}}} INFL_v:_3sg María

WS 4: {INFL_v:_3sg, {v_v:_prog:_pres, {pro_, {v_comer:_θ, comer_ø:_presp}}}} María

WS 1: {v_comer:_θ, comer_ø:_presp} v_v:_prog:_pres INFL_v:_3sg María

WS 2: {María, {v_comer:_θ, comer_ø:_presp}} v_v:_prog:_pres INFL_v:_3sg

WS 3: {v_v:_prog:_pres, {María, {v_comer:_θ, comer_ø:_presp}}} INFL_v:_3sg

WS 4: {INFL_v:_3sg, {v_v:_prog:_pres, {María, {v_comer:_θ, comer_ø:_presp}}}}

Final WS: {C, {INFL_v:_3sg, {v_v:_prog:_pres, {María, {v_comer:_θ, comer_ø:_presp}}}}}

INT/EXT: {C, {INFL_v:_3sg, {v_v:_prog:_pres, {María, {v_comer:_θ, comer_ø:_presp}}}}}

EXT: María 3sg-f pres estar presp comer

Spellout: María está comiendo

Parse found: María 3sg-f pres estar presp comer

EXT: 3sg-f pres estar presp María comer

Blocked: inconsistent with input!

Initial WS 2: comer_θ:_presp v_comer:_θ v_v:_prog:_pres INFL_v:_3sg María

WS 1: {comer_θ:_presp, María} v_comer:_θ v_v:_prog:_pres INFL_v:_3sg

WS 2: {v_comer:_θ, {comer_θ:_presp, María}} v_v:_prog:_pres INFL_v:_3sg

WS 3: {pro_, {v_comer:_θ, {comer_θ:_presp, María}}} v_v:_prog:_pres INFL_v:_3sg

WS 4: {v_v:_prog:_pres, {pro_, {v_comer:_θ, {comer_θ:_presp, María}}}} INFL_v:_3sg

WS 5: {INFL_v:_3sg, {v_v:_prog:_pres, {pro_, {v_comer:_θ, {comer_θ:_presp, María}}}}}

Final WS: {C, {INFL_v:_3sg, {v_v:_prog:_pres, {pro_, {v_comer:_θ, {comer_θ:_presp, María}}}}}}

INT/EXT: {C, {INFL_v:_3sg, {v_v:_prog:_pres, {pro_, {v_comer:_θ, {comer_θ:_presp, María}}}}}}

EXT: 3sg pres estar presp comer María

Spellout: está comiendo María

Blocked: inconsistent with input!

WS 1: {comer_θ:_presp, María} v_comer:_θ v_v:_prog:_pres INFL_v:_3sg

WS 2: {v_comer:_θ, {comer_θ:_presp, María}} v_v:_prog:_pres INFL_v:_3sg [gray]

WS 3: {María, {v_comer:_θ, {comer_θ:_presp, María}}} v_v:_prog:_pres INFL_v:_3sg

WS 4: {v_v:_prog:_pres, {María, {v_comer:_θ, {comer_θ:_presp, María}}}} INFL_v:_3sg

WS 5: {INFL_v:_3sg, {v_v:_prog:_pres, {María, {v_comer:_θ, {comer_θ:_presp, María}}}}}

Final WS: {C, {INFL_v:_3sg, {v_v:_prog:_pres, {María, {v_comer:_θ, {comer_θ:_presp, María}}}}}}

INT/EXT: {C, {INFL_v:_3sg, {v_v:_prog:_pres, {María, {v_comer:_θ, {comer_θ:_presp, María}}}}}}

EXT: María 3sg-f pres estar presp comer María

Blocked: EXT inconsistent!

Blocked: inconsistent with input!

EXT: 3sg-f pres estar presp María comer María

Blocked: inconsistent with input!