Received-SPF: pass (google.com: domain of jjllambias@gmail.com designates 2a00:1450:400c:c00::22a as permitted sender) client-ip=2a00:1450:400c:c00::22a;
MIME-Version: 1.0
In-Reply-To: <54C80768.7020101@gmail.com>
References: <54C80768.7020101@gmail.com>
Date: Tue, 27 Jan 2015 20:06:46 -0300
Message-ID: <CAO7tK2eYD0OF5t70RoZfoV1H7n+fnQaurofcvGVStj-t7FBydQ@mail.gmail.com>
Subject: Re: [lojban] {porsi}
From: =?UTF-8?Q?Jorge_Llamb=C3=ADas?= <jjllambias@gmail.com>
To: lojban@googlegroups.com
Content-Type: multipart/alternative; boundary=14dae9cc90b81f33a5050daa4f68
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:  On Tue, Jan 27, 2015 at 6:47 PM, Ilmen <ilmen.pokebip@gmail.com>
    wrote: > > If you think that the letter sequence "brodo" can satisfy {porsi}'s
    x1, > I'd be grateful if you could show me the Lojban definition of the sorting
    > rule that can output the sequence "brodo" when applied to the unordered
    set > of letters {b,r,o,d}. :) > [...] 
 
 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)
                             [74.125.82.60 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
                             (jjllambias[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

--14dae9cc90b81f33a5050daa4f68
Content-Type: text/plain; charset=UTF-8

On Tue, Jan 27, 2015 at 6:47 PM, Ilmen <ilmen.pokebip@gmail.com> wrote:

>
> If you think that the letter sequence "brodo" can satisfy {porsi}'s x1,
> I'd be grateful if you could show me the Lojban definition of the sorting
> rule that can output the sequence "brodo" when applied to the unordered set
> of letters {b,r,o,d}. :)
>

In my view, ro da poi porsi cu gunma lo te porsi be da, so porsi3 are all
the members of porsi1, not just the member types. So for example the
sequence of digits in the decimal expansion of pi has an infinite number of
elements, not just ten.

Describing the porsi2 of [b,r,o,d,o] is a pain because it's an arbitrary
sequence, not one that follows some simple rule. Since we're going to need
to refer to two instances of the letter "o" we can use the pronouns ".o bu
xi pa" and ".o bu xi re" for each instance, and "by", "ry" and "dy" for the
other three letter instances. Then porsi2 could be something like "lo du'u
ge by cu pa moi gi ge ry cu re moi gi ge .o bu xi pa cu ci moi gi ge dy cu
vo moi gi ,o bu xi re cu mu moi".

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.

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

<div dir=3D"ltr"><br><div class=3D"gmail_extra"><br><div class=3D"gmail_quo=
te">On Tue, Jan 27, 2015 at 6:47 PM, Ilmen <span dir=3D"ltr">&lt;<a href=3D=
"mailto:ilmen.pokebip@gmail.com" target=3D"_blank">ilmen.pokebip@gmail.com<=
/a>&gt;</span> wrote:<br><blockquote class=3D"gmail_quote" style=3D"margin:=
0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
 =20

   =20
 =20
  <div text=3D"#000000" bgcolor=3D"#FFFFFF"><br>
    If you think that the letter sequence &quot;brodo&quot; can satisfy {po=
rsi}&#39;s
    x1, I&#39;d be grateful if you could show me the Lojban definition of
    the sorting rule that can output the sequence &quot;brodo&quot; when ap=
plied
    to the unordered set of letters {b,r,o,d}. :)</div></blockquote><div><b=
r></div><div>In my view, ro da poi porsi cu gunma lo te porsi be da, so por=
si3 are all the members of porsi1, not just the member types. So for exampl=
e the sequence of digits in the decimal expansion of pi has an infinite num=
ber of elements, not just ten.</div><div><br></div><div>Describing the pors=
i2 of [b,r,o,d,o] is a pain because it&#39;s an arbitrary sequence, not one=
 that follows some simple rule. Since we&#39;re going to need to refer to t=
wo instances of the letter &quot;o&quot; we can use the pronouns &quot;.o b=
u xi pa&quot; and &quot;.o bu xi re&quot; for each instance, and &quot;by&q=
uot;, &quot;ry&quot; and &quot;dy&quot; for the other three letter instance=
s. Then porsi2 could be something like &quot;lo du&#39;u ge by cu pa moi gi=
 ge ry cu re moi gi ge .o bu xi pa cu ci moi gi ge dy cu vo moi gi ,o bu xi=
 re cu mu moi&quot;.</div><div><br></div><div>mu&#39;o mi&#39;e xorxes</div=
><div><br></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 />

--14dae9cc90b81f33a5050daa4f68--