# 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:budget-earlier a abg:Budget ; abg:budgetAmount ex:amountA ; abg:appliesToScope ex:scope ; abg:budgetPeriod ex:daily ; abg:budgetDeliveryMethod ex:standard ; prov:wasDerivedFrom ex:budget-source-earlier ; prov:generatedAtTime "2026-10-01T12:00:00Z"^^xsd:dateTime .
ex:budget-later a abg:Budget ; abg:budgetAmount ex:amountB ; abg:appliesToScope ex:scope ; abg:budgetPeriod ex:daily ; abg:budgetDeliveryMethod ex:standard ; prov:wasDerivedFrom ex:budget-source-later ; prov:generatedAtTime "2026-10-02T12:00:00Z"^^xsd:dateTime .
ex:budget-earlier prov:wasDerivedFrom ex:budget-history-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:budget-control a abg:Budget ; abg:budgetAmount ex:amountParent ; abg:appliesToScope ex:control-scope ; abg:budgetPeriod ex:daily ; abg:budgetDeliveryMethod ex:standard ; prov:wasDerivedFrom ex:budget-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:cap-earlier a abg:SpendCap ; abg:capAmount ex:amountA ; abg:constrainsScope ex:scope ; abg:capPeriod ex:daily ; prov:wasDerivedFrom ex:cap-source-earlier ; prov:generatedAtTime "2026-10-01T12:00:00Z"^^xsd:dateTime .
ex:cap-later a abg:SpendCap ; abg:capAmount ex:amountB ; abg:constrainsScope ex:scope ; abg:capPeriod ex:daily ; prov:wasDerivedFrom ex:cap-source-later ; prov:generatedAtTime "2026-10-02T12:00:00Z"^^xsd:dateTime .
ex:cap-earlier prov:wasDerivedFrom ex:cap-history-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:cap-control a abg:SpendCap ; abg:capAmount ex:amountParent ; abg:constrainsScope ex:control-scope ; abg:capPeriod ex:daily ; prov:wasDerivedFrom ex:cap-control-source .