Sender: lojban@googlegroups.com
Received-SPF: pass (google.com: domain of lytlesw@gmail.com designates 2607:f8b0:400e:c00::233 as permitted sender) client-ip=2607:f8b0:400e:c00::233;
MIME-Version: 1.0
In-Reply-To: <d0608f2b-df74-e42f-a627-7aab53566011@gmail.com>
References: <55dadbe1-2951-4e54-957c-4e403076cf44@googlegroups.com> <d0608f2b-df74-e42f-a627-7aab53566011@gmail.com>
From: MorphemeAddict <lytlesw@gmail.com>
Date: Tue, 8 Aug 2017 15:21:10 -0500
Message-ID: <CAHiXx=OvBk6Mt6idNU9+aTX0nPduS-gTow1S61oGe25rKEjWow@mail.gmail.com>
Subject: Re: [lojban] rewrite rules
To: lojban@googlegroups.com
Content-Type: multipart/alternative; boundary="94eb2c04fcf2147c30055643b62a"
Reply-To: lojban@googlegroups.com
Precedence: list
Mailing-list: list lojban@googlegroups.com; contact lojban+owners@googlegroups.com
X-Spam_score: -4.6
X-Spam_score_int: -45
X-Spam_bar: ----

--94eb2c04fcf2147c30055643b62a
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

That gitorious site timed out for me. Is this one the same?
https://hackage.haskell.org/package/tersmu

stevo

<https://www.avast.com/sig-email?utm_medium=3Demail&utm_source=3Dlink&utm_c=
ampaign=3Dsig-email&utm_content=3Dwebmail&utm_term=3Dicon>
Virus-free.
www.avast.com
<https://www.avast.com/sig-email?utm_medium=3Demail&utm_source=3Dlink&utm_c=
ampaign=3Dsig-email&utm_content=3Dwebmail&utm_term=3Dlink>
<#DAB4FAD8-2DD7-40BB-A1B8-4E2AA1F9FDF2>

On Tue, Aug 8, 2017 at 11:15 AM, Ilmen <ilmen.pokebip@gmail.com> wrote:

