 In Carlson’s original account, he proposed that stage level predicates are lexically represented with existential quantifiers. These quantifiers range over realizations of individuals. Carlson’s metaphysical outlook was as follows: the set of individuals is composed of both objects (by which he meant regular, everyday concrete items) and kinds. Both objects and kinds have realizations. A realization of an object is a temporal slice thereof. A realization of a kind is either an object that belongs to the kind, or a temporal slice of such an object. Kinds are directly denoted by bare plurals, on Carlson’s view—that is, bare plurals are singular referring terms, like names.