Received-SPF: pass (google.com: domain of ilmen.pokebip@gmail.com designates 2a00:1450:400c:c05::22b as permitted sender) client-ip=2a00:1450:400c:c05::22b;
Message-ID: <55B55267.9060603@gmail.com>
Date: Sun, 26 Jul 2015 23:34:31 +0200
From: Ilmen <ilmen.pokebip@gmail.com>
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:31.0) Gecko/20100101 Thunderbird/31.7.0
MIME-Version: 1.0
To: lojban@googlegroups.com
Subject: Re: [lojban] xoi and new soi as bridi relative clause
References: <1c2a3b64-07b1-4023-a740-362deb17da34@googlegroups.com>	<55AD070D.5020903@gmx.de>	<f74f87f4-75be-4400-927c-0cf13f8a344a@googlegroups.com>	<55AE1142.5090807@gmx.de>	<8bab9435-5f94-4742-b74a-8cceac2c8a60@googlegroups.com>	<55AE616F.9040509@gmx.de>	<8e076a72-407a-498b-bb60-a2badff5e40f@googlegroups.com>	<CAO7tK2cWJ335yUO4Q+TLdCRpsdvJKdMotSEyzeVjhMv0sBzXdw@mail.gmail.com>	<3c04f416-2d4d-4d3f-8d55-a090d799090f@googlegroups.com> <CAO7tK2cjcZdxcDVS6gU+BfXYt1368c8yoF94a0xNwx_EbdyUvA@mail.gmail.com> <55B162F5.8070302@gmail.com> <88204a7b-4228-4563-811a-14e4583cf8bd@googlegroups.com>
In-Reply-To: <88204a7b-4228-4563-811a-14e4583cf8bd@googlegroups.com>
Content-Type: multipart/alternative;
 boundary="------------090507080005000506020802"
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: -1.7
X-Spam_score_int: -16
X-Spam_bar: -

This is a multi-part message in MIME format.
--------------090507080005000506020802
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: quoted-printable


