crm:P146_separated_from leaf node

@prefix crm: <http://www.cidoc-crm.org/cidoc-crm/> .
@prefix ecrm: <http://erlangen-crm.org/current/> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix skos: <http://www.w3.org/2004/02/skos/core#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .

crm:P146_separated_from a owl:ObjectProperty ;
    rdfs:label "P146 separated from"@en ;
    rdfs:comment """Scope note:
This property identifies the instance of E74 Group an instance of E39 Actor leaves through an instance of E86 Leaving.

Although a Leaving activity normally concerns only one instance of E74 Group, it is possible to imagine circumstances under which leaving one E74 Group implies leaving another E74 Group as well.

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 from the Convention Parliament
- George Washington's leaving office in 1797 separated from the office of President of the United States
- The implementation of the treaty regulating the termination of Greenland membership in EU between EU, Denmark and Greenland February 1. 1985 separated from EU (E40)

In First Order Logic:
P146(x,y) ⊃ E86(x)
P146(x,y) ⊃ E74(y)
P146(x,y) ⊃ P11(x,y)"""@en ;
    rdfs:domain crm:E86_Leaving ;
    rdfs:range crm:E74_Group ;
    rdfs:subPropertyOf crm:P11_had_participant ;
    owl:equivalentProperty ecrm:P146_separated_from ;
    owl:inverseOf crm:P146i_lost_member_by ;
    skos:notation "P146"^^xsd:string .