Received: from mail-gy0-f189.google.com ([209.85.160.189]:42423)
	by stodi.digitalkingdom.org with esmtps (TLSv1:RC4-SHA:128)
	(Exim 4.76)
	(envelope-from <lojban+bncCIywt_XDCRC09Oj0BBoEmSzKRw@googlegroups.com>)
	id 1RFFzZ-0004lL-6a; Sat, 15 Oct 2011 18:58:31 -0700
Received: by gyh4 with SMTP id 4sf3433790gyh.16
        for <multiple recipients>; Sat, 15 Oct 2011 18:58:15 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=googlegroups.com; s=beta;
        h=x-beenthere:received-spf:x-yahoo-newman-property:x-yahoo-newman-id
         :x-ymail-osg:x-mailer:references:message-id:date:from:subject:to
         :in-reply-to:mime-version:x-original-sender
         :x-original-authentication-results:reply-to:precedence:mailing-list
         :list-id:x-google-group-id:list-post:list-help:list-archive:sender
         :list-subscribe:list-unsubscribe:content-type;
        bh=ZgqmbDCxDJuspzritctIDzJoZqNpuRlAzLxq3ja1C7A=;
        b=4MkNKjLe3p9OVX440fUtOuWU661OhGpRhe4v0ctO0CXs9mPogABNPbi6Kek6A3S7GP
         F+vatbqML/VyzY769aCo22/e3T5E0VkCFMaV6EgWKMQlBY0GbSTZA2KoR1o0Z1q4B116
         O8n2ijKu7ndDWy2HS6WZfa5lIB0CFh5g8FowQ=
Received: by 10.101.94.6 with SMTP id w6mr856768anl.25.1318730292387;
        Sat, 15 Oct 2011 18:58:12 -0700 (PDT)
X-BeenThere: lojban@googlegroups.com
Received: by 10.101.205.29 with SMTP id h29ls18313270anq.4.gmail; Sat, 15 Oct
 2011 18:58:11 -0700 (PDT)
Received: by 10.101.133.31 with SMTP id k31mr929801ann.34.1318730291753;
        Sat, 15 Oct 2011 18:58:11 -0700 (PDT)
Received: by 10.101.133.31 with SMTP id k31mr929800ann.34.1318730291732;
        Sat, 15 Oct 2011 18:58:11 -0700 (PDT)
Received: from nm3-vm0.access.bullet.mail.mud.yahoo.com (nm3-vm0.access.bullet.mail.mud.yahoo.com. [66.94.237.136])
        by gmr-mx.google.com with SMTP id i11si3457381anp.0.2011.10.15.18.58.11;
        Sat, 15 Oct 2011 18:58:11 -0700 (PDT)
Received-SPF: pass (google.com: best guess record for domain of kali9putra@yahoo.com designates 66.94.237.136 as permitted sender) client-ip=66.94.237.136;
Received: from [66.94.237.192] by nm3.access.bullet.mail.mud.yahoo.com with NNFMP; 16 Oct 2011 01:58:11 -0000
Received: from [66.94.237.118] by tm3.access.bullet.mail.mud.yahoo.com with NNFMP; 16 Oct 2011 01:58:11 -0000
Received: from [127.0.0.1] by omp1023.access.mail.mud.yahoo.com with NNFMP; 16 Oct 2011 01:58:11 -0000
X-Yahoo-Newman-Property: ymail-3
X-Yahoo-Newman-Id: 445525.52175.bm@omp1023.access.mail.mud.yahoo.com
Received: (qmail 93382 invoked by uid 60001); 16 Oct 2011 01:58:11 -0000
X-YMail-OSG: 9EYl1z0VM1kIECINUkNTyW1D5kJjZFymkSr1XeXqpK_XHKn
 ATl6arVrBtJYINnjUdqScs6jyxUBBofJ_QH25Y7ESehbJ6.9Yy.Jd7q1ZL4X
 .4QoARl8WDKXad3BEWcXg13u5rSgNg4.mKHzPr7JODJP7T7WcZ0cduhaWgLp
 InFrbErM1QW38uZ9LMb8dDFR_v7K6Vk.R_hlAta9Odt_FLWdoJsuxT5NhNYl
 6LdqJyG8.O3OaCBylES.O5LpjVLK03eDj7sKtzu3EUZuggIeRSmxxO9ETYIZ
 6AKVJAe2tlQqquP5tupGOKhxKTgbDf6pCjDpA9RzBCQSTbHUHsjJaaJpPm.I
 xP2m2ii1RYO0Zn8GsvNKwnsMOnHnKnOGxvTkkmypkZSJtnQrvlKUd5LkmqXL
 PGncImLhZEih8AAxJy5kDFPD1z7iQlPbDUbktJvAQc8kg7BRZ7rkQG3AOS3n
 q6tJPZpgZC_PZ4Uh1i1lFyg3UrNnI3GpFWHaX0DV9s0839ATexA.9Ol4EH.G
 GFfzDYNa8L7StOdW7gkdc.fyK3i.rmjiu0BjnXEg-
