Representation and inference for natural language: a first course in computational semantics - Blackburn, Patrick; Bos, Johan (CSLI Studies in Computational Linguistics, 2005)