Plural definite NPs presuppose multiplicity via embedded exhaustification · Study