Agenda Relevance: A Study in Formal Pragmatics