Date: Wed, 21 May 2014 06:24:31 -0700 (PDT)
From: guskant <gusni.kantu@gmail.com>
To: lojban@googlegroups.com
Cc: ambrus@math.bme.hu, ambrus@math.bme.hu
Message-Id: <c0bce26b-4cec-4a0b-b4cc-adaf992dcb04@googlegroups.com>
In-Reply-To: <CAHku1CEvfV7EAjCugyrPMrep_NV3UECpTben58RnUg6TB8oT5A@mail.gmail.com>
References: <CAO7bV+j9EkvSpPTckYLPiBKvRqA+n-eY1gUxNyVr_-0_gfioRg@mail.gmail.com>
 <CAHku1CEvfV7EAjCugyrPMrep_NV3UECpTben58RnUg6TB8oT5A@mail.gmail.com>
Subject: Re: [lojban] guheks and geks for operators
MIME-Version: 1.0
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="----=_Part_5922_14368644.1400678671897"
X-Spam_score: -0.1
X-Spam_score_int: 0
X-Spam_bar: /

------=_Part_5922_14368644.1400678671897
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: quoted-printable


Le mercredi 21 mai 2014 16:46:57 UTC+9, Zsb=C3=A1n Ambrus a =C3=A9crit :
>
> On 5/21/14, Gleki Arxokuna <gleki.is...@gmail.com <javascript:>> wrote:=
=20
> > http://dag.github.io/cll/14/17/=20
> > ----=20
> > Example 17.4) contradicts what is stated before. It is not parsed=20
> >=20
> > Is it an error in CLL? Has it been already described?=20
>
> There's more where this came from.  In chapter 18, see=20
>
> http://dag.github.io/cll/18/17/=20
>
> This repeats the same mistake in example 17.5.  That example too=20
> should use {gu'e} instead of {ge} because it tries to connect mekso=20
> operators.=20
>
> Further, in the same page, the English translation of 17.6 is missing=20
> the division bar, also "then x =3D " should be vertically aligned with=20
> the division bar rather that with the numerator.  This is probably a=20
> formatting problem that got created during conversion.=20
>

 As for Example 17.6 of Chapter 18, we need also a condition a/=3D0, and th=
e=20
lojban sentence should be:=20
go ge li .abu bi'epi'i vei xy. te'a re ve'o su'i by. bi'epi'i xy. su'i cy.=
=20
du li no=20
gi li .abu nadu li no=20
gi li xy. du li vei va'a by. ku'e su'i ja vu'u fe'a vei by. bi'ete'a re=20
vu'u vo bi'epi'i .abu bi'epi'i cy. ve'o ku'e ve'o fe'i re bi'epi'i .abu

(which we Japanese lojbo discussed long ago:
http://ponjbogri.github.io/cll-ja/chapter18.html#e17.6
)

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

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

<div dir=3D"ltr"><br><br>Le mercredi 21 mai 2014 16:46:57 UTC+9, Zsb=C3=A1n=
 Ambrus a =C3=A9crit&nbsp;:<blockquote class=3D"gmail_quote" style=3D"margi=
n: 0;margin-left: 0.8ex;border-left: 1px #ccc solid;padding-left: 1ex;">On =
5/21/14, Gleki Arxokuna &lt;<a href=3D"javascript:" target=3D"_blank" gdf-o=
bfuscated-mailto=3D"xg1e-mK84fkJ" onmousedown=3D"this.href=3D'javascript:';=
return true;" onclick=3D"this.href=3D'javascript:';return true;">gleki.is..=
.@gmail.com</a>&gt; wrote:
<br>&gt; <a href=3D"http://dag.github.io/cll/14/17/" target=3D"_blank" onmo=
usedown=3D"this.href=3D'http://www.google.com/url?q\75http%3A%2F%2Fdag.gith=
ub.io%2Fcll%2F14%2F17%2F\46sa\75D\46sntz\0751\46usg\75AFQjCNGzLFy8coaeIa0sH=
F5-_0OtvdnNJQ';return true;" onclick=3D"this.href=3D'http://www.google.com/=
url?q\75http%3A%2F%2Fdag.github.io%2Fcll%2F14%2F17%2F\46sa\75D\46sntz\0751\=
46usg\75AFQjCNGzLFy8coaeIa0sHF5-_0OtvdnNJQ';return true;">http://dag.github=
.io/cll/14/<wbr>17/</a>
<br>&gt; ----
<br>&gt; Example 17.4) contradicts what is stated before. It is not parsed
<br>&gt;
<br>&gt; Is it an error in CLL? Has it been already described?
<br>
<br>There's more where this came from. &nbsp;In chapter 18, see
<br>
<br><a href=3D"http://dag.github.io/cll/18/17/" target=3D"_blank" onmousedo=
wn=3D"this.href=3D'http://www.google.com/url?q\75http%3A%2F%2Fdag.github.io=
%2Fcll%2F18%2F17%2F\46sa\75D\46sntz\0751\46usg\75AFQjCNGwDXw06cQ96JquHemc2G=
ldSPEz_A';return true;" onclick=3D"this.href=3D'http://www.google.com/url?q=
\75http%3A%2F%2Fdag.github.io%2Fcll%2F18%2F17%2F\46sa\75D\46sntz\0751\46usg=
\75AFQjCNGwDXw06cQ96JquHemc2GldSPEz_A';return true;">http://dag.github.io/c=
ll/18/<wbr>17/</a>
<br>
<br>This repeats the same mistake in example 17.5. &nbsp;That example too
<br>should use {gu'e} instead of {ge} because it tries to connect mekso
<br>operators.
<br>
<br>Further, in the same page, the English translation of 17.6 is missing
<br>the division bar, also "then x =3D " should be vertically aligned with
<br>the division bar rather that with the numerator. &nbsp;This is probably=
 a
<br>formatting problem that got created during conversion.
<br>
</blockquote><div><br></div><div>&nbsp;As for Example 17.6 of Chapter 18, w=
e need also a condition a/=3D0, and the lojban sentence should be:&nbsp;</d=
iv><div>go ge li .abu bi'epi'i vei xy. te'a re ve'o su'i by. bi'epi'i xy. s=
u'i cy. du li no&nbsp;</div><div>gi li .abu nadu li no&nbsp;</div><div>gi l=
i xy. du li vei va'a by. ku'e su'i ja vu'u fe'a vei by. bi'ete'a re vu'u vo=
 bi'epi'i .abu bi'epi'i cy. ve'o ku'e ve'o fe'i re bi'epi'i .abu</div><div>=
<br></div><div>(which we Japanese lojbo discussed long ago:</div><div>http:=
//ponjbogri.github.io/cll-ja/chapter18.html#e17.6</div><div>)</div><div><br=
></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 />

------=_Part_5922_14368644.1400678671897--