Evoked Discourse Entities 2
- How can we refer to such an object - in effect a constant whose
identity is unknown to us?
- So we must introduce a new constant, like C1, into our (logical)
language whenever we meet something like
<A c1 CAR1>.
- If we also introduce a constant I1 for the expression
<PRO i1 IT1>, then we can capture co-reference
by asserting I1 = C1.