A Logic-based Tractable Approximation of Probability