IEDR requires a "real and substantive connection to Ireland" although I'd guess Microsoft could get any domain they want. I'm no fan of the IEDR but it's a shame to Microsoft polluting the domain space.
UK = Great Britain + Northern Ireland
Great Britain = England + Scotland + Wales
So technically if they're registered in the UK they're a part of Ireland I suppose.