eyeling 1.10.20 → 1.10.21

package/examples/json-reconcile-vat.n3

@@ -0,0 +1,361 @@
+# =================================================
+# Rconcile VAT JSON Pointer example
+# See https://datatracker.ietf.org/doc/html/rfc6901
+# =================================================
+
+@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
+@prefix string: <http://www.w3.org/2000/10/swap/string#> .
+@prefix list:   <http://www.w3.org/2000/10/swap/list#> .
+@prefix math:   <http://www.w3.org/2000/10/swap/math#> .
+@prefix log:    <http://www.w3.org/2000/10/swap/log#> .
+@prefix owl:    <http://www.w3.org/2002/07/owl#> .
+@prefix ex:     <http://example.org/#> .
+
+# ------------------------------------------------------------------
+# Master data (canonical N3 graph)
+# ------------------------------------------------------------------
+
+ex:policy ex:euCountries ("BE" "NL" "DE" "FR" "LU") .
+
+ex:Widget a ex:Product ;
+  ex:sku "WID-001" ;
+  ex:listPriceCents 999 ;
+  ex:vatBps 2100 .
+
+ex:Gadget a ex:Product ;
+  ex:sku "GAD-002" ;
+  ex:listPriceCents 1500 ;
+  ex:vatBps 600 .
+
+# Registry customer keyed by normalized VAT key (alnum only)
+ex:RegistryNL
+  ex:vatKey "NL999999999B01" ;
+  ex:legalName "Example BV" .
+
+# ------------------------------------------------------------------
+# JSON feed (operational system)
+# ------------------------------------------------------------------
+
+ex:feed ex:json """{
+  "meta~data": { "batch": "2025-12-18" },
+  "orders": [
+    {
+      "orderId": "A100",
+      "shipTo": { "country": "BE" },
+      "customer": { "email": "Ada@Example.ORG", "vatId": null },
+      "lines": [
+        { "sku": "wid-001", "qty": 2, "unitCents": 999 },
+        { "sku": "GAD-002", "qty": 1, "unitCents": 1500 }
+      ],
+      "declared": { "netCents": 3498, "vatCents": 509, "grossCents": 4007 }
+    },
+    {
+      "orderId": "A200",
+      "shipTo": { "country": "US" },
+      "customer": { "email": "bob@example.org", "vatId": null },
+      "lines": [
+        { "sku": "WID-001", "qty": 2, "unitCents": 999 },
+        { "sku": "GAD-002", "qty": 1, "unitCents": 1500 }
+      ],
+      "declared": { "netCents": 3498, "vatCents": 0, "grossCents": 3498 }
+    },
+    {
+      "orderId": "A300",
+      "shipTo": { "country": "NL" },
+      "customer": { "email": "acct@company.nl", "vatId": "NL999999999B01" },
+      "lines": [
+        { "sku": "WID-001", "qty": 2, "unitCents": 999 },
+        { "sku": "GAD-002", "qty": 1, "unitCents": 1500 }
+      ],
+      "declared": { "netCents": 3498, "vatCents": 0, "grossCents": 3498 }
+    },
+    {
+      "orderId": "A301",
+      "shipTo": { "country": "NL" },
+      "customer": { "email": "billing@company.nl", "vatId": "NL999999999B01" },
+      "lines": [
+        { "sku": "WID-001", "qty": 2, "unitCents": 999 },
+        { "sku": "GAD-002", "qty": 1, "unitCents": 1500 }
+      ],
+      "declared": { "netCents": 3498, "vatCents": 0, "grossCents": 3498 }
+    },
+    {
+      "orderId": "A400",
+      "shipTo": { "country": "BE" },
+      "customer": { "email": "ada@other.example", "vatId": null },
+      "lines": [
+        { "sku": "WID-001", "qty": 2, "unitCents": 999 },
+        { "sku": "GAD-002", "qty": 1, "unitCents": 1500 }
+      ],
+      "declared": { "netCents": 3498, "vatCents": 508, "grossCents": 4006 }
+    }
+  ]
+}"""^^rdf:JSON .
+
+# ------------------------------------------------------------------
+# Sanity checks for JSON Pointer edge-cases
+# ------------------------------------------------------------------
+
+{
+  ex:feed ex:json ?J .
+  (?J "#/orders/0/shipTo/country") string:jsonPointer "BE" .
+} => {
+  ex:checks ex:fragmentPointerWorks true .
+} .
+
+{
+  ex:feed ex:json ?J .
+  (?J "/meta~0data/batch") string:jsonPointer "2025-12-18" .
+} => {
+  ex:checks ex:tildeEscapeWorks true .
+} .
+
+# ------------------------------------------------------------------
+# 1) Materialize orders (JSON -> RDF-ish facts)
+# ------------------------------------------------------------------
+
+{
+  ex:feed ex:json ?J .
+  (?J "/orders") string:jsonPointer ?Orders .
+  ?Orders list:iterate (?OrderIndex ?OrderJson) .
+
+  (?OrderJson "/orderId") string:jsonPointer ?OrderId .
+  (?OrderJson "/shipTo/country") string:jsonPointer ?Country .
+
+  (?OrderJson "/customer") string:jsonPointer ?CustJson .
+  (?CustJson "/email") string:jsonPointer ?Email .
+  (?CustJson "/vatId") string:jsonPointer ?VatIdRaw .
+
+  (?OrderJson "/declared") string:jsonPointer ?Decl .
+  (?Decl "/netCents") string:jsonPointer ?NetD .
+  (?Decl "/vatCents") string:jsonPointer ?VatD .
+  (?Decl "/grossCents") string:jsonPointer ?GrossD .
+
+  ("urn:example:order:%s" ?OrderId) string:format ?OrderUriStr .
+  ?Order log:uri ?OrderUriStr .
+} => {
+  ?Order a ex:Order ;
+         ex:orderId ?OrderId ;
+         ex:orderIndex ?OrderIndex ;
+         ex:shipCountry ?Country ;
+         ex:email ?Email ;
+         ex:vatIdRaw ?VatIdRaw ;
+         ex:declaredNetCents ?NetD ;
+         ex:declaredVatCents ?VatD ;
+         ex:declaredGrossCents ?GrossD .
+} .
+
+# ------------------------------------------------------------------
+# 2) Materialize customers
+#    - If vatId is present -> customer IRI from normalized VAT key
+#    - Else -> customer IRI is log:skolem(email)
+# ------------------------------------------------------------------
+
+# VAT customer
+{
+  ?Order a ex:Order ; ex:vatIdRaw ?VatIdRaw ; ex:email ?Email .
+  ?VatIdRaw string:notEqualIgnoringCase "null" .
+  (?VatIdRaw "[^0-9A-Za-z]" "") string:replace ?VatKey .
+
+  ("urn:example:customer:vat:%s" ?VatKey) string:format ?CustUriStr .
+  ?Cust log:uri ?CustUriStr .
+} => {
+  ?Cust a ex:Customer ;
+        ex:vatKey ?VatKey ;
+        ex:vatIdRaw ?VatIdRaw ;
+        ex:email ?Email .
+  ?Order ex:customer ?Cust .
+} .
+
+# Non-VAT customer
+{
+  ?Order a ex:Order ; ex:vatIdRaw "null" ; ex:email ?Email .
+  ?Email log:skolem ?Cust .
+} => {
+  ?Cust a ex:Customer ;
+        ex:vatIdRaw "null" ;
+        ex:email ?Email .
+  ?Order ex:customer ?Cust .
+} .
+
+# Registry reconciliation (VAT customers only)
+{
+  ?Cust a ex:Customer ; ex:vatKey ?VatKey .
+  ?Reg ex:vatKey ?VatKey .
+} => {
+  ?Cust owl:sameAs ?Reg .
+} .
+
+# Detect conflicting emails for the SAME VAT-keyed customer
+# (Use string:lessThan to avoid duplicate symmetric pairs.)
+{
+  ?Cust a ex:Customer ; ex:vatKey ?VatKey ; ex:email ?E1 ; ex:email ?E2 .
+  ?E1 string:lessThan ?E2 .
+  ?E1 string:notEqualIgnoringCase ?E2 .
+} => {
+  ?Cust a ex:CustomerEmailConflict ;
+        ex:conflictingEmail ?E1, ?E2 .
+} .
+
+# ------------------------------------------------------------------
+# 3) Materialize order lines + map SKU -> canonical product + compute money
+#    VAT logic:
+#      - ship outside EU -> VAT = 0 (export)
+#      - ship in EU and customer has VAT -> VAT = 0 (reverse charge)
+#      - ship in EU and customer has no VAT -> VAT = product vatBps
+# ------------------------------------------------------------------
+
+# Helper macro: create line IRI + compute netCents
+{
+  ex:feed ex:json ?J .
+  (?J "/orders") string:jsonPointer ?Orders .
+  ?Orders list:iterate (?OrderIndex ?OrderJson) .
+
+  (?OrderJson "/orderId") string:jsonPointer ?OrderId .
+  ("urn:example:order:%s" ?OrderId) string:format ?OrderUriStr .
+  ?Order log:uri ?OrderUriStr .
+
+  (?OrderJson "/lines") string:jsonPointer ?Lines .
+  ?Lines list:iterate (?LineIndex ?LineJson) .
+
+  (?LineJson "/sku") string:jsonPointer ?SkuJson .
+  (?LineJson "/qty") string:jsonPointer ?Qty .
+  (?LineJson "/unitCents") string:jsonPointer ?UnitCents .
+
+  # SKU reconciliation is case-insensitive
+  # (Guard with a type, otherwise already-derived OrderLine nodes can start acting as “products”.)
+  ?Product a ex:Product ; ex:sku ?SkuCat .
+  ?SkuJson string:equalIgnoringCase ?SkuCat .
+
+  (?Qty ?UnitCents) math:product ?NetCents .
+
+  ("urn:example:order:%s#line:%s" ?OrderId ?LineIndex) string:format ?LineUriStr .
+  ?Line log:uri ?LineUriStr .
+} => {
+  ?Order ex:line ?Line .
+
+  ?Line a ex:OrderLine ;
+        ex:lineIndex ?LineIndex ;
+        ex:product ?Product ;
+        ex:sku ?SkuCat ;
+        ex:qty ?Qty ;
+        ex:unitCents ?UnitCents ;
+        ex:netCents ?NetCents .
+} .
+
+# Export (outside EU): VAT=0
+{
+  ?Order a ex:Order ; ex:shipCountry ?Country .
+  ex:policy ex:euCountries ?EU .
+  ?EU list:notMember ?Country .
+
+  ?Order ex:line ?Line .
+  ?Line ex:netCents ?NetCents .
+} => {
+  ?Line ex:vatBps 0 ;
+        ex:vatCents 0 ;
+        ex:grossCents ?NetCents ;
+        ex:vatReason ex:Export .
+} .
+
+# Reverse charge (EU + VAT id present): VAT=0
+{
+  ?Order a ex:Order ; ex:shipCountry ?Country ; ex:vatIdRaw ?VatIdRaw .
+  ex:policy ex:euCountries ?EU .
+  ?EU list:member ?Country .
+  ?VatIdRaw string:notEqualIgnoringCase "null" .
+
+  ?Order ex:line ?Line .
+  ?Line ex:netCents ?NetCents .
+} => {
+  ?Line ex:vatBps 0 ;
+        ex:vatCents 0 ;
+        ex:grossCents ?NetCents ;
+        ex:vatReason ex:ReverseCharge .
+} .
+
+# Domestic EU consumer (EU + no VAT): VAT = product vatBps
+{
+  ?Order a ex:Order ; ex:shipCountry ?Country ; ex:vatIdRaw "null" .
+  ex:policy ex:euCountries ?EU .
+  ?EU list:member ?Country .
+
+  ?Order ex:line ?Line .
+  ?Line ex:product ?Product ; ex:netCents ?NetCents .
+  ?Product ex:vatBps ?VatBps .
+
+  (?NetCents ?VatBps) math:product ?NetTimesBps .
+  (?NetTimesBps 10000) math:integerQuotient ?VatCents .
+  (?NetCents ?VatCents) math:sum ?GrossCents .
+} => {
+  ?Line ex:vatBps ?VatBps ;
+        ex:vatCents ?VatCents ;
+        ex:grossCents ?GrossCents ;
+        ex:vatReason ex:Domestic .
+} .
+
+# ------------------------------------------------------------------
+# 4) Reconcile computed totals vs declared totals
+#    (Assumes 2 lines per order: index 0 and 1 — on purpose, to keep the example finite.)
+# ------------------------------------------------------------------
+
+{
+  ?Order a ex:Order .
+
+  ?Order ex:line ?L0 . ?L0 ex:lineIndex 0 ; ex:netCents ?N0 ; ex:vatCents ?V0 ; ex:grossCents ?G0 .
+  ?Order ex:line ?L1 . ?L1 ex:lineIndex 1 ; ex:netCents ?N1 ; ex:vatCents ?V1 ; ex:grossCents ?G1 .
+
+  (?N0 ?N1) math:sum ?Net .
+  (?V0 ?V1) math:sum ?Vat .
+  (?G0 ?G1) math:sum ?Gross .
+} => {
+  ?Order ex:computedNetCents ?Net ;
+         ex:computedVatCents ?Vat ;
+         ex:computedGrossCents ?Gross .
+} .
+
+# Mark OK orders
+{
+  ?Order a ex:Order ;
+         ex:declaredNetCents ?DN ; ex:declaredVatCents ?DV ; ex:declaredGrossCents ?DG ;
+         ex:computedNetCents ?CN ; ex:computedVatCents ?CV ; ex:computedGrossCents ?CG .
+
+  ?DN math:equalTo ?CN .
+  ?DV math:equalTo ?CV .
+  ?DG math:equalTo ?CG .
+} => {
+  ?Order a ex:OrderOk .
+} .
+
+# Emit issues for VAT mismatch
+{
+  ?Order a ex:Order ; ex:orderId ?Oid ; ex:declaredVatCents ?DV ; ex:computedVatCents ?CV .
+  ?DV math:notEqualTo ?CV .
+
+  ("urn:example:issue:%s:vat" ?Oid) string:format ?IssueUriStr .
+  ?Issue log:uri ?IssueUriStr .
+} => {
+  ?Issue a ex:Issue ;
+         ex:onOrder ?Order ;
+         ex:field "vatCents" ;
+         ex:declared ?DV ;
+         ex:computed ?CV .
+  ?Order ex:hasIssue ?Issue .
+} .
+
+# Emit issues for GROSS mismatch
+{
+  ?Order a ex:Order ; ex:orderId ?Oid ; ex:declaredGrossCents ?DG ; ex:computedGrossCents ?CG .
+  ?DG math:notEqualTo ?CG .
+
+  ("urn:example:issue:%s:gross" ?Oid) string:format ?IssueUriStr .
+  ?Issue log:uri ?IssueUriStr .
+} => {
+  ?Issue a ex:Issue ;
+         ex:onOrder ?Order ;
+         ex:field "grossCents" ;
+         ex:declared ?DG ;
+         ex:computed ?CG .
+  ?Order ex:hasIssue ?Issue .
+} .
+

