 One attractive possibility that has emerged from the literature in Discourse Representation Theory—in particular in work by Heim (1982), Kamp (1984), Deising (1992), Kamp and Reyle (1993)—has been that the appearance of a determiner in an indefinite description is chimeral—‘a man’ in fact comes to an expression containing a predicate and a free variable, as in ‘man x’. This free variable might then be picked up by some sort of discourse operator as discussed in the previous section.