The top documents tagged [x0 v0xt axt2 y]