@prefix re: <https://ontology.inferal.com/modules/commerce-refund-evidence/> .
@prefix ctx: <https://ontology.inferal.com/modules/commerce-transaction/> .
@prefix rng: <https://ontology.inferal.com/modules/range/> .
@prefix time: <http://www.w3.org/2006/time#> .
@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 sh: <http://www.w3.org/ns/shacl#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
@prefix dcterms: <http://purl.org/dc/terms/> .
@prefix mod: <https://w3id.org/mod#> .
@prefix vann: <http://purl.org/vocab/vann/> .
@prefix pubacc: <https://ontology.inferal.com/modules/publication-access/> .
re: a owl:Ontology, pubacc:PublicationManagedOntology ; dcterms:accessRights pubacc:PublicAccess ; rdfs:label "Commerce Refund Evidence"@en ;
 dcterms:title "Commerce Refund Evidence Ontology" ; dcterms:description "Declared selected-order refund share with independent identity, revision, history, unit and completeness diagnostics." ;
 dcterms:license <https://creativecommons.org/licenses/by/4.0/> ; mod:status "draft" ;
 vann:preferredNamespacePrefix "re" ; vann:preferredNamespaceUri "https://ontology.inferal.com/modules/commerce-refund-evidence/" ;
 owl:imports ctx:, rng:, <https://ontology.inferal.com/modules/advertising-measurement/> ;
 rdfs:comment "Declared selected-order refund share with separately qualified identities, revisions, histories, currencies and exact arithmetic; no merchant ledger completeness or historical reconstruction."@en ; owl:versionInfo "0.1.0" .
