\set ECHO none
add_provenance

(1 row)
create_provenance_mapping

(1 row)
remove_provenance

(1 row)
city|formula
Beijing|(Ellen ⊗ Jing)
Nairobi|(Juma ⊗ Paul)
(2 rows)
create_provenance_mapping

(1 row)
remove_provenance

(1 row)
city|min_clearance
Beijing|secret
Nairobi|restricted
Paris|confidential
(3 rows)
remove_provenance

(1 row)
city|formula
Nairobi|((Juma ⊕ Paul) ⊖ (Juma ⊗ Paul))
(1 row)
remove_provenance

(1 row)
city|source
Beijing|{[agents::4;agents::4],[]}
Nairobi|{[agents::4;agents::4],[]}
Paris|{[agents::4;agents::4;agents::4],[]}
(3 rows)
remove_provenance

(1 row)
city|prob
Beijing|0.5400
Nairobi|0.2600
Paris|0.4100
(3 rows)
remove_provenance

(1 row)
city|prob
Beijing|0.5
(1 row)