Small fixes to Probabilistic Montague Semantics

Made a few small changes to this section. Remains to add a brief
introductory statement about Montague Semantics.