package/examples/output/bind-builtins.n3

@@ -0,0 +1,9 @@
+@prefix : <http://example/#> .
+@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
+
+:p1 :label "Ada_Lovelace" .
+:p1 :labelEn "Ada_Lovelace"@en .
+:p1 :hash "0c0844738e0d752f1915aabc2e9737b7f317f606" .
+:p1 :birthYear 1815 .
+:p1 :calc 3632 .
+:p1 :intLit "42"^^xsd:integer .

package/examples/output/bind.n3

@@ -0,0 +1,3 @@
+@prefix : <http://example/#> .
+
+:phayes :name "Pat Hayes" .

package/examples/output/brussels-brew-club.n3

@@ -0,0 +1,22 @@
+@prefix : <http://example.org/brewclub#> .
+@prefix genid: <https://eyereasoner.github.io/.well-known/genid/> .
+@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
+@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
+
+:alice :age 23 .
+:alice :name "Alice" .
+:alice :city "Brussels" .
+:bob :age 16 .
+:bob :name "Bob" .
+:bob :city "Brussels" .
+genid:9e06e026-ada3-9430-3e11-8dd8c37dac24 a :MembershipCard .
+genid:9e06e026-ada3-9430-3e11-8dd8c37dac24 :holder :alice .
+genid:9e06e026-ada3-9430-3e11-8dd8c37dac24 :issuedAt "2000-01-01T00:00:00+00:00"^^xsd:dateTime .
+genid:9e06e026-ada3-9430-3e11-8dd8c37dac24 rdfs:label "Brew Club card for Alice" .
+:order1 :eligibleDiscount true .
+genid:35d6c1c8-ee0c-5a7a-8ec2-654c5e1b34b4 a :Receipt .
+genid:35d6c1c8-ee0c-5a7a-8ec2-654c5e1b34b4 :forOrder :order1 .
+genid:35d6c1c8-ee0c-5a7a-8ec2-654c5e1b34b4 :receiptId "ORD-2025-001" .
+genid:fbd10997-9fd6-99ce-fa19-a82424656d08 a :Receipt .
+genid:fbd10997-9fd6-99ce-fa19-a82424656d08 :forOrder :order2 .
+genid:fbd10997-9fd6-99ce-fa19-a82424656d08 :receiptId "ORD-2025-002" .

