Presupposition and Implicature in Compositional Semantics | EKB DL