It is used for the inauguration of the Irish president.
There are no inaugurations for Irish presidents.
mnli hypothesis: There are no inaugurations for Irish presidents. premise: It is used for the inauguration of the Irish president.