[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):
Estamosestudiando
be.1PL.PRESstudy.PRESP
We are studying

Help: blue = parse inside. Abbr.: WS: Workspace; Initial WS: initial heads for Merge after LEX lookup.
×

Words: estamos estudiando
Initial WS 1: estudiarø:presp vestudiar:θ vv:prog:pres INFLv:1pl
WS 1: {vestudiar:θ, estudiarø:presp} vv:prog:pres INFLv:1pl
WS 2: {pro_, {vestudiar:θ, estudiarø:presp}} vv:prog:pres INFLv:1pl
WS 3: {vv:prog:pres, {pro_, {vestudiar:θ, estudiarø:presp}}} INFLv:1pl
WS 4: {INFLv:1pl, {vv:prog:pres, {pro_, {vestudiar:θ, estudiarø:presp}}}} 
Final WS: {C, {INFLv:1pl, {vv:prog:pres, {pro_, {vestudiar:θ, estudiarø:presp}}}}} 
INT/EXT: {C, {INFLv:1pl, {vv:prog:pres, {pro_, {vestudiar:θ, estudiarø:presp}}}}}
EXT: 1pl pres estar presp estudiar
Spellout: estamos estudiando
Parse found: 1pl pres estar presp estudiar