Received-SPF: pass (google.com: domain of jjllambias@gmail.com designates 2607:f8b0:400c:c03::22f as permitted sender) client-ip=2607:f8b0:400c:c03::22f;
MIME-Version: 1.0
In-Reply-To: <CAMKwHj0QoBJU+3G0gzt1XEnSCeJ0viG1vuVkoH6yzWenU04a+w@mail.gmail.com>
References: <CAOQ8VDUgXJ0iTAO4Vvz+4TbX29tfZbcfptvexaSTJX_StmX85w@mail.gmail.com>
	<CAO7tK2eUKJQe9fsDHgD+rYhDFnyuPpNvQ=A9M7AZHNQt3J6fUw@mail.gmail.com>
	<CAMKwHj0QoBJU+3G0gzt1XEnSCeJ0viG1vuVkoH6yzWenU04a+w@mail.gmail.com>
Date: Sat, 16 Aug 2014 15:30:55 -0300
Message-ID: <CAO7tK2dBBE+M65UEx5N2bkbOyVyQ5i4mJ1qMXGwp2-Go4JQj0g@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=089e0160d2fa9e470d0500c3563f

--089e0160d2fa9e470d0500c3563f
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: quoted-printable

On Sat, Aug 16, 2014 at 3:12 PM, Jonathan Jones <eyeonus@gmail.com> wrote:

> On Sat, Aug 16, 2014 at 10:30 AM, Jorge Llamb=C3=ADas <jjllambias@gmail.c=
om>
> wrote:
>
>>
>> How about using the lujvo "tenki'i", defined:as: ko'a ckini ko'e lo tenf=
a
>> be ko'i bei ko'o
>>
>> Why tenfa not pilji?
>

Because "the great-great-grandparent of x" is P(P(P(P(x)))) =3D P^4(x) with=
 P
"the parent of x".

pilji would work for this for example:

    lo ka famti cu pilji lo ka tunba kei lo ka rirni

mu'o mi'e xorxes

--=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 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.

--089e0160d2fa9e470d0500c3563f
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 3:12 PM, Jonathan Jones <span dir=3D"ltr">&=
lt;<a href=3D"mailto:eyeonus@gmail.com" target=3D"_blank">eyeonus@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"><div class=3D"gmail_extra">=
<div class=3D"gmail_quote"><div><div class=3D"h5">On Sat, Aug 16, 2014 at 1=
0:30 AM, Jorge Llamb=C3=ADas <span dir=3D"ltr">&lt;<a href=3D"mailto:jjllam=
bias@gmail.com" target=3D"_blank">jjllambias@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"><div class=3D"gmail_extra">=
<div class=3D"gmail_quote"><div><div><br></div></div><div>How about using t=
he lujvo &quot;tenki&#39;i&quot;, defined:as: ko&#39;a ckini ko&#39;e lo te=
nfa be ko&#39;i bei ko&#39;o</div>
<div><br></div></div></div></div></blockquote></div></div><div>Why tenfa no=
t pilji?</div></div></div></div></blockquote><div><br></div><div>Because &q=
uot;the great-great-grandparent of x&quot; is P(P(P(P(x)))) =3D P^4(x) with=
 P &quot;the parent of x&quot;.</div>
<div><br></div><div>pilji would work for this for example:</div><div><br></=
div><div>=C2=A0 =C2=A0 lo ka famti cu pilji lo ka tunba kei lo ka rirni=C2=
=A0</div><div><br></div><div>mu&#39;o mi&#39;e xorxes</div><div><br></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 />

--089e0160d2fa9e470d0500c3563f--