The top documents tagged [largest alternative operator]