Zaslat SMS: Logical foundations for question answering /