... Smith, 2010), the top-performingRTE systems are often built with significant engi-Method Acc.Harmeling (2007) 59.5de Marneffe et al. (2006) 60.5M&M, (2007) (NL) 59.4M&M, (2007) (Hybrid) ... challenge. Proceedings of the ACL-PASCALWorkshop on Textual Entailment and Paraphrasing,pp. 1–9.Harmeling, S. 2007. An extensible probabilistictransformation-based approach to the third recogniz-ing ... procedure based onnatural logic and combined it with the methods byde Marneffe et al. (2006). Harmeling (2007) andHeilman and Smith (2010) classified sequence pairsbased on transformation on...