Ako základ možno použiť schému predikát (every).
(defun everynum (sv)
(cond ((NUMBERP sv) T)
((NULL sv) T)
((ATOM sv) NIL)
(T (AND (everynum (first sv)) (everynum (rest sv))))
)
)
; Príklady:
(everynum '((1 2 (3 (4))) (5 6))) ; -> T
(everynum '((1 2 (3 (x))) (5 6))) ; -> NIL