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

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