Received-SPF: none (google.com: phma@bezitopo.org does not designate permitted sender hosts) client-ip=107.14.166.228;
From: Pierre Abbat <phma@bezitopo.org>
To: lojban@googlegroups.com
Subject: Re: [lojban] Specifying sumti types: another revision of gimste is complete
Date: Thu, 19 Jun 2014 13:36:16 -0400
Message-ID: <1687814.LVyUAvcs7U@caracal>
User-Agent: KMail/4.13 (Linux/3.13.0-24-generic; KDE/4.13.0; x86_64; ; )
In-Reply-To: <CAO7tK2fOv4Dkngu3WhzqBhE5zTSmTkD3+nfERJ-2xpsr4hUPgw@mail.gmail.com>
References: <CAO7bV+hTWfbg8uLyDGLgwwUXBmW+aCq_URk_vBu1SfVJ0ud0DQ@mail.gmail.com> <CAO7tK2cB31kzL+fS=SABeVB1w7sq8nGRERxTuXA-m-sTrE98nA@mail.gmail.com> <CAO7tK2fOv4Dkngu3WhzqBhE5zTSmTkD3+nfERJ-2xpsr4hUPgw@mail.gmail.com>
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-Transfer-Encoding: quoted-printable
Content-Type: text/plain; charset=ISO-8859-1
X-Spam_score: -1.9
X-Spam_score_int: -18
X-Spam_bar: -

On Tuesday, June 17, 2014 18:48:54 Jorge Llamb=EDas wrote:
> Looking at "number" places:
>=20
> saclux1 (number) is the decimal equivalent of fraction x2 (number) in bas=
e
> x3 (number)
>=20
> This doesn't really make much sense. If "li pa pi mu du li ci fi'u re" is
> true, and "li pa pi mu cu saclu" is true, then we should be able to
> conclude that "li ci fi'u re cu daclu" is true as well, so this place
> structure needs to be fixed. One possibility is "x1 (text) is the decimal
> representation of x2 (number) in base x3 (number)".

x1 should be a mekso: "me'o pa pi mu cu saclu li ci fi'u re li pa no". Also=
 it=20
makes no sense for the left operand of "ju'u" to be a number; it has to be =
an=20
unevaluated digit string.

Pierre
--=20
li ze te'a ci vu'u ci bi'e te'a mu du
li ci su'i ze te'a mu bi'e vu'u ci

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