Given a premise, retrieve a hypothesis that is entailed by the premise.But such heady progress would soon come to a halt.
Rapid developments soon ground to a halt.
Progress began to accelerate and the final goals became nearer.