Domain:

crm:E86 Leaving

Range:

crm:E39 Actor

Quantification:

0,n:1,n

Subproperty of:

• crm:E5 Event → crm:P11 had participant (participated in) → crm:E39 Actor

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)