\set ECHO none
add_provenance

(1 row)
add_provenance

(1 row)
id|p
1|1.000000
2|0.750000
(2 rows)
id|p
1|1.000000
2|0.250000
(2 rows)
add_provenance

(1 row)
add_provenance

(1 row)
pid|has_child|p
1|f|0.250000
1|t|0.750000
2|f|1.000000
(3 rows)
pid|childless|p
1|f|0.750000
1|t|0.250000
2|f|0.000000
2|t|1.000000
(4 rows)
pid|lbl|p
1|none|0.250000
1|some|0.750000
2|none|1.000000
(3 rows)
WARNING:  ProvSQL: disjunction of conditions on aggregates of different groups: provenance correct only in the Boolean semirings, used for probabilities
DETAIL:  provsql-reason: disjunction-across-groups; scope: gap
remove_provenance

(1 row)
id|p
1|0.500000
2|0.750000
(2 rows)
ERROR:  ProvSQL: subquery over a provenance-tracked relation not supported here: it is read as a value rather than as a condition, and SQL gives IN or a quantified comparison the unknown truth where no row matches and a comparison is unknown, which the count of the matches does not tell from false (EXISTS as a value is supported)
DETAIL:  provsql-reason: read-as-value; scope: deliberate
remove_provenance

(1 row)
pid|has_child|childless|p
1|f|f|0.000000
1|f|t|0.250000
1|t|f|0.750000
1|t|t|0.000000
2|f|f|0.000000
2|f|t|1.000000
(6 rows)
remove_provenance

(1 row)
pid|p
1|0.250000
(1 row)
remove_provenance

(1 row)
pid|p
1|0.500000
(1 row)
remove_provenance

(1 row)
pid|p
1|0.500000
2|0.500000
(2 rows)
remove_provenance

(1 row)
pid|p
1|0.750000
2|0.750000
(2 rows)
ERROR:  ProvSQL: subquery over a provenance-tracked relation not supported here: its body reads a subquery in its own FROM clause
DETAIL:  provsql-reason: body-from-subquery; scope: gap