  Considering a particular case of a problem posed by Saharon Shelah, we prove
that the automorphism group of an infinitely generated free nilpotent group N
first-order interprets the full second-order theory of the set rank(N) in the
empty language.
