1 entailment: 함의