A first-order probabilistic logic with application to measurement representations