Lambek Calculus with Nonlogical Axioms