On 26/07/2015 15:29, guskant wrote:
>
> Le jeudi 23 juillet 2015 21:56:28 UTC, Ilmen a =C3=A9crit :
>
>
>     Please correctly if I made any mistake:
>
>     ro da poi ke'a su'o de viska cu se kanla su'o di
>     =3D ro da poi su'o de zo'u ke'a de viska ku'o su'o di zo'u di da kanl=
a
>     =3D ro da zo'u ganai su'o de zo'u da de viska gi su'o di zo'u di da
>     kanla
>     =3D roldza fa loka ko'a ce'ai ganai suzdza fa loka ko'a ce'u viska
>     gi suzdza fa loka ce'u ko'a kanla
>     =3D roldza fa loka ko'a ce'ai zilvlina fa lodu'u jitfa fa lodu'u
>     suzdza fa loka ko'a ce'u viska kei kei kei fe lodu'u suzdza fa
>     loka ce'u ko'a kanla
>
>     With this expansion, you can see that actually da/de/di outside of
>     a prenex expand to {ce'u}, so it is an open slot used for making
>     properties of which we will quantify how many entities they are
>     satisfied with, using logical quantification predicates (roldza,
>     suzdza).
>
>     mi'e la .ilmen. mu'o
>
>
>
> It seems correct. And then how do you transform it into a prenex=20
> normal form?

Once again, please correct me if I made any mistake:

{ro da zo'u ganai su'o de zo'u da de viska gi su'o di zo'u di da kanla}
=3D =E2=88=80x((=E2=88=83y(viska(x,y))) =E2=86=92 (=E2=88=83z(kanla(z,x)))

# Application of the "(=E2=88=83x=CF=95) =E2=86=92 =CF=88" =E2=89=A1 "=E2=
=88=80x(=CF=95 =E2=86=92 =CF=88)" transformation:
=E2=89=A1 =E2=88=80x=E2=88=80y(viska(x,y) =E2=86=92 (=E2=88=83z(kanla(z,x))=
)

# Application of the "=CF=95 =E2=86=92 (=E2=88=83x=CF=88)" =E2=89=A1 "=E2=
=88=83x(=CF=95 =E2=86=92 =CF=88)" transformation:
=E2=89=A1 =E2=88=80x=E2=88=80y(=E2=88=83z(viska(x,y) =E2=86=92 kanla(z,x))

=3D {ro da ro de su'o di zo'u ganai da de viska gi di da kanla} (prenex=20
normal form)

mi'e la .ilmen. mu'o


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

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

<html>
  <head>
    <meta content=3D"text/html; charset=3Dutf-8" http-equiv=3D"Content-Type=
">
  </head>
  <body text=3D"#000000" bgcolor=3D"#FFFFFF">
    <br>
    <div class=3D"moz-cite-prefix">On 26/07/2015 15:29, guskant wrote:<br>
    </div>
    <blockquote
      cite=3D"mid:88204a7b-4228-4563-811a-14e4583cf8bd@googlegroups.com"
      type=3D"cite"><br>
      Le jeudi 23 juillet 2015 21:56:28 UTC, Ilmen a =C3=A9crit=C2=A0:
      <blockquote class=3D"gmail_quote" style=3D"margin: 0;margin-left:
        0.8ex;border-left: 1px #ccc solid;padding-left: 1ex;">
        <div text=3D"#000000" bgcolor=3D"#FFFFFF"> <br>
          Please correctly if I made any mistake:<br>
          <br>
          ro da poi ke'a su'o de viska cu se kanla su'o di<br>
          =3D ro da poi su'o de zo'u ke'a de viska ku'o su'o di zo'u di da
          kanla<br>
          =3D ro da zo'u ganai su'o de zo'u da de viska gi su'o di zo'u di
          da kanla<br>
          =3D roldza fa loka ko'a ce'ai ganai suzdza fa loka ko'a ce'u
          viska gi suzdza fa loka ce'u ko'a kanla<br>
          =3D roldza fa loka ko'a ce'ai zilvlina fa lodu'u jitfa fa lodu'u
          suzdza fa loka ko'a ce'u viska kei kei kei fe lodu'u suzdza fa
          loka ce'u ko'a kanla<br>
          <br>
          With this expansion, you can see that actually da/de/di
          outside of a prenex expand to {ce'u}, so it is an open slot
          used for making properties of which we will quantify how many
          entities they are satisfied with, using logical quantification
          predicates (roldza, suzdza).<br>
          <br>
          mi'e la .ilmen. mu'o<br>
          <br>
        </div>
      </blockquote>
      <div><br>
      </div>
      <div><br>
      </div>
      <div>It seems correct. And then how do you transform it into a
        prenex normal form?<br>
      </div>
    </blockquote>
    <br>
    Once again, please correct me if I made any mistake:<br>
    <br>
    {ro da zo'u ganai su'o de zo'u da de viska gi su'o di zo'u di da
    kanla}<br>
    =3D =E2=88=80x((=E2=88=83y(viska(x,y))) =E2=86=92 (=E2=88=83z(kanla(z,x=
)))<br>
    <br>
    # Application of the "(=E2=88=83x=CF=95) =E2=86=92 =CF=88" =E2=89=A1 "=
=E2=88=80x(=CF=95 =E2=86=92 =CF=88)" transformation:<br>
    =E2=89=A1 =E2=88=80x=E2=88=80y(viska(x,y) =E2=86=92 (=E2=88=83z(kanla(z=
,x)))<br>
    <br>
    # Application of the "=CF=95 =E2=86=92 (=E2=88=83x=CF=88)" =E2=89=A1 "=
=E2=88=83x(=CF=95 =E2=86=92 =CF=88)" transformation:<br>
    =E2=89=A1 =E2=88=80x=E2=88=80y(=E2=88=83z(viska(x,y) =E2=86=92 kanla(z,=
x))<br>
    <br>
    =3D {ro da ro de su'o di zo'u ganai da de viska gi di da kanla}
    (prenex normal form)<br>
    <br>
    mi'e la .ilmen. mu'o<br>
    <br>
    <br>
  </body>
</html>

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

--------------090507080005000506020802--