 The major consequence of (29) is that if a proposition has exemplifying situations at all, the set of its exemplifying situations must be either homogeneous or quantized in the sense of Krifka 1992. A set of situations is quantized iff it doesn’t contain both a situation s and a proper part of s. A set of situations is homogeneous iff it is closed under the parthood relation, that is, whenever it contains a situation s, it also contains all parts of s. As argued in Krifka’s work, algebraic notions like homogeneity and quantization might capture linguistically important aspectual distinctions like that illustrated in (36) (see the entry on   tense and aspect).