CDDADR
cdr
of the
cdadr
Major Section:
ACL2-BUILT-INS
See any Common Lisp documentation for details.
