This paper is about the automated analysis of the lexical and compo-sitional semantics of nominalisation, in particular of felicitous co-predications — infelicitous ones are rejected. We focus on Brazilian Portuguese nominalisation introduced by the suffix-ura but our discussion applies to other nominalisations and languages as well. Much of the theoretical work on deverbals, including ours, concluded that deverbal senses (process, result, location and so on) are rather unforeseeable from the verb and the suffix. The (in)felicity of co-predication, that is the possible conjunction of two predicates which applies to different senses, is also difficult to predict, and in the case of deverbals it is assumed to be (almost) impossible. We present here a study of the CHAVE corpus and show that CHAVE does actually contain some of the supposedly non-existent copredica-tions. We explain our formalisation of sense variation and copredications in our logico-computational framework, Montagovean Generative Lexicon. We analyse the felicitous copredications and explain how the infelicitous ones are rejected. We give possible reasons for the felicity of the observed copredications, and finally we sketch out some guidelines for handling two notions that are necessary to a proper treatment of deverbals, namely local context and degree of semantic felicity.