Defining Specialized Entailment Engines Using Natural Logic Relations