Received-SPF: pass (google.com: domain of gleki.is.my.name@gmail.com designates 2a00:1450:400c:c00::232 as permitted sender) client-ip=2a00:1450:400c:c00::232;
MIME-Version: 1.0
In-Reply-To: <CAO7tK2cCcxk-Vmc9xbru_cJU0zhV7Ph=1_9KcmNrgcEc6n6X0Q@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>
	<CAO7tK2c2uCEb6xHyqg9s1dP3oc+FuYwXkSRsLv_yXoHtctRhOw@mail.gmail.com>
	<CAO7bV+iV72W-u0hrqtGiuqnG1DgNOfoR7Q5z4+VCWnEMCe09rQ@mail.gmail.com>
	<CAO7tK2fm9s2zFbXWMRHHCs_D8X+BzWy_0h-u_M66spDvECn20A@mail.gmail.com>
	<CAO7bV+gKQ=9WK5ky=atbQd3yZWsn8XqkE=xpvBYJAT3ZH8LruQ@mail.gmail.com>
	<CAO7tK2cvJMWG1uJ_JMmYqZ-ohCtxD07UUAXzTFAV1KW_0psRYg@mail.gmail.com>
	<CAO7bV+ggLkeG5DFMosmjh3AhWo=ueFzzM9RRDcG6UDEHLFR+mg@mail.gmail.com>
	<CAO7bV+izxPy12cRvZVadPnKibo9PwWukKhZ-OcuYQfSNHA=BLw@mail.gmail.com>
	<CAO7tK2cCcxk-Vmc9xbru_cJU0zhV7Ph=1_9KcmNrgcEc6n6X0Q@mail.gmail.com>
Date: Mon, 16 Jun 2014 08:55:29 +0400
Message-ID: <CAO7bV+iDQ0NdEUFT+Jwq_1zyiycdQ4TQSxGOMziaOR8E8Cvpow@mail.gmail.com>
Subject: Re: [lojban] Specifying sumti types: another revision of gimste is complete
From: Gleki Arxokuna <gleki.is.my.name@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=f46d04388e95212d6c04fbecd60e
X-Spam_score: -1.9
X-Spam_score_int: -18
X-Spam_bar: -

--f46d04388e95212d6c04fbecd60e
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: quoted-printable

2014-06-15 17:28 GMT+04:00 Jorge Llamb=C3=ADas <jjllambias@gmail.com>:

> Looking at the places tagged as "plural":
>
> simxu1 - OK
> casnu1 - OK
> jmaji1 - missing
>

x1 (plural of located) gather at location x2 from locations x3 (plural of
located)


> porsi1 - I disagree.
>

By ordered plural I mean {ce'o}, by "plural" I mean {jo'u}.


> rilti1 - no idea
>
> fenso2 - OK
> liste2 - OK
> linji2 - OK
> plita2 - OK?
> sarni2 - ?
>
three corners imply that all of them are to be specified.


> lanzu2 - since the definition is "including x2" then it doesn't have to b=
e
> a plural, "lo lanzu be mi", "my family".
>

fxd.

I think this gunma2 vs. cmima1 difference is to be specified more clearly
since this is not the only example of "full set" vs. "a member of the full
set".
I added an additional "; full set" to gunma2.

gunma2 - missing
>

fxd.


> bakfu2 - missing (I think it should be a complete specification)
>

fxd. I added an additional "; full set" to bakfu2.

derxi2 - same
>
stura2 - same
> trene2 - same
> cecmu2 - same
> bende2 - same
> mixre2 - same
>

^ all of them fixed, "full set" added.

>
> porsi3 - OK
> snuji3 - OK
> cuxna3 - OK
> ciste3 - missing
>

fxd, "full set"  added.


> pruce4 - OK
> farvi4 - OK
> pluta4 - OK
> kruvi4 - OK?
>

"full set added".


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

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

<div dir=3D"ltr"><br><div class=3D"gmail_extra"><br><br><div class=3D"gmail=
_quote">2014-06-15 17:28 GMT+04:00 Jorge Llamb=C3=ADas <span dir=3D"ltr">&l=
t;<a href=3D"mailto:jjllambias@gmail.com" target=3D"_blank">jjllambias@gmai=
l.com</a>&gt;</span>:<br>
<blockquote class=3D"gmail_quote" style=3D"margin:0px 0px 0px 0.8ex;border-=
left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;p=
adding-left:1ex"><div dir=3D"ltr"><div class=3D"gmail_extra">Looking at the=
 places tagged as &quot;plural&quot;:</div>
