Categorial type logics and Italian corpora