A calculus for mass assignments in evidential reasoning