Received: from mail-pb0-f63.google.com ([209.85.160.63]:41783) by stodi.digitalkingdom.org with esmtps (TLSv1:RC4-SHA:128) (Exim 4.80.1) (envelope-from ) id 1WxE8i-0007ID-5l for lojban-list-archive@lojban.org; Wed, 18 Jun 2014 04:34:59 -0700 Received: by mail-pb0-f63.google.com with SMTP id rq2sf182643pbb.8 for ; Wed, 18 Jun 2014 04:34:46 -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=LbQSuWfj5ZQ+7KqXnzyiCzRbv3r8dqVxu1rc6msyr04=; b=j4xyPthNheral04BiPej11o972FXzoLVX6ey6dAaW0gH4UbK8UKj5wJERZXB2i4jk4 U3qrZvxt/8h388IMrZL2ftNzr78DrxIz1xXTAxIzPo70has7SK86KXP9Jl3ou6rX0LxY qhfY0tIRDd56jx3bD3CDVeiPskR2STIZTRthlFmvvc5VxrtmeEu/B+d7ywO5evW1vCCs tSfdJtmzcBJLq1POfnyMwVBv+eCwJkJk1pv57CqG3JhthnYKaVYKJSc962YQZcdunnQI xZCiI/bF0V0RRtfgV5c2mgv6C5SERcZRI3Oq6HCg2xnpIjcI3zXuYoQ7fqM7LE2QLeYu LBqw== X-Received: by 10.50.103.104 with SMTP id fv8mr65761igb.2.1403091286176; Wed, 18 Jun 2014 04:34:46 -0700 (PDT) X-BeenThere: lojban@googlegroups.com Received: by 10.50.138.98 with SMTP id qp2ls2235310igb.41.canary; Wed, 18 Jun 2014 04:34:45 -0700 (PDT) X-Received: by 10.66.162.5 with SMTP id xw5mr556493pab.12.1403091285757; Wed, 18 Jun 2014 04:34:45 -0700 (PDT) Received: from mail-vc0-x233.google.com (mail-vc0-x233.google.com [2607:f8b0:400c:c03::233]) by gmr-mx.google.com with ESMTPS id xn6si69287vdc.2.2014.06.18.04.34.45 for (version=TLSv1 cipher=ECDHE-RSA-RC4-SHA bits=128/128); Wed, 18 Jun 2014 04:34:45 -0700 (PDT) Received-SPF: pass (google.com: domain of jjllambias@gmail.com designates 2607:f8b0:400c:c03::233 as permitted sender) client-ip=2607:f8b0:400c:c03::233; Received: by mail-vc0-f179.google.com with SMTP id id10so633275vcb.38 for ; Wed, 18 Jun 2014 04:34:45 -0700 (PDT) MIME-Version: 1.0 X-Received: by 10.58.69.76 with SMTP id c12mr740717veu.35.1403091285577; Wed, 18 Jun 2014 04:34:45 -0700 (PDT) Received: by 10.220.170.73 with HTTP; Wed, 18 Jun 2014 04:34:45 -0700 (PDT) In-Reply-To: References: <53903D84.90502@gmx.de> Date: Wed, 18 Jun 2014 08:34:45 -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:c03::233 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=047d7b3a9bceaa192204fc1aa5f9 X-Spam-Score: -1.9 (-) X-Spam_score: -1.9 X-Spam_score_int: -18 X-Spam_bar: - --047d7b3a9bceaa192204fc1aa5f9 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable On Wed, Jun 18, 2014 at 3:19 AM, Gleki Arxokuna wrote: > > 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" ? > Why? Can't we say, for example: ro se zukte cu porsi fi lo cmamau se zukte "Every action is a sequence of smaller actions." mu'o mi'e xorxes --=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. --047d7b3a9bceaa192204fc1aa5f9 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable

= On Wed, Jun 18, 2014 at 3:19 AM, Gleki Arxokuna <gleki.is.my.name= @gmail.com> wrote:
=
2014-06-18 0:59 GMT+04:00 Jorge Llamb=C3=ADa= s <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

=
By "any type" we assume here anything but "property&quo= t; ?

Why? Can't we say, f= or example:

=C2=A0 ro se zukte cu porsi fi lo cmam= au se zukte=C2=A0
=C2=A0 "Every action is a sequence of smal= ler actions."

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