\set ECHO none
add_provenance

(1 row)
remove_provenance

(1 row)
q|g|p
or=true|A|0.5000
or=true|B|0.5000
or=true|C|0.7500
(3 rows)
remove_provenance

(1 row)
q|g|p
or=false|A|0.2500
or=false|B|0.0000
or=false|C|0.1250
(3 rows)
remove_provenance

(1 row)
q|g|p
and=true|A|0.2500
and=true|B|0.5000
and=true|C|0.3750
(3 rows)
remove_provenance

(1 row)
q|g|p
every=true|A|0.2500
every=true|B|0.5000
every=true|C|0.3750
(3 rows)
remove_provenance

(1 row)
q|g|p
and=false|A|0.5000
and=false|B|0.0000
and=false|C|0.5000
(3 rows)
remove_provenance

(1 row)
q|g|p
bare bool_or|A|0.5000
bare bool_or|B|0.5000
bare bool_or|C|0.7500
(3 rows)
remove_provenance

(1 row)
q|g|p
not every|A|0.5000
not every|B|0.0000
not every|C|0.5000
(3 rows)
remove_provenance

(1 row)
q|g|p
not bool_or|A|0.2500
not bool_or|B|0.0000
not bool_or|C|0.1250
(3 rows)
create_provenance_mapping

(1 row)
remove_provenance

(1 row)
q|g|level
minmax or=true|A|secret
minmax or=true|B|confidential
minmax or=true|C|unclassified
(3 rows)
remove_provenance

(1 row)
q|g|level
minmax and=false|A|unclassified
minmax and=false|B|unavailable
minmax and=false|C|secret
(3 rows)
remove_provenance

(1 row)
q|g|level
minmax or=false|A|unclassified
minmax or=false|B|unavailable
minmax or=false|C|unavailable
(3 rows)
remove_provenance

(1 row)
q|g|level
minmax and=true|A|unavailable
minmax and=true|B|confidential
minmax and=true|C|unclassified
(3 rows)
create_provenance_mapping

(1 row)
remove_provenance

(1 row)
q|g|why
why or=true|A|{{secret},{secret,unclassified}}
why or=true|B|{{confidential}}
why or=true|C|{{restricted},{restricted,secret},{restricted,secret,unclassified},{restricted,unclassified},{secret,unclassified},{unclassified}}
(3 rows)