When Judas therefore saw that the battle was begun, and that the cry of the city went up to heaven, with trumpets, and a great sound,
When Judas saw that battle had broken out and heard the city's outcry rising to heaven with trumpets and a great clamor,
