Minor edits
Merge branch 'master' of https://github.com/daoudclarke/probabilistic-semantics-paper

Conflicts:
	probsem.tex