In the first stage, an intermediate level of representation called logical form is derived. In particular, logical form should not be dependent on pragmatics, which requires inference and hence internal representation. Further processing of logical form should only disambiguate or further specify logical form.
Logical form has a meaning.
Any further processing must respect that meaning. Within this framework, we have devised logical-form representations for pronouns, singular definite noun phrases, and singular indefinite noun phrases. For example, we represent a pronoun as a function of all of the variables corresponding to operators that can bind the pronoun. This representation allows us to indicate a meaning for the pronoun without deciding on the antecedent for the pronoun. Later, when we can determine the antecedent for the pronoun, we replace the pronoun function with the variable or function used to represent its antecedent.