Removed some stuff about models in relation to stochastic semantics, and rewrote the beginning of the conclusion to talk about the two models