The top documents tagged [a0 a1x1 a2x2 a3x3]