Văn bản này: Generalisation through negation and predicate invention