Logical foundations for question answering - Scha, Remko J. H. (Philips Research Laboratories, 1983)