Received: from mail-qw0-f61.google.com ([209.85.216.61]:65128)
	by stodi.digitalkingdom.org with esmtps (TLSv1:RC4-SHA:128)
	(Exim 4.76)
	(envelope-from <lojban-beginners+bncCNTPpI2KGxDZh9n0BBoE1XCCbg@googlegroups.com>)
	id 1REARQ-0005bm-Jb; Wed, 12 Oct 2011 18:50:42 -0700
Received: by qadz2 with SMTP id z2sf1600172qad.16
        for <multiple recipients>; Wed, 12 Oct 2011 18:50:30 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=googlegroups.com; s=beta;
        h=x-beenthere:received-spf:x-authority-analysis:x-cloudmark-score
         :x-originating-ip:from:to:subject:date:user-agent:references
         :in-reply-to:mime-version:message-id: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-disposition;
        bh=I1LxauBwgpn1zfzaPDhMsa0hwAdClz7IN+VMf7+prls=;
        b=NIJ1Z92ypu0i2efJUYPrntf1KCLn2+EomEpBnD7CJctpz371ZVJ3zTaiDuDgztY4fL
         85/aVIuen9NtEEa+BtzSSKu99AC8dlsqCW9UHfT/FZoj6lt4Hr3I5U04l9/Px+g+XkMM
         B5c9a7RR+610LnQHS8YOIMTMwCyqQdaUZZDHs=
Received: by 10.224.187.203 with SMTP id cx11mr409612qab.13.1318470617707;
        Wed, 12 Oct 2011 18:50:17 -0700 (PDT)
X-BeenThere: lojban-beginners@googlegroups.com
Received: by 10.224.182.71 with SMTP id cb7ls3205499qab.4.gmail; Wed, 12 Oct
 2011 18:50:17 -0700 (PDT)
Received: by 10.224.33.205 with SMTP id i13mr886766qad.5.1318470617215;
        Wed, 12 Oct 2011 18:50:17 -0700 (PDT)
Received: by 10.224.33.205 with SMTP id i13mr886765qad.5.1318470617202;
        Wed, 12 Oct 2011 18:50:17 -0700 (PDT)
Received: from cdptpa-omtalb.mail.rr.com (cdptpa-omtalb.mail.rr.com. [75.180.132.122])
        by gmr-mx.google.com with ESMTP id s41si2144768qcq.3.2011.10.12.18.50.16;
        Wed, 12 Oct 2011 18:50:16 -0700 (PDT)
Received-SPF: neutral (google.com: 75.180.132.122 is neither permitted nor denied by best guess record for domain of phma@phma.optus.nu) client-ip=75.180.132.122;
X-Authority-Analysis: v=1.1 cv=jq8htJHvmfBcE8vTz+l/8tRKJO9DWjTMPl1x875PTwU= c=1 sm=0 a=6ti_TD8eFm8A:10 a=emNm5KFR7gQA:10 a=wPDyFdB5xvgA:10 a=8nJEP1OIZ-IA:10 a=9o99xeNKNPYSmM5t9x5+TQ==:17 a=kDPDoJPaw3jHmBtTkBEA:9 a=wPNLvfGTeEIA:10 a=9o99xeNKNPYSmM5t9x5+TQ==:117
X-Cloudmark-Score: 0
X-Originating-IP: 75.176.118.168
Received: from [75.176.118.168] ([75.176.118.168:40367] helo=chausie)
	by cdptpa-oedge03.mail.rr.com (envelope-from <phma@phma.optus.nu>)
	(ecelerity 2.2.3.46 r()) with ESMTP
	id 0B/71-13415-7D3469E4; Thu, 13 Oct 2011 01:50:16 +0000
Received: from localhost (localhost [127.0.0.1])
	by chausie (Postfix) with ESMTP id 189B921B67
	for <lojban-beginners@googlegroups.com>; Wed, 12 Oct 2011 21:50:15 -0400 (EDT)
From: Pierre Abbat <phma@phma.optus.nu>
To: Lojban Beginners <lojban-beginners@googlegroups.com>
Subject: Re: [lojban-beginners] "tu'o to toi" is this a bug in jbofihe?
Date: Wed, 12 Oct 2011 21:50:05 -0400
User-Agent: KMail/1.9.6 (enterprise 0.20070907.709405)
References: <20111012225920.GP29295@sunflowerriver.org>
In-Reply-To: <20111012225920.GP29295@sunflowerriver.org>
MIME-Version: 1.0
Message-Id: <201110122150.08427.phma@phma.optus.nu>
X-Original-Sender: phma@phma.optus.nu
X-Original-Authentication-Results: gmr-mx.google.com; spf=neutral (google.com:
 75.180.132.122 is neither permitted nor denied by best guess record for
 domain of phma@phma.optus.nu) smtp.mail=phma@phma.optus.nu
Reply-To: lojban-beginners@googlegroups.com
Precedence: list
Mailing-list: list lojban-beginners@googlegroups.com; contact lojban-beginners+owners@googlegroups.com
List-ID: <lojban-beginners.googlegroups.com>
X-Google-Group-Id: 300742228892
List-Post: <http://groups.google.com/group/lojban-beginners/post?hl=en_US>, <mailto:lojban-beginners@googlegroups.com>
List-Help: <http://groups.google.com/support/?hl=en_US>, <mailto:lojban-beginners+help@googlegroups.com>
List-Archive: <http://groups.google.com/group/lojban-beginners?hl=en_US>
Sender: lojban-beginners@googlegroups.com
List-Subscribe: <http://groups.google.com/group/lojban-beginners/subscribe?hl=en_US>,
 <mailto:lojban-beginners+subscribe@googlegroups.com>
List-Unsubscribe: <http://groups.google.com/group/lojban-beginners/subscribe?hl=en_US>,
 <mailto:lojban-beginners+unsubscribe@googlegroups.com>
Content-Type: text/plain; charset=ISO-8859-1
Content-Disposition: inline
X-Spam-Score: -0.7 (/)
X-Spam_score: -0.7
X-Spam_score_int: -6
X-Spam_bar: /

On Wednesday 12 October 2011 18:59:56 .alyn.post. wrote:
> This statement gives me an error in jbofihe:
>
>   $ echo "tu'o to toi"|jbofihe
>
> I assume that the above is valid Lojban, and that jbofihe is in
> error here: tu ... toi is in the free production, which should be
> able to appear nearly anywhere.
>
> Yes?

I tried a few other strings on jbofi'e. It appears that "to ... toi" cannot 
appear inside a string of letters or numbers. If you put "boi" after "tu'o", 
jbofi'e accepts it. I haven't checked it against the grammar.

Pierre
-- 
I believe in Yellow when I'm in Sweden and in Black when I'm in Wales.

-- 
You received this message because you are subscribed to the Google Groups "Lojban Beginners" group.
To post to this group, send email to lojban-beginners@googlegroups.com.
To unsubscribe from this group, send email to lojban-beginners+unsubscribe@googlegroups.com.
For more options, visit this group at http://groups.google.com/group/lojban-beginners?hl=en.