:P146_separated_from leaf node

@prefix : <http://www.cidoc-crm.org/cidoc-crm/> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

:P146_separated_from a rdf:Property ;
    rdfs:label "entließ von"@de,
        "separated from"@en,
        "a dissocié de"@fr,
        "потeрял"@ru,
        "脱离"@zh ;
    rdfs:comment """Quantification: many to many, necessary (1,n:0,n)

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

In First Order Logic:
- P146(x,y) ⇒ E86(x)
- P146(x,y) ⇒ E74(y) 
- P146(x,y) ⇒ P11(x,y)
"""@en ;
    rdfs:domain :E86_Leaving ;
    rdfs:range :E74_Group ;
    rdfs:subPropertyOf :P11_had_participant ;
    owl:inverseOf :P146i_lost_member_by .