Concept tier transaction

Transaction

https://opda.org.uk/pdtf/Transaction

Property-transaction Relator. UFO Relator (relational endurant). FIBO Arrangement precedent. Founds opda:Seller and opda:Buyer RoleMixins (ODR-0006 §Q2). IC: 5-tuple (LegalEstate-concerned, Sellers-set, Buyers-set, transaction-id-lineage, founding-event). Hard cases per S007 Q1: party-substitution; estate-change; transaction-id reissuance; chain-link-break; aborted-transaction. Carries transactionId via dct:identifier and external-system refs via opda:externalIds.

Classification

UFO: Relator (Guizzardi 2005 Ch. 4 §4.4). FIBO: Arrangement precedent (FIBO-FND Arrangements module).

Attributes

Attribute	Type	Cardinality	Required	Identity-bearing	Description
`authorisationToShare`	`xsd:boolean`	0..*	N	N	Sale-ready declaration: authorisation to share the property pack. xsd:boolean. Flat per §Q6a.
`authorisedToActOnBehalfOfAllSellers`	`xsd:boolean`	0..*	N	N	Sale-ready declaration: is the declarant authorised to act on behalf of all sellers? xsd:boolean. Flat per §Q6a.
`confirmInformationIsAccurate`	`xsd:boolean`	0..*	N	N	Declaration confirming the supplied information is accurate (owners' confirmation-of-accuracy + fixtures confirmation). xsd:boolean. ONE shared property; flat per §Q6a.
`confirmWillProvideAdditionalDocumentation`	`xsd:boolean`	0..*	N	N	Declaration confirming the owner will provide additional documentation. xsd:boolean. Flat per §Q6a.
`confirmation`	`xsd:boolean`	0..*	N	N	Confirmation flag on a leasehold / managed-freehold confirmation-of-accuracy declaration. xsd:boolean. Flat per §Q6a.
`consumerProtectionRegulationsResponse`	`xsd:boolean`	0..*	N	N	Declaration response to the Consumer Protection Regulations question. xsd:boolean. Flat per §Q6a.
`leaveKeys`	`xsd:boolean`	0..*	N	N	Completion undertaking: will the seller leave the keys? xsd:boolean. Flat per §Q6a. A sale-Transaction completion attribute (ODR-0007).
`numberOfNonUkResidentSellers`	`xsd:integer`	0..*	N	N	Count of selling parties who are non-UK-resident (relevant to SDLT / withholding). Plain integer datatype per ODR-0008 §Q5a; flat per §Q6a. Domain retargeted from opda:Proprietorship to opda:Transaction (2026-07-05, RML gap-closing session) — same sales-context-vs-legal-ownership reasoning as opda:numberOfSellers, above.
`numberOfSellers`	`xsd:integer`	0..*	N	N	Count of the selling parties in the transaction. Plain integer datatype per ODR-0008 §Q5a; flat per §Q6a. Domain retargeted from opda:Proprietorship to opda:Transaction (2026-07-05, RML gap-closing session) — the field's own schema description ('may differ from the number of legal owners, for example if the property is being sold by executors of a deceased owner') makes this a sales-context count, distinct from the Proprietorship Relator's legal-ownership mediation; opda:Transaction already founds the Seller role-group.
`removeRubbish`	`xsd:boolean`	0..*	N	N	Completion undertaking: will the seller remove rubbish? xsd:boolean. Flat per §Q6a.
`replaceLightFittings`	`xsd:boolean`	0..*	N	N	Completion undertaking: will the seller replace removed light fittings? xsd:boolean. Flat per §Q6a.
`response`	`xsd:boolean`	0..*	N	N	Response flag on a managed-freehold / commonhold confirmation. xsd:boolean (a confirmation response; the data dictionary leaves the type unset — it is a yes/no confirmation by structure). Flat per §Q6a.
`sellingAgent`	`xsd:string`	0..*	N	N	Name of the selling agent on an onward-purchase link in the transaction chain. Plain string datatype per ODR-0008 §Q5a; flat per §Q6a.
`signedOn`	`xsd:date`	0..*	N	N	Date a contract / sale-ready declaration was signed. xsd:date. ONE shared property reused across contract and seller signatures; flat per §Q6a.
`takeReasonableCare`	`xsd:boolean`	0..*	N	N	Completion undertaking: will the seller take reasonable care of the Property until completion? xsd:boolean. Flat per §Q6a.
`transactionId`	`xsd:string`	0..*	N	N	External transaction identifier (the PDTF transaction id; also carried on onward-purchase chain links). Plain string datatype per ODR-0008 §Q5a; flat per §Q6a. Complements the opda:Transaction IC's transaction-id-lineage (ODR-0007 §Q1) — the notation surface for the identifier.

Relationships

Predicate	Target	Cardinality	Inverse	Description
`concerns`	`LegalEstate`	0..*	—	Transaction → legal-interest join: the legal interest the transaction conveys — the opda:LegalEstate and/or the opda:RegisteredTitle that records it (founded participation; Guizzardi 2005 §4.3.2). 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"). rdfs:domain opda:Transaction (single, universally true) + documentary "any-of" rdfs:range opda:LegalEstate , opda:RegisteredTitle (read DISJUNCTIVELY per the module-header convention, NEVER entailed — ADR-0035). The authoritative co-domain disjunction is SHACL sh:or (opda:ConcernsRangeShape), NOT owl:unionOf. Distinct from opda:concernsProperty (→ the physical opda:Property).
`concernsProperty`	`Property`	0..*	—	Transaction → Property join: the physical Property the transaction is about (ODR-0007; Council session-047 GATED). Single-domain edge with no never-reasoned commitment, so rdfs:domain opda:Transaction + rdfs:range opda:Property are both asserted (Council Q5 carrier ruling). The Transaction-level property join; the conveyed opda:LegalEstate is reached via opda:Property and opda:RegisteredTitle opda:recordsEstate.
`costsApplicableToTheDeed`	`MonetaryAmount`	0..*	—	Costs applicable to a deed of covenant required on transfer. Bearer opda:Transaction (a completion/transfer cost, not a standing estate charge). → opda:MonetaryAmount (ODR-0024 R3); flat per §Q6a.
`dependsOnTransaction`	`Transaction`	0..*	—	Recursive Transaction → Transaction join (S007 Q4 recursive side, the other half of opda:TransactionChain's stated dual-mechanism, alongside opda:chainMembers). Relates a transaction to another transaction in the same chain whose completion it is directly contingent on — the PDTF chain.onwardPurchase/chain.buyersSale shape (each instance stating only its own immediate chain neighbour(s), not the full chain membership).
`feeIncludingVAT`	`MonetaryAmount`	0..*	—	Fee (including VAT) charged by a party for serving a notice of transfer / assignment / charge during conveyancing. Bearer opda:Transaction (a transfer-process fee). → opda:MonetaryAmount (ODR-0024 R3); ONE shared property across the notice-fee blocks; flat per §Q6a.
`hasChainPosition`	`TransactionChain`	0..*	—	Join from a Transaction to its TransactionChain (S007 Q4 Aggregate side). Mirror of opda:chainMembers (Chain → Transactions). Both directions emitted so consumers can query from either end without inverse-property inference dependency.
`hasParticipant`	`Buyer`	0..*	—	Transaction → Seller/Buyer join: the parties to the transaction (ODR-0007; Council session-047 GATED). rdfs:domain opda:Transaction is asserted plain (universally true). The Seller/Buyer co-domain is documentary "any-of" rdfs:range opda:Seller , opda:Buyer (two triples read DISJUNCTIVELY per the module-header convention, NOT the RDFS §3.2 conjunction; schema.org domainIncludes idiom). Authored as AI-signal, NEVER entailed (zero domain/range triples materialise, ADR-0035 — so the range does NOT entail every participant is a Seller). The authoritative disjunction stays in SHACL sh:or (opda:HasParticipantRangeShape), NOT owl:unionOf. The navigable parties-of-transaction edge; distinct from the opda:founds Relator → Role founding spine (design-time, never reasoned).
`inclusionStatus`	`Concept`	0..*	—	Whether a fixtures-and-fittings item is Included in, Excluded from, or absent (None) from a sale. A UFO Mode/Relator of the sale TRANSACTION (ODR-0007), confirmed by session-027 R4 — NOT a Quality of opda:Property (the same item is included in one sale and absent from the next, so inclusion has no rigid bearer in the brick-and-mortar). Bound on a transaction-scoped fixtures-list node (NEVER rdfs:domain opda:Property), ranging over the opda:InclusionStatusScheme value-space (Included / Excluded / None). The full sale-transaction Relator identity criterion is owned by ODR-0007.

Constraints

FixturesListShape sh:Info

Fixtures-item comment reuses opda:disclosureDetail (A-grade; ODR-0022 §4) — never a per-item comment property.

FixturesListShape sh:Violation

Fixtures-item opda:inclusionStatus MUST be one of the opda:InclusionStatusScheme values (Excluded / Included / None) — a sale-transaction Mode, never a Quality of opda:Property (ODR-0022 §4 / session-027 R4).

FixturesListShape sh:Info

Fixtures-item opda:price is the shared monetary-amount property (one property reused across all items; ODR-0022 §4 — never one price property per item).

TransactionIdentityKeyShape sh:Violation

Transaction identity-key surface: occurredAtTime MUST be a single xsd:dateTime value when present. The full Transaction-as-Relator IC per ODR-0007 §Q1 is the (mediated-bearers, founding-event) tuple; this shape covers the founding-event timestamp.

Sources

harness/odr/ODR-0007/section-Q1