The top documents tagged [assumed major premise]