Recognizing and Justifying Text Entailment Through Distributional Navigation on Definition Graphs