Determining Semantic Textual Similarity using Natural Deduction Proofs
ECNU: One Stone Two Birds: Ensemble of Heterogenous Measures for Semantic Relatedness and Textual Entailment