Probabilistic Analysis of Belief Functions | EKB DL