Received: from mail-la0-f55.google.com ([209.85.215.55]:39223) by stodi.digitalkingdom.org with esmtps (TLSv1:RC4-SHA:128) (Exim 4.80.1) (envelope-from ) id 1WtXs4-00059k-FD for lojban-list-archive@lojban.org; Sun, 08 Jun 2014 00:50:34 -0700 Received: by mail-la0-f55.google.com with SMTP id el20sf514446lab.20 for ; Sun, 08 Jun 2014 00:50:20 -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=wHmDNX3WziPhqVHkXl3/0FWuqegux9KNRU245cDZB5E=; b=MMT/un2WmCwJDj59nwW9L55XkaAzb+liwvwfGIJBkJ+r+pL0aedEA003C21Pn2OYbL x/57JqXIwRqoFu8iI74tETlkqSJcjc9YCxVIcN/BU7CsZRvXbtB+b1CJbqbeE5qcjIEF fJHYs9BZPuhhRTRc6/JcCnLy+Cz3OOIKa2XkGSMiqGPRyCycJkc68te6AuIN2jK/bi5W ItLNgjPSNcEproPp0b8mP+sgVc5qzThEg/3nMjzLWBqlGI4E+f2Etcg+FbF/M4VlV0p8 Lxwv5M6Lt4GEHd0Xs/QxBsicRUaGZ3w8WcvWFFI+lpag1I3v13ZGISfOdNxG61yFrjKb bEAA== X-Received: by 10.152.23.165 with SMTP id n5mr12561laf.5.1402213820779; Sun, 08 Jun 2014 00:50:20 -0700 (PDT) X-BeenThere: lojban@googlegroups.com Received: by 10.152.28.101 with SMTP id a5ls229004lah.100.gmail; Sun, 08 Jun 2014 00:50:19 -0700 (PDT) X-Received: by 10.112.19.103 with SMTP id d7mr3061459lbe.2.1402213819834; Sun, 08 Jun 2014 00:50:19 -0700 (PDT) Received: from mail-wg0-x22a.google.com (mail-wg0-x22a.google.com [2a00:1450:400c:c00::22a]) by gmr-mx.google.com with ESMTPS id gz10si335649wib.0.2014.06.08.00.50.19 for (version=TLSv1 cipher=ECDHE-RSA-RC4-SHA bits=128/128); Sun, 08 Jun 2014 00:50:19 -0700 (PDT) Received-SPF: pass (google.com: domain of gleki.is.my.name@gmail.com designates 2a00:1450:400c:c00::22a as permitted sender) client-ip=2a00:1450:400c:c00::22a; Received: by mail-wg0-f42.google.com with SMTP id z12so969743wgg.13 for ; Sun, 08 Jun 2014 00:50:19 -0700 (PDT) MIME-Version: 1.0 X-Received: by 10.194.62.176 with SMTP id z16mr2567106wjr.76.1402213819699; Sun, 08 Jun 2014 00:50:19 -0700 (PDT) Received: by 10.194.25.163 with HTTP; Sun, 8 Jun 2014 00:50:19 -0700 (PDT) In-Reply-To: References: <53903D84.90502@gmx.de> Date: Sun, 8 Jun 2014 11:50:19 +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::22a 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=047d7ba979c29f592004fb4e5861 X-Spam-Score: -2.6 (--) X-Spam_score: -2.6 X-Spam_score_int: -25 X-Spam_bar: -- --047d7ba979c29f592004fb4e5861 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable I think that since "located" can contain NU then "property" (which is based on {ka}) is a subtype of "located". E.g. in {mi kakne lo NU bajra} we have a "located" but in a more precise {mi kakne lo ka bajra} we have a property. 2014-06-07 22:08 GMT+04:00 Jorge Llamb=C3=ADas : > > More random comments: > > (1) Shouldn't venfu3 be (property of x2) like cnemu3, sfasa3, ckasu3, > xlura3 (this last one with reversed causality from the others)? > fxd. All of them are also in Psycho:Attitude class. (however, some belong to other classes so "Psycho" is in the class3 column sometimes. > (2) I don't think cpedu2 should be limited to properties, especially when > the property holder comes later in the structure. > Woudn't it be raising then if the action of cpedu2 is not done by cpedu3? The same for {pikci}. > (3) How is pandi4 a property of pandi3? > Should pandi4 be a property of pandi2? Or both? > > (4) Shouldn't bancu2 be of the same type as bancu1? > Not sure if the boundary should be of the same type as bancu1/bancu3. > > (5) pleji2/vecnu4 are most often money, not properties, and pleji4/vecnu2 > can be goods. > See my note above on located vs. properties. I can of course change these places to "located, property". > (6) I don't think vamji1 is a property of vamji2 > ti se vamji lo ka se vecnu > > (7) Shouldn't jaspu4 be a property of x2? > Yes, fxd (something got broken at one point). > > (8) gismu2 and tanru4 should be something with one or more ce'u, not text > or located.or proposition > gismu2 =3D property of gismu3? tanru4 is just valsi2, isn't it? > (9) Shouldn't farvi4/pluta4/kruvi4 be ordered like pruce4? > changed to "ordered plural of located" although kruvi doesn't have a vector like farvi/pruce/pluta have. > > (10) sefta3 and sefta4 should be dropped. > done. > > 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. --047d7ba979c29f592004fb4e5861 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
I think that since "located" can contain NU= then "property" (which is based on {ka}) is a subtype of "l= ocated".
E.g. in {mi kakne lo NU bajra} we have a "loca= ted" but in a more precise {mi kakne lo ka bajra} we have a property.<= /div>


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

More random comments:

(1) Shouldn't venfu3 be (property of x2) like cne= mu3, sfasa3, ckasu3, xlura3 (this last one with reversed causality from the= others)?

fxd. All of them are also =C2=A0in P= sycho:Attitude class. (however, some belong to other classes so "Psych= o" is in the class3 column sometimes.


(2) I don&#= 39;t think cpedu2 should be limited to properties, especially when the prop= erty holder comes later in the structure.=C2=A0

Woudn't it be raising then if the action of cpedu2 is not done by cpedu= 3? The same for {pikci}.


(3) How is pandi4 a property of pandi3?

Should pandi4 be a property of pandi2? Or bo= th?
=C2=A0

(4) Shouldn't bancu2 be of the same type as bancu1?

Not sure if the boundary should be of the same type as = bancu1/bancu3.
=C2=A0

(5) pleji2/vecnu4 are most often money= , not properties, and pleji4/vecnu2 can be goods.
<= div>
See my note above on located vs. properties. I can of course change= these places to "located, property".


=
(6) I don't think vamji1 is a property of va= mji2

ti se vamji lo ka se vecnu=
=C2=A0

(7) Shouldn= 't jaspu4 be a property of x2?

<= div>Yes, fxd (something got broken at one point).
=C2=A0

(8) gismu2 and tanru4 should be something with one or more ce'u, = not text or located.or proposition

<= div> gismu2 =3D property of gismu3?

tanru4 is just vals= i2, isn't it?=C2=A0


(9) Shouldn= 't farvi4/pluta4/kruvi4 be ordered like pruce4?
changed to "ordered plural of located" although kruvi doesn= 't have a vector like farvi/pruce/pluta have.
=C2=A0

(10) sefta3 and sefta4 should be dropped.
<= /div>
done.
=C2=A0

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.
--047d7ba979c29f592004fb4e5861--