Do POSIX awk
spec :
An awk program is composed of pairs of the form:
pattern { action }
Either the pattern or the action (including the enclosing brace characters) can be omitted. ... [A] missing action shall be equivalent to:
{ print }
No seu caso, !a[$2]
é o padrão e a ação está ausente.