Copredication, quantification and individuation