The top documents tagged [x1 x2 x1 x3 x2 v3def]