[Right triangle ⏵ may be expanded, down triangle ⏷ to close. Button 
= tree pop-up. × = close pop-up.]
Initial WS 1: sawθ vsaw:θ:pst:ext(do) Mary INFLv who
WS 1: {sawθ, Mary} vsaw:θ:pst:ext(do) INFLv who
WS 2: {vsaw:θ:pst:ext(do), {sawθ, Mary}} INFLv who
WS 3: {who, {vsaw:θ:pst:ext(do), {sawθ, Mary}}} INFLv
WS 4: {INFLv, {who, {vsaw:θ:pst:ext(do), {sawθ, Mary}}}}
Final WS: {CQ:aux(null,pst,saw):left(who), {INFLv, {who, {vsaw:θ:pst:ext(do), {sawθ, Mary}}}}}
INT/EXT: {C
Q:aux(null,pst,saw):left(who), {INFL
v, {
who, {v
saw:θ:pst:ext(do), {saw
θ, Mary}}}}}
EXT: who null pst saw →→ 3sg pst saw Mary
Spellout: who 3sg pst do saw Mary
Spellout: who did saw Mary
Blocked: inconsistent with input!
WS 1: {sawθ, Mary} vsaw:θ:pst:ext(do) INFLv who
WS 2: {vsaw:θ:pst:ext(do), {sawθ, Mary}} INFLv who [gray]
WS 3: {Mary, {vsaw:θ:pst:ext(do), {sawθ, Mary}}} INFLv who
WS 4: {INFLv, {Mary, {vsaw:θ:pst:ext(do), {sawθ, Mary}}}} who
WS 1: {sawθ, who} vsaw:θ:pst:ext(do) Mary INFLv
WS 2: {vsaw:θ:pst:ext(do):box(who), {sawθ, who}} Mary INFLv
WS 3: {Mary, {vsaw:θ:pst:ext(do):box(who), {sawθ, who}}} INFLv
WS 4: {INFLv, {Mary, {vsaw:θ:pst:ext(do):box(who), {sawθ, who}}}}
Final WS: {CQ:aux(null,pst,saw):left(who), {INFLv, {Mary, {vsaw:θ:pst:ext(do):box(who), {sawθ, who}}}}}
INT/EXT: {C
Q:aux(null,pst,saw):left(who), {INFL
v, {Mary, {v
saw:θ:pst:ext(do):box(who), {saw
θ,
who}}}}}
EXT: who null pst saw →→ Mary 3sg pst saw
Spellout: who 3sg pst do Mary saw
Spellout: who did Mary saw
Parse found: who null pst saw →→ Mary 3sg pst saw
WS 1: {sawθ, who} vsaw:θ:pst:ext(do) Mary INFLv
WS 2: {vsaw:θ:pst:ext(do):box(who), {sawθ, who}} Mary INFLv [gray]
WS 3: {who, {vsaw:θ:pst:ext(do):box(who), {sawθ, who}}} Mary INFLv
WS 4: {INFLv, {who, {vsaw:θ:pst:ext(do):box(who), {sawθ, who}}}} Mary
WS 1: {Mary, who} sawθ vsaw:θ:pst:ext(do) INFLv
WS 2: {sawθ, {Mary, who}} vsaw:θ:pst:ext(do) INFLv
WS 3: {vsaw:θ:pst:ext(do):box(who), {sawθ, {Mary, who}}} INFLv
WS 4: {{Mary, who}, {vsaw:θ:pst:ext(do):box(who), {sawθ, {Mary, who}}}} INFLv
WS 5: {INFLv, {{Mary, who}, {vsaw:θ:pst:ext(do):box(who), {sawθ, {Mary, who}}}}}
Final WS: {CQ:aux(null,pst,saw):left(who), {INFLv, {{Mary, who}, {vsaw:θ:pst:ext(do):box(who), {sawθ, {Mary, who}}}}}}
INT/EXT: {C
Q:aux(null,pst,saw):left(who), {INFL
v, {
{Mary,
who}, {v
saw:θ:pst:ext(do):box(who), {saw
θ,
{Mary,
who}}}}}}
EXT: who null pst saw →→ {Mary,[and],[]} 3sg pst saw {Mary,[and],[]}
Spellout: who 3sg pst do {Mary,[and],[]} saw {Mary,[and],[]}
Blocked: EXT inconsistent!
Blocked: inconsistent with input!
= tree pop-up. × = close pop-up.]