Ну не знаю. Посмотрел в Википедию, увидел такие примеры и S-выражения показались мне куда более легко читаемыми (как для человека, так и для машины):

M:  label[square;λ[[x];product[x;x]]]
S:  (defun square (x) (* x x))

M: lessthan[x;0] → negative[x]; T → x]    
S: (cond ((< x 0) (- x)) (t x))