A Semantic Analysis of Case