Received: from mail-pd0-f183.google.com ([209.85.192.183]:48998) by stodi.digitalkingdom.org with esmtps (TLSv1:RC4-SHA:128) (Exim 4.76) (envelope-from ) id 1UeYVE-0004s9-7Z; Mon, 20 May 2013 15:24:39 -0700 Received: by mail-pd0-f183.google.com with SMTP id q11sf252220pdj.20 for ; Mon, 20 May 2013 15:24:18 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20120806; h=x-beenthere: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=PMUvXPhviq91ofHnnCv8y1cvJlmUhpYc+MhHqLcnkaE=; b=xXTEibIZHdvNgSmWQe3Fts099d63svUQqA5E9v0aEWEedOZJGrT0DbRNwchw9WgVue cfr8QhXnRpDPnmB5lF4+Ti9yhEHeDPA7GztGzUc3UvA7ckuvOJh39TVaKcvOFVUG3CNb sIzuG57yIHUBPrI1s6hY8QgbdEr/JuwPPqnIBy0NWoNxtdjuhZh/DmvLt3mGiIiBofZ2 NADRtLTSLWx4HUw8ZlEaENoBiCkvzbSw1R2lBXy9piaDyenKvPQa8/RFUd3qEzVindIk S5hHWZ29kvK780RCZ9BbhFIwxjaCQ/2ZPr0yzTZT7ZyWmbuOHcHrr0NooJIfMSYnAA3x 35ZA== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=x-beenthere: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=PMUvXPhviq91ofHnnCv8y1cvJlmUhpYc+MhHqLcnkaE=; b=aYLXdw17ehZwjE+QcoBr7Sl9geZabD9FwR9r3VG2rg5Pvg24yzLda9tniIZuTnCXJU PggNZCsWHlC/Z5u6XBVHJC5xwwlhzGrRkGecTMxJGfvM/eamfyLR0Ldp3U6VqUp6x9BW QuCmB+NRbyPeBuOIfpWU9zRE9wNMyO/X6GOxPHn+mhJ5haji4exiJSiHzIw34SD0CLwy 9DI9IPYPtoEPCU8zpUQZmm61FrYkmCseRtBxJw2/jRxgdQHlOmLXT5stIycHvK8p1Q61 DfV+2ltV32K5nIGeykhaaj8qBelYyhh+5uaV0LaClvWiNAj67qhTJhyj75iVZlc1itwS Pxcg== X-Received: by 10.50.132.4 with SMTP id oq4mr1287280igb.2.1369088658057; Mon, 20 May 2013 15:24:18 -0700 (PDT) X-BeenThere: lojban-beginners@googlegroups.com Received: by 10.50.73.161 with SMTP id m1ls2563037igv.0.canary; Mon, 20 May 2013 15:24:17 -0700 (PDT) X-Received: by 10.43.62.4 with SMTP id wy4mr40846883icb.25.1369088657232; Mon, 20 May 2013 15:24:17 -0700 (PDT) Received: from mail-ie0-x22e.google.com (mail-ie0-x22e.google.com [2607:f8b0:4001:c03::22e]) by gmr-mx.google.com with ESMTPS id n14si1495335igk.1.2013.05.20.15.24.17 for (version=TLSv1 cipher=ECDHE-RSA-RC4-SHA bits=128/128); Mon, 20 May 2013 15:24:17 -0700 (PDT) Received-SPF: pass (google.com: domain of blindbravado@gmail.com designates 2607:f8b0:4001:c03::22e as permitted sender) client-ip=2607:f8b0:4001:c03::22e; Received: by mail-ie0-x22e.google.com with SMTP id 10so14826188ied.19 for ; Mon, 20 May 2013 15:24:17 -0700 (PDT) MIME-Version: 1.0 X-Received: by 10.50.36.10 with SMTP id m10mr6397538igj.31.1369088657157; Mon, 20 May 2013 15:24:17 -0700 (PDT) Received: by 10.231.102.74 with HTTP; Mon, 20 May 2013 15:24:17 -0700 (PDT) In-Reply-To: <20130520221213.GB3114@samsa.fritz.box> References: <20130520214048.GA3114@samsa.fritz.box> <20130520221213.GB3114@samsa.fritz.box> Date: Mon, 20 May 2013 18:24:17 -0400 Message-ID: Subject: Re: [lojban-beginners] questions about lojban From: Ian Johnson To: lojban-beginners@googlegroups.com X-Original-Sender: blindbravado@gmail.com X-Original-Authentication-Results: gmr-mx.google.com; spf=pass (google.com: domain of blindbravado@gmail.com designates 2607:f8b0:4001:c03::22e as permitted sender) smtp.mail=blindbravado@gmail.com; dkim=pass header.i=@gmail.com Reply-To: lojban-beginners@googlegroups.com Precedence: list Mailing-list: list lojban-beginners@googlegroups.com; contact lojban-beginners+owners@googlegroups.com List-ID: X-Google-Group-Id: 300742228892 List-Post: , List-Help: , List-Archive: Sender: lojban-beginners@googlegroups.com List-Subscribe: , List-Unsubscribe: , Content-Type: multipart/alternative; boundary=089e013c69bc1374ee04dd2dcb74 X-Spam-Score: -0.1 (/) X-Spam_score: -0.1 X-Spam_score_int: 0 X-Spam_bar: / Content-Length: 4519 --089e013c69bc1374ee04dd2dcb74 Content-Type: text/plain; charset=ISO-8859-1 On Mon, May 20, 2013 at 6:12 PM, v4hn wrote: > On Mon, May 20, 2013 at 05:49:08PM -0400, Ian Johnson wrote: > > On Mon, May 20, 2013 at 5:40 PM, v4hn wrote: > > > {pa le karci} or {pa karci} (if a number preceeds the bridi you don't > necessarily > > > need an article, you can think about this as {pa lo karci}) can be used > > > for that, an inner quantifier is not needed here. > > > > {pa karce} is rather unlikely to mean what you want. In particular it > does > > *NOT* mean the same as {pa lo karce}. Instead it actually means exactly > > what {pa lo karce} meant before xorlo was implemented, that is "there > > exists exactly one car such that ..." > > Agreed, I never use that and got confused when reading > > lo with an outer quantifier, which is exactly the same thing > as just sticking a number before an item (i.e. "mu lo bakni" == "mu bakni" > == "five cows), works pretty much as before: "five things that really are > cows". > > at http://www.lojban.org/tiki/How+to+use+xorlo . Someone might want to > rephrase that. > > > mi'e la .van. mu'o > Oh wow, that's not good at all, that's completely inconsistent with the formal definition in the proposal proper... mi'e la latro'a mu'o -- You received this message because you are subscribed to the Google Groups "Lojban Beginners" group. To unsubscribe from this group and stop receiving emails from it, send an email to lojban-beginners+unsubscribe@googlegroups.com. To post to this group, send email to lojban-beginners@googlegroups.com. Visit this group at http://groups.google.com/group/lojban-beginners?hl=en. For more options, visit https://groups.google.com/groups/opt_out. --089e013c69bc1374ee04dd2dcb74 Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable
On M= on, May 20, 2013 at 6:12 PM, v4hn <me@v4hn.de> wrote:
On Mon, May 20, 2013 at 05:49:08PM -0400, Ian Johnson wro= te:
> On Mon, May 20, 2013 at 5:40 PM, v4hn <me@v4hn.de> wrote:
> > {pa le karci} or {pa karci} (if a number preceeds the bridi you d= on't necessarily
> > need an article, you can think about this as {pa lo karci}) can b= e used
> > for that, an inner quantifier is not needed here.
>
> {pa karce} is rather unlikely to mean what you want. In particular it = does
> *NOT* mean the same as {pa lo karce}. Instead it actually means exactl= y
> what {pa lo karce} meant before xorlo was implemented, that is "t= here
> exists exactly one car such that ..."

Agreed, I never use that and got confused when reading

lo with an outer quantifier, which is exactly the same thing
as just sticking a number before an item (i.e. "mu lo bakni" =3D= =3D "mu bakni"
=3D=3D "five cows), works pretty much as before: "five things tha= t really are cows".

at http://www.lojban.org/tiki/How+to+use+xorlo . Someone might want to r= ephrase that.


mi'e la .van. mu'o
Oh wow, that= 9;s not good at all, that's completely inconsistent with the formal def= inition in the proposal proper...

mi'e la latro'a mu'o <= br>

--
You received this message because you are subscribed to the Google Groups &= quot;Lojban Beginners" group.
To unsubscribe from this group and stop receiving emails from it, send an e= mail to lojban-beginners+unsubscribe@googlegroups.com.
To post to this group, send email to lojban-beginners@googlegroups.com.
Visit this group at http://groups.google.com/group/lojban-beginners?hl=3Den. For more options, visit https://groups.google.com/groups/opt_out.
 
 
--089e013c69bc1374ee04dd2dcb74--