Premise:  Dave stopped as the door closed behind him.
Hypothesis: Dave halted as the door shut behind him.
Label: entailment