Stochastic propositionalization of non-determinate background knowledge