Received: from mail-lb0-f190.google.com ([209.85.217.190]:51302) by stodi.digitalkingdom.org with esmtps (TLSv1:RC4-SHA:128) (Exim 4.80.1) (envelope-from ) id 1WxgNL-0003lI-EG for lojban-list-archive@lojban.org; Thu, 19 Jun 2014 10:44:09 -0700 Received: by mail-lb0-f190.google.com with SMTP id w7sf301874lbi.7 for ; Thu, 19 Jun 2014 10:43:43 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20120806; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :x-original-sender:x-original-authentication-results:reply-to :precedence:mailing-list:list-id:list-post:list-help:list-archive :sender:list-subscribe:list-unsubscribe:content-type; bh=9YcWw1EAmbOly5fcmSzrmX3DEyHAJn2ojJMxmOsRVp0=; b=l0K4S/UsX9MhIW5D8jBZHUJB0zkxMX3zXgvI3rRsxVnfIBTpvsOd2mAESHD5m4meLt km4iKY0EB/N4e598QuF2y7SkuyhKTdEF+ek8zu1DXZmChXH751JSpDcigqkkUmusykaz wLvvq1jV5RUeZ4bt5I8GhzrsK4A6E27hECl0BOJZF9FcxHcHeKni7Y8zGQ5wkISmhGr0 kaXLO+tA7ZKKVuJ+b6gtn1qqg6KZesFTPpCQ20a7JIuaAoTdG/BthFvEEPSLMhwArcvR KL0m3K/DO3FXOnmJoEAHGeuXyXG9wTg8M7BPGhp7kkuU3GX0ZGDMy6Mw9RSt8p5CEZvG hadw== X-Received: by 10.152.43.134 with SMTP id w6mr185lal.41.1403199823643; Thu, 19 Jun 2014 10:43:43 -0700 (PDT) X-BeenThere: lojban@googlegroups.com Received: by 10.152.6.3 with SMTP id w3ls121315law.72.gmail; Thu, 19 Jun 2014 10:43:43 -0700 (PDT) X-Received: by 10.112.126.196 with SMTP id na4mr270030lbb.17.1403199823099; Thu, 19 Jun 2014 10:43:43 -0700 (PDT) Received: from mail-wi0-x231.google.com (mail-wi0-x231.google.com [2a00:1450:400c:c05::231]) by gmr-mx.google.com with ESMTPS id cj4si458230wid.0.2014.06.19.10.43.43 for (version=TLSv1 cipher=ECDHE-RSA-RC4-SHA bits=128/128); Thu, 19 Jun 2014 10:43:43 -0700 (PDT) Received-SPF: pass (google.com: domain of gleki.is.my.name@gmail.com designates 2a00:1450:400c:c05::231 as permitted sender) client-ip=2a00:1450:400c:c05::231; Received: by mail-wi0-f177.google.com with SMTP id r20so3253344wiv.4 for ; Thu, 19 Jun 2014 10:43:43 -0700 (PDT) MIME-Version: 1.0 X-Received: by 10.194.89.40 with SMTP id bl8mr6524271wjb.90.1403199822824; Thu, 19 Jun 2014 10:43:42 -0700 (PDT) Received: by 10.194.25.163 with HTTP; Thu, 19 Jun 2014 10:43:42 -0700 (PDT) In-Reply-To: <1687814.LVyUAvcs7U@caracal> References: <1687814.LVyUAvcs7U@caracal> Date: Thu, 19 Jun 2014 21:43:42 +0400 Message-ID: Subject: Re: [lojban] Specifying sumti types: another revision of gimste is complete From: Gleki Arxokuna To: lojban@googlegroups.com X-Original-Sender: gleki.is.my.name@gmail.com X-Original-Authentication-Results: gmr-mx.google.com; spf=pass (google.com: domain of gleki.is.my.name@gmail.com designates 2a00:1450:400c:c05::231 as permitted sender) smtp.mail=gleki.is.my.name@gmail.com; dkim=pass header.i=@gmail.com; dmarc=pass (p=NONE dis=NONE) header.from=gmail.com Reply-To: lojban@googlegroups.com Precedence: list Mailing-list: list lojban@googlegroups.com; contact lojban+owners@googlegroups.com List-ID: X-Google-Group-Id: 1004133512417 List-Post: , List-Help: , List-Archive: Sender: lojban@googlegroups.com List-Subscribe: , List-Unsubscribe: , Content-Type: multipart/alternative; boundary=089e010d8a06fd0dcf04fc33ea01 X-Spam-Score: -1.9 (-) X-Spam_score: -1.9 X-Spam_score_int: -18 X-Spam_bar: - --089e010d8a06fd0dcf04fc33ea01 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable Well, mekso belongs to "text" type/subtype here. 2014-06-19 21:36 GMT+04:00 Pierre Abbat : > On Tuesday, June 17, 2014 18:48:54 Jorge Llamb=C3=ADas wrote: > > Looking at "number" places: > > > > saclux1 (number) is the decimal equivalent of fraction x2 (number) in > base > > x3 (number) > > > > 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 decim= al > > 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 > makes no sense for the left operand of "ju'u" to be a number; it has to b= e > an > unevaluated digit string. > > Pierre > -- > 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 > > -- > 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. > --=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. --089e010d8a06fd0dcf04fc33ea01 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
Well, mekso belongs to "text" type/subtype here.=


2014-06= -19 21:36 GMT+04:00 Pierre Abbat <phma@bezitopo.org>:
On Tuesday, June 17, 2014 18:48:54 Jorge Lla= mb=C3=ADas wrote:
> Looking at "number" places:
>
> saclux1 (number) is the decimal equivalent of fraction x2 (number) in = base
> x3 (number)
>
> 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
makes no sense for the left operand of "ju'u" to be a number;= it has to be an
unevaluated digit string.

Pierre
--
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

--
You received this message because you are subscribed to the Google Groups &= quot;lojban" group.
To unsubscribe from this group and stop receiving emails from it, send an e= mail to lojban+uns= ubscribe@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.

--
You received this message because you are subscribed to the Google Groups &= quot;lojban" group.
To unsubscribe from this group and stop receiving emails from it, send an e= mail to lojban+unsub= scribe@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 http= s://groups.google.com/d/optout.
--089e010d8a06fd0dcf04fc33ea01--