The top documents tagged [statements canreduce]