Semantic translation (work in progress).