Subclass of:

• aaao:ZE13 Speech Act
• crm:E86 Leaving

Scope note:

Instances of this class comprise official leaving events undertaken following formal procedures within a social grouping leading to formal change in the membership status of an actor relative to a group for the participating parties. The substance of declarative leaving is an intentional, social act. 

Instances of ZE23 Declarative Leaving come about when the specific social procedure required is intentionally and successfully enacted according to the prevalent rules. They end with the successful termination of the act or because of its premature termination.

A successful act of ZE23 Declarative Leaving leads to the termination of an instance of ZE11 Membership Status, the institutional fact that thereafter no longer mediates the social relation between the group and actor in question.

Examples:

• The declarative leaving of the Commonwealth of Nations (E74) by the Republic of Ireland (E74) on 18 April 1949 through the ratification of the Republic of Ireland Act (https://en.wikipedia.org/wiki/The_Republic_of_Ireland_Act_1948)
• The declarative leaving of the Polity of the United States of America (E74) by Li Lianjie (aka Jet Li) (E21) in 2009 through the relenquishment of citizenship. (https://nomadcapitalist.com/global-citizen/freedom/top-5-famous-people-renounce-us-citizenship/)

In First Order Logic:

• ZE23(x) ⇒ ZE13(x)
• ZE23(x) ⇒ E86(x)