Unifying the imperfective and the progressive: partitions as quantificational domains · Study