Return-Path: <John.Harrison-request@cl.cam.ac.uk>
Delivery-Date: 
Received: from leopard.cs.byu.edu (no rfc931) by swan.cl.cam.ac.uk 
          with SMTP (PP-6.5) outside ac.uk; Sat, 8 Jan 1994 15:09:52 +0000
Received: by leopard.cs.byu.edu (1.37.109.8/16.2) id AA26739;
          Sat, 8 Jan 1994 08:04:54 -0700
Sender: info-hol-request@leopard.cs.byu.edu
Errors-To: info-hol-request@leopard.cs.byu.edu
Precedence: bulk
Received: from dworshak.cs.uidaho.edu by leopard.cs.byu.edu 
          with SMTP (1.37.109.8/16.2) id AA26735;
          Sat, 8 Jan 1994 08:04:49 -0700
Received: from moa.pmms.cam.ac.uk by dworshak.cs.uidaho.edu 
          with SMTP (1.37.109.8/16.2) id AA05789;
          Sat, 8 Jan 1994 07:02:51 -0800
Received: by moa.pmms.cam.ac.uk (UK-Smail 3.1.25.1/1); Sat, 8 Jan 94 15:02 GMT
Message-Id: <m0pIfAv-0000dVC@moa.pmms.cam.ac.uk>
Date: Sat, 8 Jan 94 15:02 GMT
From: Thomas Forster <T.Forster@pmms.cam.ac.uk>
To: John.Harrison@cl.cam.ac.uk, info-hol@cs.uidaho.edu
Subject: Re: HOL for lawyers?

 
I don't know about lawyers, but the disjuct/conjunct ambiguity of
``and" is an old chestnut, and dually ``or". As in, for example
    ``I can take it or I can leave it alone"
   truthfully said by any alcoholic!
     
        tf