:P145_separated 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#> .

:P145_separated a rdf:Property ;
    rdfs:label "entließ"@de,
        "separated"@en,
        "a dissocié"@fr,
        "отдeлил"@ru,
        "离开"@zh ;
    rdfs:comment """Quantification: many to many, necessary (1,n:0,n)

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 (E86) separated Sir Isaac Newton (E21). (Iliffe, 2013)
- George Washington’s leaving office in 1797 (E86) separated George Washington (E21). (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 Greenland (E74).

In First Order Logic:
- P145(x,y) ⇒ E86(x)
- P145(x,y) ⇒ E39(y) 
- P145(x,y) ⇒ P11(x,y)
"""@en ;
    rdfs:domain :E86_Leaving ;
    rdfs:range :E39_Actor ;
    rdfs:subPropertyOf :P11_had_participant ;
    owl:inverseOf :P145i_left_by .