Distributive, Collective and Cumulative Quantification