crm:P82_at_some_time_within leaf node

@prefix crm: <http://www.cidoc-crm.org/cidoc-crm/> .
@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:P82_at_some_time_within a owl:DatatypeProperty ;
    rdfs:label "P82 at some time within"@en ;
    rdfs:comment """Scope note:
This property describes the maximum period of time within which an E52 Time-Span falls.

Since Time-Spans may not have precisely known temporal extents, the CRM supports statements about the minimum and maximum temporal extents of Time-Spans. This property allows a Time-Span’s maximum temporal extent (i.e. its outer boundary) to be assigned an E61 Time Primitive value. Time Primitives are treated by the CRM as application or system specific date intervals, and are not further analysed.

Examples:
- the time-span of the development of the CIDOC CRM (E52) at some time within 1992-infinity (E61)

In First Order Logic:
P82 (x,y) ⊃ E52(x)
P82 (x,y) ⊃ E61(y)"""@en ;
    rdfs:domain crm:E52_Time-Span ;
    skos:notation "P82"^^xsd:string .