Semantic rules added