Formalizing Belief Reports -- The Approach and a Case Study