Full belief, partial belief, and contrastive belief