From owner-cse663-fa06-list@LISTSERV.BUFFALO.EDU  Tue Sep  5 13:56:57 2006
Received: from ares.cse.buffalo.edu (ares.cse.Buffalo.EDU [128.205.32.79])
	by castor.cse.Buffalo.EDU (8.13.6/8.12.10) with ESMTP id k85Huuq6012203
	for <rapaport@castor.cse.buffalo.edu>; Tue, 5 Sep 2006 13:56:56 -0400 (EDT)
Received: from front3.acsu.buffalo.edu (warmfront.acsu.buffalo.edu [128.205.6.88])
	by ares.cse.buffalo.edu (8.13.6/8.13.6) with SMTP id k85HuqrQ095531
	for <rapaport@CSE.BUFFALO.EDU>; Tue, 5 Sep 2006 13:56:52 -0400 (EDT)
Received: (qmail 17355 invoked from network); 5 Sep 2006 17:56:52 -0000
Received: from mailscan1.acsu.buffalo.edu (128.205.6.133)
  by front3.acsu.buffalo.edu with SMTP; 5 Sep 2006 17:56:52 -0000
Received: (qmail 17325 invoked from network); 5 Sep 2006 17:56:52 -0000
Received: from defer.acsu.buffalo.edu (128.205.7.58)
   by front3.acsu.buffalo.edu with SMTP; 5 Sep 2006 17:56:52 -0000
Received: (qmail 16267 invoked from network); 5 Sep 2006 17:56:37 -0000
Received: from listserv.buffalo.edu (128.205.7.35)
   by defer.acsu.buffalo.edu with SMTP; 5 Sep 2006 17:56:37 -0000
Received: by LISTSERV.BUFFALO.EDU (LISTSERV-TCP/IP release 14.5) with spool id
           391133 for CSE663-FA06-LIST@LISTSERV.BUFFALO.EDU; Tue, 5 Sep 2006
           13:56:37 -0400
Delivered-To: cse663-fa06-list@listserv.buffalo.edu
Received: (qmail 27149 invoked from network); 5 Sep 2006 17:56:32 -0000
Received: from mailscan4.acsu.buffalo.edu (128.205.6.136) by
           listserv.buffalo.edu with SMTP; 5 Sep 2006 17:56:32 -0000
Received: (qmail 18248 invoked from network); 5 Sep 2006 17:56:32 -0000
Received: from castor.cse.buffalo.edu (128.205.32.14) by smtp5.acsu.buffalo.edu
           with SMTP; 5 Sep 2006 17:56:32 -0000
Received: from castor.cse.Buffalo.EDU (rapaport@localhost [127.0.0.1]) by
           castor.cse.Buffalo.EDU (8.13.6/8.12.10) with ESMTP id k85HuWcn012197
           for <cse663-fa06-list@listserv.buffalo.edu>; Tue, 5 Sep 2006 13:56:32
           -0400 (EDT)
Received: (from rapaport@localhost) by castor.cse.Buffalo.EDU
           (8.13.6/8.12.9/Submit) id k85HuVqO012196 for
           cse663-fa06-list@listserv.buffalo.edu; Tue, 5 Sep 2006 13:56:31 -0400
           (EDT)
X-UB-Relay: (castor.cse.buffalo.edu)
X-PM-EL-Spam-Prob: : 7%
Message-ID:  <200609051756.k85HuVqO012196@castor.cse.Buffalo.EDU>
Date:         Tue, 5 Sep 2006 13:56:31 -0400
Reply-To: CSE 663 - Advanced Knowledge Representation - Fall 2006
               <CSE663-FA06-LIST@LISTSERV.BUFFALO.EDU>
Sender: CSE 663 - Advanced Knowledge Representation - Fall 2006 <CSE663-FA06-LIST@LISTSERV.BUFFALO.EDU>
From: "William J. Rapaport" <rapaport@cse.Buffalo.EDU>
Subject: using SNePS
To: CSE663-FA06-LIST@LISTSERV.BUFFALO.EDU
Precedence: list
List-Help: <http://listserv.buffalo.edu/cgi-bin/wa?LIST=CSE663-FA06-LIST>,
            <mailto:LISTSERV@LISTSERV.BUFFALO.EDU?body=INFO CSE663-FA06-LIST>
List-Unsubscribe: <mailto:CSE663-FA06-LIST-unsubscribe-request@LISTSERV.BUFFALO.EDU>
List-Subscribe: <mailto:CSE663-FA06-LIST-subscribe-request@LISTSERV.BUFFALO.EDU>
List-Owner: <mailto:CSE663-FA06-LIST-request@LISTSERV.BUFFALO.EDU>
X-UB-Relay: (castor.cse.buffalo.edu)
X-DCC-Buffalo.EDU-Metrics: castor.cse.Buffalo.EDU 1336; Body=0 Fuz1=0 Fuz2=0
X-Spam-Status: No, score=-2.6 required=5.0 tests=AWL,BAYES_00 
	autolearn=unavailable version=3.1.3
X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on 
	ares.cse.buffalo.edu
X-Virus-Scanned: ClamAV 0.88.3/1806/Tue Sep  5 11:00:48 2006 on ares.cse.buffalo.edu
X-Virus-Status: Clean
Status: R
Content-Length: 210

You should all really be using SNePS 2.6.2, which is the unofficial
current version.

To use it, load /projects/shapiro/Sneps/sneps262

Note that you must be on a CSE machine to load this, not a UBUNIX machine