 Optimality-Theory pragmatics (OT pragmatics, Blutner 2000; Blutner and Zeevat 2004; ) is another attempt at a computational modelling of discourse but unlike SDRT it makes use of a post-Gricean, intention-based account of discourse interpretation. The process of interpretation is captured in a set of pragmatic constraints. The pragmatic additions to the underdetermined output of syntax are governed by a rationality principle called an optimization procedure that is spelled out as a series of constraints. These constraints are ranked as to their strength and they are defeasible, that is, they can be violated (see Zeevat 2000, 2004). The resulting interpretation of an utterance is the outcome of the working of such constraints. OT pragmatics formalizes and extends the Gricean principles of cooperative communicative behaviour as found in Horn (1984) and Levinson (1995, 2000). For example, STRENGTH means preference for readings that are informationally stronger, CONSISTENCY means preference for interpretations that do not conflict with the extant context, FAITH-INT stands for ‘faithful interpretation’, that is interpreting the utterance without leaving out any aspect of what the speaker says. The ordering of these constraints is FAITH-INT, CONSISTENCY, STRENGTH. The interaction of such constraints, founded on Levinson’s heuristics, explains how the hearer arrives at the intended interpretation. At the same time, this model can be regarded as producing default, presumed interpretations. With respect to finding an antecedent for an anaphor, for example, the interaction of the constraints explains the general tendency to look for the referent in the immediately preceding discourse rather than in the more remote fragments or, rather than constructing a referent ad hoc. In other words, it explains the preference for binding over accommodation (van der Sandt 1992, 2012).