Received: from mail-pb0-f55.google.com ([209.85.160.55]:61220) by stodi.digitalkingdom.org with esmtps (TLSv1:RC4-SHA:128) (Exim 4.80.1) (envelope-from ) id 1Wx1FW-00048x-RB for lojban-list-archive@lojban.org; Tue, 17 Jun 2014 14:49:07 -0700 Received: by mail-pb0-f55.google.com with SMTP id rq2sf924272pbb.10 for ; Tue, 17 Jun 2014 14:48:55 -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=jk61A5/47IabcLlQxjInUAimrZfbw6itkBGe2rLljhA=; b=DF+L1Mwjs7BSeEhDKlhZ389U4JzOdw5V5fRgz8ZauMuZFRlWxiIA9IUVtI5iMkvMIS JKl6G/hgScw4Q75LB1zQ1Sxc8UVKucToamjunErVvMF8WIRrb0IUbwIh7LzXhr1CuMIH KmjrhygWrM9J/UqUobHdlIaX4qzukDdTQFuj7s/ARGEhK6Hu9u7TxAJOEvv1wHpoXuwj ryHz4B+J/60JkqQULJ31pLcco4RCKiUe4aoDjz5I3pORNn2LyIV3fxDmWaayeTwlYvuI bDZRXpiti7vC0D+zx8Wt7OTEugna4Jojs6w3Ghlh8RYEaYh1dVmFDkjo4ZMx9Z4uT73Q aVnQ== X-Received: by 10.140.97.166 with SMTP id m35mr58258qge.28.1403041735501; Tue, 17 Jun 2014 14:48:55 -0700 (PDT) X-BeenThere: lojban@googlegroups.com Received: by 10.140.94.100 with SMTP id f91ls1062122qge.65.gmail; Tue, 17 Jun 2014 14:48:55 -0700 (PDT) X-Received: by 10.224.127.70 with SMTP id f6mr812450qas.5.1403041735237; Tue, 17 Jun 2014 14:48:55 -0700 (PDT) Received: from mail-ve0-x22b.google.com (mail-ve0-x22b.google.com [2607:f8b0:400c:c01::22b]) by gmr-mx.google.com with ESMTPS id xn6si764055vdc.2.2014.06.17.14.48.55 for (version=TLSv1 cipher=ECDHE-RSA-RC4-SHA bits=128/128); Tue, 17 Jun 2014 14:48:55 -0700 (PDT) Received-SPF: pass (google.com: domain of jjllambias@gmail.com designates 2607:f8b0:400c:c01::22b as permitted sender) client-ip=2607:f8b0:400c:c01::22b; Received: by mail-ve0-x22b.google.com with SMTP id jz11so8223177veb.16 for ; Tue, 17 Jun 2014 14:48:55 -0700 (PDT) MIME-Version: 1.0 X-Received: by 10.220.94.8 with SMTP id x8mr52453vcm.67.1403041735160; Tue, 17 Jun 2014 14:48:55 -0700 (PDT) Received: by 10.220.170.73 with HTTP; Tue, 17 Jun 2014 14:48:54 -0700 (PDT) In-Reply-To: References: <53903D84.90502@gmx.de> Date: Tue, 17 Jun 2014 18:48:54 -0300 Message-ID: Subject: Re: [lojban] Specifying sumti types: another revision of gimste is complete From: =?UTF-8?Q?Jorge_Llamb=C3=ADas?= To: lojban@googlegroups.com X-Original-Sender: jjllambias@gmail.com X-Original-Authentication-Results: gmr-mx.google.com; spf=pass (google.com: domain of jjllambias@gmail.com designates 2607:f8b0:400c:c01::22b as permitted sender) smtp.mail=jjllambias@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=e89a8f6474d73aba2404fc0f1c4b X-Spam-Score: -1.9 (-) X-Spam_score: -1.9 X-Spam_score_int: -18 X-Spam_bar: - --e89a8f6474d73aba2404fc0f1c4b Content-Type: text/plain; charset=UTF-8 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)". sumtix1 (text) is an argument of predicate x2 (text) filling place x3 (number) What about places that are not named with numbers, such as fai-places? Tagged places are also an issue, since tags not only add a place to a predicate but by doing so they modify the predicate, so it's hard to find a simple way to name the resulting predicate. A few "(number)" seem to be missing: dugri1, dugri2, dugri3 detri1 is like tcika1 (debatable whether they are numbers). stero2 mitre2 delno2 kelvo2 litce2 molro2 xampo2 bunda2 dekpu2 gutci2 kramu2 minli2 jeftu2 snidu2 masti2 mentu2 cisni2? How does "cisni" differ from "klani"? 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. --e89a8f6474d73aba2404fc0f1c4b Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable

Looking at "number&quo= t; places:

saclu x1 (number) is the decimal equivalent of fraction x2 (number) in base x3 (n= umber)

Th= is 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 t= rue 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 (nu= mber)".

sumti x1 (text) is an argument of predicate x2 (text) filling place x3 (number)

What about places that are not named with numbers, such = as fai-places? Tagged places are also an issue, since tags not only add a p= lace to a predicate but by doing so they modify the predicate, so it's = hard to find a simple way to name the resulting predicate.

A few "= ;(number)" seem to be missing:

dugri1, dugri2, dugri3
detri1 is like tcika1 (debatable whether they are numbers).

stero2
mitre2
delno2
kelvo2
litce2
molro2
xampo2
bunda2
dekpu2
gutci2
kramu2
minli2
jeftu2
snidu2
masti2
mentu2

cisni2? How does "cisni" differ from "klani"?

mu'o mi= 9;e xorxes

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