Combining Specialized Entailment Engines for RTE-4