\set ECHO none
add_provenance

(1 row)
add_provenance

(1 row)
WARNING:  ProvSQL: an order-dependent aggregate reads rows whose order the query does not determine (without ORDER BY, or tying on it, with different values): their order in the database as it is is read in every world
DETAIL:  provsql-reason: aggregate-order-undetermined; scope: deliberate
remove_provenance

(1 row)
q|g|p
choose=a|A|0.2500
choose=a|B|0.2500
(2 rows)
WARNING:  ProvSQL: an order-dependent aggregate reads rows whose order the query does not determine (without ORDER BY, or tying on it, with different values): their order in the database as it is is read in every world
DETAIL:  provsql-reason: aggregate-order-undetermined; scope: deliberate
remove_provenance

(1 row)
q|g|p
choose=b|A|0.1250
choose=b|B|0.0000
(2 rows)
add_provenance

(1 row)
remove_provenance

(1 row)
q|g|p
or=true|A|0.2500
or=true|C|0.3750
or=true|D|0.0000
(3 rows)
remove_provenance

(1 row)
q|g|p
or=false|A|0.1250
or=false|C|0.0625
or=false|D|0.3750
(3 rows)
remove_provenance

(1 row)
q|g|p
and=false|A|0.2500
and=false|C|0.2500
and=false|D|0.3750
(3 rows)