أرسل هذا في رسالة قصيرة: Iterative learning from texts and counterexamples using additional information

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