An attempt to develop a general theory of human cognitive processing, with focus on language understanding and reasoning. The main claim is that both processes are crucially based on representations called `mental models'. The book includes chapters on syllogistic reasoning; inferencing; the relationship between images, propositions and models; meaning; procedural semantics; the relationship between grammar and psychology; parsing; the processing of discourse and coherence; etc.