"First-order" probabilistic relational models

I gave a seminar on extending the expressiveness of probabilistic relational models with first-order features, such as universal quantification over infinite domains.