\set ECHO none
remove_provenance

(1 row)
city|formula
Berlin|(Ellen ⊕ Susan) ⊖ (Ellen ⊗ Susan)
New York|(John ⊕ Paul) ⊖ (John ⊗ Paul)
Paris|(Dave ⊕ Magdalen ⊕ Nancy) ⊖ ((Dave ⊗ Magdalen) ⊕ (Dave ⊗ Nancy) ⊕ (Magdalen ⊗ Nancy))
(3 rows)
remove_provenance

(1 row)
city|formula
(0 rows)
add_provenance

(1 row)
add_provenance

(1 row)
ERROR:  ProvSQL: EXCEPT ALL over provenance-tracked relations is not supported: the copies it keeps have no provenance of their own. Use EXCEPT, which returns the same rows when the left operand has no duplicates, or NOT IN / NOT EXISTS.
DETAIL:  provsql-reason: except-all; scope: deliberate
remove_provenance

(1 row)
n_rows|p_except
1|0.1250
(1 row)
add_provenance

(1 row)
remove_provenance

(1 row)
m|present
d1|t
d2|f
d3|t
d4|f
(4 rows)
remove_provenance

(1 row)
v|present
d2|f
d4|t
(2 rows)