In linguistic semantics, a generalized quantifier is an expression that denotes a property of a property, also called a higher-order property. This is the standard semantics assigned to quantified noun phrases, also called determiner phrases, or DP for short. In the example below, the DP every boy says of a property X that the set of entities that are boys is a subset of the set of entities that have property X. So the following sentence says that the set of boys is a subset of the set of sleepers.

Every boy sleeps.