@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix skos: <http://www.w3.org/2004/02/skos/core#> .
@prefix sh: <http://www.w3.org/ns/shacl#> .
@prefix dct: <http://purl.org/dc/terms/> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .

<https://opda.org.uk/pdtf/partOfTransaction> a owl:ObjectProperty ;
    rdfs:label "part of transaction" ;
    skos:definition "Relates a transaction milestone to the property transaction it is a part of." ;
    rdfs:comment "Milestone → Transaction join: the perdurant milestone is a part of the Transaction-event (event-mereology; Guizzardi ER 2013 §4). GATED 7–0 by Council session-051 (ODR-0034 §R1) — declared to govern the predicate the diagnostic exemplars already use (ADR-0048 §As-built \"left as-is\"). Single-domain edge, no never-reasoned commitment: rdfs:domain opda:Milestone + rdfs:range opda:Transaction both asserted as documentary AI-signal, NEVER entailed (ADR-0035). PROV-O carries no part-of-activity relation (PROV-DM §5.3), so this is a bespoke partonomic predicate, not a prov: reuse." ;
    rdfs:domain <https://opda.org.uk/pdtf/Milestone> ;
    rdfs:range <https://opda.org.uk/pdtf/Transaction> ;
    dct:source <https://opda.org.uk/pdtf/harness/odr/ODR-0034/section-R1> .

# one hop — immediate neighbours
<https://opda.org.uk/pdtf/Milestone> a owl:Class .