Two-Stage Method for Large-Scale Acquisition of Contradiction Pattern Pairs using Entailment
Learning First-Order Horn Clauses from Web Text