Документацию по квантовой механике мы потеряли. Regexp'ы вам придется расшифровывать самим.
CAR — функция в Lisp для извлечения головы списка (его первого элемента).