發送短信: Generalização baseada nas relações implicacionais obtida pelo modelo "ABAB-Retirada e Provas Múltiplas" Generalization based on the implicational relationships obtained by the "ABAB Withdrawal and Multiple Probes Model"