Seol mar théacs é seo: Generalisation through negation and predicate invention