Dempster-shafer and reasoning about sets