Entailment and Presupposition in Semantics