The top documents tagged [w satisfiesevery s]