quantifiable pro-bridi

[And Rosta <a.rosta@UCLAN.AC.UK>]

John:
> > This isn't explicitly
> > stated in the book because I was leery of saying too much about
> > second-order quantification when my understanding of it is
> > quite shaky.

So's mine.

Geoff:
> I would
> perhaps have been a bit more comfortable with "su'o nu bu'a", "su'o su'u
> bu'a" or some other such abstraction to express a
> predicate relation in a prenex,

I was wondering if it might be possible to stick to first
order and use {ka}, which I don't understand very well.

If we understand quantifying over predicates to be quantification
over intensions, how in Lojban do we get something denoting
an intension? Is it {ka}?

--And