BPFK Section: Grammatical Pro-sumti
On Thu, Aug 12, 2004 at 07:06:06AM -0700, Jorge Llamb?as wrote:
> --- wikidiscuss@lojban.org wrote:
> > Now, it *ought* to function like a quantifier and take a bound
> > vriable, but it does not. This creates problems for cases where
> > more than one place is to be bound in the same way and also misleads
> > about structure.
>
> When more than one ce'u is used, they are taken as independently bound
> variables. To bind more than one place together, we have to use {ce'u
> goi ko'a ... ko'a} or other pronouns that point to the first ce'u.
Has this *ever* come up? What would it mean if it did? Why would it?
> Another related problem is embedded properties. Just as with relative
> clauses,
I'll handle that as with ke'a.
> > On the other hand, the real lambda format is painfully lengthy (see
> > LISP). Some compromise would be nice.
>
> The current scheme for {ce'u} seems to work fine in practice, since
> more than one ce'u is rare, and when we do need more than one (for the
> x2 of {simxu} basically) we do want them as two independent variables.
Explain the whole "two ce'u in simxu" thing, please.
-Robin