Seol mar théacs é seo: Formal pragmatics: semantics, pragmatics, presupposition, and focus