Recognizing entailment in intelligent tutoring systems | Synapse