package/examples/output/family.n3

@@ -0,0 +1,13 @@
+@prefix : <http://example.org/#> .
+
+:X :childOf :A .
+:X :childOf :B .
+:A :childOf :C .
+:X :descendedFrom :A .
+:X :descendedFrom :B .
+:A :descendedFrom :C .
+:X :descendedFrom :C .
+:A :ancestorOf :X .
+:B :ancestorOf :X .
+:C :ancestorOf :A .
+:C :ancestorOf :X .

package/examples/output/filter-demorgan.n3

@@ -0,0 +1,3 @@
+@prefix : <http://example/#> .
+
+:alice :passesNameFilter true .

package/examples/output/filter-in-notin.n3

@@ -0,0 +1,4 @@
+@prefix : <http://example/#> .
+
+:a :isSpecial true .
+:c :isSpecial true .

package/examples/output/filter-nested-or.n3

@@ -0,0 +1,4 @@
+@prefix : <http://example/#> .
+
+:bob :adultNamedByRule true .
+:bea :adultNamedByRule true .

package/examples/output/filter.n3

@@ -0,0 +1,3 @@
+@prefix : <http://example/#> .
+
+:x :bothPositive true .

package/examples/output/json-pointer.n3

@@ -0,0 +1,13 @@
+@prefix ex: <http://example.org/#> .
+
+ex:checks ex:firstUserNameOk true .
+<urn:example:user:u1> a ex:AllowedUser .
+<urn:example:user:u1> ex:name "Ada Lovelace" .
+<urn:example:user:u1> ex:email "ada@example.org" .
+<urn:example:user:u1> ex:emailDomain "example.org" .
+<urn:example:user:u1> ex:userIndex 0 .
+<urn:example:user:u2> a ex:BlockedUser .
+<urn:example:user:u2> ex:name "Bob Mallory" .
+<urn:example:user:u2> ex:email "bob@evil.invalid" .
+<urn:example:user:u2> ex:emailDomain "evil.invalid" .
+<urn:example:user:u2> ex:userIndex 1 .

