\set ECHO none
add_provenance

(1 row)
remove_provenance

(1 row)
q|g|p
int =[1,2]|A|0.2500
int =[1,2]|B|0.0000
(2 rows)
remove_provenance

(1 row)
q|g|p
int =[1]|A|0.2500
int =[1]|B|0.0000
(2 rows)
remove_provenance

(1 row)
q|g|p
int <>[1,2]|A|0.5000
int <>[1,2]|B|0.5000
(2 rows)
remove_provenance

(1 row)
q|g|p
text =[a,b]|A|0.2500
text =[a,b]|B|0.0000
(2 rows)
remove_provenance

(1 row)
q|g|p
int desc=[2,1]|A|0.2500
int desc=[2,1]|B|0.0000
(2 rows)
add_provenance

(1 row)
remove_provenance

(1 row)
q|g|p
bool =[t]|A|0.2500
bool =[t]|B|0.5000
(2 rows)
remove_provenance

(1 row)
q|g|p
bool =[f,t]|A|0.2500
bool =[f,t]|B|0.0000
(2 rows)
remove_provenance

(1 row)
q|g|p
bool <>[t]|A|0.5000
bool <>[t]|B|0.0000
(2 rows)
add_provenance

(1 row)
remove_provenance

(1 row)
q|g|p
array = array|A|0.1875
array = array|B|0.0000
(2 rows)
ERROR:  ProvSQL: probability_evaluate: a comparison ProvSQL could not resolve remains in the circuit (This semiring does not support value gates.): supported are a comparison of an aggregate with a constant, between numeric aggregates, and between two array_agg results
DETAIL:  provsql-reason: comparison-unresolved; scope: gap