Received: from mail-ww0-f61.google.com ([74.125.82.61]:44849) by stodi.digitalkingdom.org with esmtps (TLSv1:RC4-SHA:128) (Exim 4.76) (envelope-from ) id 1RRQEM-0008Tt-Ra; Fri, 18 Nov 2011 07:20:00 -0800 Received: by wwf27 with SMTP id 27sf7815581wwf.16 for ; Fri, 18 Nov 2011 07:19:47 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=beta; h=x-beenthere:received-spf:message-id:date:from:user-agent :mime-version:to:subject:references:in-reply-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=yEOlOeMIyTobLfCdfAa1y8iat1p8WxltHjys432Yb5A=; b=FQeoEDgOR3QSu0QqQlZF0HYs5kwpVXZxBWdnLAKfTu7gRC29h5TGj/ei2fu7gY1Zp9 6l8c8YENQwwVNfXfnNtZvbUGdebyZ5CROuh3hwp+NmbHf9exk6Q9lF+id9wzhpoKDyNo GEJJg4z8snCW6sPqkyYWRmRWjquU2PZC6u3yY= Received: by 10.216.229.74 with SMTP id g52mr121249weq.40.1321629584686; Fri, 18 Nov 2011 07:19:44 -0800 (PST) X-BeenThere: lojban@googlegroups.com Received: by 10.227.108.234 with SMTP id g42ls6522691wbp.0.gmail; Fri, 18 Nov 2011 07:19:43 -0800 (PST) Received: by 10.227.204.65 with SMTP id fl1mr183696wbb.4.1321629583236; Fri, 18 Nov 2011 07:19:43 -0800 (PST) Received: by 10.227.204.65 with SMTP id fl1mr183695wbb.4.1321629583218; Fri, 18 Nov 2011 07:19:43 -0800 (PST) Received: from mail-ey0-f169.google.com (mail-ey0-f169.google.com [209.85.215.169]) by gmr-mx.google.com with ESMTPS id r13si539998wbo.2.2011.11.18.07.19.43 (version=TLSv1/SSLv3 cipher=OTHER); Fri, 18 Nov 2011 07:19:43 -0800 (PST) Received-SPF: pass (google.com: domain of and.rosta@gmail.com designates 209.85.215.169 as permitted sender) client-ip=209.85.215.169; Received: by mail-ey0-f169.google.com with SMTP id 4so4511554eye.14 for ; Fri, 18 Nov 2011 07:19:43 -0800 (PST) Received: by 10.180.77.42 with SMTP id p10mr3519017wiw.66.1321629583084; Fri, 18 Nov 2011 07:19:43 -0800 (PST) Received: from [192.168.1.69] (87-194-76-177.bethere.co.uk. [87.194.76.177]) by mx.google.com with ESMTPS id em4sm1175111wbb.20.2011.11.18.07.19.41 (version=SSLv3 cipher=OTHER); Fri, 18 Nov 2011 07:19:41 -0800 (PST) Message-ID: <4EC6778C.5080604@gmail.com> Date: Fri, 18 Nov 2011 15:19:40 +0000 From: And Rosta User-Agent: Mozilla/5.0 (Windows; U; Windows NT 6.1; en-US; rv:1.9.2.24) Gecko/20111103 Thunderbird/3.1.16 MIME-Version: 1.0 To: lojban@googlegroups.com Subject: Re: [lojban] Re: New PA-proposal References: <20b482a7-b58a-4e4a-a3f7-27b49ba861c0@p9g2000vbb.googlegroups.com> <201111171409.08825.phma@phma.optus.nu> <4d00e419-9ede-42cf-963e-7a394bcbed13@d17g2000yql.googlegroups.com> In-Reply-To: X-Original-Sender: and.rosta@gmail.com X-Original-Authentication-Results: gmr-mx.google.com; spf=pass (google.com: domain of and.rosta@gmail.com designates 209.85.215.169 as permitted sender) smtp.mail=and.rosta@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: X-Google-Group-Id: 1004133512417 List-Post: , List-Help: , List-Archive: Sender: lojban@googlegroups.com List-Subscribe: , List-Unsubscribe: , Content-Type: text/plain; charset=ISO-8859-1; format=flowed X-Spam-Score: -0.7 (/) X-Spam_score: -0.7 X-Spam_score_int: -6 X-Spam_bar: / MorphemeAddict, On 18/11/2011 04:50: > It seems that people are attempting to create a grammar for PA that > produces all and ONLY those number strings that make sense. A grammar for PA is a grammar only if it specifies what PA syntagms mean. That's what the job of a grammar is. --And. -- 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.