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