Semantic normal form