Towards a Semantic Normal Form