--- On Sun, 6/26/11, Doug Snead <semaphore_2...@yahoo.com> wrote:
> (be isAtom (@A) (not (equal @A (Neg @W))) 
>      (or (equal @A (And @W1 @W2)))
>         (or (equal @A (If @W1 @W2)))
>          (or (equal @A
> (Is @W1 @W2)))
>     (or (equal @A (Or @W1 @W2)))
>     (or (equal @A (some @X @W)))
>     (or (equal @A (all @X @W))))

I mean:

(be isAtom (@A) (not (or (equal @A (Neg @W)) 
                      (equal @A (And @W1 @W2))
                      (equal @A (If @W1 @W2))
                      (equal @A (Is @W1 @W2))
                      (equal @A (Or @W1 @W2))
                      (equal @A (some @X @W))
                      (equal @A (all @X @W)))))

:-)

--
UNSUBSCRIBE: mailto:picolisp@software-lab.de?subject=Unsubscribe

Reply via email to