 Suppose that John and Bill are the only relevant persons and that it is presupposed that somebody came to the party. In that case the table that illustrates bidirectional optimality reasoning looks as follows (where \(i_x\) is the interpretation that only \(x\) came):