The top documents tagged [program symbol level]