We can implement a simple Russellian theory of definite descriptions by means of the following equivalence: Clearly, possibleAntecedent will be largely the same for definites as for pronouns, although there will have to be provision for inferred antecedents (a car.., the steering wheel).
we need to be able to create discourse entities for quantified antecedents, plurals, etc.