Received-SPF: pass (google.com: domain of jjllambias@gmail.com designates 2607:f8b0:400c:c03::235 as permitted sender) client-ip=2607:f8b0:400c:c03::235;
MIME-Version: 1.0
In-Reply-To: <CAOQ8VDUgXJ0iTAO4Vvz+4TbX29tfZbcfptvexaSTJX_StmX85w@mail.gmail.com>
References: <CAOQ8VDUgXJ0iTAO4Vvz+4TbX29tfZbcfptvexaSTJX_StmX85w@mail.gmail.com>
Date: Sat, 16 Aug 2014 13:30:37 -0300
Message-ID: <CAO7tK2eUKJQe9fsDHgD+rYhDFnyuPpNvQ=A9M7AZHNQt3J6fUw@mail.gmail.com>
Subject: Re: [lojban] A recursively-defined predicate for building chains
 (was: Lojban for great-great-grandfather)
From: =?UTF-8?Q?Jorge_Llamb=C3=ADas?= <jjllambias@gmail.com>
To: lojban@googlegroups.com
Reply-To: lojban@googlegroups.com
Precedence: list
Mailing-list: list lojban@googlegroups.com; contact lojban+owners@googlegroups.com
Sender: lojban@googlegroups.com
Content-Type: multipart/alternative; boundary=e0cb4e887c096140f50500c1a861
X-Spam_score: -1.9
X-Spam_score_int: -18
X-Spam_bar: -

--e0cb4e887c096140f50500c1a861
Content-Type: text/plain; charset=UTF-8

On Sat, Aug 16, 2014 at 12:32 PM, Jacob Errington <nictytan@gmail.com>
wrote:

>
> We propose a predicate to construct such chains, of arbitrary length,
> defined as follows in Lojban:
>
> .i lo ka broda cu ka ko'a ko'e fo'a fo'e ce'ai lo du'u fo'a li pa dubmau
> kei goi dy zo'u ge ganai me'au dy gi ko'a me'au fo'e lo broda be ko'e bei
> li mo'e fo'a vu'u pa bei fo'e gi ga me'au dy gi ko'a ko'e me'au fo'e
>

How about using the lujvo "tenki'i", defined:as: ko'a ckini ko'e lo tenfa
be ko'i bei ko'o

la djan cu tenki'i la alis lo ka rirni kei li vo

la djan cu rirtenki'i la alis li vo

la djan cu vonrirtenki'i la alis

mu'o mi'e xorxes

-- 
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 post to this group, send email to lojban@googlegroups.com.
Visit this group at http://groups.google.com/group/lojban.
For more options, visit https://groups.google.com/d/optout.

--e0cb4e887c096140f50500c1a861
Content-Type: text/html; charset=UTF-8
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr"><br><div class=3D"gmail_extra"><br><br><div class=3D"gmail=
_quote">On Sat, Aug 16, 2014 at 12:32 PM, Jacob Errington <span dir=3D"ltr"=
>&lt;<a href=3D"mailto:nictytan@gmail.com" target=3D"_blank">nictytan@gmail=
.com</a>&gt;</span> wrote:<br>
<blockquote class=3D"gmail_quote" style=3D"margin:0 0 0 .8ex;border-left:1p=
x #ccc solid;padding-left:1ex"><div dir=3D"ltr"><br>We propose a predicate =
to construct such chains, of arbitrary length, defined as follows in Lojban=
:<br>
<br>.i lo ka broda cu ka ko&#39;a ko&#39;e fo&#39;a fo&#39;e ce&#39;ai lo d=
u&#39;u fo&#39;a li pa dubmau kei goi dy zo&#39;u ge ganai me&#39;au dy gi =
ko&#39;a me&#39;au fo&#39;e lo broda be ko&#39;e bei li mo&#39;e fo&#39;a v=
u&#39;u pa bei fo&#39;e gi ga me&#39;au dy gi ko&#39;a ko&#39;e me&#39;au f=
o&#39;e<br>
</div></blockquote><div><br></div><div>How about using the lujvo &quot;tenk=
i&#39;i&quot;, defined:as: ko&#39;a ckini ko&#39;e lo tenfa be ko&#39;i bei=
 ko&#39;o</div><div><br></div><div>la djan cu tenki&#39;i la alis lo ka rir=
ni kei li vo<br>
</div><div>=C2=A0</div><div>la djan cu rirtenki&#39;i la alis li vo</div><d=
iv><br></div><div>la djan cu vonrirtenki&#39;i la alis</div><div><br></div>=
<div>mu&#39;o mi&#39;e xorxes</div><div>=C2=A0</div></div></div></div>

<p></p>

-- <br />
You received this message because you are subscribed to the Google Groups &=
quot;lojban&quot; group.<br />
To unsubscribe from this group and stop receiving emails from it, send an e=
mail to <a href=3D"mailto:lojban+unsubscribe@googlegroups.com">lojban+unsub=
scribe@googlegroups.com</a>.<br />
To post to this group, send email to <a href=3D"mailto:lojban@googlegroups.=
com">lojban@googlegroups.com</a>.<br />
Visit this group at <a href=3D"http://groups.google.com/group/lojban">http:=
//groups.google.com/group/lojban</a>.<br />
For more options, visit <a href=3D"https://groups.google.com/d/optout">http=
s://groups.google.com/d/optout</a>.<br />

--e0cb4e887c096140f50500c1a861--