  Now, it seems plausible that the semantics should validate the following equivalence: The M not P is true iff The M P is false. Then, the sentence The gold is not in the safe is predicted to be true. This is a problem for the mixed approach developed so far, since one would like to ascribe the same status to the positive sentence and its negation. Either because both sentences are taken to be false. Or because both are judged inapplicable in the circumstance, being as it were partly true and partly false.