From sbelknap@UIC.EDU Sat Sep 01 19:03:51 2001
Return-Path: <sbelknap@uic.edu>
X-Sender: sbelknap@uic.edu
X-Apparently-To: lojban@yahoogroups.com
Received: (EGP: mail-7_3_2); 2 Sep 2001 02:03:50 -0000
Received: (qmail 96319 invoked from network); 2 Sep 2001 02:03:49 -0000
Received: from unknown (10.1.10.142)
  by m8.onelist.org with QMQP; 2 Sep 2001 02:03:49 -0000
Received: from unknown (HELO larch.cc.uic.edu) (128.248.155.164)
  by mta3 with SMTP; 2 Sep 2001 02:03:49 -0000
Received: (qmail 17926 invoked from network); 2 Sep 2001 01:43:46 -0000
Received: from webmail.cc.uic.edu (HELO webmail.uic.edu) (128.248.121.50)
  by larch.cc.uic.edu with SMTP; 2 Sep 2001 01:43:46 -0000
X-WebMail-UserID: sbelknap@uic.edu
Date: Sat, 1 Sep 2001 21:06:26 -0500
Sender: sbelknap <sbelknap@uic.edu>
To: samuelriv@yahoo.com
Cc: lojban@yahoogroups.com
X-EXP32-SerialNo: 50000146
Subject: RE: [lojban] Symbolic Logic and Lojban
Message-ID: <3B964FCF@webmail.uic.edu>
Mime-Version: 1.0
Content-Type: text/plain; charset="US-ASCII"
Content-Transfer-Encoding: 7bit
X-Mailer: InterChange (Hydra) SMTP v3.61.01
From: sbelknap <sbelknap@UIC.EDU>

Your post prompted my inquiry as to whether the lojban community was familiar 
with cyc. Thanks for an interesting post