From - Fri Feb  6 10:20:16 2004
X-Mozilla-Status: 0001
X-Mozilla-Status2: 00000000
Path: acsu.buffalo.edu!pollux.cse.buffalo.edu!ddligach
From: Dmitriy Dligach <ddligach@cse.buffalo.edu>
Newsgroups: sunyab.cse.740
Subject: (deduce ...) functionality
Date: Thu, 5 Feb 2004 19:08:33 -0500
Organization: The University at Buffalo
Lines: 31
Sender: ddligach@buffalo.edu
Message-ID: <Pine.SOL.4.56.0402042245580.23219@pollux.cse.buffalo.edu>
NNTP-Posting-Host: pollux.cse.buffalo.edu
Mime-Version: 1.0
Content-Type: TEXT/PLAIN; charset=US-ASCII
X-Trace: prometheus.acsu.buffalo.edu 1076026127 20212 128.205.35.2 (6 Feb 2004 00:08:47 GMT)
X-Complaints-To: abuse@buffalo.edu
NNTP-Posting-Date: Fri, 6 Feb 2004 00:08:47 +0000 (UTC)
To: "William J. Rapaport" <rapaport@cse.buffalo.edu>
Xref: acsu.buffalo.edu sunyab.cse.740:67

(this question is based on exercise 7.3)

I'm entering the following info into SNePS:

1. Barbara is a lawyer
2. All laywers are rich

(describe (assert member Barbara class lawyer))
(describe (assert forall $l
                  ant (build member *l class lawyer)
                  cq  (build object *l property rich)))

now, I want to know whether Barbara is rich:

* (deduce member Barbara property rich)

I wonder if
((m3 (member (Barbara)) (property (rich))))
holds within the BS defined by context default-defaultct

QUESTION: Why isn't SNePS giving a definite answer to this question?
	  Shouldn't "deduce" tell us that Barbara is rich?

I noticed that if I run a query to find everybody who is rich, SNePS finds
Barbara:

* (find (member- property) rich)

(Barbara)