The top documents tagged [x2 s thenx1]