:P171_at_some_place_within leaf node

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

:P171_at_some_place_within a rdf:Property ;
    rdfs:label "at some place within"@en,
        "quelque part dans"@fr,
        "в нeкотором мeстe внутри"@ru ;
    rdfs:comment """Quantification: many to many (0,n:0,n)

Scope note:
This property describes the maximum spatial extent within which an instance of E53 Place falls. Since instances of E53 Places may not have precisely known spatial extents, the CIDOC CRM supports statements about maximum spatial extents of instances of E53 Place. This property allows an instance of E53 Place’s maximum spatial extent (i.e., its outer boundary) to be assigned an instance of E94 Space Primitive value. 
This property is a shortcut of the fully developed path from E53 Place, P89 falls within, E53 Place, P168 place is defined by to E94 Space Primitive through a declarative Place that is not explicitly documented, to a Space Primitive: declarative places are defined in CRMgeo (Doerr and Hiebel 2013).

Examples:
- The spatial extent of the Acropolis of Athens (E53) at some place within POLYGON ((37.969172 23.720787, 37.973122 23.721495 37.972741 23.728994, 37.969299 23.729735, 37.969172 23.720787)) (E94).

In First Order Logic:
- P171(x,y) ⇒ E53(x)
- P171(x,y) ⇒ E94(y)
- P171(x,y) ⇔ (∃z) [E53(z) ˄ P89(x,z) ˄ P168(z,y)]
"""@en ;
    rdfs:domain :E53_Place ;
    rdfs:range rdfs:Literal .