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

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