WS 1: 2×John seeθ vsee:θ:pres INFLv:3sg
WS 2: {seeθ, John} John vsee:θ:pres INFLv:3sg
WS 3: {vsee:θ:pres, {seeθ, John}} John INFLv:3sg
WS 4: {John, {vsee:θ:pres, {seeθ, John}}} INFLv:3sg
WS 5: {John, {INFLv:3sg, {John, {vsee:θ:pres, {seeθ, John}}}}}
Final WS: {C, {John, {INFLv:3sg, {John, {vsee:θ:pres, {seeθ, John}}}}}}