But this approach is more than just a generator for infinitely many Bayesian networks.  It allows us to represent distributions that are entirely outside the scope of propositional representations: ones about the existence of objects and links in the domain. It also supports interesting reasoning patterns that are associated with these concepts.