The top documents tagged [x1 v x2 v x3 x1 x5 x7]