In categorial grammar we can attribute more than one type to a single expression in a language. Let us call this the principle of multiple types. Here is an example due to Mark Steadman. Consider the sentence