Received: from mail-gx0-f189.google.com ([209.85.161.189]:40563)
	by stodi.digitalkingdom.org with esmtps (TLSv1:RC4-SHA:128)
	(Exim 4.76)
	(envelope-from <lojban-beginners+bncCLr6ktCfBBDAytj0BBoEQm9JqQ@googlegroups.com>)
	id 1RE8P5-0004PD-4C; Wed, 12 Oct 2011 16:40:08 -0700
Received: by ggnh4 with SMTP id h4sf2245097ggn.16
        for <multiple recipients>; Wed, 12 Oct 2011 16:39:56 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=googlegroups.com; s=beta;
        h=x-beenthere:received-spf:date:from:to:subject:message-id
         :mail-followup-to:references:mime-version: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:content-disposition;
        bh=uZx1rsDa5Cc25WGagcjP101bAHBwheDc0G4hWKoE/GA=;
        b=srUu/FH23pS8T0jyt+Com+WcPpY+1EJqjGXYHICv3yDZrQbt+PF/02XbvAXb30fSgi
         GdQMw50FREYcEK5e7FGDEQe2LTp4PHT+7GcZ1YkgaK5ou7BUKPxJcvj9KOV3mjN9hvhF
         zswLvMPKE/jpb/Klavy8C7QVxQzUQnqbdeRbc=
Received: by 10.150.73.8 with SMTP id v8mr700240yba.11.1318462784491;
        Wed, 12 Oct 2011 16:39:44 -0700 (PDT)
X-BeenThere: lojban-beginners@googlegroups.com
Received: by 10.101.11.13 with SMTP id o13ls5326721ani.6.gmail; Wed, 12 Oct
 2011 16:39:43 -0700 (PDT)
Received: by 10.100.171.2 with SMTP id t2mr284973ane.23.1318462783820;
        Wed, 12 Oct 2011 16:39:43 -0700 (PDT)
Received: by 10.100.171.2 with SMTP id t2mr284972ane.23.1318462783799;
        Wed, 12 Oct 2011 16:39:43 -0700 (PDT)
Received: from mail-yw0-f50.google.com (mail-yw0-f50.google.com [209.85.213.50])
        by gmr-mx.google.com with ESMTPS id n38si299352ybb.0.2011.10.12.16.39.43
        (version=TLSv1/SSLv3 cipher=OTHER);
        Wed, 12 Oct 2011 16:39:43 -0700 (PDT)
Received-SPF: neutral (google.com: 209.85.213.50 is neither permitted nor denied by best guess record for domain of alanpost@sunflowerriver.org) client-ip=209.85.213.50;
Received: by ywm13 with SMTP id 13so674889ywm.37
        for <lojban-beginners@googlegroups.com>; Wed, 12 Oct 2011 16:39:43 -0700 (PDT)
Received: by 10.236.154.137 with SMTP id h9mr1787908yhk.26.1318462783524;
        Wed, 12 Oct 2011 16:39:43 -0700 (PDT)
Received: from sunflowerriver.org ([209.234.140.58])
        by mx.google.com with ESMTPS id o50sm4755173yhl.9.2011.10.12.16.39.41
        (version=TLSv1/SSLv3 cipher=OTHER);
        Wed, 12 Oct 2011 16:39:42 -0700 (PDT)
Date: Wed, 12 Oct 2011 17:39:38 -0601
From: ".alyn.post." <alyn.post@lodockikumazvati.org>
To: lojban-beginners@googlegroups.com
Subject: Re: [lojban-beginners] "tu'o to toi" is this a bug in jbofihe?
Message-ID: <20111012234002.GQ29295@sunflowerriver.org>
Mail-Followup-To: lojban-beginners@googlegroups.com
References: <20111012225920.GP29295@sunflowerriver.org>
 <CAMKwHj0scLA0ZSVoZ5xy-Bo19fs6sGN=FR9NXX6uaJW+pHkWfA@mail.gmail.com>
MIME-Version: 1.0
In-Reply-To: <CAMKwHj0scLA0ZSVoZ5xy-Bo19fs6sGN=FR9NXX6uaJW+pHkWfA@mail.gmail.com>
X-Original-Sender: alyn.post@lodockikumazvati.org
X-Original-Authentication-Results: gmr-mx.google.com; spf=neutral (google.com:
 209.85.213.50 is neither permitted nor denied by best guess record for domain
 of alanpost@sunflowerriver.org) smtp.mail=alanpost@sunflowerriver.org
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: 1.4 (+)
X-Spam_score: 1.4
X-Spam_score_int: 14
X-Spam_bar: +
X-Spam-Report: Spam detection software, running on the system "stodi.digitalkingdom.org", has
 identified this incoming email as possible spam.  The original message
 has been attached to this so you can view it (if it isn't spam) or label
 similar future email.  If you have any questions, see
 the administrator of that system for details.
 
 Content preview:  camxes returns a valid parse: http://camxes.lojban.org/camxes/?text=tu%27o+to+toi
    So one of them is wrong. [...] 
 
 Content analysis details:   (1.4 points, 5.0 required)
 
  pts rule name              description
 ---- ---------------------- --------------------------------------------------
  1.4 BUG6152_INVALID_DATE_TZ_ABSURD BUG6152_INVALID_DATE_TZ_ABSURD
  0.6 INVALID_DATE_TZ_ABSURD Invalid Date: header (timezone does not exist)
 -0.7 RCVD_IN_DNSWL_LOW      RBL: Sender listed at http://www.dnswl.org/, low
                             trust
                             [209.85.161.189 listed in list.dnswl.org]
 -0.0 SPF_PASS               SPF: sender matches SPF record
  0.1 DKIM_SIGNED            Message has a DKIM or DK signature, not necessarily valid
 -0.1 DKIM_VALID             Message has at least one valid DKIM or DK signature

camxes returns a valid parse:

  http://camxes.lojban.org/camxes/?text=tu%27o+to+toi

So one of them is wrong.

-Alan

On Wed, Oct 12, 2011 at 05:08:42PM -0600, Jonathan Jones wrote:
>    I know that {to}* = ( and {toi}* = ). {tu'o} is "null operand (used in
>    unary mekso operations).", so I would assume the error is caused by
>    jbofi'e expecting sumti for tu'o to operate on, and getting to...toi
>    instead.
> 
>    On Wed, Oct 12, 2011 at 4:59 PM, .alyn.post.
>    <[1]alyn.post@lodockikumazvati.org> 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?
> 
>      -Alan
>      --
>      .i ma'a lo bradi cu penmi gi'e du
>      --
>      You received this message because you are subscribed to the Google
>      Groups "Lojban Beginners" group.
>      To post to this group, send email to
>      [2]lojban-beginners@googlegroups.com.
>      To unsubscribe from this group, send email to
>      [3]lojban-beginners+unsubscribe@googlegroups.com.
>      For more options, visit this group at
>      [4]http://groups.google.com/group/lojban-beginners?hl=en.
> 
>    --
>    mu'o mi'e .aionys.
> 
>    .i.e'ucai ko cmima lo pilno be denpa bu .i doi.luk. mi patfu do zo'o
>    (Come to the Dot Side! Luke, I am your father. :D )
> 
>    --
>    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.
> 
> References
> 
>    Visible links
>    1. mailto:alyn.post@lodockikumazvati.org
>    2. mailto:lojban-beginners@googlegroups.com
>    3. mailto:lojban-beginners%2Bunsubscribe@googlegroups.com
>    4. http://groups.google.com/group/lojban-beginners?hl=en

-- 
.i ma'a lo bradi cu penmi gi'e du

-- 
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.