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

 _    _     _____     _  _      ___      ______  
| |  | ||  |  ___||  | \| ||   / _ \\   /_____// 
| |/\| ||  | ||__    |  ' ||  / //\ \\  `____ `  
|  /\  ||  | ||__    | .  || |  ___  || /___//   
|_// \_||  |_____||  |_|\_|| |_||  |_|| `__ `    
`-`   `-`  `-----`   `-` -`  `-`   `-`  /_//     
                                        `-`