The top documents tagged [b c x setq y1]