Received-SPF: pass (google.com: domain of jjllambias@gmail.com designates 2607:f8b0:400c:c03::235 as permitted sender) client-ip=2607:f8b0:400c:c03::235;
MIME-Version: 1.0
In-Reply-To: <CAO7tK2e9T8a9mjZDe6=V=SLw6DYmdweQtq_DpEQQYSNpNK3hug@mail.gmail.com>
References: <CAO7bV+hTWfbg8uLyDGLgwwUXBmW+aCq_URk_vBu1SfVJ0ud0DQ@mail.gmail.com>
	<CAO7tK2cPXVejvLmJHWeyrojzWSfsBK+N5HnDJZhwXcr7GemH2A@mail.gmail.com>
	<CAO7bV+h=35QoraULFcZF8tUeKBKcr6DqevZwehNWP-G3UsuRxA@mail.gmail.com>
	<CAO7tK2fVQ-ud7nrMzOXmoRXXOnLROSgLrDbxp3Sf=AgfsX3SMA@mail.gmail.com>
	<CAO7bV+gQ7w=z_hhRpTqZTv6H+=d9swtB-UYq_WHt9TVP8nW=8g@mail.gmail.com>
	<CAO7tK2eOSCMaGgNkmj8QopgTcgMUvKdDj7KNcE3Vb5yZq0M4ow@mail.gmail.com>
	<CAO7bV+g5-HMG94pZfN0nvsMb+EKigdqv5ktSYhrFK8QQT71Wpg@mail.gmail.com>
	<CAO7tK2dT-o9z82B+dZORP17gBMYxk0DNcXkj6_aL3-+tt=f4ag@mail.gmail.com>
	<CAO7bV+gVF6mq8dU5yRbw09ks_GbPm6dsEZaYDkk83WPW5XA5=Q@mail.gmail.com>
	<CAO7tK2fanTdS+4sd0yu3_Kvmn87aGpbQ5dv77FSn5WnnMefLzQ@mail.gmail.com>
	<CAO7bV+ge=st5nhwO=9VQO3Qf0ptD8-6GHwG8w2+K95BgXk7ZOQ@mail.gmail.com>
	<CAO7tK2eoi-S3GuLtmwVNe-=WxPLuS=6ODZR3AOSfzHxSWTN-ZA@mail.gmail.com>
	<CAO7bV+hLLURQ56VFhPhWvfPDh0L0pFXRibsqOvBZdcx6-YX5_A@mail.gmail.com>
	<CAO7tK2eQkF+JtsibQNtk5E0AkJHC5su++bLdKba6yH2gXph6ZA@mail.gmail.com>
	<53903D84.90502@gmx.de>
	<CAO7bV+hxGZiY==1Ck9N6s2wvFaB5wiqK=Hgszio0=JGuWB_rfQ@mail.gmail.com>
	<CAO7bV+gCG1YLCtgnC7R=imRwBaCCA2hzAZbor9YRcTD9QO3=dg@mail.gmail.com>
	<CAO7tK2fY1gCpKXLEncdRh5rnVEMA-2y=nfbFEkmqjNzM1tRPow@mail.gmail.com>
	<CAO7bV+iiSskjbjkfWZYnw+Ah1JYveazLbZskvi33b8ncx-r6Ng@mail.gmail.com>
	<CAO7tK2dEa841UYqhAPJV35tn4xDC63knSMRPzPm4Yv1LdkswTQ@mail.gmail.com>
	<CAO7bV+iOhh67GHZsSBb-ONANcM+PVeQp6XVY3+GKsz9VtGgypQ@mail.gmail.com>
	<CAO7tK2cD+wWP75TD96ix__Drbt50Yz-M-ybQ=uNfT9X+Mt8u=A@mail.gmail.com>
	<CAO7bV+i=XvijFGGJrwsRyCb6c5dmMT+SG6wHP6gWSF=Jhu+-dg@mail.gmail.com>
	<CAO7tK2e9T8a9mjZDe6=V=SLw6DYmdweQtq_DpEQQYSNpNK3hug@mail.gmail.com>
