From rlpowell@digitalkingdom.org Thu Jul 29 15:38:11 2004
Received: with ECARTIS (v1.0.0; list lojban-list); Thu, 29 Jul 2004 15:38:11 -0700 (PDT)
Received: from rlpowell by chain.digitalkingdom.org with local (Exim 4.32)
	id 1BqJXH-0004p2-7N
	for lojban-list@lojban.org; Thu, 29 Jul 2004 15:38:03 -0700
Date: Thu, 29 Jul 2004 15:38:03 -0700
To: lojban-list@lojban.org
Subject: [lojban] Re: jimpe: Language Processing in Lojban
Message-ID: <20040729223802.GP26156@chain.digitalkingdom.org>
Mail-Followup-To: lojban-list@lojban.org
References: <20040729215411.GA11429@nerd-xing.mit.edu> <20040729223603.GO26156@chain.digitalkingdom.org>
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
In-Reply-To: <20040729223603.GO26156@chain.digitalkingdom.org>
User-Agent: Mutt/1.5.6+20040523i
From: Robin Lee Powell <rlpowell@digitalkingdom.org>
X-archive-position: 8358
X-ecartis-version: Ecartis v1.0.0
Sender: lojban-list-bounce@lojban.org
Errors-to: lojban-list-bounce@lojban.org
X-original-sender: rlpowell@digitalkingdom.org
Precedence: bulk
Reply-to: lojban-list@lojban.org
X-list: lojban-list

On Thu, Jul 29, 2004 at 03:36:03PM -0700, Robin Lee Powell wrote:
> On Thu, Jul 29, 2004 at 05:54:11PM -0400, Rob Speer wrote:
> > Time for me to announce something I've been working on all summer.
> > 
> > Catherine Havasi (who recently introduced herself on the
> > lojban-beginners list) and I have been developing a system for
> > reasoning in Lojban, called "jimpe".
> 
> Go you!

From the paper:

coi mi'e jimpe
> ganai la bab crino gi la erik blanu
je'e
> la erik na blanu
je'e
ua la bab na crino

OK, that's just *COOL*.

-Robin

-- 
http://www.digitalkingdom.org/~rlpowell/ *** http://www.lojban.org/
Reason #237 To Learn Lojban: "Homonyms: Their Grate!"