combinatorial_entailment