Given a premise, retrieve a hypothesis that is entailed by the premise.Dave stopped as the door closed behind him.
Dave halted as the door shut behind him.
Dave kept walking, and ignored the door closing behind him.