Too many 'verified's
Merge branch 'master' of https://github.com/daoudclarke/probabilistic-semantics-paper
Refer to new model as 'stochastic semantics'