It is used for the inauguration of the Irish president.
The Irish president must undergo an inauguration where something is used.
mnli hypothesis: The Irish president must undergo an inauguration where something is used. premise: It is used for the inauguration of the Irish president.