Practical reasoning in natural language - Thomas, Stephen N (Prentice-Hall, 1986)