--- On Sun, 6/26/11, Doug Snead <[email protected]> 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:[email protected]?subject=Unsubscribe
