Enviar por SMS: Generalisation through negation and predicate invention