Semantics for Probabilistic Inference