SUO: Montague's Type System

["Richard Cooper" <rich@valutech.com>]

Anyone,

I'm having trouble understanding a small passage
in the CoreLex thesis.  It goes like this:

----------------------------
"(17) John and every (other) student went to her party.

In Montague's type system (e for individual; t for proposition)
[every (other) student]NP is of type <<e,t>,t>, whereas [John]PN
is of type e.  Although of different type they are coordinated
on the same level by the conjunction operator (functor) 'and'.
One can soleve this problem by shifting [John]PN from type e
to type <<e,t>,t> [Partee, 1987].  The semantical motivation
behind this is that 'John' can be interpreted as the set of
properties of 'John', which is exactly expressed by the
type <<e,t>,t>: a function from sets of properties (<e,t>) to
truth values (t).  "
---------------------------

I understand that (and) takes two truth values, not an individual
and a proposition.  What throws me is the meaning of "<<e,t>,t>"
as a type notation.  Can anyone explain what words to use when
speaking "<<e,t>,t>" out loud?

Thanks,
Rich