[lojban] Re: Multiple-variable abstractions

[scope845hlang343jbo@icebubble.org]

Jacob Thomas Errington <jake@mail.jerrington.me> writes:

>>    (3) Any unexpressed places following the second {ce'u}, if any, are
>>        assumed to be {ce'u}.
> Rule 3 only really works in simple abstractions; how does one deal
> with situations like {lo ka ce'u broda lo pendo be ce'u}?

.a'onairu'e la'edi'u jetnu

> The way {ce'ai} works in general is that each sumti appearing in it is
> understood as a binder. We concocted {ce'ai} back in ~2013 when
> discussing how to reuse {ce'u} within a ka-abstraction. Here's a
> contrived example:
>
>   without ce'ai: {.i mi ckaji lo ka ce'u goi ko'a batci ko'a}
>   with ce'ai: {.i mi ckaji lo ka ko'a ce'ai ko'a ko'a batci}

ki'a .i zo GOI xu selma'o zo ce'ai
.i zo ZOhU xu go'i .i mi stidi tu'a lu

 mi ckaji lo ka ce'u zo'u ce'u ce'u batci

li'u

> P.S. are you a member of roljbogu'e discord server?

na go'i .i le skami ciste na ciste fi le mi zdani .uu

-- 
You received this message because you are subscribed to the Google Groups "lojban" group.
To unsubscribe from this group and stop receiving emails from it, send an email to lojban+unsubscribe@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/lojban/86o8hs7d0r.fsf%40cmarib.ramside.