The top documents tagged [separating split disjunctions]