Add section on handling ambiguity
Add back stuff from old version of paper
Add in old PRISM listing
Typeset in SV format for SGAI paper
Centre table
Restructure to talk about two models of probabilistic semantics, and change title accordingly
Move example to background section
Restructure monotonicity example. In fact monotonicity isn't really the correct term, so just talk about reversal of entailment.
Merge pull request #2 from daoudclarke/sgai_paper

Sgai paper draft