Received: from mail-la0-f58.google.com ([209.85.215.58]:33646) by stodi.digitalkingdom.org with esmtps (TLSv1.2:AES128-GCM-SHA256:128) (Exim 4.85) (envelope-from ) id 1ZI2Iw-0004gc-ED for lojban-list-archive@lojban.org; Wed, 22 Jul 2015 15:16:09 -0700 Received: by lagw2 with SMTP id w2sf94856171lag.0 for ; Wed, 22 Jul 2015 15:15:51 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20120806; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :content-type:x-original-sender:x-original-authentication-results :reply-to:precedence:mailing-list:list-id:x-spam-checked-in-group :list-post:list-help:list-archive:sender:list-subscribe :list-unsubscribe; bh=DYLNv8FY/97c0O4d6IULgjbvYjHWlyNodoP66+8BbOM=; b=MS3aRtxTb/PRKrs8PvMlDoHd3drk/3BHI3SN1brzVQnoiJyanWh2GAemzODtzkBKBV IXeXBwaBdHktVmSId0PuY9Hwq88ziV7fU/CqQ1fAIKYxOmd51TAH68rXSjaGXOs8W5ju zBboycM/BRM2/EbnRsW150HB7JDcE/ffW4GAUjer2+rgynkrEK/QdulKSfx+XX3NGTQ7 qBWHj2Zzw2jhLyhBrYE8qCKZiu61jJVFiYqjZwJYv+/QdsMHdvQwVJMhNxJ2ShJ5Q+N/ KZrcbasm1a/pOhWbG8dyqyRTA8ER4L/jY/r7bIq8IgNfNtW5JSYrkPi7YhJiLWXf7TBv wImg== X-Received: by 10.152.87.108 with SMTP id w12mr115580laz.16.1437603351610; Wed, 22 Jul 2015 15:15:51 -0700 (PDT) X-BeenThere: lojban@googlegroups.com Received: by 10.152.206.76 with SMTP id lm12ls156303lac.109.gmail; Wed, 22 Jul 2015 15:15:51 -0700 (PDT) X-Received: by 10.112.42.236 with SMTP id r12mr2200919lbl.2.1437603351005; Wed, 22 Jul 2015 15:15:51 -0700 (PDT) Received: from mail-wi0-x22e.google.com (mail-wi0-x22e.google.com. [2a00:1450:400c:c05::22e]) by gmr-mx.google.com with ESMTPS id gt9si152807wib.2.2015.07.22.15.15.50 for (version=TLSv1.2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Wed, 22 Jul 2015 15:15:50 -0700 (PDT) Received-SPF: pass (google.com: domain of jjllambias@gmail.com designates 2a00:1450:400c:c05::22e as permitted sender) client-ip=2a00:1450:400c:c05::22e; Received: by wibud3 with SMTP id ud3so192706929wib.0 for ; Wed, 22 Jul 2015 15:15:50 -0700 (PDT) MIME-Version: 1.0 X-Received: by 10.194.206.65 with SMTP id lm1mr9189059wjc.117.1437603350906; Wed, 22 Jul 2015 15:15:50 -0700 (PDT) Received: by 10.27.80.87 with HTTP; Wed, 22 Jul 2015 15:15:50 -0700 (PDT) In-Reply-To: <8e076a72-407a-498b-bb60-a2badff5e40f@googlegroups.com> References: <1c2a3b64-07b1-4023-a740-362deb17da34@googlegroups.com> <55AD070D.5020903@gmx.de> <55AE1142.5090807@gmx.de> <8bab9435-5f94-4742-b74a-8cceac2c8a60@googlegroups.com> <55AE616F.9040509@gmx.de> <8e076a72-407a-498b-bb60-a2badff5e40f@googlegroups.com> Date: Wed, 22 Jul 2015 19:15:50 -0300 Message-ID: Subject: Re: [lojban] xoi and new soi as bridi relative clause From: =?UTF-8?Q?Jorge_Llamb=C3=ADas?= To: lojban@googlegroups.com Content-Type: multipart/alternative; boundary=047d7b8739d20f0d1e051b7e1d60 X-Original-Sender: jjllambias@gmail.com X-Original-Authentication-Results: gmr-mx.google.com; spf=pass (google.com: domain of jjllambias@gmail.com designates 2a00:1450:400c:c05::22e as permitted sender) smtp.mail=jjllambias@gmail.com; dmarc=pass (p=NONE dis=NONE) header.from=gmail.com Reply-To: lojban@googlegroups.com Precedence: list Mailing-list: list lojban@googlegroups.com; contact lojban+owners@googlegroups.com List-ID: X-Spam-Checked-In-Group: lojban@googlegroups.com X-Google-Group-Id: 1004133512417 List-Post: , List-Help: , List-Archive: , List-Unsubscribe: , X-Spam-Score: -1.7 (-) X-Spam_score: -1.7 X-Spam_score_int: -16 X-Spam_bar: - --047d7b8739d20f0d1e051b7e1d60 Content-Type: text/plain; charset=UTF-8 On Wed, Jul 22, 2015 at 12:12 AM, guskant wrote: > > Relative clauses should care about the main bridi, because the bridi in > relative clauses share their universe of discourse with the main bridi. > About this example of fragment, I said only "logically meaningless", but it > does not bring any problem by itself. > > The problem occurs in the case that plural relative clauses appears with > their own prenex, sometimes nested in logical connectives. Which prenex is > the outmost? How can the negations, numbers and logical connectives are > transformed into a prenex normal form? > I don't understand what you mean. Could you give an example where you find a prenex in a relative clause problematic? In general, a prenex in a non-restrictive relative clause cannot be exported to the main bridi prenex: ro da zo'u da prami la alis noi no de zo'u ke'a prami de = ro da zo'u da prami la alis .i ta'o no de zo'u la alis prami de =/= ro da no de zo'u da prami la alis .i je la alis prami de 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. --047d7b8739d20f0d1e051b7e1d60 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable

= On Wed, Jul 22, 2015 at 12:12 AM, guskant <gusni.kantu@gmail.com&g= t; wrote:

Relative clauses should care about the main bridi, because the bridi in re= lative clauses share their universe of discourse with the main bridi. About= this example of fragment, I said only "logically meaningless", b= ut it does not bring any problem by itself.=C2=A0

= The problem occurs in the case that plural relative clauses appears with th= eir own prenex, sometimes nested in logical connectives. Which prenex is th= e outmost? How can the negations, numbers and logical connectives are trans= formed into a prenex normal form?

I don't understand what you mean. Could you give an example where yo= u find a prenex in a relative clause problematic? In general, a prenex in a= non-restrictive relative clause cannot be exported to the main bridi prene= x:

=C2=A0 =C2=A0ro da zo'u da prami la alis no= i no de zo'u ke'a prami de
=C2=A0 =C2=A0=3D ro da zo'= u da prami la alis .i ta'o no de zo'u la alis prami de
= =C2=A0 =C2=A0=3D/=3D ro da no de zo'u da prami la alis .i je la alis pr= ami de

mu'o mi'e xorxes

--
You received this message because you are subscribed to the Google Groups &= quot;lojban" group.
To unsubscribe from this group and stop receiving emails from it, send an e= mail to lojban+unsub= scribe@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 http= s://groups.google.com/d/optout.
--047d7b8739d20f0d1e051b7e1d60--