 The contrast between  (14)  and  (15)  seems to provide evidence for the analysis of disjunction presented in  (12)  according to which the second disjunct must be interpreted with respect to a context supporting the negation of the first disjunct (so a context supporting the information that there is a bathroom in the house). Note however that the principle of double negation \((\neg \neg \phi \to \phi)\) is invalidated in standard dynamic semantics for anaphora (Groenendijk and Stokhof 1991) and so a full account of these examples requires some adjustment. Various solutions have been proposed (e.g., Simons 1996), but the discussion about anaphora (and presupposition projection) in disjunctions has not been settled yet.