The top documents tagged [universal quantifiersuppose]