 Bi-OT can also account for Horn’s division of pragmatic labor or M-implicatures, as they are alternatively sometimes called after Levinson (2000). From this division of pragmatic labor it follows, according to Horn, that while (morphologically) unmarked  expressions typically get an unmarked, or stereotypical interpretation via Grice’s maxim of Relation,  marked expressions—being morphologically complex and less lexicalised—tend to receive a marked, non-stereotypical, interpretation. Horn (1984) claimed that this follows from the interaction between both Gricean submaxims of Quantity, and the maxims of Relation and Manner, and that for the interpretation of marked expressions it is crucial that an alternative unmarked expression is available as well. To illustrate, consider the following well-known example: