Scope note:
This property identifies the instance of E39 Actor that leaves an instance of E74 Group through an instance of E86 Leaving.
Examples:
- The end of Sir Isaac Newton's duty as Member of Parliament for the University of Cambridge to the Convention Parliament in 1702 separated Sir Isaac Newton
- George Washington's leaving office in 1797 separated George Washington
- The implementation of the treaty regulating the termination of Greenland membership in EU between EU, Denmark and Greenland February 1. 1985 (E86) separated Greenland (E40)
In First Order Logic:
P145(x,y) ⊃ E86(x)
P145(x,y) ⊃ E39(y)
P145(x,y) ⊃ P11(x,y)