> Good project. I suggest you put those in a public Google spreadsheet, so
> people can add alternative definitions (or suggestions of improvements) i=
n
> additional columns. The expansions of JOI available on the BPFK pages are
> absent from your list.
>
> Ultimately you can express all that Lojban can express with a very limite=
d
> set of cmavo, but by using only those, utterances get extremely verbose.
>
> For example, {ro mlatu cu mabru gi'e se tuple vo da} can be rephrased as:
>
> {roldza fa lo ka zilkanxe fa lo du'u ce'u goi ko'a mabru ku lo du'u li vo
> kaidza lo ka ce'u tuple ko'a}
>
> which can be further impoverished in cmavo diversity by removing those FA
> and expanding counting quantification (vo da / li vo kaidza=E2=80=A6) usi=
ng only
> existential quantification, but that'll make thing even much more verbose=
.
>
> Do you know of the Tersmu project ( https://gitorious.org/tersmu/tersmu/
> ), whose purpose is to translate between Lojban and a logic notation? It'=
s
> not a complete project (many cmavo aren't yet handled properly) but it's
> already pretty good. If you have access to the Lojban rooms on IRC,
> Telegram, Slack or Discord, you can a Tersmu interface available there to
> test it without installing anything.
>
> =E2=80=94Ilmen.
>
> On 08/08/2017 16:33, vpbroman@gmail.com wrote:
>
> Because of my minimalist preferences, I'm interested in seeing how small =
a
> subset of lojban would be capable of expressing the same things as the fu=
ll
> language.
> If a hard word can be completely replaced by a rephrasing with easy words=
,
> then that word is useful for conciseness, but is otherwise dispensible.
> If you had rewrite rules to macro expand words in terms of other words,
> and if you ordered words from complex to simple and required that the wor=
ds
> in the rewrite be simpler than the word being rewritten (to avoid
> self-referential loops) then you don't infinitely regress, you eventually
> expand everything to its simplest possible terms.
>
> This is like the concept of Semantic Primes, which alludes to the prime
> factorization of numbers.
> As an inspiring example, Schemers point to how all computations can be
> expressed in terms of: lambda, recursion, if, quote, cons, car, cdr, and
> maybe a thing or two more -- I forget.
>
> So, content words in lojban get defined in a dictionary in terms of other
> words.
> But I'm interested in how our function words are defined in terms of othe=
r
> words.
> Lots of examples are in CLL and the BPFK docs, such as this from xorlo.
>
> lo broda ku =3D zohe noi keha broda kuho
>
> I've collected all the rewrites that I could find (plus a handful I made
> up) and listed them in this rough draft document.
> cmavo_equiv.txt
> https://app.box.com/s/hjis4vnshj8tvnu2q2vg7hkcfh65fcyc
>
> Suggesting additions/corrections would be appreciated.
>
> Many are inexact equivalents, for example BAI is defined in terms of fiho=
,
> even though BAI fits syntactically in a number of places where a fiho
> phrase is not allowed.
> Most of UI can be roughly equivalent to a sei-sehu phrase, at least when
> the UI appears at the start of the sentence, but sei-sehu doesn't seem to
> comment on anything more localized than the entire bridi. E.g.
>
> ui =3D sei mi lo nu nei ca gleki sehu
>
> Except ui can attach to individual words and indicate pleasure in them
> more specifically, not just in the whole statement.
> My rewrites for UI->sei are very rough and incomplete, but they are paire=
d
> with lojban definitions from jbovlaste.
>
> The prosumti and probridi seem harder to rewrite. I wonder whether the
> following would make sense.
>
> mi =3D lo cusku be luhe nei
> do =3D lo te cusku be luhe nei
>
> mihe bremenli
>
> --
> 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 https://groups.google.com/group/lojban.
> For more options, visit https://groups.google.com/d/optout.
>
>
> --
> 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 https://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 https://groups.google.com/group/lojban.
For more options, visit https://groups.google.com/d/optout.

--94eb2c04fcf2147c30055643b62a
Content-Type: text/html; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr"><div class=3D"gmail_default"><font face=3D"courier new, mo=
nospace">That gitorious site timed out for me. Is this one the same?=C2=A0<=
/font><br><font face=3D"courier new, monospace"><a href=3D"https://hackage.=
haskell.org/package/tersmu">https://hackage.haskell.org/package/tersmu</a><=
/font><br></div><div class=3D"gmail_default"><font face=3D"courier new, mon=
ospace"><br></font></div><div class=3D"gmail_default"><font face=3D"courier=
 new, monospace">stevo</font></div></div><div id=3D"DAB4FAD8-2DD7-40BB-A1B8=
-4E2AA1F9FDF2"><br>
<table style=3D"border-top:1px solid #d3d4de">
	<tr>
        <td style=3D"width:55px;padding-top:13px"><a href=3D"https://www.av=
ast.com/sig-email?utm_medium=3Demail&amp;utm_source=3Dlink&amp;utm_campaign=
=3Dsig-email&amp;utm_content=3Dwebmail&amp;utm_term=3Dicon" target=3D"_blan=
k"><img src=3D"https://ipmcdn.avast.com/images/icons/icon-envelope-tick-rou=
nd-orange-animated-no-repeat-v1.gif" alt=3D"" width=3D"46" height=3D"29" st=
yle=3D"width: 46px; height: 29px;"></a></td>
		<td style=3D"width:470px;padding-top:12px;color:#41424e;font-size:13px;fo=
nt-family:Arial,Helvetica,sans-serif;line-height:18px">Virus-free. <a href=
=3D"https://www.avast.com/sig-email?utm_medium=3Demail&amp;utm_source=3Dlin=
k&amp;utm_campaign=3Dsig-email&amp;utm_content=3Dwebmail&amp;utm_term=3Dlin=
k" target=3D"_blank" style=3D"color:#4453ea">www.avast.com</a>
		</td>
	</tr>
</table><a href=3D"#DAB4FAD8-2DD7-40BB-A1B8-4E2AA1F9FDF2" width=3D"1" heigh=
t=3D"1"></a></div><div class=3D"gmail_extra"><br><div class=3D"gmail_quote"=
>On Tue, Aug 8, 2017 at 11:15 AM, Ilmen <span dir=3D"ltr">&lt;<a href=3D"ma=
ilto: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 bgcolor=3D"#FFFFFF" text=3D"#000000">
    <p>Good project. I suggest you put those in a public Google
      spreadsheet, so people can add alternative definitions (or
      suggestions of improvements) in additional columns. The expansions
      of JOI available on the BPFK pages are absent from your list.</p>
    <p>Ultimately you can express all that Lojban can express with a
      very limited set of cmavo, but by using only those, utterances get
      extremely verbose.</p>
    <p>For example, {ro mlatu cu mabru gi&#39;e se tuple vo da} can be
      rephrased as:</p>
    <p>{roldza fa lo ka zilkanxe fa lo du&#39;u ce&#39;u goi ko&#39;a mabru=
 ku lo
      du&#39;u li vo kaidza lo ka ce&#39;u tuple ko&#39;a}</p>
    <p>which can be further impoverished in cmavo diversity by removing
      those FA and expanding counting quantification (vo da / li vo
      kaidza=E2=80=A6) using only existential quantification, but that&#39;=
ll make
      thing even much more verbose.</p>
    <p>Do you know of the Tersmu project ( <a href=3D"https://gitorious.org=
/tersmu/tersmu/" target=3D"_blank">https://gitorious.org/tersmu/<wbr>tersmu=
/</a>
      ), whose purpose is to translate between Lojban and a logic
      notation? It&#39;s not a complete project (many cmavo aren&#39;t yet
      handled properly) but it&#39;s already pretty good. If you have acces=
s
      to the Lojban rooms on IRC, Telegram, Slack or Discord, you can a
      Tersmu interface available there to test it without installing
      anything.</p><span class=3D"HOEnZb"><font color=3D"#888888">
    <p>=E2=80=94Ilmen.<br>
    </p></font></span><div><div class=3D"h5">
    <br>
    <div class=3D"m_-4229217461205386469moz-cite-prefix">On 08/08/2017 16:3=
3, <a class=3D"m_-4229217461205386469moz-txt-link-abbreviated" href=3D"mail=
to:vpbroman@gmail.com" target=3D"_blank">vpbroman@gmail.com</a>
      wrote:<br>
    </div>
    <blockquote type=3D"cite">
      <div dir=3D"ltr">Because of my minimalist preferences, I&#39;m
        interested in seeing how small a subset of lojban would be
        capable of expressing the same things as the full language.<br>
        If a hard word can be completely replaced by a rephrasing with
        easy words, then that word is useful for conciseness, but is
        otherwise dispensible.<br>
        If you had rewrite rules to macro expand words in terms of other
        words, and if you ordered words from complex to simple and
        required that the words in the rewrite be simpler than the word
        being rewritten (to avoid self-referential loops) then you don&#39;=
t
        infinitely regress, you eventually expand everything to its
        simplest possible terms.<br>
        <br>
        This is like the concept of Semantic Primes, which alludes to
        the prime factorization of numbers.<br>
        As an inspiring example, Schemers point to how all computations
        can be expressed in terms of: lambda, recursion, if, quote,
        cons, car, cdr, and maybe a thing or two more -- I forget.<br>
        <br>
        So, content words in lojban get defined in a dictionary in terms
        of other words.<br>
        But I&#39;m interested in how our function words are defined in
        terms of other words.<br>
        Lots of examples are in CLL and the BPFK docs, such as this from
        xorlo.<br>
        <br>
        lo broda ku =3D zohe noi keha broda kuho<br>
        <br>
        I&#39;ve collected all the rewrites that I could find (plus a
        handful I made up) and listed them in this rough draft document.<br=
>
        cmavo_equiv.txt<br>
        <a class=3D"m_-4229217461205386469moz-txt-link-freetext" href=3D"ht=
tps://app.box.com/s/hjis4vnshj8tvnu2q2vg7hkcfh65fcyc" target=3D"_blank">htt=
ps://app.box.com/s/<wbr>hjis4vnshj8tvnu2q2vg7hkcfh65fc<wbr>yc</a><br>
        <br>
        Suggesting additions/corrections would be appreciated.<br>
        <br>
        Many are inexact equivalents, for example BAI is defined in
        terms of fiho, even though BAI fits syntactically in a number of
        places where a fiho phrase is not allowed.<br>
        Most of UI can be roughly equivalent to a sei-sehu phrase, at
        least when the UI appears at the start of the sentence, but
        sei-sehu doesn&#39;t seem to comment on anything more localized tha=
n
        the entire bridi. E.g.<br>
        <br>
        ui =3D sei mi lo nu nei ca gleki sehu<br>
        <br>
        Except ui can attach to individual words and indicate pleasure
        in them more specifically, not just in the whole statement.<br>
        My rewrites for UI-&gt;sei are very rough and incomplete, but
        they are paired with lojban definitions from jbovlaste.<br>
        <br>
        The prosumti and probridi seem harder to rewrite. I wonder
        whether the following would make sense.<br>
        <br>
        mi =3D lo cusku be luhe nei<br>
        do =3D lo te cusku be luhe nei<br>
        <br>
        mihe bremenli<br>
        <br>
      </div>
      -- <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 email to <a href=3D"mailto:lojban+unsubscribe@googlegroups.co=
m" target=3D"_blank">lojban+unsubscribe@<wbr>googlegroups.com</a>.<br>
      To post to this group, send email to <a href=3D"mailto:lojban@googleg=
roups.com" target=3D"_blank">lojban@googlegroups.com</a>.<br>
      Visit this group at <a href=3D"https://groups.google.com/group/lojban=
" target=3D"_blank">https://groups.google.com/<wbr>group/lojban</a>.<br>
      For more options, visit <a href=3D"https://groups.google.com/d/optout=
" target=3D"_blank">https://groups.google.com/d/<wbr>optout</a>.<br>
    </blockquote>
    <br>
  </div></div></div><div class=3D"HOEnZb"><div class=3D"h5">


<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" target=3D"_b=
lank">lojban+unsubscribe@<wbr>googlegroups.com</a>.<br>
To post to this group, send email to <a href=3D"mailto:lojban@googlegroups.=
com" target=3D"_blank">lojban@googlegroups.com</a>.<br>
Visit this group at <a href=3D"https://groups.google.com/group/lojban" targ=
et=3D"_blank">https://groups.google.com/<wbr>group/lojban</a>.<br>
For more options, visit <a href=3D"https://groups.google.com/d/optout" targ=
et=3D"_blank">https://groups.google.com/d/<wbr>optout</a>.<br>
</div></div></blockquote></div><br></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"https://groups.google.com/group/lojban">http=
s://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 />

--94eb2c04fcf2147c30055643b62a--