The finite model theory of Bayesian network specifications: Descriptive complexity and zero/one laws