Logical foundations for question answering - Scha, Remko J. (1983)