Отправить по sms: Generalisation through negation and predicate invention