Received: from mail-bw0-f61.google.com ([209.85.214.61]:47647)
	by stodi.digitalkingdom.org with esmtps (TLSv1:RC4-SHA:128)
	(Exim 4.76)
	(envelope-from <lojban+bncCJ2UzZHuDRDc9ef0BBoEIajE8w@googlegroups.com>)
	id 1RFBm2-0003iy-Jp; Sat, 15 Oct 2011 14:28:11 -0700
Received: by bkat2 with SMTP id t2sf3459607bka.16
        for <multiple recipients>; Sat, 15 Oct 2011 14:27:58 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=googlegroups.com; s=beta;
        h=x-beenthere:received-spf:mime-version:in-reply-to:references:date
         :message-id:subject:from:to: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=utl2tClVSNX34HgSs8P2wwJaGzIFxz9dmgFhkJGSuHo=;
        b=sqnz/MFjasqRUM/R1svqW9smwP25nJDsPzq3A+ZRNenLLI83GONQt+zQEtQ8DDvTUc
         zY/t/9yzzYpUX5EQPE3RI/ktj4ldasJ5fT1m8zFHD/pOEHyZCiBootJSnSavHz6v6o4K
         3UraHejWlgWNyqW4zhvQZ56lUOq3msFpaBex8=
Received: by 10.223.53.134 with SMTP id m6mr1696851fag.3.1318714076228;
        Sat, 15 Oct 2011 14:27:56 -0700 (PDT)
X-BeenThere: lojban@googlegroups.com
Received: by 10.204.134.87 with SMTP id i23ls3808045bkt.2.gmail; Sat, 15 Oct
 2011 14:27:55 -0700 (PDT)
Received: by 10.204.132.141 with SMTP id b13mr1532114bkt.1.1318714074945;
        Sat, 15 Oct 2011 14:27:54 -0700 (PDT)
Received: by 10.204.132.141 with SMTP id b13mr1532113bkt.1.1318714074926;
        Sat, 15 Oct 2011 14:27:54 -0700 (PDT)
Received: from mail-bw0-f53.google.com (mail-bw0-f53.google.com [209.85.214.53])
        by gmr-mx.google.com with ESMTPS id a16si2106403bku.3.2011.10.15.14.27.54
        (version=TLSv1/SSLv3 cipher=OTHER);
        Sat, 15 Oct 2011 14:27:54 -0700 (PDT)
Received-SPF: pass (google.com: domain of jjllambias@gmail.com designates 209.85.214.53 as permitted sender) client-ip=209.85.214.53;
Received: by mail-bw0-f53.google.com with SMTP id 11so1332887bke.40
        for <lojban@googlegroups.com>; Sat, 15 Oct 2011 14:27:54 -0700 (PDT)
MIME-Version: 1.0
Received: by 10.223.60.73 with SMTP id o9mr13241940fah.18.1318714074726; Sat,
 15 Oct 2011 14:27:54 -0700 (PDT)
Received: by 10.152.39.35 with HTTP; Sat, 15 Oct 2011 14:27:54 -0700 (PDT)
In-Reply-To: <CA+gZtg+GPjZ+qUWL=pB74RZ0GcQ3WSz4xY-MmRq3ZNZXfaTGxA@mail.gmail.com>
References: <CA+gZtg+GPjZ+qUWL=pB74RZ0GcQ3WSz4xY-MmRq3ZNZXfaTGxA@mail.gmail.com>
Date: Sat, 15 Oct 2011 18:27:54 -0300
Message-ID: <CAO7tK2fUeaf3U9BMTDJ11BoHi0odZBd4vYkzv82X5NXFS_Aiww@mail.gmail.com>
Subject: Re: [lojban] Embedded bridi and scope
From: =?ISO-8859-1?Q?Jorge_Llamb=EDas?= <jjllambias@gmail.com>
To: lojban@googlegroups.com
X-Original-Sender: jjllambias@gmail.com
X-Original-Authentication-Results: gmr-mx.google.com; spf=pass (google.com:
 domain of jjllambias@gmail.com designates 209.85.214.53 as permitted sender)
 smtp.mail=jjllambias@gmail.com; dkim=pass (test mode) header.i=@gmail.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: text/plain; charset=ISO-8859-1
X-Spam-Score: -0.7 (/)
X-Spam_score: -0.7
X-Spam_score_int: -6
X-Spam_bar: /

On Sat, Oct 15, 2011 at 6:20 PM, Ian Johnson <blindbravado@gmail.com> wrote:
> coi lojbo
>
> A fairly simple question: how do embedded bridi interact with scope? Do they
> have their own scope?

If you are asking whether they have their own prenex, the answer is yes.

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

Yes it is.

The only exception I'm aware of that jump out of their natural prenex
are question words, which is somewhat weird but that's how they were
defined.

mu'o mi'e xorxes

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