package/examples/output/json-reconcile-vat.n3

@@ -0,0 +1,226 @@
+@prefix ex: <http://example.org/#> .
+@prefix genid: <https://eyereasoner.github.io/.well-known/genid/> .
+@prefix owl: <http://www.w3.org/2002/07/owl#> .
+
+ex:checks ex:fragmentPointerWorks true .
+ex:checks ex:tildeEscapeWorks true .
+<urn:example:order:A100> a ex:Order .
+<urn:example:order:A100> ex:orderId "A100" .
+<urn:example:order:A100> ex:orderIndex 0 .
+<urn:example:order:A100> ex:shipCountry "BE" .
+<urn:example:order:A100> ex:email "Ada@Example.ORG" .
+<urn:example:order:A100> ex:vatIdRaw "null" .
+<urn:example:order:A100> ex:declaredNetCents 3498 .
+<urn:example:order:A100> ex:declaredVatCents 509 .
+<urn:example:order:A100> ex:declaredGrossCents 4007 .
+<urn:example:order:A200> a ex:Order .
+<urn:example:order:A200> ex:orderId "A200" .
+<urn:example:order:A200> ex:orderIndex 1 .
+<urn:example:order:A200> ex:shipCountry "US" .
+<urn:example:order:A200> ex:email "bob@example.org" .
+<urn:example:order:A200> ex:vatIdRaw "null" .
+<urn:example:order:A200> ex:declaredNetCents 3498 .
+<urn:example:order:A200> ex:declaredVatCents 0 .
+<urn:example:order:A200> ex:declaredGrossCents 3498 .
+<urn:example:order:A300> a ex:Order .
+<urn:example:order:A300> ex:orderId "A300" .
+<urn:example:order:A300> ex:orderIndex 2 .
+<urn:example:order:A300> ex:shipCountry "NL" .
+<urn:example:order:A300> ex:email "acct@company.nl" .
+<urn:example:order:A300> ex:vatIdRaw "NL999999999B01" .
+<urn:example:order:A300> ex:declaredNetCents 3498 .
+<urn:example:order:A300> ex:declaredVatCents 0 .
+<urn:example:order:A300> ex:declaredGrossCents 3498 .
+<urn:example:order:A301> a ex:Order .
+<urn:example:order:A301> ex:orderId "A301" .
+<urn:example:order:A301> ex:orderIndex 3 .
+<urn:example:order:A301> ex:shipCountry "NL" .
+<urn:example:order:A301> ex:email "billing@company.nl" .
+<urn:example:order:A301> ex:vatIdRaw "NL999999999B01" .
+<urn:example:order:A301> ex:declaredNetCents 3498 .
+<urn:example:order:A301> ex:declaredVatCents 0 .
+<urn:example:order:A301> ex:declaredGrossCents 3498 .
+<urn:example:order:A400> a ex:Order .
+<urn:example:order:A400> ex:orderId "A400" .
+<urn:example:order:A400> ex:orderIndex 4 .
+<urn:example:order:A400> ex:shipCountry "BE" .
+<urn:example:order:A400> ex:email "ada@other.example" .
+<urn:example:order:A400> ex:vatIdRaw "null" .
+<urn:example:order:A400> ex:declaredNetCents 3498 .
+<urn:example:order:A400> ex:declaredVatCents 508 .
+<urn:example:order:A400> ex:declaredGrossCents 4006 .
+<urn:example:customer:vat:NL999999999B01> a ex:Customer .
+<urn:example:customer:vat:NL999999999B01> ex:vatKey "NL999999999B01" .
+<urn:example:customer:vat:NL999999999B01> ex:vatIdRaw "NL999999999B01" .
+<urn:example:customer:vat:NL999999999B01> ex:email "acct@company.nl" .
+<urn:example:order:A300> ex:customer <urn:example:customer:vat:NL999999999B01> .
+<urn:example:customer:vat:NL999999999B01> ex:email "billing@company.nl" .
+<urn:example:order:A301> ex:customer <urn:example:customer:vat:NL999999999B01> .
+genid:bf57c048-5f73-c104-a49c-c2b8b003cd8c a ex:Customer .
+genid:bf57c048-5f73-c104-a49c-c2b8b003cd8c ex:vatIdRaw "null" .
+genid:bf57c048-5f73-c104-a49c-c2b8b003cd8c ex:email "Ada@Example.ORG" .
+<urn:example:order:A100> ex:customer genid:bf57c048-5f73-c104-a49c-c2b8b003cd8c .
+genid:e8540f44-5792-3fe8-84f5-c27731a9e748 a ex:Customer .
+genid:e8540f44-5792-3fe8-84f5-c27731a9e748 ex:vatIdRaw "null" .
+genid:e8540f44-5792-3fe8-84f5-c27731a9e748 ex:email "bob@example.org" .
+<urn:example:order:A200> ex:customer genid:e8540f44-5792-3fe8-84f5-c27731a9e748 .
+genid:8e2eaee7-90fd-39b8-cf83-6d8c8e5816c8 a ex:Customer .
+genid:8e2eaee7-90fd-39b8-cf83-6d8c8e5816c8 ex:vatIdRaw "null" .
+genid:8e2eaee7-90fd-39b8-cf83-6d8c8e5816c8 ex:email "ada@other.example" .
+<urn:example:order:A400> ex:customer genid:8e2eaee7-90fd-39b8-cf83-6d8c8e5816c8 .
+<urn:example:customer:vat:NL999999999B01> = ex:RegistryNL .
+<urn:example:customer:vat:NL999999999B01> = <urn:example:customer:vat:NL999999999B01> .
+<urn:example:customer:vat:NL999999999B01> a ex:CustomerEmailConflict .
+<urn:example:customer:vat:NL999999999B01> ex:conflictingEmail "acct@company.nl" .
+<urn:example:customer:vat:NL999999999B01> ex:conflictingEmail "billing@company.nl" .
+<urn:example:order:A100> ex:line <urn:example:order:A100#line:0> .
+<urn:example:order:A100#line:0> a ex:OrderLine .
+<urn:example:order:A100#line:0> ex:lineIndex 0 .
+<urn:example:order:A100#line:0> ex:product ex:Widget .
+<urn:example:order:A100#line:0> ex:sku "WID-001" .
+<urn:example:order:A100#line:0> ex:qty 2 .
+<urn:example:order:A100#line:0> ex:unitCents 999 .
+<urn:example:order:A100#line:0> ex:netCents 1998 .
+<urn:example:order:A100> ex:line <urn:example:order:A100#line:1> .
+<urn:example:order:A100#line:1> a ex:OrderLine .
+<urn:example:order:A100#line:1> ex:lineIndex 1 .
+<urn:example:order:A100#line:1> ex:product ex:Gadget .
+<urn:example:order:A100#line:1> ex:sku "GAD-002" .
+<urn:example:order:A100#line:1> ex:qty 1 .
+<urn:example:order:A100#line:1> ex:unitCents 1500 .
+<urn:example:order:A100#line:1> ex:netCents 1500 .
+<urn:example:order:A200> ex:line <urn:example:order:A200#line:0> .
+<urn:example:order:A200#line:0> a ex:OrderLine .
+<urn:example:order:A200#line:0> ex:lineIndex 0 .
+<urn:example:order:A200#line:0> ex:product ex:Widget .
+<urn:example:order:A200#line:0> ex:sku "WID-001" .
+<urn:example:order:A200#line:0> ex:qty 2 .
+<urn:example:order:A200#line:0> ex:unitCents 999 .
+<urn:example:order:A200#line:0> ex:netCents 1998 .
+<urn:example:order:A200> ex:line <urn:example:order:A200#line:1> .
+<urn:example:order:A200#line:1> a ex:OrderLine .
+<urn:example:order:A200#line:1> ex:lineIndex 1 .
+<urn:example:order:A200#line:1> ex:product ex:Gadget .
+<urn:example:order:A200#line:1> ex:sku "GAD-002" .
+<urn:example:order:A200#line:1> ex:qty 1 .
+<urn:example:order:A200#line:1> ex:unitCents 1500 .
+<urn:example:order:A200#line:1> ex:netCents 1500 .
+<urn:example:order:A300> ex:line <urn:example:order:A300#line:0> .
+<urn:example:order:A300#line:0> a ex:OrderLine .
+<urn:example:order:A300#line:0> ex:lineIndex 0 .
+<urn:example:order:A300#line:0> ex:product ex:Widget .
+<urn:example:order:A300#line:0> ex:sku "WID-001" .
+<urn:example:order:A300#line:0> ex:qty 2 .
+<urn:example:order:A300#line:0> ex:unitCents 999 .
+<urn:example:order:A300#line:0> ex:netCents 1998 .
+<urn:example:order:A300> ex:line <urn:example:order:A300#line:1> .
+<urn:example:order:A300#line:1> a ex:OrderLine .
+<urn:example:order:A300#line:1> ex:lineIndex 1 .
+<urn:example:order:A300#line:1> ex:product ex:Gadget .
+<urn:example:order:A300#line:1> ex:sku "GAD-002" .
+<urn:example:order:A300#line:1> ex:qty 1 .
+<urn:example:order:A300#line:1> ex:unitCents 1500 .
+<urn:example:order:A300#line:1> ex:netCents 1500 .
+<urn:example:order:A301> ex:line <urn:example:order:A301#line:0> .
+<urn:example:order:A301#line:0> a ex:OrderLine .
+<urn:example:order:A301#line:0> ex:lineIndex 0 .
+<urn:example:order:A301#line:0> ex:product ex:Widget .
+<urn:example:order:A301#line:0> ex:sku "WID-001" .
+<urn:example:order:A301#line:0> ex:qty 2 .
+<urn:example:order:A301#line:0> ex:unitCents 999 .
+<urn:example:order:A301#line:0> ex:netCents 1998 .
+<urn:example:order:A301> ex:line <urn:example:order:A301#line:1> .
+<urn:example:order:A301#line:1> a ex:OrderLine .
+<urn:example:order:A301#line:1> ex:lineIndex 1 .
+<urn:example:order:A301#line:1> ex:product ex:Gadget .
+<urn:example:order:A301#line:1> ex:sku "GAD-002" .
+<urn:example:order:A301#line:1> ex:qty 1 .
+<urn:example:order:A301#line:1> ex:unitCents 1500 .
+<urn:example:order:A301#line:1> ex:netCents 1500 .
+<urn:example:order:A400> ex:line <urn:example:order:A400#line:0> .
+<urn:example:order:A400#line:0> a ex:OrderLine .
+<urn:example:order:A400#line:0> ex:lineIndex 0 .
+<urn:example:order:A400#line:0> ex:product ex:Widget .
+<urn:example:order:A400#line:0> ex:sku "WID-001" .
+<urn:example:order:A400#line:0> ex:qty 2 .
+<urn:example:order:A400#line:0> ex:unitCents 999 .
+<urn:example:order:A400#line:0> ex:netCents 1998 .
+<urn:example:order:A400> ex:line <urn:example:order:A400#line:1> .
+<urn:example:order:A400#line:1> a ex:OrderLine .
+<urn:example:order:A400#line:1> ex:lineIndex 1 .
+<urn:example:order:A400#line:1> ex:product ex:Gadget .
+<urn:example:order:A400#line:1> ex:sku "GAD-002" .
+<urn:example:order:A400#line:1> ex:qty 1 .
+<urn:example:order:A400#line:1> ex:unitCents 1500 .
+<urn:example:order:A400#line:1> ex:netCents 1500 .
+<urn:example:order:A200#line:0> ex:vatBps 0 .
+<urn:example:order:A200#line:0> ex:vatCents 0 .
+<urn:example:order:A200#line:0> ex:grossCents 1998 .
+<urn:example:order:A200#line:0> ex:vatReason ex:Export .
+<urn:example:order:A200#line:1> ex:vatBps 0 .
+<urn:example:order:A200#line:1> ex:vatCents 0 .
+<urn:example:order:A200#line:1> ex:grossCents 1500 .
+<urn:example:order:A200#line:1> ex:vatReason ex:Export .
+<urn:example:order:A300#line:0> ex:vatBps 0 .
+<urn:example:order:A300#line:0> ex:vatCents 0 .
+<urn:example:order:A300#line:0> ex:grossCents 1998 .
+<urn:example:order:A300#line:0> ex:vatReason ex:ReverseCharge .
+<urn:example:order:A300#line:1> ex:vatBps 0 .
+<urn:example:order:A300#line:1> ex:vatCents 0 .
+<urn:example:order:A300#line:1> ex:grossCents 1500 .
+<urn:example:order:A300#line:1> ex:vatReason ex:ReverseCharge .
+<urn:example:order:A301#line:0> ex:vatBps 0 .
+<urn:example:order:A301#line:0> ex:vatCents 0 .
+<urn:example:order:A301#line:0> ex:grossCents 1998 .
+<urn:example:order:A301#line:0> ex:vatReason ex:ReverseCharge .
+<urn:example:order:A301#line:1> ex:vatBps 0 .
+<urn:example:order:A301#line:1> ex:vatCents 0 .
+<urn:example:order:A301#line:1> ex:grossCents 1500 .
+<urn:example:order:A301#line:1> ex:vatReason ex:ReverseCharge .
+<urn:example:order:A100#line:0> ex:vatBps 2100 .
+<urn:example:order:A100#line:0> ex:vatCents 419 .
+<urn:example:order:A100#line:0> ex:grossCents 2417 .
+<urn:example:order:A100#line:0> ex:vatReason ex:Domestic .
+<urn:example:order:A100#line:1> ex:vatBps 600 .
+<urn:example:order:A100#line:1> ex:vatCents 90 .
+<urn:example:order:A100#line:1> ex:grossCents 1590 .
+<urn:example:order:A100#line:1> ex:vatReason ex:Domestic .
+<urn:example:order:A400#line:0> ex:vatBps 2100 .
+<urn:example:order:A400#line:0> ex:vatCents 419 .
+<urn:example:order:A400#line:0> ex:grossCents 2417 .
+<urn:example:order:A400#line:0> ex:vatReason ex:Domestic .
+<urn:example:order:A400#line:1> ex:vatBps 600 .
+<urn:example:order:A400#line:1> ex:vatCents 90 .
+<urn:example:order:A400#line:1> ex:grossCents 1590 .
+<urn:example:order:A400#line:1> ex:vatReason ex:Domestic .
+<urn:example:order:A100> ex:computedNetCents 3498 .
+<urn:example:order:A100> ex:computedVatCents 509 .
+<urn:example:order:A100> ex:computedGrossCents 4007 .
+<urn:example:order:A200> ex:computedNetCents 3498 .
+<urn:example:order:A200> ex:computedVatCents 0 .
+<urn:example:order:A200> ex:computedGrossCents 3498 .
+<urn:example:order:A300> ex:computedNetCents 3498 .
+<urn:example:order:A300> ex:computedVatCents 0 .
+<urn:example:order:A300> ex:computedGrossCents 3498 .
+<urn:example:order:A301> ex:computedNetCents 3498 .
+<urn:example:order:A301> ex:computedVatCents 0 .
+<urn:example:order:A301> ex:computedGrossCents 3498 .
+<urn:example:order:A400> ex:computedNetCents 3498 .
+<urn:example:order:A400> ex:computedVatCents 509 .
+<urn:example:order:A400> ex:computedGrossCents 4007 .
+<urn:example:order:A100> a ex:OrderOk .
+<urn:example:order:A200> a ex:OrderOk .
+<urn:example:order:A300> a ex:OrderOk .
+<urn:example:order:A301> a ex:OrderOk .
+<urn:example:issue:A400:vat> a ex:Issue .
+<urn:example:issue:A400:vat> ex:onOrder <urn:example:order:A400> .
+<urn:example:issue:A400:vat> ex:field "vatCents" .
+<urn:example:issue:A400:vat> ex:declared 508 .
+<urn:example:issue:A400:vat> ex:computed 509 .
+<urn:example:order:A400> ex:hasIssue <urn:example:issue:A400:vat> .
+<urn:example:issue:A400:gross> a ex:Issue .
+<urn:example:issue:A400:gross> ex:onOrder <urn:example:order:A400> .
+<urn:example:issue:A400:gross> ex:field "grossCents" .
+<urn:example:issue:A400:gross> ex:declared 4006 .
+<urn:example:issue:A400:gross> ex:computed 4007 .
+<urn:example:order:A400> ex:hasIssue <urn:example:issue:A400:gross> .