Evidential reasoning in large partially ordered sets · Study