The top documents tagged [number of logic symbols]