corrections

[Carl Pollard]

Folks,

In my long posting called `ignore previous' I carelessly
referred to

(12) \Pi_{X\in A} \lambda <x\in A, y\in S^{A}>.TENDS1'(y(x))

as the `type' of the word TENDS. Actually this is a term and should
have been written (replacing two occurrences of `A' by `X')

   <\lambda <x\in X, y\in S^{X}>.TENDS1'(y(x))>_{X\in A};

its type is \Pi_{X\in A} S^{X x S^{X}}.

Likewise, when I said

  It would not have worked to give the word tends the simple-looking
  type

  (13) \lambda <x\in SUBJ, y\in S^{SUBJ}>.TENDS1'(y(x))

I meant `term', not type. The type of this term is

   S^{SUBJ x S^{SUBJ}}.


Sorry again.

Carl