Return-Path: <john.harrison-request@uk.ac.cam.cl>
Delivery-Date: 
Received: from ted.cs.uidaho.edu (no rfc931) by swan.cl.cam.ac.uk 
          with SMTP (PP-6.4) outside ac.uk; Mon, 22 Feb 1993 22:01:01 +0000
Received: by ted.cs.uidaho.edu (16.6/1.34) id AA12247;
          Mon, 22 Feb 93 13:47:53 -0800
Sender: info-hol-request@edu.uidaho.cs.ted
Errors-To: info-hol-request@edu.uidaho.cs.ted
Precedence: bulk
Received: from leopard.cs.uidaho.edu by ted.cs.uidaho.edu (16.6/1.34) 
          id AA12242; Mon, 22 Feb 93 13:47:49 -0800
Received: by leopard.cs.uidaho.edu (16.7/1.34) id AA27064;
          Mon, 22 Feb 93 13:56:38 -0800
From: coe@edu.uidaho.cs.leopard (Mike Coe)
Message-Id: <9302222156.AA27064@leopard.cs.uidaho.edu>
Subject: set library
To: info-hol@edu.uidaho.cs.ted
Date: Mon, 22 Feb 93 13:56:38 PST
Mailer: Elm [revision: 66.33]



If I have the following on my assumption list


"~(Op4p( s(t + 1))
   IN {32,34,56,57,54,48,51,50,53,52,49,55})


how can I infer that 

~(Op4p (s(t+1)) IN {32})





this seems obvious.



mike  coe
coe@leopard.cs.uidaho.edu