Received: from mail-wi0-f190.google.com ([209.85.212.190]:47629) by stodi.digitalkingdom.org with esmtps (TLSv1:RC4-SHA:128) (Exim 4.80.1) (envelope-from ) id 1Wx9Dm-0005sB-TT for lojban-list-archive@lojban.org; Tue, 17 Jun 2014 23:19:52 -0700 Received: by mail-wi0-f190.google.com with SMTP id bs8sf36693wib.27 for ; Tue, 17 Jun 2014 23:19:39 -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=g1DFl6EcuR7RNRuKxGH6DKYlQHpl2kPRueQZEEUKS3k=; b=KozZx51NXnQPJpwxRTcVySJYHx+wWlf9hrv0Tfa0tHrB1YOAnitoXQb6+uPkeXw0kT MCkdFA4N/bik5rPKXTyAdWlTpCRs2ztq0boD+nrrdjO5/Xh+UVhSdLAqtJIy2IdVQ0Fz dRUuzbWy0GM56GLXP/jmWVNW4gpb8q1Ksk6FJYTbWWB8JmPnS+RcTwycp44+PZo5kLGW mqN334G8X1sPMUVZ4A3IeMl6LfxRKfzWkSf8Zg1sVLJ7jmvPfdpwme1l32ywvS+WUYPv 0G3LPPvjyQu8hcSfnhJ+PZ2cN5nL/eqH9NM5okq661tf1pPsh4iFioCQ3L657liaB0Xl KPeQ== X-Received: by 10.180.186.73 with SMTP id fi9mr3804wic.6.1403072379656; Tue, 17 Jun 2014 23:19:39 -0700 (PDT) X-BeenThere: lojban@googlegroups.com Received: by 10.180.95.136 with SMTP id dk8ls1507wib.5.gmail; Tue, 17 Jun 2014 23:19:38 -0700 (PDT) X-Received: by 10.181.13.133 with SMTP id ey5mr115171wid.0.1403072378928; Tue, 17 Jun 2014 23:19:38 -0700 (PDT) Received: from mail-wi0-x22f.google.com (mail-wi0-x22f.google.com [2a00:1450:400c:c05::22f]) by gmr-mx.google.com with ESMTPS id ck3si1098212wib.0.2014.06.17.23.19.38 for (version=TLSv1 cipher=ECDHE-RSA-RC4-SHA bits=128/128); Tue, 17 Jun 2014 23:19:38 -0700 (PDT) Received-SPF: pass (google.com: domain of gleki.is.my.name@gmail.com designates 2a00:1450:400c:c05::22f as permitted sender) client-ip=2a00:1450:400c:c05::22f; Received: by mail-wi0-f175.google.com with SMTP id r20so6969634wiv.14 for ; Tue, 17 Jun 2014 23:19:38 -0700 (PDT) MIME-Version: 1.0 X-Received: by 10.180.73.169 with SMTP id m9mr2045932wiv.53.1403072378786; Tue, 17 Jun 2014 23:19:38 -0700 (PDT) Received: by 10.194.25.163 with HTTP; Tue, 17 Jun 2014 23:19:38 -0700 (PDT) In-Reply-To: References: <53903D84.90502@gmx.de> Date: Wed, 18 Jun 2014 10:19:38 +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::22f 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=f46d043c7e1ebb5b2804fc163e2f X-Spam-Score: -1.9 (-) X-Spam_score: -1.9 X-Spam_score_int: -18 X-Spam_bar: - --f46d043c7e1ebb5b2804fc163e2f Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable 2014-06-18 0:59 GMT+04:00 Jorge Llamb=C3=ADas : > > > > On Tue, Jun 17, 2014 at 5:28 AM, Gleki Arxokuna < > gleki.is.my.name@gmail.com> wrote: > >> >> ok, porsi1 changed to "located". >> > > Shouldn't it be any type? > By "any type" we assume here anything but "property" ? > 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. --f46d043c7e1ebb5b2804fc163e2f Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable



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



On Tue, Jun 17, 2014= at 5:28 AM, Gleki Arxokuna <gleki.is.my.name@gmail.com> wrote:
=

ok, porsi1 change= d =C2=A0to "located".

Shouldn't it b= e any type?=C2=A0

B= y "any type" we assume here anything but "property" ?


=
mu'o mi'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+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.
--f46d043c7e1ebb5b2804fc163e2f--