Text this: Iterative learning from texts and counterexamples using additional information

اكتمل التصدير —  

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