Title: Deductive reasoning in natural languages