Object property agent context

has registered title

https://opda.org.uk/pdtf/hasRegisteredTitleTurtle ↓

Relates a Proprietorship to the RegisteredTitle it is registered against — the HMLR title-register record naming the title arm of the holding, distinct from the Proprietor arm carried by opda:mediates.

Proprietorship → RegisteredTitle join: the HMLR title-register record the Proprietorship Relator is registered against (ODR-0006 §Q3 — the Relator mediates Property + Proprietor instances against a RegisteredTitle). Single-domain edge with no never-reasoned commitment, so rdfs:domain opda:Proprietorship + rdfs:range opda:RegisteredTitle are both asserted (Council session-047 Q5 carrier ruling). The Proprietor arm is opda:mediates; the property arm reaches opda:Property via opda:RegisteredTitle opda:identifiesSameProperty.