... clearly "Yes' This direct response however eouJd lead Q to conclude falsely, by default reasoning, that Sam is tenured T h a t is, R can reason that, given just (b) and his planned response "Yes" (i.e., ... Reiter's discussion, "M(P )" means it is consistent to assume that P In the associate professor example, B corresponds to the predicate "is an associate professor', F, to the predicate "has t e n u r ... conclude F(c) - "Sam has tenure" - which is false with rvspe(.t to RBc {and hence, with respect to all of R's knowledge base) Thus R will modify his direct response so as to block this false conclusion...