Zaslat SMS: Formal pragmatics: semantics, pragmatics, presupposition, and focus