Textual Entailment Recognizing by Theorem Proving Approach

Re-assign community