Knowledge-based textual inference via parse-tree transformations
A Confidence Model for Syntactically-Motivated Entailment Proofs