Phil Johnson-Laird's theory of mental models has proved to be an influential development in the cognitive sciences. This theory aims to provide a detailed account of both reasoning and inference on the one hand, and language on the other. It can therefore be regarded as a step...