Received-SPF: pass (google.com: domain of jjllambias@gmail.com designates 2607:f8b0:400c:c01::236 as permitted sender) client-ip=2607:f8b0:400c:c01::236;
MIME-Version: 1.0
In-Reply-To: <CAOQ8VDWzshNGU7W7pns8EGCwwAP-=WOJO52-kiBfxYwLxgHCmA@mail.gmail.com>
References: <CAO7bV+hTWfbg8uLyDGLgwwUXBmW+aCq_URk_vBu1SfVJ0ud0DQ@mail.gmail.com>
	<CAO7tK2cB31kzL+fS=SABeVB1w7sq8nGRERxTuXA-m-sTrE98nA@mail.gmail.com>
	<CAO7tK2fOv4Dkngu3WhzqBhE5zTSmTkD3+nfERJ-2xpsr4hUPgw@mail.gmail.com>
	<1687814.LVyUAvcs7U@caracal>
	<CAO7bV+ggi7Ao0BTmt=oejKMCz=9jLvxm-4iigAHjyPEKD-yTQw@mail.gmail.com>
	<CAOQ8VDWzshNGU7W7pns8EGCwwAP-=WOJO52-kiBfxYwLxgHCmA@mail.gmail.com>
Date: Fri, 20 Jun 2014 13:40:46 -0300
Message-ID: <CAO7tK2cpPuoRUXY7ZXEpG9aO2a5xQEpYsNMWNtb3CyzEyeorJg@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=047d7b3a89d2c32a7404fc472707
X-Spam_score: -1.8
X-Spam_score_int: -17
X-Spam_bar: -

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

On Fri, Jun 20, 2014 at 11:34 AM, Jacob Errington <nictytan@gmail.com>
wrote:

> In my theory of typed Lojban, I distinguish between evaluated numbers and
> unevaluated numbers, the latter being a subcategory of text.
> The types I believe in are:
> * predicates (ka and du'u abstractions)
> * events (nu abstractions)
> * numbers and parsed text (evaluated numbers introduced generally with
> {li} as well as lu..li'u quotes)
> * unparsed text (introduced with zo, lo'u...le'u, zoi, and me'o)
> * concrete sumti
>

What's the connection between numbers and parsed text? The way I see it, li
and du'u are smuni1 to me'o and se du'u as smuni2 respectively, or
conversely me'o and se du'u are sinxa1 to li and du'u as sinxa2.

I also think me'o belongs with parsed, not unparsed text, since it's a
structured set of words with a specific meaning, not just a meaningless
random collection of words.


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

--047d7b3a89d2c32a7404fc472707
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 Fri, Jun 20, 2014 at 11:34 AM, Jacob Errington <span dir=3D"ltr">&lt;<a =
href=3D"mailto:nictytan@gmail.com" target=3D"_blank">nictytan@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>In my theory of typed =
Lojban, I distinguish between evaluated numbers and unevaluated numbers, th=
e latter being a subcategory of text.<br>
The types I believe in are:<br>* predicates (ka and du&#39;u abstractions)<=
br>

* events (nu abstractions)<br>* numbers and parsed text (evaluated numbers =
introduced generally with {li} as well as lu..li&#39;u quotes)<br>* unparse=
d text (introduced with zo, lo&#39;u...le&#39;u, zoi, and me&#39;o)<br>


* concrete sumti <br></div></div></blockquote><div><br></div><div>What&#39;=
s the connection between numbers and parsed text? The way I see it, li and =
du&#39;u are smuni1 to me&#39;o and se du&#39;u as smuni2 respectively, or =
conversely me&#39;o and se du&#39;u are sinxa1 to li and du&#39;u as sinxa2=
.</div>
<div><br></div><div>I also think me&#39;o belongs with parsed, not unparsed=
 text, since it&#39;s a structured set of words with a specific meaning, no=
t just a meaningless random collection of words.=C2=A0</div><div>=C2=A0</di=
v><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></div></div></blockquote></div>mu&#39;o mi&#39;e xorx=
es</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 />

--047d7b3a89d2c32a7404fc472707--