Date: Sat, 7 Jun 2014 15:08:29 -0300
Message-ID: <CAO7tK2c2uCEb6xHyqg9s1dP3oc+FuYwXkSRsLv_yXoHtctRhOw@mail.gmail.com>
Subject: Re: [lojban] Specifying sumti types: another revision of gimste is complete
From: =?UTF-8?Q?Jorge_Llamb=C3=ADas?= <jjllambias@gmail.com>
To: lojban@googlegroups.com
Reply-To: lojban@googlegroups.com
Precedence: list
Mailing-list: list lojban@googlegroups.com; contact lojban+owners@googlegroups.com
Sender: lojban@googlegroups.com
Content-Type: multipart/alternative; boundary=047d7b2ed20182a88204fb42ddda
X-Spam_score: -1.9
X-Spam_score_int: -18
X-Spam_bar: -

--047d7b2ed20182a88204fb42ddda
Content-Type: text/plain; charset=UTF-8

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)?

(2) I don't think cpedu2 should be limited to properties, especially when
the property holder comes later in the structure.

(3) How is pandi4 a property of pandi3?

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

(5) pleji2/vecnu4 are most often money, not properties, and pleji4/vecnu2
can be goods.

(6) I don't think vamji1 is a property of vamji2

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

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

(9) Shouldn't farvi4/pluta4/kruvi4 be ordered like pruce4?

(10) sefta3 and sefta4 should be dropped.

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.

--047d7b2ed20182a88204fb42ddda
Content-Type: text/html; charset=UTF-8
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr"><div class=3D"gmail_extra"><br></div><div class=3D"gmail_e=
xtra">More random comments:</div><div class=3D"gmail_extra"><br></div><div =
class=3D"gmail_extra">(1) Shouldn&#39;t venfu3 be (property of x2) like cne=
mu3, sfasa3, ckasu3, xlura3 (this last one with reversed causality from the=
 others)?</div>
<div class=3D"gmail_extra"><br></div><div class=3D"gmail_extra">(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</div><div class=3D"gmail_ex=
tra"><br>
</div><div class=3D"gmail_extra">(3) How is pandi4 a property of pandi3?</d=
iv><div class=3D"gmail_extra"><br></div><div class=3D"gmail_extra">(4) Shou=
ldn&#39;t bancu2 be of the same type as bancu1?</div><div class=3D"gmail_ex=
tra">
<br></div><div class=3D"gmail_extra">(5) pleji2/vecnu4 are most often money=
, not properties, and pleji4/vecnu2 can be goods.</div><div class=3D"gmail_=
extra"><br></div><div class=3D"gmail_extra">(6) I don&#39;t think vamji1 is=
 a property of vamji2</div>
<div class=3D"gmail_extra"><br></div><div class=3D"gmail_extra">(7) Shouldn=
&#39;t jaspu4 be a property of x2?</div><div class=3D"gmail_extra"><br></di=
v><div class=3D"gmail_extra">(8) gismu2 and tanru4 should be something with=
 one or more ce&#39;u, not text or located.or proposition</div>
<div class=3D"gmail_extra"><br></div><div class=3D"gmail_extra">(9) Shouldn=
&#39;t farvi4/pluta4/kruvi4 be ordered like pruce4?</div><div class=3D"gmai=
l_extra"><br></div><div class=3D"gmail_extra">(10) sefta3 and sefta4 should=
 be dropped.</div>
<div class=3D"gmail_extra"><br></div><div class=3D"gmail_extra">mu&#39;o mi=
&#39;e xorxes</div><div class=3D"gmail_extra"><br></div></div>

<p></p>

-- <br />
You received this message because you are subscribed to the Google Groups &=
quot;lojban&quot; group.<br />
To unsubscribe from this group and stop receiving emails from it, send an e=
mail to <a href=3D"mailto:lojban+unsubscribe@googlegroups.com">lojban+unsub=
scribe@googlegroups.com</a>.<br />
To post to this group, send email to <a href=3D"mailto:lojban@googlegroups.=
com">lojban@googlegroups.com</a>.<br />
Visit this group at <a href=3D"http://groups.google.com/group/lojban">http:=
//groups.google.com/group/lojban</a>.<br />
For more options, visit <a href=3D"https://groups.google.com/d/optout">http=
s://groups.google.com/d/optout</a>.<br />

--047d7b2ed20182a88204fb42ddda--