Belief Reasoning with Subjective Logic