as ... soc ... sert и asoq

as - возвращает any2 неоцененным, когда any1 оценивается как не NIL. В противном случае возвращается NIL. (as Flg A B C) эквивалентно (and Flg '(A B C)). Используется в макросах чтения для условного исключения подвыражений. Своего рода quote. (as 'an...