Combining Logical Abduction and Statistical Induction: Discovering Written Primitives with Human Knowledge