What is the prior in this logic? Daily reminder: Bayesian logic does not deal in quantifiers. Trying to represent quantifier based logic in Bayesian systems re

What is the prior in this logic? Daily reminder: Bayesian logic does not deal in quantifiers. Trying to represent quantifier based logic in Bayesian systems results in absurd. (The update function does not work.) Thus it cannot be used to justify or counter existential statements. It can tell you: given prior A and conditional statements B through W, the chain probability assuming distribution Z may be Y. It cannot easily deal with truncated chains either.