query: How big is Ireland's military?
passage: Irish Army
The Irish Army, known simply as the Army (Irish: an tArm), is the land component of the Defence Forces of Ireland.[7] As of May 2016, approximately 7,300 men and women serve in the Irish Army on a permanent basis and 1,600 active Reservists[1], divided into two geographically organised brigades.[8][9] As well as maintaining its primary roles of defending the State and internal security within the State, since 1958 the Army has had a continuous presence in peacekeeping missions around the world. The Army also participates in the European Union Battlegroups. The Air Corps and Naval Service support the Army in carrying out its roles.
passage: Infantry Corps (Ireland)
The Infantry Corps () is the largest component of the Irish Army. Infantry soldiers are regarded as operational troops who must be prepared for tactical deployment in any location at short notice. In wartime this means that they will be among the front line troops in the defence of the State. In peacetime however they can be seen daily performing operational duties in Aid to the Civil Power (ATCP) such as providing escorts to cash, prisoner or explosive shipments, patrols of vital state installations and border patrols, including check points.