[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.

Variants: Él le gusta a ella / Le gusta él a ella / Le gusta a ella él
Agreement: me gusta el libro / me gustan los libros
Simpler: Le gusta él

Dative applicative verb (gustar):

A ella le gusta él

DAT her.SG.F CL.SG.DAT please.SG.PRES he.SG.NOM

Agreement (MS):

Me gusta el libro / Me gustan los libros

me.SG.DAT please.SG.PRES the.SG.M book.SG.M / me.SG.DAT please.PL.PRES the.PL.M book.PL.M

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: a ella le gusta él

Initial WS 1: él appl_θ gustar_appl:_θ v_gustar:_pres INFL_v:_3sg le ella_a

Initial WS 2: él appl_θ:_le gustar_appl:_θ v_gustar:_pres INFL_v:_3sg ella_a

WS 1: {appl_θ:_le, pro_:_{3sg-_32868}} él gustar_appl:_θ v_gustar:_pres INFL_v:_3sg ella_a

WS 2: {gustar_appl:_θ, {appl_θ:_le, pro_:_{3sg-_32868}}} él v_gustar:_pres INFL_v:_3sg ella_a

WS 3: {él, {gustar_appl:_θ, {appl_θ:_le, pro_:_{3sg-_32868}}}} v_gustar:_pres INFL_v:_3sg ella_a

WS 4: {v_gustar:_pres, {él, {gustar_appl:_θ, {appl_θ:_le, pro_:_{3sg-_532}}}}} INFL_v:_3sg ella_a

WS 5: {INFL_v:_3sg, {v_gustar:_pres, {él, {gustar_appl:_θ, {appl_θ:_le, pro_:_{3sg-_532}}}}}} ella_a

WS 1: {appl_θ:_le, pro_:_{3sg-_32868}} él gustar_appl:_θ v_gustar:_pres INFL_v:_3sg ella_a

WS 2: {gustar_appl:_θ, {appl_θ:_le, pro_:_{3sg-_32868}}} él v_gustar:_pres INFL_v:_3sg ella_a [gray]

WS 3: {ella_a, {gustar_appl:_θ, {appl_θ:_le, pro_:_{3sg-_532}}}} él v_gustar:_pres INFL_v:_3sg

WS 4: {v_gustar:_pres, {ella_a, {gustar_appl:_θ, {appl_θ:_le, pro_:_{3sg-_532}}}}} él INFL_v:_3sg

WS 5: {INFL_v:_3sg, {v_gustar:_pres, {ella_a, {gustar_appl:_θ, {appl_θ:_le, pro_:_{3sg-_532}}}}}} él

WS 1: {appl_θ:_le, pro_:_{3sg-_32868}} él gustar_appl:_θ v_gustar:_pres INFL_v:_3sg ella_a

WS 2: {gustar_appl:_θ, {appl_θ:_le, pro_:_{3sg-_32868}}} él v_gustar:_pres INFL_v:_3sg ella_a [gray]

WS 3: {él, ella_a} {gustar_appl:_θ, {appl_θ:_le, pro_:_{3sg-_532}}} v_gustar:_pres INFL_v:_3sg

WS 4: {{él, ella_a}, {gustar_appl:_θ, {appl_θ:_le, pro_:_{3sg-_532}}}} v_gustar:_pres INFL_v:_3sg

WS 5: {v_gustar:_pres, {{él, ella_a}, {gustar_appl:_θ, {appl_θ:_le, pro_:_{3sg-_532}}}}} INFL_v:_3sg

WS 6: {INFL_v:_3sg, {v_gustar:_pres, {{él, ella_a}, {gustar_appl:_θ, {appl_θ:_le, pro_:_{3sg-_532}}}}}}

Final WS: {C, {INFL_v:_3sg, {v_gustar:_pres, {{él, ella_a}, {gustar_appl:_θ, {appl_θ:_le, pro_:_{3sg-_532}}}}}}}

INT/EXT: {C, {INFL_v:_3sg, {v_gustar:_pres, {{él, ella_a}, {gustar_appl:_θ, {appl_θ:_le, pro_:_{3sg-_532}}}}}}}

EXT: {él,y,[a,ella]} 3sg-m pres gustar cl_le

Spellout: {él,y,[a,ella]} le gusta

Blocked: inconsistent with input!

EXT: 3sg-m pres gustar {él,y,[a,ella]} cl_le

Spellout: le gusta {él,y,[a,ella]}

Blocked: inconsistent with input!

WS 1: {appl_θ:_le, pro_:_{3sg-_32868}} él gustar_appl:_θ v_gustar:_pres INFL_v:_3sg ella_a

WS 2: {él, ella_a} {appl_θ:_le, pro_:_{3sg-_532}} gustar_appl:_θ v_gustar:_pres INFL_v:_3sg

WS 1: {appl_θ:_le, él} gustar_appl:_θ v_gustar:_pres INFL_v:_3sg ella_a

WS 2: {gustar_appl:_θ, {appl_θ:_le, él}} v_gustar:_pres INFL_v:_3sg ella_a

WS 3: {ella_a, {gustar_appl:_θ, {appl_θ:_le, él}}} v_gustar:_pres INFL_v:_3sg

WS 4: {v_gustar:_pres, {ella_a, {gustar_appl:_θ, {appl_θ:_le, él}}}} INFL_v:_3sg

WS 5: {INFL_v:_3sg, {v_gustar:_pres, {ella_a, {gustar_appl:_θ, {appl_θ:_le, él}}}}}

Final WS: {C, {INFL_v:_3sg, {v_gustar:_pres, {ella_a, {gustar_appl:_θ, {appl_θ:_le, él}}}}}}

INT/EXT: {C, {INFL_v:_3sg, {v_gustar:_pres, {ella_a, {gustar_appl:_θ, {appl_θ:_le, él}}}}}}

Error: Case: object "él" not DAT

WS 1: {appl_θ:_le, ella_a} él gustar_appl:_θ v_gustar:_pres INFL_v:_3sg

WS 2: {gustar_appl:_θ, {appl_θ:_le, ella_a}} él v_gustar:_pres INFL_v:_3sg

WS 3: {él, {gustar_appl:_θ, {appl_θ:_le, ella_a}}} v_gustar:_pres INFL_v:_3sg

WS 4: {v_gustar:_pres, {él, {gustar_appl:_θ, {appl_θ:_le, ella_a}}}} INFL_v:_3sg

WS 5: {INFL_v:_3sg, {v_gustar:_pres, {él, {gustar_appl:_θ, {appl_θ:_le, ella_a}}}}}

Final WS: {C, {INFL_v:_3sg, {v_gustar:_pres, {él, {gustar_appl:_θ, {appl_θ:_le, ella_a}}}}}}

INT/EXT: {C, {INFL_v:_3sg, {v_gustar:_pres, {él, {gustar_appl:_θ, {appl_θ:_le, ella_a}}}}}}

EXT: él 3sg-m pres gustar cl_le a ella

Spellout: él le gusta a ella

Blocked: inconsistent with input!

EXT: 3sg-m pres gustar él cl_le a ella

Spellout: le gusta él a ella

Blocked: inconsistent with input!

EXT: a ella 3sg-m pres gustar él cl_le

Spellout: a ella le gusta él

Parse found: a ella 3sg-m pres gustar él cl_le

WS 1: {él, ella_a} appl_θ:_le gustar_appl:_θ v_gustar:_pres INFL_v:_3sg

Me	gusta	el	libro		/		Me	gustan	los	libros
me.SG.DAT	please.SG.PRES	the.SG.M	book.SG.M		/		me.SG.DAT	please.PL.PRES	the.PL.M	book.PL.M