Received-SPF: pass (google.com: domain of durka42@gmail.com designates 2607:f8b0:400d:c04::22d as permitted sender) client-ip=2607:f8b0:400d:c04::22d;
Date: Wed, 28 Jan 2015 11:21:57 -0500
From: Alex Burka <durka42@gmail.com>
To: lojban@googlegroups.com
Message-ID: <A1362A1499624C6A811E1805424FD6D0@gmail.com>
In-Reply-To: <CAO7tK2dbSSm=HZ2dcznzSmiXNqeBqM8n_GEsSvojUPY3YVc9wg@mail.gmail.com>
References: <54C80768.7020101@gmail.com>
 <CAO7tK2eYD0OF5t70RoZfoV1H7n+fnQaurofcvGVStj-t7FBydQ@mail.gmail.com>
 <ccebc81f-ae84-40ef-9177-703a93c223d9@googlegroups.com>
 <CAO7tK2dbSSm=HZ2dcznzSmiXNqeBqM8n_GEsSvojUPY3YVc9wg@mail.gmail.com>
Subject: Re: [lojban] {porsi}
MIME-Version: 1.0
Content-Type: multipart/alternative; boundary="54c90ca5_354fe9f9_123e"
Reply-To: lojban@googlegroups.com
Precedence: list
Mailing-list: list lojban@googlegroups.com; contact lojban+owners@googlegroups.com
Sender: lojban@googlegroups.com
X-Spam_score: 0.8
X-Spam_score_int: 8
X-Spam_bar: /
X-Spam-Report: Spam detection software, running on the system "stodi.digitalkingdom.org",
 has NOT identified this incoming email as spam.  The original
 message has been attached to this so you can view it or label
 similar future email.  If you have any questions, see
 @@CONTACT_ADDRESS@@ for details.
 
 Content preview:  Ah, so then length(lo porsi) may be greater than length(lo
    te porsi). I suggested this solution on IRC but it wasn't that well received.
    For an example, in what sense do we translate to Lojban the fact "O is the
    third letter of the word 'brodo'."? [...] 
 
 Content analysis details:   (0.8 points, 5.0 required)
 
  pts rule name              description
 ---- ---------------------- --------------------------------------------------
  0.0 URIBL_BLOCKED          ADMINISTRATOR NOTICE: The query to URIBL was blocked.
                             See
                             http://wiki.apache.org/spamassassin/DnsBlocklists#dnsbl-block
                              for more information.
                             [URIs: googlegroups.com]
  2.7 DNS_FROM_AHBL_RHSBL    RBL: Envelope sender listed in dnsbl.ahbl.org
                             [listed in googlegroups.com.rhsbl.ahbl.org.	IN]
                             [A]
 -0.0 RCVD_IN_MSPIKE_H3      RBL: Good reputation (+3)
                             [209.85.160.187 listed in wl.mailspike.net]
  0.0 T_HEADER_FROM_DIFFERENT_DOMAINS From and EnvelopeFrom 2nd level mail
                             domains are different
 -0.0 SPF_PASS               SPF: sender matches SPF record
  0.0 FREEMAIL_FROM          Sender email is commonly abused enduser mail provider
                             (durka42[at]gmail.com)
  0.0 DKIM_ADSP_CUSTOM_MED   No valid author signature, adsp_override is
                             CUSTOM_MED
  0.0 HTML_MESSAGE           BODY: HTML included in message
 -1.9 BAYES_00               BODY: Bayes spam probability is 0 to 1%
                             [score: 0.0000]
 -0.1 DKIM_VALID             Message has at least one valid DKIM or DK signature
  0.1 DKIM_SIGNED            Message has a DKIM or DK signature, not necessarily valid
  0.0 T_FREEMAIL_FORGED_FROMDOMAIN 2nd level domains in From and
                             EnvelopeFrom freemail headers are different
 -0.0 RCVD_IN_MSPIKE_WL      Mailspike good senders

--54c90ca5_354fe9f9_123e
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: quoted-printable
Content-Disposition: inline

Ah, so then length(lo porsi) may be greater than length(lo te porsi). I sug=
gested this solution on IRC but it wasn't that well received.

For an example, in what sense do we translate to Lojban the fact "O is the =
third letter of the word 'brodo'."?

- mu'o mi'e la durkavore =20


