 This table correctly predicts that (1) is interpreted as saying that only John came. But now consider the disjunction (2). Intuitively, this answer should be interpreted as saying that either only John, or only Bill came. It is easy to see, however, that this is predicted only if ‘John came’ and ‘Bill came’ are not taken to be alternative forms. Bi-OT predicts that in case also ‘John came’ and ‘Bill came’ are taken to be alternatives, the disjunction is uninterpretable, because the specific interpretations \(i_j, i_b\), and \(i_{jb}\) all can be expressed better by other forms. In general, one can see that in case the semantic meanings of the alternative expressions are not linearly, but only partially ordered, the derivation of Quantity implicatures sketched above gives rise to partially wrong predictions.