(LABEL EVAL (LAMBDA E A) (COND ((ATOM E) (COND ((EQ E NIL) NIL) ((EQ E T) T) (T (CDR ((LABEL ASSOC ...