Logical form in natural language - Lycan, William G. (MIT Press, 1984)