Received-SPF: pass (google.com: domain of jjllambias@gmail.com designates 2a00:1450:4010:c03::234 as permitted sender) client-ip=2a00:1450:4010:c03::234;
MIME-Version: 1.0
In-Reply-To: <20140928160229.GD28734@gonzales>
References: <CACf3dPniWPENbiHT=EsTHGTApOOx5duQgo5SxZevF=FM7jUnqg@mail.gmail.com>
	<CACf3dPnptiNra7pU3dyuC7-Mhm-T6_mpyP92SNs1GXy+Roo+dw@mail.gmail.com>
	<20140928160229.GD28734@gonzales>
Date: Sun, 28 Sep 2014 21:17:06 -0300
Message-ID: <CAO7tK2fNkoiVA-7ZVc9LWTcBo5AaoexS2bua1cj48=DsOYo+CQ@mail.gmail.com>
Subject: Re: [lojban] Re: {da poi} (was: Re: tersmu 0.2
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=001a11c3db46d99b170504292fd2
X-Spam_score: -1.9
X-Spam_score_int: -18
X-Spam_bar: -

--001a11c3db46d99b170504292fd2
Content-Type: text/plain; charset=UTF-8

On Sun, Sep 28, 2014 at 1:02 PM, Martin Bays <mbays@sdf.org> wrote:

> So a {noi} on a variable yields a side claim entirely
> outside the scope of the corresponding quantifier, so involving an
> unbound variable, which I'm currently (fairly arbitrarily) handling by
> universally quantifying it out over whatever domain it was originally
> quantified over, so e.g. {du su'o da poi broda zi'e noi brode} -> {ro da
> poi broda zo'u da brode .i su'o da poi broda zo'u du da}.
>

Should we allow for the possibility that "brode" is not distributive over
the brodas?
Something like:

   su'o da poi plini zi'e noi so'i so'i mei cu terdi

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.

--001a11c3db46d99b170504292fd2
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 Sun, Sep 28, 2014 at 1:02 PM, Martin Bays <span dir=3D"ltr">&lt;<a h=
ref=3D"mailto:mbays@sdf.org" target=3D"_blank">mbays@sdf.org</a>&gt;</span>=
 wrote:<br><blockquote class=3D"gmail_quote" style=3D"margin:0 0 0 .8ex;bor=
der-left:1px #ccc solid;padding-left:1ex">So a {noi} on a variable yields a=
 side claim entirely<br>
outside the scope of the corresponding quantifier, so involving an<br>
unbound variable, which I&#39;m currently (fairly arbitrarily) handling by<=
br>
universally quantifying it out over whatever domain it was originally<br>
quantified over, so e.g. {du su&#39;o da poi broda zi&#39;e noi brode} -&gt=
; {ro da<br>
poi broda zo&#39;u da brode .i su&#39;o da poi broda zo&#39;u du da}.<br></=
blockquote><div><br></div><div>Should we allow for the possibility that &qu=
ot;brode&quot; is not distributive over the brodas?=C2=A0</div><div>Somethi=
ng like:</div><div><br></div><div>=C2=A0 =C2=A0su&#39;o da poi plini zi&#39=
;e noi so&#39;i so&#39;i mei cu terdi=C2=A0</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 />

--001a11c3db46d99b170504292fd2--