<div class=3D"gmail_extra"><br></div><div class=3D"gmail_extra">simxu1 - OK=
<br></div><div class=3D"gmail_extra">casnu1 - OK</div><div class=3D"gmail_e=
xtra">
jmaji1 - missing</div></div></blockquote><div><br>x1 (plural of located) ga=
ther at location x2 from locations x3 (plural of located)<br>=C2=A0</div><b=
lockquote class=3D"gmail_quote" style=3D"margin:0px 0px 0px 0.8ex;border-le=
ft-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;pad=
ding-left:1ex">
<div dir=3D"ltr"><div class=3D"gmail_extra">porsi1 - I disagree.</div></div=
></blockquote><div><br></div><div>By ordered plural I mean {ce&#39;o}, by &=
quot;plural&quot; I mean {jo&#39;u}.</div><div>=C2=A0</div><blockquote clas=
s=3D"gmail_quote" style=3D"margin:0px 0px 0px 0.8ex;border-left-width:1px;b=
order-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex"=
>
<div dir=3D"ltr"><div class=3D"gmail_extra">rilti1 - no idea</div><div clas=
s=3D"gmail_extra"><br></div><div class=3D"gmail_extra">fenso2 - OK</div><di=
v class=3D"gmail_extra">
liste2 - OK</div><div class=3D"gmail_extra">linji2 - OK</div><div class=3D"=
gmail_extra">plita2 - OK?</div><div class=3D"gmail_extra">sarni2 - ?</div><=
/div></blockquote><div>three corners imply that all of them are to be speci=
fied.</div>
<div><br></div><div>=C2=A0</div><blockquote class=3D"gmail_quote" style=3D"=
margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,20=
4,204);border-left-style:solid;padding-left:1ex"><div dir=3D"ltr"><div clas=
s=3D"gmail_extra">
lanzu2 - since the definition is &quot;including x2&quot; then it doesn&#39=
;t have to be a plural, &quot;lo lanzu be mi&quot;, &quot;my family&quot;.<=
/div></div></blockquote><div><br></div><div>fxd.</div><div><br></div><div>
I think this gunma2 vs. cmima1 difference is to be specified more clearly s=
ince this is not the only example of &quot;full set&quot; vs. &quot;a membe=
r of the full set&quot;.</div><div>I added an additional &quot;; full set&q=
uot; to gunma2.</div>
<div><br></div><blockquote class=3D"gmail_quote" style=3D"margin:0px 0px 0p=
x 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-lef=
t-style:solid;padding-left:1ex"><div dir=3D"ltr">
<div class=3D"gmail_extra">gunma2 - missing</div></div></blockquote><div><b=
r></div><div>fxd.</div><div>=C2=A0</div><blockquote class=3D"gmail_quote" s=
tyle=3D"margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rg=
b(204,204,204);border-left-style:solid;padding-left:1ex">
<div dir=3D"ltr"><div class=3D"gmail_extra">bakfu2 - missing (I think it sh=
ould be a complete specification)</div></div></blockquote><div><br></div><d=
iv>fxd. I added an additional &quot;; full set&quot; to bakfu2.=C2=A0</div>=
<div>
<br></div><blockquote class=3D"gmail_quote" style=3D"margin:0px 0px 0px 0.8=
ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-sty=
le:solid;padding-left:1ex"><div dir=3D"ltr"><div class=3D"gmail_extra">derx=
i2 - same=C2=A0</div>
</div></blockquote><blockquote class=3D"gmail_quote" style=3D"margin:0px 0p=
x 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border=
-left-style:solid;padding-left:1ex"><div dir=3D"ltr"><div class=3D"gmail_ex=
tra">
stura2 - same</div>
<div class=3D"gmail_extra">trene2 - same</div><div class=3D"gmail_extra">ce=
cmu2 - same</div><div class=3D"gmail_extra">bende2 - same</div><div class=
=3D"gmail_extra">mixre2 - same<br></div></div></blockquote><div><br></div><=
div>^ all of them fixed, &quot;full set&quot; added.</div>
<blockquote class=3D"gmail_quote" style=3D"margin:0px 0px 0px 0.8ex;border-=
left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;p=
adding-left:1ex"><div dir=3D"ltr"><div class=3D"gmail_extra"></div><div cla=
ss=3D"gmail_extra">
<br></div><div class=3D"gmail_extra">
porsi3 - OK</div><div class=3D"gmail_extra">snuji3 - OK</div><div class=3D"=
gmail_extra">cuxna3 - OK</div><div class=3D"gmail_extra">ciste3 - missing</=
div></div></blockquote><div><br></div><div>fxd, &quot;full set&quot; =C2=A0=
added.</div>
<div><br></div><blockquote class=3D"gmail_quote" style=3D"margin:0px 0px 0p=
x 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-lef=
t-style:solid;padding-left:1ex"><div dir=3D"ltr"><div class=3D"gmail_extra"=
><br>
</div><div class=3D"gmail_extra">pruce4 - OK</div>
<div class=3D"gmail_extra">farvi4 - OK</div><div class=3D"gmail_extra">plut=
a4 - OK</div><div class=3D"gmail_extra">kruvi4 - OK?</div></div></blockquot=
e><div><br></div><div>&quot;full set added&quot;.</div><div><br></div><bloc=
kquote class=3D"gmail_quote" style=3D"margin:0px 0px 0px 0.8ex;border-left-=
width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;paddin=
g-left:1ex">
<div dir=3D"ltr"><div class=3D""><div class=3D"gmail_extra"><br></div><div =
class=3D"gmail_extra">mu&#39;o mi&#39;e xorxes</div></div></div><div class=
=3D""><div class=3D"h5">

<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" target=3D"_b=
lank">lojban+unsubscribe@googlegroups.com</a>.<br>
To post to this group, send email to <a href=3D"mailto:lojban@googlegroups.=
com" target=3D"_blank">lojban@googlegroups.com</a>.<br>
Visit this group at <a href=3D"http://groups.google.com/group/lojban" targe=
t=3D"_blank">http://groups.google.com/group/lojban</a>.<br>
For more options, visit <a href=3D"https://groups.google.com/d/optout" targ=
et=3D"_blank">https://groups.google.com/d/optout</a>.<br>
</div></div></blockquote></div><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 />

--f46d04388e95212d6c04fbecd60e--