Received: from mail-wg0-f60.google.com ([74.125.82.60]:49327) by stodi.digitalkingdom.org with esmtps (TLSv1:RC4-SHA:128) (Exim 4.80.1) (envelope-from ) id 1WtHhi-00056C-R8 for lojban-list-archive@lojban.org; Sat, 07 Jun 2014 07:34:49 -0700 Received: by mail-wg0-f60.google.com with SMTP id n12sf479393wgh.25 for ; Sat, 07 Jun 2014 07:34:35 -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=pfezaKO6tCx8OG7w8OtFXvt5uJcRl9wH0ma9tTe72FA=; b=k/YakZIEnUYtPB/j0n00v91bLmKeCoaaipjicdHRNHqRKNkyI3gV+bfx5jCYatYw+h 0Gu1uAh41FsGhamXgzGiK9NdQYaC43y3L/RroTrcKpT+pEeJocl8zV73GQRdJAaZRl3H A5xLklsU1BhLQF+7gQ9Cba8xZtP5MYsBcskkd9ICkSvUQru6EkuhzQvXFebOfotsx7Tb +w1lTTjkJOS3R62ffdjJquhe2jA0n2JqHkSHkKJODMneabb+71FaKMbssC+5+87WHVGF HFIHybYTk4Zd9zcvvld+8wEm8UAuGwfM3N8H/jPsnHJTlX8jKUGaX2ZK1wVslEtqEYJ4 mi2A== X-Received: by 10.152.43.227 with SMTP id z3mr165207lal.3.1402151675268; Sat, 07 Jun 2014 07:34:35 -0700 (PDT) X-BeenThere: lojban@googlegroups.com Received: by 10.152.22.226 with SMTP id h2ls210023laf.54.gmail; Sat, 07 Jun 2014 07:34:34 -0700 (PDT) X-Received: by 10.152.6.97 with SMTP id z1mr2956569laz.0.1402151674468; Sat, 07 Jun 2014 07:34:34 -0700 (PDT) Received: from mail-wg0-x229.google.com (mail-wg0-x229.google.com [2a00:1450:400c:c00::229]) by gmr-mx.google.com with ESMTPS id m20si875323wij.1.2014.06.07.07.34.34 for (version=TLSv1 cipher=ECDHE-RSA-RC4-SHA bits=128/128); Sat, 07 Jun 2014 07:34:34 -0700 (PDT) Received-SPF: pass (google.com: domain of gleki.is.my.name@gmail.com designates 2a00:1450:400c:c00::229 as permitted sender) client-ip=2a00:1450:400c:c00::229; Received: by mail-wg0-f41.google.com with SMTP id a1so514830wgh.12 for ; Sat, 07 Jun 2014 07:34:34 -0700 (PDT) MIME-Version: 1.0 X-Received: by 10.194.240.33 with SMTP id vx1mr3860259wjc.88.1402151674342; Sat, 07 Jun 2014 07:34:34 -0700 (PDT) Received: by 10.194.25.163 with HTTP; Sat, 7 Jun 2014 07:34:34 -0700 (PDT) In-Reply-To: References: <53903D84.90502@gmx.de> Date: Sat, 7 Jun 2014 18:34:34 +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:c00::229 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=001a11c1b5f07873f604fb3fe0db X-Spam-Score: -1.9 (-) X-Spam_score: -1.9 X-Spam_score_int: -18 X-Spam_bar: - --001a11c1b5f07873f604fb3fe0db Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable Other news: for now only ckilu and gradu have concept/scale in their definitions. Any more ideas on what to fill them with? 2014-06-07 16:51 GMT+04:00 Jorge Llamb=C3=ADas : > > > > On Sat, Jun 7, 2014 at 3:38 AM, Gleki Arxokuna > wrote: > >> >> 2014-06-07 0:33 GMT+04:00 Jorge Llamb=C3=ADas : >> >>> >>> On Fri, Jun 6, 2014 at 4:40 AM, Gleki Arxokuna < >>> gleki.is.my.name@gmail.com> wrote: >>> >>>> >>>> I propose "x1 is a self of x2 (x1 by default)". >>>> >>> >>> If x2 is x1 by default, then "sevzi" defaults to "du". I think you mean >>> the x1 of the main selbri in which "sevzi" is used as a description of = an >>> argument, rather than the x1 of sevzi, which is the only one you can re= ally >>> mention in a definition of "sevzi" >>> >> >> I mean that sevzi2 coudld be {zu'i=3Dx1} by default (just like miter2 = =3D 1 >> by default) whereas du2=3Dzo'e by default. >> > > What do you mean by "x1"? In: "la djan cu jinvi lo du'u la alis ba catra > lo sevzi", what are you saying sevzi2 would be by default? jinvi1=3Dla dj= an, > catra1=3Dla alis, or sevzi1, which would make "sevzi" the same as "du"? > > I believe you want sevzi2 to default to la alis in that example, but "x1" > is not a good way of explaining it > Yes, to {lo no'a}, not to {vo'a}, sorry. > 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. > --=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. --001a11c1b5f07873f604fb3fe0db Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
Other news: for now only ckilu and gradu have concept/scal= e in their definitions.

Any more ideas on what to fill them with?


2014-06-07 1= 6:51 GMT+04:00 Jorge Llamb=C3=ADas <jjllambias@gmail.com>= :



On Sat, Jun 7, 2014 = at 3:38 AM, Gleki Arxokuna <gleki.is.my.name@gmail.com> wrote:

2014-06-07 0:33 GMT+04= :00 Jorge Llamb=C3=ADas <jjllambias@gmail.com>:

On Fri, Jun 6, 201= 4 at 4:40 AM, Gleki Arxokuna <gleki.is.my.name@gmail.com><= /span> wrote:

=
I propose "x1 is a self of x2 (x1 by d= efault)".

If x2 is x1 = by default, then "sevzi" defaults to "du". I think you = mean the x1 of the main selbri in which "sevzi" is used as a desc= ription of an argument, rather than the x1 of sevzi, which is the only one = you can really mention in a definition of "sevzi"

I mean that sevzi2 coudld be {zu'i=3Dx1} by default (just li= ke miter2 =3D 1 by default) whereas du2=3Dzo'e by default.
<= /div>

What do you mean by "x1"? In: "la djan c= u jinvi lo du'u la alis ba catra lo sevzi", what are you saying se= vzi2 would be by default? jinvi1=3Dla djan, catra1=3Dla alis, or sevzi1, wh= ich would make "sevzi" the same as "du"?

I believe you want sevzi2 to default to la alis in that= example, but "x1" is not a good way of explaining it
=

Yes, to {lo no'a}, not to = {vo'a}, sorry.


mu= 'o mi'e xorxes
=C2=A0

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

--
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.
--001a11c1b5f07873f604fb3fe0db--