open source platform for textual entailment