Received: from mail-ob0-f189.google.com ([209.85.214.189]:43000)
	by stodi.digitalkingdom.org with esmtps (TLSv1:RC4-SHA:128)
	(Exim 4.76)
	(envelope-from <lojban+bncCK30vq5WEIyQsf4EGgSn05O_@googlegroups.com>)
	id 1SbPsY-0003AL-Va; Sun, 03 Jun 2012 22:31:07 -0700
Received: by obbtb18 with SMTP id tb18sf5007651obb.16
        for <multiple recipients>; Sun, 03 Jun 2012 22:30:52 -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:mime-version:user-agent:sender:x-original-sender
         :x-original-authentication-results:reply-to:precedence:mailing-list
         :list-id:x-google-group-id:list-post:list-help:list-archive
         :list-subscribe:list-unsubscribe:content-type:content-disposition;
        bh=I42+DvMBQAv1o7UtlVa3oKVKKHYrooUgKd6OI2VnbJ4=;
        b=RCaEX4SQf7zehRaS4agUezD+XJd4dLoHVf4xfgnhIUUS/TxSdz2/4E+KVtPjySOrUr
         MQL9Cp/245SmD4H/FuHIjAYSNAq7CGHVRs5qLpgv0febfoAQHc3du/sn9gvo1VFKWncf
         9cWZICZJDt9WIYJzXAqUDe14b4yWup+J0lP7s=
Received: by 10.68.233.166 with SMTP id tx6mr1722386pbc.12.1338787852431;
        Sun, 03 Jun 2012 22:30:52 -0700 (PDT)
X-BeenThere: lojban@googlegroups.com
Received: by 10.68.195.100 with SMTP id id4ls13127651pbc.8.gmail; Sun, 03 Jun
 2012 22:30:51 -0700 (PDT)
Received: by 10.68.241.7 with SMTP id we7mr9549613pbc.4.1338787851986;
        Sun, 03 Jun 2012 22:30:51 -0700 (PDT)
Received: by 10.68.241.7 with SMTP id we7mr9549612pbc.4.1338787851978;
        Sun, 03 Jun 2012 22:30:51 -0700 (PDT)
Received: from omta02.potomac.co.businessclass.comcast.net (omta02.potomac.co.businessclass.comcast.net. [76.96.107.72])
        by gmr-mx.google.com with ESMTP id gi6si14184222pbc.0.2012.06.03.22.30.51;
        Sun, 03 Jun 2012 22:30:51 -0700 (PDT)
Received-SPF: neutral (google.com: 76.96.107.72 is neither permitted nor denied by best guess record for domain of nobody@stodi.digitalkingdom.org) client-ip=76.96.107.72;
Received: from stodi.digitalkingdom.org ([173.13.139.236])
	by omta02.potomac.co.businessclass.comcast.net with bizsmtp
	id J5Wq1j00156Cr6M015Wq7U; Mon, 04 Jun 2012 05:30:51 +0000
Received: from nobody by stodi.digitalkingdom.org with local (Exim 4.76)
	(envelope-from <nobody@stodi.digitalkingdom.org>)
	id 1SbPsP-0003AH-Uu
	for lojban@googlegroups.com; Sun, 03 Jun 2012 22:30:50 -0700
Received: from rlpowell by stodi.digitalkingdom.org with local (Exim 4.76)
	(envelope-from <rlpowell@digitalkingdom.org>)
	id 1SbPsP-0003A9-ES
	for lojban-list@lojban.org; Sun, 03 Jun 2012 22:30:49 -0700
Date: Sun, 3 Jun 2012 22:30:49 -0700
From: Robin Lee Powell <rlpowell@digitalkingdom.org>
To: lojban-list@lojban.org
Subject: [lojban] A tool we'll need
Message-ID: <20120604053049.GR8656@stodi.digitalkingdom.org>
Mail-Followup-To: lojban-list@lojban.org
MIME-Version: 1.0
User-Agent: Mutt/1.5.21 (2010-09-15)
Sender: lojban@googlegroups.com
X-Original-Sender: rlpowell@digitalkingdom.org
X-Original-Authentication-Results: gmr-mx.google.com; spf=neutral (google.com:
 76.96.107.72 is neither permitted nor denied by best guess record for domain
 of nobody@stodi.digitalkingdom.org) smtp.mail=nobody@stodi.digitalkingdom.org
Reply-To: lojban@googlegroups.com
Precedence: list
Mailing-list: list lojban@googlegroups.com; contact lojban+owners@googlegroups.com
List-ID: <lojban.googlegroups.com>
X-Google-Group-Id: 1004133512417
List-Post: <http://groups.google.com/group/lojban/post?hl=en_US>, <mailto:lojban@googlegroups.com>
List-Help: <http://groups.google.com/support/?hl=en_US>, <mailto:lojban+help@googlegroups.com>
List-Archive: <http://groups.google.com/group/lojban?hl=en_US>
List-Subscribe: <http://groups.google.com/group/lojban/subscribe?hl=en_US>, <mailto:lojban+subscribe@googlegroups.com>
List-Unsubscribe: <http://groups.google.com/group/lojban/subscribe?hl=en_US>, <mailto:googlegroups-manage+1004133512417+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: /


Sooner or later, we're going to need something that can go through
the corpus ( http://www.lojban.org/corpus/ ) and answer questions
like "show me all sentences in which the x3 of tubnu is filled", to
aid figuring out how to fix the various gismu list problems.

If someone wanted to work on that before I get around to it, which
won't likely happen this decade, that would be swell.

-Robin

-- 
http://singinst.org/ :  Our last, best hope for a fantastic future.
.i ko na cpedu lo nu stidi vau loi jbopre .i danfu lu na go'i li'u .e
lu go'i li'u .i ji'a go'i lu na'e go'i li'u .e lu go'i na'i li'u .e
lu no'e go'i li'u .e lu to'e go'i li'u .e lu lo mamta be do cu sofybakni li'u

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