From lojban+bncCMvjp-TQBRCizJ_gBBoEuFyJNw@googlegroups.com Thu Jun 03 10:28:21 2010 Received: from mail-gw0-f61.google.com ([74.125.83.61]) by chain.digitalkingdom.org with esmtp (Exim 4.71) (envelope-from ) id 1OKEDH-0001Cg-Sf; Thu, 03 Jun 2010 10:28:20 -0700 Received: by gwaa12 with SMTP id a12sf328838gwa.16 for ; Thu, 03 Jun 2010 10:28:08 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=beta; h=domainkey-signature:received:x-beenthere:received:received:received :received:received-spf:received:received:mime-version:sender :received:in-reply-to:references:from:date:message-id:subject:to :x-original-authentication-results:x-original-sender:reply-to :precedence:mailing-list:list-id:list-post:list-help:list-archive :list-subscribe:list-unsubscribe:content-type; bh=FiBZnguirzfBIMjMnuLAvkivRSfk17KJ+tLribk5hx0=; b=WBzNXfwBarv4R/U1yDamjN1YxoIpE7T9vujc1nizXVFOU8o0LibAnNlDclm5ISDkEF vVSRc7EK4vM1jJRrQ8ke9i0r4AfjLNrnyPu8/Xa0AdBtC5oceN97NNzfOr39lq6t9QHG zowOaH1N0e23IZd7VHJEAR1ByGkjWJAojCUBY= DomainKey-Signature: a=rsa-sha1; c=nofws; d=googlegroups.com; s=beta; h=x-beenthere:received-spf:mime-version:sender:in-reply-to:references :from:date:message-id:subject:to:x-original-authentication-results :x-original-sender:reply-to:precedence:mailing-list:list-id :list-post:list-help:list-archive:list-subscribe:list-unsubscribe :content-type; b=H/brNyXebnd44OFHUDOeGC2gBzQgFg9tpTCdJvtUJOQWO3yYzQz//dDxjFbU/8/5g2 Od6fhFBL8kEC1WPOIpLaHqe3sZwLWL5EBS7WkNDV5MyfFkoZLw6K505C+D9UNL0s5/zK 9XWcTuqR7UwMz2ReLoEgacxRwThWGbJ0sFtO0= Received: by 10.101.166.10 with SMTP id t10mr350824ano.53.1275586082779; Thu, 03 Jun 2010 10:28:02 -0700 (PDT) X-BeenThere: lojban@googlegroups.com Received: by 10.101.145.32 with SMTP id x32ls2165337ann.0.p; Thu, 03 Jun 2010 10:28:02 -0700 (PDT) Received: by 10.101.6.30 with SMTP id j30mr3139367ani.41.1275586081861; Thu, 03 Jun 2010 10:28:01 -0700 (PDT) Received: by 10.101.6.30 with SMTP id j30mr3139365ani.41.1275586081672; Thu, 03 Jun 2010 10:28:01 -0700 (PDT) Received: from mail-gy0-f172.google.com (mail-gy0-f172.google.com [209.85.160.172]) by gmr-mx.google.com with ESMTP id g8si181983anb.2.2010.06.03.10.28.00; Thu, 03 Jun 2010 10:28:00 -0700 (PDT) Received-SPF: pass (google.com: domain of dbrockman@gmail.com designates 209.85.160.172 as permitted sender) client-ip=209.85.160.172; Received: by gyh4 with SMTP id 4so281857gyh.31 for ; Thu, 03 Jun 2010 10:28:00 -0700 (PDT) Received: by 10.100.243.8 with SMTP id q8mr10690375anh.146.1275586079303; Thu, 03 Jun 2010 10:27:59 -0700 (PDT) MIME-Version: 1.0 Sender: lojban@googlegroups.com Received: by 10.100.249.14 with HTTP; Thu, 3 Jun 2010 10:27:39 -0700 (PDT) In-Reply-To: <25f48fb8-ae1a-424b-a9a8-12e5201b9818@x27g2000prf.googlegroups.com> References: <676f1fae-2f5a-4609-8727-49c9083a8715@h20g2000prn.googlegroups.com> <02364613-a7cb-4428-8916-bcad33923e03@40g2000pry.googlegroups.com> <20100603005936.GA23621@sdf.lonestar.org> <25f48fb8-ae1a-424b-a9a8-12e5201b9818@x27g2000prf.googlegroups.com> From: Daniel Brockman Date: Thu, 3 Jun 2010 19:27:39 +0200 Message-ID: Subject: Re: [lojban] Re: Named multiples To: lojban@googlegroups.com X-Original-Authentication-Results: gmr-mx.google.com; spf=pass (google.com: domain of dbrockman@gmail.com designates 209.85.160.172 as permitted sender) smtp.mail=dbrockman@gmail.com; dkim=pass (test mode) header.i=@gmail.com X-Original-Sender: dbrockman@gmail.com Reply-To: lojban@googlegroups.com Precedence: list Mailing-list: list lojban@googlegroups.com; contact lojban+owners@googlegroups.com List-ID: List-Post: , List-Help: , List-Archive: List-Subscribe: , List-Unsubscribe: , Content-Type: text/plain; charset=ISO-8859-1 > I don't think we can just say "whatever" and leave it up to context. > A parser needs to know what the default is if one is not specified. No, a parser definitely does not need to know things like that. -- 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.