Using First-Order Probability Logic for the Construction of Bayesian Networks