Redirecting to fn.compare_predicate_entailment.html...