mutual_entailment