Syntactic categories and semantic type