Вначале изобразим списочную запись (W (X)) на диаграмме:

Рис.1. Диаграмма, соответствующая списочной записи

    Отсюда получается результат (W . ((X . NIL) . NIL)).