Envelope-to: lojban-list-archive@lojban.org
Delivery-date: Wed, 13 Jan 2021 17:21:22 -0800
Sender: lojban@googlegroups.com
Received-SPF: pass (google.com: domain of scope845hlang343jbo@icebubble.org designates 2607:f2f8:a1d8::b19:0:f0b as permitted sender) client-ip=2607:f2f8:a1d8::b19:0:f0b;
From: scope845hlang343jbo@icebubble.org
To: lojban@googlegroups.com
Subject: [lojban] Re: Multiple-variable abstractions
References: <86o8iru85f.fsf@cmarib.ramside>
	<dd954228-c706-98f2-5709-eaed3cb94703@mail.jerrington.me>
	<86blep9yni.fsf@cmarib.ramside>
	<8ff75cde-1243-5188-489e-e11276a75a07@mail.jerrington.me>
	<86zh1s9mw5.fsf@cmarib.ramside>
	<103d554a-d7f5-918e-bb82-6e025e41131b@mail.jerrington.me>
	<86zh1lhoao.fsf_-_@cmarib.ramside>
	<ab3d25ae-5b02-e7e0-a93a-4900fc5120ef@mail.jerrington.me>
Date: Wed, 13 Jan 2021 21:17:08 +0000
In-Reply-To: <ab3d25ae-5b02-e7e0-a93a-4900fc5120ef@mail.jerrington.me> (Jacob
	Thomas Errington's message of "Thu, 07 Jan 2021 17:59:57 GMT")
Message-ID: <86o8hs7d0r.fsf@cmarib.ramside>
MIME-Version: 1.0
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
Reply-To: lojban@googlegroups.com
Precedence: list
Mailing-list: list lojban@googlegroups.com; contact lojban+owners@googlegroups.com
X-Spam_score: -2.8
X-Spam_score_int: -27
X-Spam_bar: --

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:
>
> =C2=A0 without ce'ai: {.i mi ckaji lo ka ce'u goi ko'a batci ko'a}
> =C2=A0 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

--=20
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 e=
mail to lojban+unsubscribe@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/=
lojban/86o8hs7d0r.fsf%40cmarib.ramside.