Presupposition and Implicature in Compositional Semantics