Received: from [99.92.108.41] by web81305.mail.mud.yahoo.com via HTTP; Sat, 15 Oct 2011 18:58:11 PDT
X-Mailer: YahooMailRC/574 YahooMailWebService/0.8.114.317681
References: <CA+gZtg+GPjZ+qUWL=pB74RZ0GcQ3WSz4xY-MmRq3ZNZXfaTGxA@mail.gmail.com>
Message-ID: <1318730291.60074.YahooMailRC@web81305.mail.mud.yahoo.com>
Date: Sat, 15 Oct 2011 18:58:11 -0700 (PDT)
From: John E Clifford <kali9putra@yahoo.com>
Subject: Re: [lojban] Embedded bridi and scope
To: lojban@googlegroups.com
In-Reply-To: <CA+gZtg+GPjZ+qUWL=pB74RZ0GcQ3WSz4xY-MmRq3ZNZXfaTGxA@mail.gmail.com>
MIME-Version: 1.0
X-Original-Sender: kali9putra@yahoo.com
X-Original-Authentication-Results: gmr-mx.google.com; spf=pass (google.com:
 best guess record for domain of kali9putra@yahoo.com designates 66.94.237.136
 as permitted sender) smtp.mail=kali9putra@yahoo.com; dkim=pass (test mode) header.i=@yahoo.com
Reply-To: lojban@googlegroups.com
Precedence: list
Mailing-list: list lojban@googlegroups.com; contact lojban+owners@googlegroups.com
List-ID: <lojban.googlegroups.com>
X-Google-Group-Id: 1004133512417
List-Post: <http://groups.google.com/group/lojban/post?hl=en_US>, <mailto:lojban@googlegroups.com>
List-Help: <http://groups.google.com/support/?hl=en_US>, <mailto:lojban+help@googlegroups.com>
List-Archive: <http://groups.google.com/group/lojban?hl=en_US>
Sender: lojban@googlegroups.com
List-Subscribe: <http://groups.google.com/group/lojban/subscribe?hl=en_US>, <mailto:lojban+subscribe@googlegroups.com>
List-Unsubscribe: <http://groups.google.com/group/lojban/subscribe?hl=en_US>, <mailto:lojban+unsubscribe@googlegroups.com>
Content-Type: multipart/alternative; boundary="0-842915247-1318730291=:60074"
X-Spam-Score: 0.0 (/)
X-Spam_score: 0.0
X-Spam_score_int: 0
X-Spam_bar: /

--0-842915247-1318730291=:60074
Content-Type: text/plain; charset=ISO-8859-1

Quantifiers (and indeed anything else) in an abstraction function only in that 
abstraction, so 1 is wrong and 2 is, while messy, correct.





________________________________
From: Ian Johnson <blindbravado@gmail.com>
To: lojban@googlegroups.com
Sent: Sat, October 15, 2011 4:20:05 PM
Subject: [lojban] Embedded bridi and scope

