WS 1: {vwin:θ:to, winnull} INFLv tryINFL vtry:θ:pst INFLv John
WS 2: {John, {vwin:θ:to, winnull}} INFLv tryINFL vtry:θ:pst INFLv
WS 3: John {John, {vwin:θ:to, winnull}} INFLv tryINFL vtry:θ:pst INFLv
WS 4: {John, {INFLv, {John, {vwin:θ:to, winnull}}}} John tryINFL vtry:θ:pst INFLv
WS 5: {tryINFL, {John, {INFLv, {John, {vwin:θ:to, winnull}}}}} John vtry:θ:pst INFLv
WS 6: {vtry:θ:pst, {tryINFL, {John, {INFLv, {John, {vwin:θ:to, winnull}}}}}} John INFLv
WS 7: {John, {vtry:θ:pst, {tryINFL, {John, {INFLv, {John, {vwin:θ:to, winnull}}}}}}} INFLv
WS 8: {John, {INFLv, {John, {vtry:θ:pst, {tryINFL, {John, {INFLv, {John, {vwin:θ:to, winnull}}}}}}}}}
Final WS: {C, {John, {INFLv, {John, {vtry:θ:pst, {tryINFL, {John, {INFLv, {John, {vwin:θ:to, winnull}}}}}}}}}}