Presuppositions for proportional quantifiers · Study