The top documents tagged [o entailment o contradiction]