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

Words: a train arrive
Initial WS 1: arriveθ varrive:pres INFLv traina
WS 1: {arriveθ, traina} varrive:pres INFLv
WS 2: {varrive:pres, {arriveθ, traina}} INFLv
WS 3: {traina, {INFLv, {varrive:pres, {arriveθ, traina}}}} 
Final WS: {C, {traina, {INFLv, {varrive:pres, {arriveθ, traina}}}}} 
INT/EXT: {C, {traina, {INFLv, {varrive:pres, {arriveθ, train:aa}}}}}
Initial Spellout: a train 3sg pres arrive
Spellout: a train arrives
Error: inconsistent spellout
Initial WS 2: arriveθ varrive INFLv traina
WS 1: {arriveθ, traina} varrive INFLv
WS 2: {varrive, {arriveθ, traina}} INFLv
WS 3: {traina, {INFLv, {varrive, {arriveθ, traina}}}} 
Final WS: {C, {traina, {INFLv, {varrive, {arriveθ, traina}}}}} 
INT/EXT: {C, {traina, {INFLv, {varrive, {arriveθ, train:aa}}}}}
Initial Spellout: a train 3sg arrive
Spellout: a train 3sg arrive
Error: inconsistent spellout
Initial WS 3: arriveθ varrive:pres INFLv trainθ vtrain:θ:pres INFLv
Error: Word actions [addFType(det,a,type(θRnoun))] failed to apply!
Initial WS 4: arriveθ varrive INFLv trainθ vtrain:θ:pres INFLv
Error: Word actions [addFType(det,a,type(θRnoun))] failed to apply!
Initial WS 5: arriveθ varrive:pres INFLv trainθ vtrain:θ INFLv
Error: Word actions [addFType(det,a,type(θRnoun))] failed to apply!
Initial WS 6: arriveθ varrive INFLv trainθ vtrain:θ INFLv
Error: Word actions [addFType(det,a,type(θRnoun))] failed to apply!