結果 : what is entailment in semantics with examples