Received: from mail-pz0-f61.google.com ([209.85.210.61]:33998)
	by stodi.digitalkingdom.org with esmtps (TLSv1:RC4-SHA:128)
	(Exim 4.76)
	(envelope-from <lojban+bncCIfp7ILVEBDIqY73BBoEe4jTKw@googlegroups.com>)
	id 1RZQau-0001cf-BB; Sat, 10 Dec 2011 09:20:23 -0800
Received: by dajx4 with SMTP id x4sf4592267daj.16
        for <multiple recipients>; Sat, 10 Dec 2011 09:20:10 -0800 (PST)
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
         :content-transfer-encoding;
        bh=Ww7UL+vsBLgCkMOcoGntUwVy+eaWimVubIRxiX8Msyk=;
        b=k1MYaHuZi7TQ3ouDNJ1Sz34HrlsHIO8xV1o2Jl0Z0C98+TFWpT8t3hdTa9b9qlBetl
         N8BQazuNzwDYtZ9NpanZTw2L1ZUSYMm3sKv1lne1I8N/3RyKk0TyMwW5uHBtL02RD3ku
         fkgwicSNh3U71HQHnnUF1QyrswsiDBZJBlIxA=
Received: by 10.68.73.10 with SMTP id h10mr1208970pbv.19.1323537608892;
        Sat, 10 Dec 2011 09:20:08 -0800 (PST)
X-BeenThere: lojban@googlegroups.com
Received: by 10.68.14.101 with SMTP id o5ls15340441pbc.4.gmail; Sat, 10 Dec
 2011 09:20:08 -0800 (PST)
Received: by 10.68.213.232 with SMTP id nv8mr5003599pbc.6.1323537608233;
        Sat, 10 Dec 2011 09:20:08 -0800 (PST)
Received: by 10.68.213.232 with SMTP id nv8mr5003598pbc.6.1323537608224;
        Sat, 10 Dec 2011 09:20:08 -0800 (PST)
Received: from mail-pz0-f46.google.com (mail-pz0-f46.google.com [209.85.210.46])
        by gmr-mx.google.com with ESMTPS id j5si17957290pbi.0.2011.12.10.09.20.08
        (version=TLSv1/SSLv3 cipher=OTHER);
        Sat, 10 Dec 2011 09:20:08 -0800 (PST)
Received-SPF: pass (google.com: domain of felipeg.assis@gmail.com designates 209.85.210.46 as permitted sender) client-ip=209.85.210.46;
Received: by dajs34 with SMTP id s34so792575daj.5
        for <lojban@googlegroups.com>; Sat, 10 Dec 2011 09:20:08 -0800 (PST)
MIME-Version: 1.0
Received: by 10.68.72.100 with SMTP id c4mr17456510pbv.55.1323537607859; Sat,
 10 Dec 2011 09:20:07 -0800 (PST)
Received: by 10.68.52.234 with HTTP; Sat, 10 Dec 2011 09:20:07 -0800 (PST)
In-Reply-To: <CAMKwHj18Ukh-uNsF++tACsZniNDm4B+ycSdg2xOpJZ1vBtT2MQ@mail.gmail.com>
References: <CALMa68o5i3O56oY8CN_pCKZAWhVvcpqZs1aiqXeBQ8pSk+Ca_Q@mail.gmail.com>
	<CAMKwHj18Ukh-uNsF++tACsZniNDm4B+ycSdg2xOpJZ1vBtT2MQ@mail.gmail.com>
Date: Sat, 10 Dec 2011 14:20:07 -0300
Message-ID: <CALMa68oSGJgyxttxiujeFY50Dg9wc4wo5Brf=QCZsyrUTOd5CQ@mail.gmail.com>
Subject: Re: [lojban] Update on gadri Proposal
From: =?ISO-8859-1?Q?Felipe_Gon=E7alves_Assis?= <felipeg.assis@gmail.com>
To: lojban@googlegroups.com
X-Original-Sender: felipeg.assis@gmail.com
X-Original-Authentication-Results: gmr-mx.google.com; spf=pass (google.com:
 domain of felipeg.assis@gmail.com designates 209.85.210.46 as permitted
 sender) smtp.mail=felipeg.assis@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:googlegroups-manage+1004133512417+unsubscribe@googlegroups.com>
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable
X-Spam-Score: -0.7 (/)
X-Spam_score: -0.7
X-Spam_score_int: -6
X-Spam_bar: /

On 10 December 2011 05:44, Jonathan Jones <eyeonus@gmail.com> wrote:
> So.... fix them? It's a wiki, pretty much anyone can make changes.
>

Sorry.
I know that I can, I just wasn't sure that I should make decisions
about the main
text of the proposal without notice.

Anyway, xorxes already did it, thanks.

> (At least, I assume the gadri proposal is located on the Lojban wiki, see=
ing
> as you didn't link to it and I'm not interested enough to go searching.)
>

http://www.lojban.org/tiki/BPFK+Section%3A+gadri

mu'o

>
> On Sat, Dec 10, 2011 at 1:14 AM, Felipe Gon=E7alves Assis
> <felipeg.assis@gmail.com> wrote:
>>
>> Now that the formal definition of {PA broda} has been updated in the
>> gadri Proposal, there are other parts of it that need to be adjusted.
>> The first paragraph, defining {lo}, still says
>> "
>> When an outer quantifier is used without an inner quantifier, lo can be
>> omitted.
>> "
>>
>> I think this should be replaced by an exemplified explanation of the
>> differences
>> between {PA broda} and {PA lo broda}.
>>
>> Maybe some of the examples should be reviewed as well.
>> I find the parenthesised {lo} in the following particularly misleading.
>> "
>> o'i mu (lo) xagji sofybakni cu zvati le purdi
>> Caution! There are five hungry Soviet cows in the garden.
>> "
>>
>> mu'o
>> mi'e .asiz.
>>
>> 2011/12/9 Jorge Llamb=EDas <jjllambias@gmail.com>:
>> > On Fri, Dec 9, 2011 at 10:20 PM, Martin Bays <mbays@sdf.org> wrote:
>> >>
>> >> Another side-issue (which I maybe shouldn't mention but will anyway) =
is
>> >> what {PA plise} abbreviates. Is it short for {PA da poi plise} where
>> >> {da} isn't already bound - which saves at least two syllables and sav=
es
>> >> us having to bind a new da? Or is it short for {PA lo plise} - which
>> >> just saves one syllable? The usage here, lojbanic history and the
>> >> demands of efficiency all point towards the former, but the gadri
>> >> proposal currently states the latter.
>> >>
>> >> If that change is to be reverted, I think it would be best to do it
>> >> sooner rather than later.
>> >
>> > Done.
>> >
>> > 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=3Den.
>> >
>>
>> --
>> You received this message because you are subscribed to the Google Group=
s
>> "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=3Den.
>>
>
>
>
> --
> mu'o mi'e .aionys.
>
> .i.e'ucai ko cmima lo pilno be denpa bu .i doi.luk. mi patfu do zo'o
> (Come to the Dot Side! Luke, I am your father. :D )
>
>
> --
> 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=3Den.

--=20
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@googlegrou=
ps.com.
For more options, visit this group at http://groups.google.com/group/lojban=
?hl=3Den.