I cheat by assigning beliefs this way only in the “context” of checking this specific large statement :-) Maybe you could do it smarter by making the small statements non-independent. Will think.
ETA: yeah, sure. What we actually need is P(S1)*P(S2|S1)*P(S3|S1,S2)*… The convergence of this infinite product seems to be a much easier sell.
I cheat by assigning beliefs this way only in the “context” of checking this specific large statement :-) Maybe you could do it smarter by making the small statements non-independent. Will think.
ETA: yeah, sure. What we actually need is P(S1)*P(S2|S1)*P(S3|S1,S2)*… The convergence of this infinite product seems to be a much easier sell.