Definiteness effects have been attested in the literature for some DPs complementing HAVE (= English and their counterparts other languages). In this paper, which focuses on Spanish, demonstrative are shown to be affected by type-token distinction contexts: internal argument of receives a type reading these cases rejects to-ken interpretation. The “type restriction DPs” (TRD) is follow from nee...