The top documents tagged [is declared with the]