CDAADR

cdr of the caadr
Major Section:  ACL2-BUILT-INS

See any Common Lisp documentation for details.