Ako základ možno použiť schému predikát (some).
(defun some (prv1 prv2 sv)
(cond ((OR (equal prv1 sv) (equal prv2 sv)) T)
((ATOM sv) NIL)
(T (OR (some prv1 prv2 (first sv)) (some prv1 prv2 (rest sv))))
)
)
; Príklady:
(some 'a 'b '((1 2)((a)))) ; -> T
(some 'a 'b '(1 2)) ; -> NIL