cadar

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

purpose:
to select the second item of the first list of a list