发送短信: Generalisation through negation and predicate invention