# Synthetic named-record source-evidence example; no provider capture or production collision claim.
# Synthetic permitted shared-model counterexamples; no captured client or production collision standing.
@prefix aent: <https://ontology.inferal.com/modules/advertising-entity/> .
@prefix abg: <https://ontology.inferal.com/modules/advertising-budget/> .
@prefix ctx: <https://ontology.inferal.com/modules/commerce-transaction/> .
@prefix adm: <https://ontology.inferal.com/modules/advertising-measurement/> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix rng: <https://ontology.inferal.com/modules/range/> .
@prefix time: <http://www.w3.org/2006/time#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
@prefix ex: <https://example.org/identity-safety/> .
ex:channel a adm:Channel .
ex:daily a abg:BudgetPeriod .
ex:standard a abg:DeliveryMethod .
ex:scope a abg:BudgetScope ; abg:coversEntity ex:entity .
ex:amountA a adm:MonetaryAmount ; adm:amountValue "10.00"^^xsd:decimal ; adm:currencyCode "USD" .
ex:amountB a adm:MonetaryAmount ; adm:amountValue "20.00"^^xsd:decimal ; adm:currencyCode "USD" .
ex:amountParent a adm:MonetaryAmount ; adm:amountValue "50.00"^^xsd:decimal ; adm:currencyCode "USD" .
ex:instant a time:Instant ; time:inXSDDateTime "2026-10-01T12:00:00Z"^^xsd:dateTime .
ex:buyer a ctx:Buyer ; ctx:buyerStatus ctx:returningBuyer .
ex:shop-a-order-17 a ctx:Order ; ctx:orderIdentifier "17" ; ctx:placedBy ex:buyer ; ctx:placedAt ex:instant ; ctx:paymentState ctx:paid ; ctx:fulfillmentState ctx:unfulfilled ; ctx:orderLifecycle ctx:placedOrder ; ctx:orderTotal ex:amountA ; prov:wasDerivedFrom ex:shop-a-native-order .
ex:shop-b-order-17 a ctx:Order ; ctx:orderIdentifier "17" ; ctx:placedBy ex:buyer ; ctx:placedAt ex:instant ; ctx:paymentState ctx:paid ; ctx:fulfillmentState ctx:unfulfilled ; ctx:orderLifecycle ctx:placedOrder ; ctx:orderTotal ex:amountB ; prov:wasDerivedFrom ex:shop-b-native-order .
ex:shop-a-order-17 prov:wasDerivedFrom ex:merchant-orders-second-origin .
ex:control-scope a abg:BudgetScope ; abg:coversEntity ex:control-entity .
ex:non-target-record a prov:Entity ; prov:wasDerivedFrom ex:non-target-origin .
ex:order-control a ctx:Order ; ctx:orderIdentifier "18" ; ctx:placedBy ex:buyer ; ctx:placedAt ex:instant ; ctx:paymentState ctx:paid ; ctx:fulfillmentState ctx:unfulfilled ; ctx:orderLifecycle ctx:placedOrder ; ctx:orderTotal ex:amountParent ; prov:wasDerivedFrom ex:order-control-source .

@prefix aent: <https://ontology.inferal.com/modules/advertising-entity/> .
@prefix abg: <https://ontology.inferal.com/modules/advertising-budget/> .
@prefix ctx: <https://ontology.inferal.com/modules/commerce-transaction/> .
@prefix adm: <https://ontology.inferal.com/modules/advertising-measurement/> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix rng: <https://ontology.inferal.com/modules/range/> .
@prefix time: <http://www.w3.org/2006/time#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
@prefix ex: <https://example.org/identity-safety/> .
ex:channel a adm:Channel .
ex:daily a abg:BudgetPeriod .
ex:standard a abg:DeliveryMethod .
ex:scope a abg:BudgetScope ; abg:coversEntity ex:entity .
ex:amountA a adm:MonetaryAmount ; adm:amountValue "10.00"^^xsd:decimal ; adm:currencyCode "USD" .
ex:amountB a adm:MonetaryAmount ; adm:amountValue "20.00"^^xsd:decimal ; adm:currencyCode "USD" .
ex:amountParent a adm:MonetaryAmount ; adm:amountValue "50.00"^^xsd:decimal ; adm:currencyCode "USD" .
ex:instant a time:Instant ; time:inXSDDateTime "2026-10-01T12:00:00Z"^^xsd:dateTime .
ex:buyer a ctx:Buyer ; ctx:buyerStatus ctx:returningBuyer .
ex:parent-order a ctx:Order ; ctx:orderIdentifier "17" ; ctx:placedBy ex:buyer ; ctx:placedAt ex:instant ; ctx:paymentState ctx:paid ; ctx:fulfillmentState ctx:unfulfilled ; ctx:orderLifecycle ctx:placedOrder ; ctx:orderTotal ex:amountParent .
ex:refund-101 a ctx:Refund ; ctx:refundOf ex:parent-order ; ctx:refundedAt ex:instant ; ctx:refundedAmount ex:amountA ; prov:wasDerivedFrom ex:native-refund-101 .
ex:refund-102 a ctx:Refund ; ctx:refundOf ex:parent-order ; ctx:refundedAt ex:instant ; ctx:refundedAmount ex:amountB ; prov:wasDerivedFrom ex:native-refund-102 .
ex:refund-101 prov:wasDerivedFrom ex:separate-refunds-second-origin .
ex:control-scope a abg:BudgetScope ; abg:coversEntity ex:control-entity .
ex:non-target-record a prov:Entity ; prov:wasDerivedFrom ex:non-target-origin .
ex:control-order a ctx:Order ; ctx:orderIdentifier "18" ; ctx:placedBy ex:buyer ; ctx:placedAt ex:instant ; ctx:paymentState ctx:paid ; ctx:fulfillmentState ctx:unfulfilled ; ctx:orderLifecycle ctx:placedOrder ; ctx:orderTotal ex:amountParent .
ex:refund-control a ctx:Refund ; ctx:refundOf ex:control-order ; ctx:refundedAt ex:instant ; ctx:refundedAmount ex:amountParent ; prov:wasDerivedFrom ex:refund-control-source .