crm:P89_falls_within 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:P89_falls_within a owl:ObjectProperty,
        owl:TransitiveProperty ;
    rdfs:label "P89 falls within"@en ;
    rdfs:comment """Scope note:
This property identifies an instance of E53 Place that falls wholly within the extent of another E53 Place.

It addresses spatial containment only, and does not imply any relationship between things or phenomena occupying these places.

Examples:
- the area covered by the World Heritage Site of Stonehenge (E53) falls within the area of Salisbury Plain (E53)

In First Order Logic:
P89(x,y) ⊃ E53(x)
P89(x,y) ⊃ E53(y)"""@en ;
    rdfs:domain crm:E53_Place ;
    rdfs:range crm:E53_Place ;
    owl:equivalentProperty ecrm:P89_falls_within ;
    owl:inverseOf crm:P89i_contains ;
    skos:notation "P89"^^xsd:string .