crm:P142_used_constituent 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:P142_used_constituent a owl:ObjectProperty ;
    rdfs:label "P142 used constituent"@en ;
    rdfs:comment """Scope note:
This property associates the event of assigning an instance of E42 Identifier with the instances of E90 Symbolic Object that were used as constituents of the identifier. 

Examples:
- On June 1, 2001 assigning the personal name identifier “Guillaume, de Machaut, ca. 1300-1377” (E15) used constituent “ca. 1300-1377” (E49) 
- Assigning a uniform title to the anonymous textual work known as ‘The Adoration of the Shepherds’(E15) used constituent ‘Coventry’ (E48) 
- Assigning a uniform title to Pina Bausch’s choreographic work entitled ‘Rite of spring’ (E15) used constituent ‘(Choreographic Work: Bausch)’(E90) 
- Assigning a uniform title to the motion picture directed in 1933 by Merian C. Cooper and Ernest B. Schoedsack and entitled ‘King Kong’ (E15) used constituent ‘1933’ (E50) 
- Assigning the corporate name identifier ‘Univerza v Ljubljani. Oddelek za bibliotekarstvo’ to The Department for library science of the University of Ljubljana (E15) used constituent ‘Univerza v Ljubljani’ (E42)

In First Order Logic:
P142(x,y) ⊃ E15(x)
P142(x,y) ⊃ E90(y)
P142(x,y) ⊃ P16(x,y)"""@en ;
    rdfs:domain crm:E15_Identifier_Assignment ;
    rdfs:range crm:E90_Symbolic_Object ;
    rdfs:subPropertyOf crm:P16_used_specific_object ;
    owl:equivalentProperty ecrm:P142_used_constituent ;
    owl:inverseOf crm:P142i_was_used_in ;
    skos:notation "P142"^^xsd:string .