Received-SPF: pass (google.com: domain of jjllambias@gmail.com designates 2607:f8b0:400c:c03::22b as permitted sender) client-ip=2607:f8b0:400c:c03::22b;
MIME-Version: 1.0
In-Reply-To: <CAO7bV+hQcPp8=mqUoQVtv6GA9BuU_vOdkAvoAJhXxVUxzU3g9w@mail.gmail.com>
References: <CAO7bV+hTWfbg8uLyDGLgwwUXBmW+aCq_URk_vBu1SfVJ0ud0DQ@mail.gmail.com>
	<CAO7tK2cCMM7kSe16Vi5d7ovQaReXXGOGv7VAiG8hiZUYJgjGWg@mail.gmail.com>
	<CAO7bV+j48tkO5o_g+Wo8vcNmH0+7KXPyZFAhou6q95EiQXhidg@mail.gmail.com>
	<CAO7tK2eYUE6S-ge6CwXLdOXSJjD7Xh7mkD+V=oRAFeQO4Rc_Og@mail.gmail.com>
	<CAO7bV+giaMU84wfJc3_mNsekvFM1_ZOLmbuAxWB2bn9q7ieMxQ@mail.gmail.com>
	<CAO7tK2ehF3cqU6dZChrMS_g6h+Ddy1F3spg=7f36=2US+bq4mw@mail.gmail.com>
	<CAO7bV+i9yDx59HaVmp0BBdfrSmAir2p7cMBXKbVwGN-n6DBJbw@mail.gmail.com>
	<CAO7tK2dGjBWCYTpbvLNwpzEX1_RxopS_0O0EzoTC99pt7Ht3RA@mail.gmail.com>
	<CAO7bV+hQcPp8=mqUoQVtv6GA9BuU_vOdkAvoAJhXxVUxzU3g9w@mail.gmail.com>
Date: Mon, 26 May 2014 19:08:58 -0300
Message-ID: <CAO7tK2cf7j6+PWPTr7vtFDn8=Yv9VQvDdsA1JrNMUJJsZGZ_XQ@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=001a11c3c8c476526b04fa54d3f0
X-Spam_score: 0.0
X-Spam_score_int: 0
X-Spam_bar: /

--001a11c3c8c476526b04fa54d3f0
Content-Type: text/plain; charset=UTF-8

On Mon, May 26, 2014 at 1:38 AM, Gleki Arxokuna
<gleki.is.my.name@gmail.com>wrote:

>
> Yes, "type" is what restricts a place, not a subtype. Subtypes are rather
> hints for newbies of what should go into a place.
>

There seems to be some confusion between types and roles. Agent and patient
(experiencer), tool, observer, are roles, not types. If the sumti filling
that place loses the property when removed from that place, then that
prooperty is a role, not a type. A type should be intrinsic to the sumti. A
number is always a number, a property is always a property, an agent is
only an agent when playing that role.

I did that some time in the past but unfortunately I lost the files I
>> worked with.
>>
>
> I can see that you grouped them into semantic classes.
>

They are meant to be argument structure classes, not semantic classes,
although semantic classes do tend to share structure.

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.

--001a11c3c8c476526b04fa54d3f0
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 Mon, May 26, 2014 at 1:38 AM, 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:0 0 0 .8ex;border-left:1p=
x #ccc solid;padding-left:1ex"><div dir=3D"ltr"><div class=3D"gmail_extra">=
<div class=3D"gmail_quote"><div class=3D""><div><br></div></div><div>Yes, &=
quot;type&quot; is what restricts a place, not a subtype. Subtypes are rath=
er hints for newbies of what should go into a place.</div>
</div></div></div></blockquote><div><br></div><div>There seems to be some c=
onfusion between types and roles. Agent and patient (experiencer), tool, ob=
server, are roles, not types. If the sumti filling that place loses the pro=
perty when removed from that place, then that prooperty is a role, not a ty=
pe. A type should be intrinsic to the sumti. A number is always a number, a=
 property is always a property, an agent is only an agent when playing that=
 role.</div>
<div><br></div><blockquote class=3D"gmail_quote" style=3D"margin:0 0 0 .8ex=
;border-left:1px #ccc solid;padding-left:1ex"><div dir=3D"ltr"><div class=
=3D"gmail_extra"><div class=3D"gmail_quote"><div class=3D""><blockquote cla=
ss=3D"gmail_quote" style=3D"margin:0 0 0 .8ex;border-left:1px #ccc solid;pa=
dding-left:1ex">
<div dir=3D"ltr"><div class=3D"gmail_extra"><div class=3D"gmail_quote"><div=
> I did that some time in the past but unfortunately I lost the files I wor=
ked with.=C2=A0</div>
</div></div></div></blockquote><div><br></div></div><div>I can see that you=
 grouped them into semantic classes. </div></div></div></div></blockquote><=
div><br></div><div>They are meant to be argument structure classes, not sem=
antic classes, although semantic classes do tend to share structure.</div>
<div><br></div><div>mu&#39;o mi&#39;e xorxes</div><div><br></div></div></di=
v></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 />

--001a11c3c8c476526b04fa54d3f0--