crm:P7_took_place_at 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:P7_took_place_at a owl:ObjectProperty ;
    rdfs:label "P7 took place at"@en ;
    rdfs:comment """Scope note:
This property describes the spatial location of an instance of E4 Period.

The related E53 Place should be seen as an approximation of the geographical area within which the phenomena that characterise the period in question occurred. P7took place at (witnessed) does not convey any meaning other than spatial positioning (generally on the surface of the earth).  For example, the period "Révolution française" can be said to have taken place in "France", the "Victorian" period, may be said to have taken place in "Britain" and its colonies, as well as other parts of Europe and north America.
A period can take place at multiple locations.
It is a shortcut of the more fully developed path from E4 Period through P161 has spatial projection, E53 Place, P89 falls within (contains) to E53 Place. Describe in words.

Examples 
- the period "Révolution française" (E4) took place at France (E53)

In First Order Logic:
P7(x,y) ⊃ E4(x)
P7(x,y) ⊃ E53(y)"""@en ;
    rdfs:domain crm:E4_Period ;
    rdfs:range crm:E53_Place ;
    owl:equivalentProperty ecrm:P7_took_place_at ;
    owl:inverseOf crm:P7i_witnessed ;
    skos:notation "P7"^^xsd:string .