The top documents tagged [greedy quantifiersassume]