Semantic rules section translated.