Fix a few typos, move textual entailment example to the discussion section