Are the following two sentences entailment or not?