In Heim1982, definites and indefinites must be distinguished: (i) definites must befamiliarin the context and (ii) the restriction on a definite NP must be presupposed. She captures the meaning of both definites and indefinites, using the notion offile cards. Roughly, the notion of familiari...