\set ECHO none
add_provenance

(1 row)
q|g|p
count(*) >= 2|1|0.2500
count(*) >= 2|2|0.2500
(2 rows)
q|g|p
(0 rows)
q|g|p
count(x) >= 1|1|0.7500
count(x) >= 1|2|0.7500
count(x) >= 1|3|0.5000
(3 rows)
q|g|p
count(x) = 0|1|0.0000
count(x) = 0|2|0.0000
count(x) = 0|3|0.0000
count(x) = 0|4|0.5000
(4 rows)
q|g|p
sum(x) >= 6|1|0.2500
sum(x) >= 6|3|0.5000
(2 rows)
q|g|p
sum(x) > 6|3|0.5000
(1 row)
q|g|p
sum(x) < 0|2|0.2500
(1 row)
q|g|p
(0 rows)
q|g|p
sum(x) = 5|1|0.0000
sum(x) = 5|2|0.2500
sum(x) = 5|3|0.0000
(3 rows)
q|g|p
(0 rows)
q|g|p
(0 rows)
q|g|p
max(x) >= 5|2|0.5000
max(x) >= 5|3|0.5000
(2 rows)
q|g|p
max(x) < 0|2|0.2500
(1 row)
q|g|p
min(x) > 4|2|0.2500
min(x) > 4|3|0.5000
(2 rows)
q|g|p
min(x) <= -3|2|0.5000
(1 row)
q|g|p
avg(x) > 4|2|0.2500
avg(x) > 4|3|0.5000
(2 rows)
q|g|p
(0 rows)
remove_provenance

(1 row)
q|g
max(s) >= e|2
max(s) >= e|3
(2 rows)
q|g|p
6 <= sum(x)|1|0.2500
6 <= sum(x)|3|0.5000
(2 rows)
q|g|p
sum(x) + 1 > 7|3|0.5000
(1 row)
q|g|p
sum(x) f >= 5|2|0.5000
sum(x) f >= 5|3|0.5000
(2 rows)
q|g|p
sum(x) >= 3 * g|1|0.5000
(1 row)
q|g|p
AND|3|0.5000
(1 row)
q|g|p
OR|2|0.2500
OR|3|0.5000
(2 rows)
q|g|p
OR unknown|1|0.2500
OR unknown|2|0.2500
OR unknown|3|0.0000
OR unknown|4|0.0000
(4 rows)
q|g|p
NOT|3|0.5000
(1 row)
q|g|p
regular AND|3|0.5000
regular AND|4|0.5000
(2 rows)
q|g|p
regular OR|3|0.5000
(1 row)
q|g|p
agg vs agg|1|0.0000
agg vs agg|2|0.0000
agg vs agg|3|0.0000
agg vs agg|4|0.0000
(4 rows)
remove_provenance

(1 row)
q|n
scalar impossible|0
(1 row)
remove_provenance

(1 row)
q|p
scalar possible|0.0156
(1 row)
remove_provenance

(1 row)
q|g|p|is_zero
evaluator, sum > 6|1|0.0000|t
evaluator, sum > 6|2|0.0000|t
evaluator, sum > 6|3|0.5000|f
(3 rows)