In combinatory categorial grammar,the lexical database of any specific language only uses the finite category set,and there is a strong interaction between the lexical category of the language and the combinatorial rules allowed by combinatory categorial grammar.Combinatorial category syntax requires matching semantic interpretation for each syntactic category,and semantic types must also match syntactic categories.Although the syntactic deduction of combinatory categorial grammar has made great progress,the semantic repre-sentation corresponding to syntactic category lags behind.This results in syntactic and semantic disjunction,especially in the quantifier scope,but generalized Skolem terms theory makes up for the weakness of generative power of combinatory categorial grammar semanti-cally,that is,the surface structure of sentence is consistent with the semantic interpretation.