SMS dit: Logical foundations for question answering /