[no subject]

[MRG at MIT-MC (Michael R. Genesereth)]

I notice that DEFMAC still has the losing 3 argument IF rather than 
the extended n argument version, i.e. (IF P Q1 R1 R2 R3 ...) goes
to (COND (P Q1)
         (T R1 R2 R3 ...)))