The process of converting a syntactic construction into a semantically equivalent construction according to the rules shown to generate the syntax of the language.