coi lojbo

A fairly simple question: how do embedded bridi interact with scope? Do they 
have their own scope? A motivating example, that if you can answer it should 
answer almost all my questions, is the following:

.i mi ba'o terpa lo nu no da jundi
is equivalent to which of the following:
.i no da zo'u mi ba'o terpa lo nu da jundi
.i mi ba'o terpa lo nu no da zo'u da jundi

Intuition and convenience would say it's the latter, but I am really not 100% 
sure.

mu'o mi'e latros

-- 
You received this message because you are subscribed to the Google Groups 
"lojban" group.
To post to this group, send email to lojban@googlegroups.com.
To unsubscribe from this group, send email to 
lojban+unsubscribe@googlegroups.com.
For more options, visit this group at 
http://groups.google.com/group/lojban?hl=en.

-- 
You received this message because you are subscribed to the Google Groups "lojban" group.
To post to this group, send email to lojban@googlegroups.com.
To unsubscribe from this group, send email to lojban+unsubscribe@googlegroups.com.
For more options, visit this group at http://groups.google.com/group/lojban?hl=en.


--0-842915247-1318730291=:60074
Content-Type: text/html; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable

<html><head><style type=3D"text/css"><!-- DIV {margin:0px;} --></style></he=
ad><body><div style=3D"font-family:times new roman,new york,times,serif;fon=
t-size:12pt">Quantifiers (and indeed anything else) in an abstraction funct=
ion only in that abstraction, so 1 is wrong and 2 is, while messy, correct.=
<br><div><br></div><div style=3D"font-family:times new roman, new york, tim=
es, serif;font-size:12pt"><br><div style=3D"font-family:times new roman, ne=
w york, times, serif;font-size:12pt"><font face=3D"Tahoma" size=3D"2"><hr s=
ize=3D"1"><b><span style=3D"font-weight: bold;">From:</span></b> Ian Johnso=
n &lt;blindbravado@gmail.com&gt;<br><b><span style=3D"font-weight: bold;">T=
o:</span></b> lojban@googlegroups.com<br><b><span style=3D"font-weight: bol=
d;">Sent:</span></b> Sat, October 15, 2011 4:20:05 PM<br><b><span style=3D"=
font-weight: bold;">Subject:</span></b> [lojban] Embedded bridi and scope<b=
r></font><br>
coi lojbo<br><br>A fairly simple question: how do embedded bridi interact w=
ith scope? Do they have their own scope? A motivating example, that if you =
can answer it should answer almost all my questions, is the following:<br>
<br>.i mi ba'o terpa lo nu no da jundi<br>is equivalent to which of the fol=
lowing:<br>.i no da zo'u mi ba'o terpa lo nu da jundi<br>.i mi ba'o terpa l=
o nu no da zo'u da jundi<br><br>Intuition and convenience would say it's th=
e latter, but I am really not 100% sure.<br>
<br>mu'o mi'e latros<br>

<p></p>

-- <br>
You received this message because you are subscribed to the Google Groups "=
lojban" group.<br>
To post to this group, send email to lojban@googlegroups.com.<br>
To unsubscribe from this group, send email to lojban+unsubscribe@googlegrou=
ps.com.<br><span>

For more options, visit this group at <a target=3D"_blank" href=3D"http://g=
roups.google.com/group/lojban?hl=3Den">http://groups.google.com/group/lojba=
n?hl=3Den</a>.</span><br>


</div></div>



</div></body></html>

<p></p>

-- <br />
You received this message because you are subscribed to the Google Groups "=
lojban" group.<br />
To post to this group, send email to lojban@googlegroups.com.<br />
To unsubscribe from this group, send email to lojban+unsubscribe@googlegrou=
ps.com.<br />

For more options, visit this group at http://groups.google.com/group/lojban=
?hl=3Den.<br />



--0-842915247-1318730291=:60074--