ありがとうございます。
ああやって数を数えるんですね。
お答えを基にして修正してみました。

(defun f1(l)
(cond((null l) nil)
((atom(car l))(+ 1 (length(cdr l))))
(t (f1(cdr l)))
)
)

そして実行…

> (f1 '((a b) c d (e f) g))
4

CとDとGの三つなので"3"が返ってくると思ったのですが
なぜ4なのでしょう? うーむ…。