From lojban+bncCLr6ktCfBBDmz_bpBBoENt8yGA@googlegroups.com Mon Jan 24 08:25:26 2011 Received: from mail-gy0-f189.google.com ([209.85.160.189]) by chain.digitalkingdom.org with esmtp (Exim 4.72) (envelope-from ) id 1PhPEH-0007XD-Ti; Mon, 24 Jan 2011 08:25:26 -0800 Received: by gyb11 with SMTP id 11sf3625649gyb.16 for ; Mon, 24 Jan 2011 08:25:16 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=beta; h=domainkey-signature:x-beenthere:received-spf:date:from:to:subject :message-id:mail-followup-to:mime-version:x-original-sender :x-original-authentication-results:reply-to:precedence:mailing-list :list-id:list-post:list-help:list-archive:sender:list-subscribe :list-unsubscribe:content-type:content-disposition; bh=2wnCQ4jsK8KwW3Q/8dpb7xkJWRhtIXcGDTjGm1QnK7k=; b=lk6lUcbeLk2z60tBgO12LrVXvgQabsJIyxpaXDWGAqP46xL0elVn7EX+oYa4BUsEff f/RppFADAeKZtLVVPK8f3mAOjU3eQOJ5uoi0DCvvkfkjMVia101W+ia3UvQ4hjPOPCnF PRL4ZpwpSBJ8QbavNWSEoMR2jYzyERowI6uOo= DomainKey-Signature: a=rsa-sha1; c=nofws; d=googlegroups.com; s=beta; h=x-beenthere:received-spf:date:from:to:subject:message-id :mail-followup-to:mime-version:x-original-sender :x-original-authentication-results:reply-to:precedence:mailing-list :list-id:list-post:list-help:list-archive:sender:list-subscribe :list-unsubscribe:content-type:content-disposition; b=BCEr97iHiRK3VjWSXZWU0hufDG8k2nf+Xx5VpWkpgFa/w6OmNfRQm5oX9rGh2WYOu0 fOEM1ImHn6MwmBRIHPL7RbIxciRQ49RoWO41G2QYmFmjkf3tHSIPVsoo4kd8jS521I1B WQNNUu7YRQSfur8ofFgRU8d79DSt8yG7PvhoQ= Received: by 10.91.163.27 with SMTP id q27mr315861ago.57.1295886310258; Mon, 24 Jan 2011 08:25:10 -0800 (PST) X-BeenThere: lojban@googlegroups.com Received: by 10.231.200.3 with SMTP id eu3ls2177821ibb.1.p; Mon, 24 Jan 2011 08:25:09 -0800 (PST) Received: by 10.231.20.68 with SMTP id e4mr1549075ibb.1.1295886309350; Mon, 24 Jan 2011 08:25:09 -0800 (PST) Received: by 10.231.20.68 with SMTP id e4mr1549074ibb.1.1295886309328; Mon, 24 Jan 2011 08:25:09 -0800 (PST) Received: from mail-iy0-f177.google.com (mail-iy0-f177.google.com [209.85.210.177]) by gmr-mx.google.com with ESMTPS id c4si1497715ict.3.2011.01.24.08.25.09 (version=TLSv1/SSLv3 cipher=RC4-MD5); Mon, 24 Jan 2011 08:25:09 -0800 (PST) Received-SPF: neutral (google.com: 209.85.210.177 is neither permitted nor denied by best guess record for domain of alanpost@sunflowerriver.org) client-ip=209.85.210.177; Received: by mail-iy0-f177.google.com with SMTP id 21so4260695iyj.8 for ; Mon, 24 Jan 2011 08:25:09 -0800 (PST) Received: by 10.42.219.131 with SMTP id hu3mr5037576icb.459.1295886309178; Mon, 24 Jan 2011 08:25:09 -0800 (PST) Received: from sunflowerriver.org (173-10-243-253-Albuquerque.hfc.comcastbusiness.net [173.10.243.253]) by mx.google.com with ESMTPS id gy41sm11149407ibb.11.2011.01.24.08.25.07 (version=TLSv1/SSLv3 cipher=RC4-MD5); Mon, 24 Jan 2011 08:25:08 -0800 (PST) Date: Mon, 24 Jan 2011 09:25:04 -0700 From: ".alyn.post." To: Lojban List Subject: [lojban] zoi bug in camxes? Message-ID: <20110124162504.GB27137@alice.local> Mail-Followup-To: Lojban List Mime-Version: 1.0 X-Original-Sender: alyn.post@lodockikumazvati.org X-Original-Authentication-Results: gmr-mx.google.com; spf=neutral (google.com: 209.85.210.177 is neither permitted nor denied by best guess record for domain of alanpost@sunflowerriver.org) smtp.mail=alanpost@sunflowerriver.org 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: Sender: lojban@googlegroups.com List-Subscribe: , List-Unsubscribe: , Content-Type: text/plain; charset=ISO-8859-1 Content-Disposition: inline Robin, According to example 10.3 in the CLL, the following statement is not grammatical when written[1]: mi djuno fi le valsi po'u zoi gy. gyrations .gy. camxes parses this anyway. Is this a bug in camxes? Should zoi handling be detecting whether the zoi-open word is a substring of zoi-word rather than testing for strict equality? -Alan 1: http://dag.github.com/cll/19/10/ -- .i ko djuno fi le do sevzi -- 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.