Základom je schéma zobrazenie pre ľubovolnú úroveň.
(defun num2S (sv) (cond ((NUMBERP sv) 'NUM) ((ATOM sv) sv) (T (cons (num2S (first sv)) (num2S (rest sv)))) ) ) ; Príklad: (num2S '(X 1 (2 X (Z 3)))) ; -> (X NUM (NUM X (Z NUM)))