The paper deals with a problem in formal theory of quantification. Firstly, by way of examples, the author introduces important parts of the theory. Using type analysis, he presents a problem which stems from inadequacy of a rule concerning semantic interpretation of sentences involving n-ary predicates and quantifiers. The author proposes four distinct principles for specific types of sentences. They are generalized into a general semantic rule, which is, finally, applied to particular examples.