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