Рекурсия: проверить, что все левые скобки в s-выражении, представляющем список х, являются крайними левыми

(defun F (L)
 (if (null L) T
  (and
   (if (atom (car L)) T
    (F (car L)))
   (null (member nil (mapcar 'atom (cdr L)))))))

(defun |parens left| (w)
  (if w
      (and (or (atom (car w)) (|parens left| (car w)))
               (every #'atom (cdr w)))
      t))
 
> (|parens left| '((((3 4) 5) 6 7) 1))
T
> (|parens left| '((((3 4) 5) (6 7) 1)))
NIL

(defun parens-left (w)
  (cond ((null w) t)
        ((every #'atom (cdr w)) (or (atom (car w)) (parens-left (car w))))
        (t nil)))
 
> (parens-left '((((3 4) 5) 6 7) 1))
T
> (parens-left '(((3 4) 5) (6 7) 1))
NIL

(defun chk-lp (lst)
  (cond ((and (listp (car lst)) (atomlist (cdr lst))) (chk-lp (car lst)))
        ((atomlist lst) t)
        (t nil)))
 
==> chk-lp
 
(chk-lp '((((3 4) 5) 6 7) 1))
 
==> T
 
(chk-lp '((((3 4) 5) (6 7) 1)))
 
==> NIL

(defun chk-lp (lst)
  (cond ((listp (car lst))
         (cond ((atomlist (cdr lst)) (chk-lp (car lst)))))
        ((atomlist lst) t)
        (t nil)))

(defun parens-left (w)
  (when w (and (or (atom (car w)) (parens-left (car w)))
               (every #'atom (cdr w)))))
 
> (parens-left '((((3 4) 5) 6 7) 1))
T
> (parens-left '(((3 4) 5) (6 7) 1))
NIL
если бы не пустой список:
> (parens-left '())
NIL

(defun atoms (w)
  (every #'atom w))
 
(defun parens-left (w)
  (cond ((null w) t)
        ((atoms (cdr w)) (or (atom (car w)) (parens-left (car w))))
        (t nil)))
 
> (parens-left '((((3 4) 5) 6 7) 1))
T
> (parens-left '(((3 4) 5) (6 7) 1))
NIL

(defun atoms (w)
  (cond ((null w) t)
        ((atom (car w)) (atoms (cdr w)))
        (t niL)))
 
(defun parens-left (w)
  (cond ((null w) t)
        ((atoms (cdr w)) (or (atom (car w)) (parens-left (car w))))
        (t nil)))
 
> (parens-left '((((3 4) 5) 6 7) 1))
T
> (parens-left '(((3 4) 5) (6 7) 1))
NIL