Reasoning with Polarity in Categorial Type Logic