 Bi-OT accounts for classical Quantity implicatures. A convenient (though controversial) example is the ‘exactly’-interpretation of number terms. Let us assume, for the sake of example, that number terms semantically have an ‘at  least’-meaning.[1]  Still, we want to account for the intuition that the sentence “Three children came to the party” is normally interpreted as saying that exactly three children came to the party. One way to do this is to assume that the alternative expressions that the speaker could use are of the form “(At least) \(n\) children came to the party”, while the alternative interpretations for the hearer are of type \(i_n\) meaning that “Exactly \(n\) children came to the  party”.[2]  If we assume, again for the sake of example, that all relevant interpretations are considered equally likely and that it is already commonly assumed that some children came, but not more than four, the strongly optimal form-interpretation pairs can be read off the following table: