No present theory explains the inferences people draw about the real world when reasoning about “bouletic” relations, that is, predicates that express desires, such aswantin “Lee wants to be in love”. Linguistic accounts ofwantdefine it in terms of a relation to a desirer's beliefs, and how its complement is deemed desirable. In contrast, we describe a new model‐based theory that posits that by default, desire predicates such aswantcontrast desires against facts. In particular,A wants Pimplies by default thatPis not the case, (...) because you cannot want what is already true. On further deliberation, reasoners may infer thatA believes, but does not know for certain, thatPis not the case. The theory makes several empirical predictions about how people interpret, assess the consistency of, and draw conclusions from desire predicates likewant. Seven experiments tested and validated the theory's central predictions. We assess the theory in light of recent proposals of desire predicates. (shrink)