On Wednesday, January 28, 2015 at 8:03 AM, Jorge Llamb=C3=ADas wrote:

> =20
> =20
> On Wed, Jan 28, 2015 at 2:26 AM, la durka <durka42@gmail.com (mailto:durk=
a42@gmail.com)> wrote:
> > I think there has to be a distinction between "ordered set" and "sequen=
ce", no? Lojban seemingly conflates the two, but they're not the same -- a =
set, ordered or not, can't have duplicate elements, but a sequence can.
> =20
> For me, porsi relates a sequence porsi1 to its members porsi3, so for me =
there are no sets involved.
> =20
> Since an ordered set is a special type of sequence, we could have "rolcmi=
poi" or "cmipoi", "x1 porsi x2 lo ro cmima be x3" for ordered set, a sequen=
ce whose members are the members of a set.
> =20
> mu'o mi'e xorxes
> =20
> -- =20
> You received this message because you are subscribed to a topic in the Go=
ogle Groups "lojban" group.
> To unsubscribe from this topic, visit https://groups.google.com/d/topic/l=
ojban/pL3yVycaRSQ/unsubscribe.
> To unsubscribe from this group and all its topics, send an email to lojba=
n+unsubscribe@googlegroups.com (mailto:lojban+unsubscribe@googlegroups.com)=
.
> To post to this group, send email to lojban@googlegroups.com (mailto:lojb=
an@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.

--54c90ca5_354fe9f9_123e
Content-Type: text/html; charset=UTF-8
Content-Transfer-Encoding: quoted-printable
Content-Disposition: inline


                <div>
                    <div>Ah, so then length(lo porsi) may be greater than l=
ength(lo te porsi). I suggested this solution on IRC but it wasn't that wel=
l received.</div><div><br></div><div>For an example, in what sense do we tr=
anslate to Lojban the fact "O is the third letter of the word 'brodo'."?</d=
iv><div><br></div><div>- mu'o mi'e la durkavore</div>
                </div>
                <div></div>
                =20
                <p style=3D"color: #A0A0A8;">On Wednesday, January 28, 2015=
 at 8:03 AM, Jorge Llamb=C3=ADas wrote:</p>
                <blockquote type=3D"cite" style=3D"border-left-style:solid;=
border-width:1px;margin-left:0px;padding-left:10px;">
                    <span><div><div><div dir=3D"ltr"><br><div><br><div>On W=
ed, Jan 28, 2015 at 2:26 AM, la durka <span dir=3D"ltr">&lt;<a href=3D"mail=
to:durka42@gmail.com" target=3D"_blank">durka42@gmail.com</a>&gt;</span> wr=
ote:<br><blockquote style=3D"margin:0 0 0 .8ex;border-left:1px #ccc solid;p=
adding-left:1ex"><div dir=3D"ltr">I think there has to be a distinction bet=
ween "ordered set" and "sequence", no? Lojban seemingly conflates the two, =
but they're not the same -- a set, ordered or not, can't have duplicate ele=
ments, but a sequence can.<br></div></blockquote><div><br></div><div>For me=
, porsi relates a sequence porsi1 to its members porsi3, so for me there ar=
e no sets involved.</div><div><br></div><div>Since an ordered set is a spec=
ial type of sequence, we could have "rolcmipoi" or "cmipoi", "x1 porsi x2 l=
o ro cmima be x3" for ordered set, a sequence whose members are the members=
 of a set.</div><div><br></div><div>mu'o mi'e xorxes</div><div><br></div></=
div></div></div>

<p></p>

-- <br>
You received this message because you are subscribed to a topic in the Goog=
le Groups "lojban" group.<br>
To unsubscribe from this topic, visit <a href=3D"https://groups.google.com/=
d/topic/lojban/pL3yVycaRSQ/unsubscribe">https://groups.google.com/d/topic/l=
ojban/pL3yVycaRSQ/unsubscribe</a>.<br>
To unsubscribe from this group and all its topics, send an email to <a href=
=3D"mailto:lojban+unsubscribe@googlegroups.com">lojban+unsubscribe@googlegr=
oups.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>
</div></div></span>
                =20
                =20
                =20
                =20
                </blockquote>
                =20
                <div>
                    <br>
                </div>
           =20

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

--54c90ca5_354fe9f9_123e--