The top documents tagged [antecedentmajor premise]