The top documents tagged [probabilistic entailment]