\set ECHO none
add_provenance

(1 row)
add_provenance

(1 row)
remove_provenance

(1 row)
q|l1|wprov
constants|1|{[wpo_l::1],[]}
constants|3|{[wpo_l::1],[]}
(2 rows)
remove_provenance

(1 row)
q|l1|l2|r1|wprov
OR of equalities|1|1|1|{[wpo_l::1;wpo_l::2;wpo_r::1],[wpo_l::1;wpo_l::2;wpo_r::1],[wpo_l::1;wpo_l::2;wpo_r::1],[]}
OR of equalities|2|5|5|{[wpo_l::1],[wpo_l::2;wpo_r::1],[wpo_l::2;wpo_r::1],[]}
OR of equalities|3|9|3|{[wpo_l::1;wpo_r::1],[wpo_l::2],[wpo_l::1;wpo_r::1],[]}
(3 rows)
remove_provenance

(1 row)
q|l1|l2|r1|wprov
nested under AND|1|1|1|{[wpo_l::1;wpo_l::2;wpo_r::1],[wpo_l::1;wpo_l::2;wpo_r::1],[wpo_l::1;wpo_l::2;wpo_r::1],[]}
nested under AND|2|5|5|{[wpo_l::1],[wpo_l::2;wpo_r::1],[wpo_l::2;wpo_r::1],[]}
nested under AND|3|9|3|{[wpo_l::1;wpo_r::1],[wpo_l::2],[wpo_l::1;wpo_r::1],[]}
(3 rows)
remove_provenance

(1 row)
q|l1|l2|r1|wprov
AND inside OR|1|1|1|{[wpo_l::1],[wpo_l::2;wpo_r::1],[wpo_l::2;wpo_r::1],[]}
AND inside OR|2|5|5|{[wpo_l::1],[wpo_l::2;wpo_r::1],[wpo_l::2;wpo_r::1],[]}
(2 rows)
remove_provenance

(1 row)
q|l1|r1|wprov
NOT|1|1|{[wpo_l::1],[wpo_r::1],[]}
NOT|3|3|{[wpo_l::1],[wpo_r::1],[]}
(2 rows)
remove_provenance

(1 row)
q|l1|l2|r1|wprov
transitive|1|1|1|{[wpo_l::1;wpo_l::2;wpo_r::1],[wpo_l::1;wpo_l::2;wpo_r::1],[wpo_l::1;wpo_l::2;wpo_r::1],[]}
(1 row)
remove_provenance

(1 row)
q|l1|l2|r1|wprov
transitive, other order|1|1|1|{[wpo_l::1;wpo_l::2;wpo_r::1],[wpo_l::1;wpo_l::2;wpo_r::1],[wpo_l::1;wpo_l::2;wpo_r::1],[]}
(1 row)
add_provenance

(1 row)
remove_provenance

(1 row)
q|l1|r1|m1|wprov
chain|1|1|1|{[wpo_l::1;wpo_m::1;wpo_r::1],[wpo_l::1;wpo_m::1;wpo_r::1],[wpo_l::1;wpo_m::1;wpo_r::1],[]}
chain|3|3|3|{[wpo_l::1;wpo_m::1;wpo_r::1],[wpo_l::1;wpo_m::1;wpo_r::1],[wpo_l::1;wpo_m::1;wpo_r::1],[]}
(2 rows)
remove_provenance

(1 row)
q|l1|r1|r2|wprov
unrelated column|1|1|7|{[wpo_l::1;wpo_r::1],[wpo_l::1;wpo_r::1],[wpo_r::2],[]}
unrelated column|3|3|3|{[wpo_l::1;wpo_r::1],[wpo_l::1;wpo_r::1],[wpo_r::2],[]}
(2 rows)