發送短信 : Iterative learning from texts and counterexamples using additional information

            _____     ____       ___     _    _   
    ___    |  ___||  |  _ \\    / _ \\  | || | || 
   /   ||  | ||__    | |_| ||  | / \ || | || | || 
  | [] ||  | ||__    | .  //   | \_/ || | \\_/ || 
   \__ ||  |_____||  |_|\_\\    \___//   \____//  
    -|_||  `-----`   `-` --`    `---`     `---`   
     `-`