Received-SPF: pass (google.com: domain of jjllambias@gmail.com designates 2a00:1450:400c:c05::229 as permitted sender) client-ip=2a00:1450:400c:c05::229;
MIME-Version: 1.0
In-Reply-To: <CAO7bV+j48tkO5o_g+Wo8vcNmH0+7KXPyZFAhou6q95EiQXhidg@mail.gmail.com>
References: <CAO7bV+hTWfbg8uLyDGLgwwUXBmW+aCq_URk_vBu1SfVJ0ud0DQ@mail.gmail.com>
	<CAO7tK2cCMM7kSe16Vi5d7ovQaReXXGOGv7VAiG8hiZUYJgjGWg@mail.gmail.com>
	<CAO7bV+j48tkO5o_g+Wo8vcNmH0+7KXPyZFAhou6q95EiQXhidg@mail.gmail.com>
Date: Sat, 24 May 2014 16:55:47 -0300
Message-ID: <CAO7tK2eYUE6S-ge6CwXLdOXSJjD7Xh7mkD+V=oRAFeQO4Rc_Og@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=047d7b5d35de7b347a04fa2abbd6
X-Spam_score: 0.0
X-Spam_score_int: 0
X-Spam_bar: /

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

On Sat, May 24, 2014 at 1:35 PM, Gleki Arxokuna
<gleki.is.my.name@gmail.com>wrote:

>
> 2014-05-24 18:31 GMT+04:00 Jorge Llamb=C3=ADas <jjllambias@gmail.com>:
>
>>
>>  When you flag a place with a type, do you mean that no other type is
>> allowed in that place
>>
>
> No other place is allowed. If you disagree for a given places of a given
> brivla please bug me.
>

Then I think you are being overly restrictive. I can't go over the whole
list, but just from looking at some random words:

The x1 of ckaji, for example, can be anything at all, it's not restricted
to objects.

I don't see why "lo since" couldn't go in the x1 of ckape.

Since "object" and "group" are different types, does that mean that you
wouldn't accept a group as the x1 or x2 of ckasu?

What do you think of something like "mi ckire lo cevni lo nu mi ka'e viska"=
?


>
> As for {konju} i filed a separate bug for it in the mriste. Its official
> definition is somewhat broken.
>

The x3 of konju is somewhat like the stripes of tirxu, but the x2 is part
of a regular pattern. Arguably, all the "of material" places are a
hindrance, but picking on this particular one seems a bit random.  Your
definition as cone made of lines means you want it to be only for abstract
cones? Would a traffic cone qualify as a konju in your sense?

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.

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

<div dir=3D"ltr"><div class=3D"gmail_extra"><br><div class=3D"gmail_quote">=
On Sat, May 24, 2014 at 1:35 PM, Gleki Arxokuna <span dir=3D"ltr">&lt;<a hr=
ef=3D"mailto:gleki.is.my.name@gmail.com" target=3D"_blank">gleki.is.my.name=
@gmail.com</a>&gt;</span> wrote:<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"><br><div class=
=3D"gmail_quote">

2014-05-24 18:31 GMT+04:00 Jorge Llamb=C3=ADas <span dir=3D"ltr">&lt;<a hre=
f=3D"mailto:jjllambias@gmail.com" target=3D"_blank">jjllambias@gmail.com</a=
>&gt;</span>:<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;padding-left:1ex">

<div dir=3D"ltr"><div class=3D"gmail_extra"><br></div></div></blockquote></=
div><div><blockquote class=3D"gmail_quote" style=3D"margin:0px 0px 0px 0.8e=
x;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-styl=
e:solid;padding-left:1ex">


<div dir=3D"ltr"><div class=3D"gmail_extra"><div class=3D"gmail_quote"><div=
> When you flag a place with a type, do you mean that no other type is allo=
wed in that place</div></div></div></div></blockquote><div><br></div></div>=
<div>

No other place is allowed. If you disagree for a given places of a given br=
ivla please bug me.</div></div></div></div></blockquote><div><br></div><div=
>Then I think you are being overly restrictive. I can&#39;t go over the who=
le list, but just from looking at some random words:</div>

<div><br></div><div>The x1 of ckaji, for example, can be anything at all, i=
t&#39;s not restricted to objects.</div><div><br></div><div>I don&#39;t see=
 why &quot;lo since&quot; couldn&#39;t go in the x1 of ckape.</div><div>
<br></div><div>Since &quot;object&quot; and &quot;group&quot; are different=
 types, does that mean that you wouldn&#39;t accept a group as the x1 or x2=
 of ckasu?</div><div><br></div><div>What do you think of something like &qu=
ot;mi ckire lo cevni lo nu mi ka&#39;e viska&quot;?</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,204,204);border-l=
eft-style:solid;padding-left:1ex"><div dir=3D"ltr"><div class=3D"gmail_extr=
a"><div class=3D"gmail_quote">


<div><br></div><div>As for {konju} i filed a separate bug for it in the mri=
ste. Its official definition is somewhat broken.</div></div></div></div></b=
lockquote><div><br></div><div>The x3 of konju is somewhat like the stripes =
of tirxu, but the x2 is part of a regular pattern. Arguably, all the &quot;=
of material&quot; places are a hindrance, but picking on this particular on=
e seems a bit random. =C2=A0Your definition as cone made of lines means you=
 want it to be only for abstract cones? Would a traffic cone qualify as a k=
onju in your sense?</div>
<div><br></div><div>mu&#39;o mi&#39;e xorxes</div><div>=C2=A0</div></div></=
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 />

--047d7b5d35de7b347a04fa2abbd6--