[syllogism]

This isn't often discussed in my field (NLP) -- thanks!

We usually use averaged perceptron though, which seems like it would make this hard to analyse.

[alextp]

The averaged perceptron is the one to which the proof applies :-)