Mention probabilistic logic