Thank you for following our coveragepublished at 20:18 Greenwich Mean Time 17 November 2022
That's all from us for tonight.
There'll be lots more reaction across BBC News NI tomorrow, starting on Good Morning Ulster on BBC Radio Ulster from 06:30 GMT.
We'll have follow-ups on the BBC News NI website and on BBC Newsline and BBC Radio Ulster bulletins throughout the day.
Goodnight for now.