1) an encampment
    1a) the camp of Israel in the desert
        1a1) used for the city of Jerusalem, inasmuch as that was to
             the Israelites what formerly the encampment had been in
             the desert
        1a2) of the sacred congregation or assembly of Israel, as it
             had been gathered formerly in camps in the wilderness
    1b) the barracks of the Roman soldiers, which at Jerusalem
        were in the castle of Antonia
 2) an army in a line of battle