re:Cohort a rdfs:Class ; rdfs:label "Cohort"@en ; rdfs:comment "An explicitly selected set of represented purchase records under one supplied merchant scope, placement window and refund cutoff."@en .
re:EligibilityPolicy a rdfs:Class ; rdfs:label "EligibilityPolicy"@en ; rdfs:comment "Supplied state admission, supported currency, identity namespace and signed or pre-purchase interpretation declarations."@en .
re:OrderBinding a rdfs:Class ; rdfs:label "OrderBinding"@en ; rdfs:comment "A supplied scoped native order key and revision evidence attached to a represented source order handle."@en .
re:SelectedOrderBinding a rdfs:Class ; rdfs:label "SelectedOrderBinding"@en ; rdfs:comment "A selected order representation whose declared native key must agree with the unique asserted order identifier."@en .
re:UnselectedOrderBinding a rdfs:Class ; rdfs:label "UnselectedOrderBinding"@en ; rdfs:comment "An unselected order representation with explicit comparison to a selected binding; it does not rewrite refund ownership."@en .
re:RefundBinding a rdfs:Class ; rdfs:label "RefundBinding"@en ; rdfs:comment "A supplied scoped refund event key and revision evidence; a source RDF handle alone does not establish event identity."@en .
re:SelectedRefundBinding a rdfs:Class ; rdfs:label "SelectedRefundBinding"@en ; rdfs:comment "A supplied selected event representation, retained as a candidate even when its source record is absent."@en .
re:UnselectedRefundBinding a rdfs:Class ; rdfs:label "UnselectedRefundBinding"@en ; rdfs:comment "A supplied unselected event representation; only independently equivalent repeated observations can be excluded."@en .
re:HistoryDeclaration a rdfs:Class ; rdfs:label "HistoryDeclaration"@en ; rdfs:comment "Caller evidence for complete, partial or unknown refund history of one selected order at the declared cutoff."@en .
re:Assessment a rdfs:Class ; rdfs:label "Assessment"@en ; rdfs:comment "A source-qualified interpretation of retained asserted evidence under an explicit cohort and policy."@en .
re:OrderAssessment a rdfs:Class ; rdfs:label "OrderAssessment"@en ; rdfs:comment "Independent order eligibility, identity, charge, history and numerator standings for a selected source handle."@en .
re:RefundAssessment a rdfs:Class ; rdfs:label "RefundAssessment"@en ; rdfs:comment "Independent event eligibility, declared identity, amount and raw owner evidence without inferred source repairs."@en .
re:CohortAssessment a rdfs:Class ; rdfs:label "CohortAssessment"@en ; rdfs:comment "A currency-qualified cohort diagnostic, including a zero aggregate denominator."@en .
re:ExecutionContext a rdfs:Class ; rdfs:label "ExecutionContext"@en ; rdfs:comment "Private generation metadata identifying separate captured source, supplied selection and derived graph roles."@en .
re:TermBinding a rdfs:Class ; rdfs:label "TermBinding"@en ; rdfs:comment "A graph-qualified transport identifier for an actual source RDF term, preserving anonymous term identity."@en .
re:Standing a rdfs:Class ; rdfs:label "Standing"@en ; rdfs:comment "A declared or assessed interpretation state; it does not attest an external merchant ledger."@en .
re:DiagnosticReason a rdfs:Class ; rdfs:label "DiagnosticReason"@en ; rdfs:comment "A specific retained reason for unknown, excluded or undefined interpretation."@en .
re:SelectedOrderBinding rdfs:subClassOf re:OrderBinding .
re:UnselectedOrderBinding rdfs:subClassOf re:OrderBinding .
re:SelectedRefundBinding rdfs:subClassOf re:RefundBinding .
re:UnselectedRefundBinding rdfs:subClassOf re:RefundBinding .
re:OrderAssessment rdfs:subClassOf re:Assessment .
re:RefundAssessment rdfs:subClassOf re:Assessment .
re:CohortAssessment rdfs:subClassOf re:Assessment .
re:merchantScope a rdf:Property ; rdfs:label "merchantScope"@en ; rdfs:comment "Supplied merchant scope shared by cohort and identity bindings; it does not classify a binding as a cohort or attest canonical merchant identity."@en ; rdfs:domain rdfs:Resource ; rdfs:range rdfs:Resource .
re:selectionEvidence a rdf:Property ; rdfs:label "selectionEvidence"@en ; rdfs:comment "Supplied selection evidence for the selected records; no independent coverage attestation."@en ; rdfs:domain re:Cohort ; rdfs:range rdfs:Resource .
re:orderSelectionCoverageEvidence a rdf:Property ; rdfs:label "orderSelectionCoverageEvidence"@en ; rdfs:comment "Supplied selection evidence for the selected records; no independent coverage attestation."@en ; rdfs:domain re:Cohort ; rdfs:range rdfs:Resource .
re:policy a rdf:Property ; rdfs:label "policy"@en ; rdfs:comment "The explicit supplied interpretation policy, retained with every derived assessment."@en ; rdfs:domain rdfs:Resource ; rdfs:range re:EligibilityPolicy .
re:selectedOrder a rdf:Property ; rdfs:label "selectedOrder"@en ; rdfs:comment "A selected source handle; absence and raw assertion defects remain visible."@en ; rdfs:domain re:Cohort ; rdfs:range rdfs:Resource .
re:placementWindow a rdf:Property ; rdfs:label "placementWindow"@en ; rdfs:comment "Explicit represented placement interval, with declared boundary inclusivity."@en ; rdfs:domain re:Cohort ; rdfs:range rng:Range .
re:cutoff a rdf:Property ; rdfs:label "cutoff"@en ; rdfs:comment "The supplied refund event cutoff; a history statement must qualify the same instant and inclusivity."@en ; rdfs:domain rdfs:Resource ; rdfs:range time:Instant .
re:cutoffInclusive a rdf:Property ; rdfs:label "cutoffInclusive"@en ; rdfs:comment "An explicit boundary or interpretation declaration; no default is inferred."@en ; rdfs:domain rdfs:Resource ; rdfs:range xsd:boolean .
re:allowSigned a rdf:Property ; rdfs:label "allowSigned"@en ; rdfs:comment "An explicit boundary or interpretation declaration; no default is inferred."@en ; rdfs:domain rdfs:Resource ; rdfs:range xsd:boolean .
re:allowPrePurchase a rdf:Property ; rdfs:label "allowPrePurchase"@en ; rdfs:comment "An explicit boundary or interpretation declaration; no default is inferred."@en ; rdfs:domain rdfs:Resource ; rdfs:range xsd:boolean .
re:orderSelectionCompleteness a rdf:Property ; rdfs:label "orderSelectionCompleteness"@en ; rdfs:comment "One independent standing whose interpretation is defined by the qualified source contract."@en ; rdfs:domain rdfs:Resource ; rdfs:range re:Standing .
re:revisionStanding a rdf:Property ; rdfs:label "revisionStanding"@en ; rdfs:comment "One independent standing whose interpretation is defined by the qualified source contract."@en ; rdfs:domain rdfs:Resource ; rdfs:range re:Standing .
re:denominatorBasis a rdf:Property ; rdfs:label "denominatorBasis"@en ; rdfs:comment "One independent standing whose interpretation is defined by the qualified source contract."@en ; rdfs:domain rdfs:Resource ; rdfs:range re:Standing .
re:identityStanding a rdf:Property ; rdfs:label "identityStanding"@en ; rdfs:comment "One independent standing whose interpretation is defined by the qualified source contract."@en ; rdfs:domain rdfs:Resource ; rdfs:range re:Standing .
re:revisionInterpretation a rdf:Property ; rdfs:label "revisionInterpretation"@en ; rdfs:comment "One independent standing whose interpretation is defined by the qualified source contract."@en ; rdfs:domain rdfs:Resource ; rdfs:range re:Standing .
re:historyStanding a rdf:Property ; rdfs:label "historyStanding"@en ; rdfs:comment "One independent standing whose interpretation is defined by the qualified source contract."@en ; rdfs:domain rdfs:Resource ; rdfs:range re:Standing .
re:orderEligibility a rdf:Property ; rdfs:label "orderEligibility"@en ; rdfs:comment "One independent standing whose interpretation is defined by the qualified source contract."@en ; rdfs:domain rdfs:Resource ; rdfs:range re:Standing .
re:refundEligibility a rdf:Property ; rdfs:label "refundEligibility"@en ; rdfs:comment "One independent standing whose interpretation is defined by the qualified source contract."@en ; rdfs:domain rdfs:Resource ; rdfs:range re:Standing .
re:chargeStanding a rdf:Property ; rdfs:label "chargeStanding"@en ; rdfs:comment "One independent standing whose interpretation is defined by the qualified source contract."@en ; rdfs:domain rdfs:Resource ; rdfs:range re:Standing .
re:moneyStanding a rdf:Property ; rdfs:label "moneyStanding"@en ; rdfs:comment "One independent standing whose interpretation is defined by the qualified source contract."@en ; rdfs:domain rdfs:Resource ; rdfs:range re:Standing .
re:numeratorStanding a rdf:Property ; rdfs:label "numeratorStanding"@en ; rdfs:comment "One independent standing whose interpretation is defined by the qualified source contract."@en ; rdfs:domain rdfs:Resource ; rdfs:range re:Standing .
re:policyVersion a rdf:Property ; rdfs:label "policyVersion"@en ; rdfs:comment "A nonempty supplied policy version retained as interpretation evidence."@en ; rdfs:domain re:EligibilityPolicy ; rdfs:range xsd:string .
re:policyEvidence a rdf:Property ; rdfs:label "policyEvidence"@en ; rdfs:comment "Caller supplied evidence for this policy choice; conformance does not independently verify it."@en ; rdfs:domain re:EligibilityPolicy ; rdfs:range rdfs:Resource .
re:currencySupportEvidence a rdf:Property ; rdfs:label "currencySupportEvidence"@en ; rdfs:comment "Caller supplied evidence for this policy choice; conformance does not independently verify it."@en ; rdfs:domain re:EligibilityPolicy ; rdfs:range rdfs:Resource .
re:signedValueEvidence a rdf:Property ; rdfs:label "signedValueEvidence"@en ; rdfs:comment "Caller supplied evidence for this policy choice; conformance does not independently verify it."@en ; rdfs:domain re:EligibilityPolicy ; rdfs:range rdfs:Resource .
re:prePurchaseEvidence a rdf:Property ; rdfs:label "prePurchaseEvidence"@en ; rdfs:comment "Caller supplied evidence for this policy choice; conformance does not independently verify it."@en ; rdfs:domain re:EligibilityPolicy ; rdfs:range rdfs:Resource .
re:recognisedPayment a rdf:Property ; rdfs:label "recognisedPayment"@en ; rdfs:comment "A recognised or admitted current represented payment state; no purchase-time state is reconstructed."@en ; rdfs:domain re:EligibilityPolicy ; rdfs:range ctx:PaymentState .
re:admittedPayment a rdf:Property ; rdfs:label "admittedPayment"@en ; rdfs:comment "A recognised or admitted current represented payment state; no purchase-time state is reconstructed."@en ; rdfs:domain re:EligibilityPolicy ; rdfs:range ctx:PaymentState .
re:recognisedLifecycle a rdf:Property ; rdfs:label "recognisedLifecycle"@en ; rdfs:comment "A recognised or admitted current represented lifecycle state."@en ; rdfs:domain re:EligibilityPolicy ; rdfs:range ctx:OrderLifecycleState .
re:admittedLifecycle a rdf:Property ; rdfs:label "admittedLifecycle"@en ; rdfs:comment "A recognised or admitted current represented lifecycle state."@en ; rdfs:domain re:EligibilityPolicy ; rdfs:range ctx:OrderLifecycleState .
re:supportedCurrency a rdf:Property ; rdfs:label "supportedCurrency"@en ; rdfs:comment "An exact supported three-letter currency token; spelling does not verify ISO membership or perform conversion."@en ; rdfs:domain rdfs:Resource ; rdfs:range xsd:string .
re:currency a rdf:Property ; rdfs:label "currency"@en ; rdfs:comment "An exact supported three-letter currency token; spelling does not verify ISO membership or perform conversion."@en ; rdfs:domain rdfs:Resource ; rdfs:range xsd:string .
re:orderNamespace a rdf:Property ; rdfs:label "orderNamespace"@en ; rdfs:comment "The caller-declared native identifier namespace within the supplied merchant scope."@en ; rdfs:domain re:EligibilityPolicy ; rdfs:range rdfs:Resource .
re:refundNamespace a rdf:Property ; rdfs:label "refundNamespace"@en ; rdfs:comment "The caller-declared native identifier namespace within the supplied merchant scope."@en ; rdfs:domain re:EligibilityPolicy ; rdfs:range rdfs:Resource .
re:sourceOrder a rdf:Property ; rdfs:label "sourceOrder"@en ; rdfs:comment "The represented source order or refund handle named by a supplied identity or history declaration."@en ; rdfs:domain rdfs:Resource ; rdfs:range rdfs:Resource .
re:sourceRefund a rdf:Property ; rdfs:label "sourceRefund"@en ; rdfs:comment "The represented source order or refund handle named by a supplied identity or history declaration."@en ; rdfs:domain rdfs:Resource ; rdfs:range rdfs:Resource .
re:nativeKey a rdf:Property ; rdfs:label "nativeKey"@en ; rdfs:comment "A nonempty caller-declared native record key, scoped by merchant and native namespace."@en ; rdfs:domain rdfs:Resource ; rdfs:range xsd:string .
re:nativeNamespace a rdf:Property ; rdfs:label "nativeNamespace"@en ; rdfs:comment "Native scope, supplied identity or revision evidence, or the explicitly compared selected binding."@en ; rdfs:domain rdfs:Resource ; rdfs:range rdfs:Resource .
re:identityEvidence a rdf:Property ; rdfs:label "identityEvidence"@en ; rdfs:comment "Native scope, supplied identity or revision evidence, or the explicitly compared selected binding."@en ; rdfs:domain rdfs:Resource ; rdfs:range rdfs:Resource .
re:revisionEvidence a rdf:Property ; rdfs:label "revisionEvidence"@en ; rdfs:comment "Native scope, supplied identity or revision evidence, or the explicitly compared selected binding."@en ; rdfs:domain rdfs:Resource ; rdfs:range rdfs:Resource .
re:repeatsBinding a rdf:Property ; rdfs:label "repeatsBinding"@en ; rdfs:comment "Native scope, supplied identity or revision evidence, or the explicitly compared selected binding."@en ; rdfs:domain rdfs:Resource ; rdfs:range rdfs:Resource .
re:historyEvidence a rdf:Property ; rdfs:label "historyEvidence"@en ; rdfs:comment "Caller evidence for refund history at the explicit cutoff, independent from order selection coverage."@en ; rdfs:domain re:HistoryDeclaration ; rdfs:range rdfs:Resource .
re:cohort a rdf:Property ; rdfs:label "cohort"@en ; rdfs:comment "The explicit selected-record cohort under which this assessment or execution is interpreted."@en ; rdfs:domain rdfs:Resource ; rdfs:range re:Cohort .
re:sourceRecord a rdf:Property ; rdfs:label "sourceRecord"@en ; rdfs:comment "An actual retained source handle or raw owner; anonymous handles are not flattened into strings."@en ; rdfs:domain rdfs:Resource ; rdfs:range rdfs:Resource .
re:sourceOwner a rdf:Property ; rdfs:label "sourceOwner"@en ; rdfs:comment "An actual retained source handle or raw owner; anonymous handles are not flattened into strings."@en ; rdfs:domain rdfs:Resource ; rdfs:range rdfs:Resource .
re:term a rdf:Property ; rdfs:label "term"@en ; rdfs:comment "An actual retained source handle or raw owner; anonymous handles are not flattened into strings."@en ; rdfs:domain rdfs:Resource ; rdfs:range rdfs:Resource .
re:sourceGraph a rdf:Property ; rdfs:label "sourceGraph"@en ; rdfs:comment "One explicit graph role; readers must use it rather than a default union."@en ; rdfs:domain rdfs:Resource ; rdfs:range rdfs:Resource .
re:selectionGraph a rdf:Property ; rdfs:label "selectionGraph"@en ; rdfs:comment "One explicit graph role; readers must use it rather than a default union."@en ; rdfs:domain rdfs:Resource ; rdfs:range rdfs:Resource .
re:dictionaryGraph a rdf:Property ; rdfs:label "dictionaryGraph"@en ; rdfs:comment "One explicit graph role; readers must use it rather than a default union."@en ; rdfs:domain rdfs:Resource ; rdfs:range rdfs:Resource .
re:assessmentGraph a rdf:Property ; rdfs:label "assessmentGraph"@en ; rdfs:comment "One explicit graph role; readers must use it rather than a default union."@en ; rdfs:domain rdfs:Resource ; rdfs:range rdfs:Resource .
re:sourceDigest a rdf:Property ; rdfs:label "sourceDigest"@en ; rdfs:comment "Generic retained integrity or execution descriptor; a digest is not source truth attestation."@en ; rdfs:domain re:ExecutionContext ; rdfs:range xsd:string .
re:selectionDigest a rdf:Property ; rdfs:label "selectionDigest"@en ; rdfs:comment "Generic retained integrity or execution descriptor; a digest is not source truth attestation."@en ; rdfs:domain re:ExecutionContext ; rdfs:range xsd:string .
re:packageDigest a rdf:Property ; rdfs:label "packageDigest"@en ; rdfs:comment "Generic retained integrity or execution descriptor; a digest is not source truth attestation."@en ; rdfs:domain re:ExecutionContext ; rdfs:range xsd:string .
re:inputRecipeDigest a rdf:Property ; rdfs:label "inputRecipeDigest"@en ; rdfs:comment "Generic retained integrity or execution descriptor; a digest is not source truth attestation."@en ; rdfs:domain re:ExecutionContext ; rdfs:range xsd:string .
re:sourceDescriptorPath a rdf:Property ; rdfs:label "sourceDescriptorPath"@en ; rdfs:comment "Generic retained integrity or execution descriptor; a digest is not source truth attestation."@en ; rdfs:domain re:ExecutionContext ; rdfs:range xsd:string .
re:selectionDescriptorPath a rdf:Property ; rdfs:label "selectionDescriptorPath"@en ; rdfs:comment "Generic retained integrity or execution descriptor; a digest is not source truth attestation."@en ; rdfs:domain re:ExecutionContext ; rdfs:range xsd:string .
re:engine a rdf:Property ; rdfs:label "engine"@en ; rdfs:comment "Generic retained integrity or execution descriptor; a digest is not source truth attestation."@en ; rdfs:domain re:ExecutionContext ; rdfs:range xsd:string .
re:foundOrder a rdf:Property ; rdfs:label "foundOrder"@en ; rdfs:comment "Whether the selected handle has any asserted source subject triples, independently from successful qualification."@en ; rdfs:domain re:OrderAssessment ; rdfs:range xsd:boolean .
re:qualifiedCharge a rdf:Property ; rdfs:label "qualifiedCharge"@en ; rdfs:comment "A finite, lexically valid, uniquely asserted comparable source amount; the order charge is the full buyer charge."@en ; rdfs:domain re:Assessment ; rdfs:range xsd:decimal .
re:qualifiedRefund a rdf:Property ; rdfs:label "qualifiedRefund"@en ; rdfs:comment "A finite, lexically valid, uniquely asserted comparable source amount; the order charge is the full buyer charge."@en ; rdfs:domain re:Assessment ; rdfs:range xsd:decimal .
re:reason a rdf:Property ; rdfs:label "reason"@en ; rdfs:comment "A specific diagnostic preserving unresolved or excluded source interpretation."@en ; rdfs:domain re:Assessment ; rdfs:range re:DiagnosticReason .
re:placedInstant a rdf:Property ; rdfs:label "placedInstant"@en ; rdfs:comment "A supported timezone-bearing source instant used solely for the represented window and cutoff interpretation."@en ; rdfs:domain re:Assessment ; rdfs:range xsd:dateTime .
re:refundInstant a rdf:Property ; rdfs:label "refundInstant"@en ; rdfs:comment "A supported timezone-bearing source instant used solely for the represented window and cutoff interpretation."@en ; rdfs:domain re:Assessment ; rdfs:range xsd:dateTime .
re:ownerCount a rdf:Property ; rdfs:label "ownerCount"@en ; rdfs:comment "An asserted distinct owner cardinality before OWL reasoning, retained independently from amount qualification."@en ; rdfs:domain re:RefundAssessment ; rdfs:range xsd:integer .
re:selectedOwnerCount a rdf:Property ; rdfs:label "selectedOwnerCount"@en ; rdfs:comment "An asserted distinct owner cardinality before OWL reasoning, retained independently from amount qualification."@en ; rdfs:domain re:RefundAssessment ; rdfs:range xsd:integer .
re:Eligible a re:Standing ; rdfs:label "Eligible"@en ; rdfs:comment "Known relevant and admitted under the supplied selected-record policy."@en .
re:Excluded a re:Standing ; rdfs:label "Excluded"@en ; rdfs:comment "Known excluded under an explicit policy or independently qualified repeated observation."@en .
re:Unassessed a re:Standing ; rdfs:label "Unassessed"@en ; rdfs:comment "Unknown, conflicting, missing or unsupported; absence does not supply a default value."@en .
re:OutsideCohort a re:Standing ; rdfs:label "OutsideCohort"@en ; rdfs:comment "Independently qualified outside the explicit selected set, without uncertain owner reconciliation."@en .
re:Comparable a re:Standing ; rdfs:label "Comparable"@en ; rdfs:comment "A uniquely asserted valid finite amount and supported exact currency, qualified against its owner charge."@en .
re:DeclaredComplete a re:Standing ; rdfs:label "DeclaredComplete"@en ; rdfs:comment "Caller-declared completeness at the qualified scope and cutoff, not independent ledger attestation."@en .
re:DeclaredPartial a re:Standing ; rdfs:label "DeclaredPartial"@en ; rdfs:comment "Caller-declared partial coverage; no absent event is silently assigned zero."@en .
re:DeclaredSelected a re:Standing ; rdfs:label "DeclaredSelected"@en ; rdfs:comment "A qualified caller identity declaration for a selected source representation."@en .
re:DeclaredUnselected a re:Standing ; rdfs:label "DeclaredUnselected"@en ; rdfs:comment "An independently qualified equivalent repeated observation excluded from selected arithmetic."@en .
re:SelectedRepresentation a re:Standing ; rdfs:label "SelectedRepresentation"@en ; rdfs:comment "Uses supplied selected represented values and states; does not reconstruct historical revisions."@en .
re:SuppliedDeclaration a re:Standing ; rdfs:label "SuppliedDeclaration"@en ; rdfs:comment "Native identity and scope come from supplied evidence rather than canonical merchant extraction."@en .
re:RepeatedObservation a re:Standing ; rdfs:label "RepeatedObservation"@en ; rdfs:comment "A supplied replay interpretation that requires independently equal owner, amount, currency and instant."@en .
re:FullBuyerCharge a re:Standing ; rdfs:label "FullBuyerCharge"@en ; rdfs:comment "Denominator sums full represented order charges, including eligible orders with no observed refund."@en .
re:KnownSelectedRecords a re:Standing ; rdfs:label "KnownSelectedRecords"@en ; rdfs:comment "Known qualified record subtotals, independent from complete numerator or denominator standing."@en .
re:DeclaredSelectedSetRatio a re:Standing ; rdfs:label "DeclaredSelectedSetRatio"@en ; rdfs:comment "Exact numerator and denominator qualified for the supplied selected set only."@en .
re:NonnegativeReturnedShare a re:Standing ; rdfs:label "NonnegativeReturnedShare"@en ; rdfs:comment "Nonnegative return over positive full buyer charge, with explicit over-refund diagnostics."@en .
re:SignedAlgebra a re:Standing ; rdfs:label "SignedAlgebra"@en ; rdfs:comment "Explicitly admitted signed arithmetic; a signed quotient is not an economic returned share."@en .
re:afterCutoff a re:DiagnosticReason ; rdfs:label "after cutoff"@en ; rdfs:comment "Retains the after cutoff condition under the supplied selected-record contract; it does not repair asserted evidence or attest an external ledger."@en .
re:chargeAmountCardinality a re:DiagnosticReason ; rdfs:label "charge amount cardinality"@en ; rdfs:comment "Retains the charge amount cardinality condition under the supplied selected-record contract; it does not repair asserted evidence or attest an external ledger."@en .
re:chargeCurrencyCardinality a re:DiagnosticReason ; rdfs:label "charge currency cardinality"@en ; rdfs:comment "Retains the charge currency cardinality condition under the supplied selected-record contract; it does not repair asserted evidence or attest an external ledger."@en .
re:chargeCurrencyUnsupported a re:DiagnosticReason ; rdfs:label "charge currency unsupported"@en ; rdfs:comment "Retains the charge currency unsupported condition under the supplied selected-record contract; it does not repair asserted evidence or attest an external ledger."@en .
re:chargeResourceInvalid a re:DiagnosticReason ; rdfs:label "charge resource invalid"@en ; rdfs:comment "Retains the charge resource invalid condition under the supplied selected-record contract; it does not repair asserted evidence or attest an external ledger."@en .
re:chargeSignedUnqualified a re:DiagnosticReason ; rdfs:label "charge signed unqualified"@en ; rdfs:comment "Retains the charge signed unqualified condition under the supplied selected-record contract; it does not repair asserted evidence or attest an external ledger."@en .
re:chargeValueCardinality a re:DiagnosticReason ; rdfs:label "charge value cardinality"@en ; rdfs:comment "Retains the charge value cardinality condition under the supplied selected-record contract; it does not repair asserted evidence or attest an external ledger."@en .
re:chargeValueInvalid a re:DiagnosticReason ; rdfs:label "charge value invalid"@en ; rdfs:comment "Retains the charge value invalid condition under the supplied selected-record contract; it does not repair asserted evidence or attest an external ledger."@en .
re:currencyMismatch a re:DiagnosticReason ; rdfs:label "currency mismatch"@en ; rdfs:comment "Retains the currency mismatch condition under the supplied selected-record contract; it does not repair asserted evidence or attest an external ledger."@en .
re:historyCutoffMismatch a re:DiagnosticReason ; rdfs:label "history cutoff mismatch"@en ; rdfs:comment "Retains the history cutoff mismatch condition under the supplied selected-record contract; it does not repair asserted evidence or attest an external ledger."@en .
re:historyIncomplete a re:DiagnosticReason ; rdfs:label "history incomplete"@en ; rdfs:comment "Retains the history incomplete condition under the supplied selected-record contract; it does not repair asserted evidence or attest an external ledger."@en .
re:historyInvalid a re:DiagnosticReason ; rdfs:label "history invalid"@en ; rdfs:comment "Retains the history invalid condition under the supplied selected-record contract; it does not repair asserted evidence or attest an external ledger."@en .
re:historyMissing a re:DiagnosticReason ; rdfs:label "history missing"@en ; rdfs:comment "Retains the history missing condition under the supplied selected-record contract; it does not repair asserted evidence or attest an external ledger."@en .
re:lifecycleCardinality a re:DiagnosticReason ; rdfs:label "lifecycle cardinality"@en ; rdfs:comment "Retains the lifecycle cardinality condition under the supplied selected-record contract; it does not repair asserted evidence or attest an external ledger."@en .
re:lifecyclePolicyRejected a re:DiagnosticReason ; rdfs:label "lifecycle policy rejected"@en ; rdfs:comment "Retains the lifecycle policy rejected condition under the supplied selected-record contract; it does not repair asserted evidence or attest an external ledger."@en .
re:lifecycleUnsupported a re:DiagnosticReason ; rdfs:label "lifecycle unsupported"@en ; rdfs:comment "Retains the lifecycle unsupported condition under the supplied selected-record contract; it does not repair asserted evidence or attest an external ledger."@en .
re:orderIdentityInvalid a re:DiagnosticReason ; rdfs:label "order identity invalid"@en ; rdfs:comment "Retains the order identity invalid condition under the supplied selected-record contract; it does not repair asserted evidence or attest an external ledger."@en .
re:orderIdentityMissing a re:DiagnosticReason ; rdfs:label "order identity missing"@en ; rdfs:comment "Retains the order identity missing condition under the supplied selected-record contract; it does not repair asserted evidence or attest an external ledger."@en .
re:orderKeyCollision a re:DiagnosticReason ; rdfs:label "order key collision"@en ; rdfs:comment "Retains the order key collision condition under the supplied selected-record contract; it does not repair asserted evidence or attest an external ledger."@en .
re:orderRevisionConflict a re:DiagnosticReason ; rdfs:label "order revision conflict"@en ; rdfs:comment "Retains the order revision conflict condition under the supplied selected-record contract; it does not repair asserted evidence or attest an external ledger."@en .
re:orderRevisionSelfExclusion a re:DiagnosticReason ; rdfs:label "order revision self exclusion"@en ; rdfs:comment "Retains the order revision self exclusion condition under the supplied selected-record contract; it does not repair asserted evidence or attest an external ledger."@en .
re:orderRoleConflict a re:DiagnosticReason ; rdfs:label "order role conflict"@en ; rdfs:comment "Retains the order role conflict condition under the supplied selected-record contract; it does not repair asserted evidence or attest an external ledger."@en .
re:orderRoleUnqualified a re:DiagnosticReason ; rdfs:label "order role unqualified"@en ; rdfs:comment "Retains the order role unqualified condition under the supplied selected-record contract; it does not repair asserted evidence or attest an external ledger."@en .
re:orderSourceMissing a re:DiagnosticReason ; rdfs:label "order source missing"@en ; rdfs:comment "Retains the order source missing condition under the supplied selected-record contract; it does not repair asserted evidence or attest an external ledger."@en .
re:outsideSelectedSet a re:DiagnosticReason ; rdfs:label "outside selected set"@en ; rdfs:comment "Retains the outside selected set condition under the supplied selected-record contract; it does not repair asserted evidence or attest an external ledger."@en .
re:outsideWindow a re:DiagnosticReason ; rdfs:label "outside window"@en ; rdfs:comment "Retains the outside window condition under the supplied selected-record contract; it does not repair asserted evidence or attest an external ledger."@en .
re:overRefund a re:DiagnosticReason ; rdfs:label "over refund"@en ; rdfs:comment "Retains the over refund condition under the supplied selected-record contract; it does not repair asserted evidence or attest an external ledger."@en .
re:ownerChargeUnassessed a re:DiagnosticReason ; rdfs:label "owner charge unassessed"@en ; rdfs:comment "Retains the owner charge unassessed condition under the supplied selected-record contract; it does not repair asserted evidence or attest an external ledger."@en .
re:ownerExcluded a re:DiagnosticReason ; rdfs:label "owner excluded"@en ; rdfs:comment "Retains the owner excluded condition under the supplied selected-record contract; it does not repair asserted evidence or attest an external ledger."@en .
re:ownerRevisionReconciliationUnsupported a re:DiagnosticReason ; rdfs:label "owner revision reconciliation unsupported"@en ; rdfs:comment "Retains the owner revision reconciliation unsupported condition under the supplied selected-record contract; it does not repair asserted evidence or attest an external ledger."@en .
re:ownerUnassessed a re:DiagnosticReason ; rdfs:label "owner unassessed"@en ; rdfs:comment "Retains the owner unassessed condition under the supplied selected-record contract; it does not repair asserted evidence or attest an external ledger."@en .
re:paymentCardinality a re:DiagnosticReason ; rdfs:label "payment cardinality"@en ; rdfs:comment "Retains the payment cardinality condition under the supplied selected-record contract; it does not repair asserted evidence or attest an external ledger."@en .
re:paymentPolicyRejected a re:DiagnosticReason ; rdfs:label "payment policy rejected"@en ; rdfs:comment "Retains the payment policy rejected condition under the supplied selected-record contract; it does not repair asserted evidence or attest an external ledger."@en .
re:paymentUnsupported a re:DiagnosticReason ; rdfs:label "payment unsupported"@en ; rdfs:comment "Retains the payment unsupported condition under the supplied selected-record contract; it does not repair asserted evidence or attest an external ledger."@en .
re:placementCardinality a re:DiagnosticReason ; rdfs:label "placement cardinality"@en ; rdfs:comment "Retains the placement cardinality condition under the supplied selected-record contract; it does not repair asserted evidence or attest an external ledger."@en .
re:placementInvalid a re:DiagnosticReason ; rdfs:label "placement invalid"@en ; rdfs:comment "Retains the placement invalid condition under the supplied selected-record contract; it does not repair asserted evidence or attest an external ledger."@en .
re:placementResourceInvalid a re:DiagnosticReason ; rdfs:label "placement resource invalid"@en ; rdfs:comment "Retains the placement resource invalid condition under the supplied selected-record contract; it does not repair asserted evidence or attest an external ledger."@en .
re:placementValueCardinality a re:DiagnosticReason ; rdfs:label "placement value cardinality"@en ; rdfs:comment "Retains the placement value cardinality condition under the supplied selected-record contract; it does not repair asserted evidence or attest an external ledger."@en .
re:prePurchasePolicyRejected a re:DiagnosticReason ; rdfs:label "pre purchase policy rejected"@en ; rdfs:comment "Retains the pre purchase policy rejected condition under the supplied selected-record contract; it does not repair asserted evidence or attest an external ledger."@en .
re:refundAmountCardinality a re:DiagnosticReason ; rdfs:label "refund amount cardinality"@en ; rdfs:comment "Retains the refund amount cardinality condition under the supplied selected-record contract; it does not repair asserted evidence or attest an external ledger."@en .
re:refundAmountMissing a re:DiagnosticReason ; rdfs:label "refund amount missing"@en ; rdfs:comment "Retains the refund amount missing condition under the supplied selected-record contract; it does not repair asserted evidence or attest an external ledger."@en .
re:refundCurrencyCardinality a re:DiagnosticReason ; rdfs:label "refund currency cardinality"@en ; rdfs:comment "Retains the refund currency cardinality condition under the supplied selected-record contract; it does not repair asserted evidence or attest an external ledger."@en .
re:refundCurrencyUnsupported a re:DiagnosticReason ; rdfs:label "refund currency unsupported"@en ; rdfs:comment "Retains the refund currency unsupported condition under the supplied selected-record contract; it does not repair asserted evidence or attest an external ledger."@en .
re:refundIdentityInvalid a re:DiagnosticReason ; rdfs:label "refund identity invalid"@en ; rdfs:comment "Retains the refund identity invalid condition under the supplied selected-record contract; it does not repair asserted evidence or attest an external ledger."@en .
re:refundIdentityMissing a re:DiagnosticReason ; rdfs:label "refund identity missing"@en ; rdfs:comment "Retains the refund identity missing condition under the supplied selected-record contract; it does not repair asserted evidence or attest an external ledger."@en .
re:refundKeyCollision a re:DiagnosticReason ; rdfs:label "refund key collision"@en ; rdfs:comment "Retains the refund key collision condition under the supplied selected-record contract; it does not repair asserted evidence or attest an external ledger."@en .
re:refundOwnerCardinality a re:DiagnosticReason ; rdfs:label "refund owner cardinality"@en ; rdfs:comment "Retains the refund owner cardinality condition under the supplied selected-record contract; it does not repair asserted evidence or attest an external ledger."@en .
re:refundResourceInvalid a re:DiagnosticReason ; rdfs:label "refund resource invalid"@en ; rdfs:comment "Retains the refund resource invalid condition under the supplied selected-record contract; it does not repair asserted evidence or attest an external ledger."@en .
re:refundRoleConflict a re:DiagnosticReason ; rdfs:label "refund role conflict"@en ; rdfs:comment "Retains the refund role conflict condition under the supplied selected-record contract; it does not repair asserted evidence or attest an external ledger."@en .
re:refundRoleUnqualified a re:DiagnosticReason ; rdfs:label "refund role unqualified"@en ; rdfs:comment "Retains the refund role unqualified condition under the supplied selected-record contract; it does not repair asserted evidence or attest an external ledger."@en .
re:refundSignedUnqualified a re:DiagnosticReason ; rdfs:label "refund signed unqualified"@en ; rdfs:comment "Retains the refund signed unqualified condition under the supplied selected-record contract; it does not repair asserted evidence or attest an external ledger."@en .
re:refundSourceMissing a re:DiagnosticReason ; rdfs:label "refund source missing"@en ; rdfs:comment "Retains the refund source missing condition under the supplied selected-record contract; it does not repair asserted evidence or attest an external ledger."@en .
re:refundTimeCardinality a re:DiagnosticReason ; rdfs:label "refund time cardinality"@en ; rdfs:comment "Retains the refund time cardinality condition under the supplied selected-record contract; it does not repair asserted evidence or attest an external ledger."@en .
re:refundTimeInvalid a re:DiagnosticReason ; rdfs:label "refund time invalid"@en ; rdfs:comment "Retains the refund time invalid condition under the supplied selected-record contract; it does not repair asserted evidence or attest an external ledger."@en .
re:refundTimeResourceInvalid a re:DiagnosticReason ; rdfs:label "refund time resource invalid"@en ; rdfs:comment "Retains the refund time resource invalid condition under the supplied selected-record contract; it does not repair asserted evidence or attest an external ledger."@en .
re:refundTimeValueCardinality a re:DiagnosticReason ; rdfs:label "refund time value cardinality"@en ; rdfs:comment "Retains the refund time value cardinality condition under the supplied selected-record contract; it does not repair asserted evidence or attest an external ledger."@en .
re:refundValueCardinality a re:DiagnosticReason ; rdfs:label "refund value cardinality"@en ; rdfs:comment "Retains the refund value cardinality condition under the supplied selected-record contract; it does not repair asserted evidence or attest an external ledger."@en .
re:refundValueInvalid a re:DiagnosticReason ; rdfs:label "refund value invalid"@en ; rdfs:comment "Retains the refund value invalid condition under the supplied selected-record contract; it does not repair asserted evidence or attest an external ledger."@en .
re:relevantRefundUnassessed a re:DiagnosticReason ; rdfs:label "relevant refund unassessed"@en ; rdfs:comment "Retains the relevant refund unassessed condition under the supplied selected-record contract; it does not repair asserted evidence or attest an external ledger."@en .
re:repeatedObservation a re:DiagnosticReason ; rdfs:label "repeated observation"@en ; rdfs:comment "Retains the repeated observation condition under the supplied selected-record contract; it does not repair asserted evidence or attest an external ledger."@en .
re:revisionConflict a re:DiagnosticReason ; rdfs:label "revision conflict"@en ; rdfs:comment "Retains the revision conflict condition under the supplied selected-record contract; it does not repair asserted evidence or attest an external ledger."@en .
re:revisionRoleConflict a re:DiagnosticReason ; rdfs:label "revision role conflict"@en ; rdfs:comment "Retains the revision role conflict condition under the supplied selected-record contract; it does not repair asserted evidence or attest an external ledger."@en .
re:revisionSelfExclusion a re:DiagnosticReason ; rdfs:label "revision self exclusion"@en ; rdfs:comment "Retains the revision self exclusion condition under the supplied selected-record contract; it does not repair asserted evidence or attest an external ledger."@en .
re:zeroDenominator a re:DiagnosticReason ; rdfs:label "zero denominator"@en ; rdfs:comment "Retains the zero denominator condition under the supplied selected-record contract; it does not repair asserted evidence or attest an external ledger."@en .