publication venue for Generating example contexts to help children learn word meaning 2013 Recognizing entailment in intelligent tutoring systems 2009