combinatorial entailment formula