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

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