Representation and inference for natural language : a first course in computational semantics - Blackburn, Patrick, 1959-.; Bos, Johannes. (Center for the Study of Language and Information, 2005)