cdadr

cdadr : ((cons W (cons (cons Z (listof Y)) (listof X))) -> (listof Y))

purpose:
to select the rest of the first list in the rest of a list